The Physical Limits of Computing
Computing in Science and Engineering
Universal cellular automata based on the collisions of soft spheres
Collision-based computing
Modeling quantum computing in Haskell
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Proceedings of the 35th conference on Winter simulation: driving innovation
Will Moore's Law Be Sufficient?
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
Two-state, reversible, universal cellular automata in three dimensions
Proceedings of the 2nd conference on Computing frontiers
Introduction to reversible computing: motivation, progress, and challenges
Proceedings of the 2nd conference on Computing frontiers
Fast, efficient, recovering, and irreversible
Proceedings of the 2nd conference on Computing frontiers
DIALM-POMC '05 Proceedings of the 2005 joint workshop on Foundations of mobile computing
A reversible programming language and its invertible self-interpreter
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Principles of a reversible programming language
Proceedings of the 5th conference on Computing frontiers
Reversible Flowchart Languages and the Structured Reversible Program Theorem
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Reversible Computation and Reversible Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolution of polymorphic self-checking circuits
ICES'07 Proceedings of the 7th international conference on Evolvable systems: from biology to hardware
Clean translation of an imperative reversible programming language
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
A design-based model of reversible computation
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Towards a reversible functional language
RC'11 Proceedings of the Third international conference on Reversible Computation
A reversible processor architecture and its reversible logic design
RC'11 Proceedings of the Third international conference on Reversible Computation
Reversible machine code and its abstract processor architecture
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Reversible representation and manipulation of constructor terms in the heap
RC'13 Proceedings of the 5th international conference on Reversible Computation
| Hi-index | 0.00 |