2010 40th IEEE International Symposium on Multiple-Valued Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424467525

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Cover art]

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.70 ◽

2010 ◽

Keyword(s):

Cover Art

Download Full-text

Efficient Simulation-Based Debugging of Reversible Logic

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.37 ◽

2010 ◽

Cited By ~ 1

Author(s):

Stefan Frehse ◽

Robert Wille ◽

Rolf Drechsler

Keyword(s):

Reversible Logic ◽

Efficient Simulation ◽

Simulation Based

Download Full-text

Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.62 ◽

2010 ◽

Cited By ~ 1

Author(s):

Daniel Stamate

Keyword(s):

Information Fusion ◽

Imperfect Information ◽

Multivalued Logic

Download Full-text

Finitely Generated Maximal Partial Clones and Their Intersections

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.31 ◽

2010 ◽

Cited By ~ 2

Author(s):

Miguel Couceiro ◽

Lucien Haddad

Keyword(s):

Finitely Generated

Download Full-text

Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.35 ◽

2010 ◽

Cited By ~ 5

Author(s):

Elena Dubrova ◽

Maxim Teslenko ◽

Liu Ming

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.49 ◽

2010 ◽

Author(s):

Shinobu Nagayama ◽

Tsutomu Sasao ◽

Jon T. Butler

Keyword(s):

Floating Point ◽

Function Generators

Download Full-text

Representing Fuzzy Structures in Quantum Computation with Mixed States

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.38 ◽

2010 ◽

Cited By ~ 1

Author(s):

Hector Freytes ◽

Roberto Giuntini ◽

Giuseppe Sergioli ◽

Antonio Aricò

Keyword(s):

Quantum Computation ◽

Mixed States

Download Full-text

Title Page i

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.1 ◽

2010 ◽

Keyword(s):

Title Page

Download Full-text

Keynote Address Abstract

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.9 ◽

2010 ◽

Keyword(s):

Keynote Address

Download Full-text

Toffoli Gate Implementation Using the Billiard Ball Model

2010 40th IEEE International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2010.40 ◽

2010 ◽

Author(s):

Hadi Hosseini ◽

Gerhard W. Dueck

Keyword(s):

Toffoli Gate ◽

Billiard Ball

Download Full-text

2010 40th IEEE International Symposium on Multiple-Valued LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

[Cover art]

Efficient Simulation-Based Debugging of Reversible Logic

Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion

Finitely Generated Maximal Partial Clones and Their Intersections

Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking

Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs

Representing Fuzzy Structures in Quantum Computation with Mixed States

Title Page i

Keynote Address Abstract

Toffoli Gate Implementation Using the Billiard Ball Model

2010 40th IEEE International Symposium on Multiple-Valued Logic
Latest Publications