- Miklós Bartha:
Turing Automata and Graph Machines. DCM 2010: 19-31 - James Cheney
:
Causality and the Semantics of Provenance. DCM 2010: 63-74 - Vincent Danos, Nicolas Oury:
Equilibrium and Termination. DCM 2010: 75-84 - Vedran Dunjko, Elham Kashefi:
Algebraic characterisation of one-way patterns. DCM 2010: 85-100 - Bas Spitters:
The space of measurement outcomes as a spectrum for non-commutative algebras. DCM 2010: 127-133 - Benoît Valiron:
Semantics of a Typed Algebraic Lambda-Calculus. DCM 2010: 147-158 - Arthur Steven Younger, Emmett Redd:
Computing by Means of Physics-Based Optical Neural Networks. DCM 2010: 159-167 - Germán Terrazas, Dario Landa-Silva, Natalio Krasnogor:
Towards the Design of Heuristics by Means of Self-Assembly. DCM 2010: 135-146 - Luca Cardelli:
Two-Domain DNA Strand Displacement. DCM 2010: 47-61 - Lucas Dixon, Ross Duncan, Aleks Kissinger:
Open Graphs and Computational Reasoning. DCM 2010: 169-180 - S. Barry Cooper, Prakash Panangaden, Elham Kashefi:
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. EPTCS 26, 2010 [contents] - 2009
- Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix:
Information Flow in Secret Sharing Protocols. DCM 2009: 87-97 - Farid M. Ablayev, Alexander Vasiliev:
Algorithms for Quantum Branching Programs Based on Fingerprinting. DCM 2009: 1-11 - Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
Orthomodular Lattices Induced by the Concurrency Relation. DCM 2009: 12-21 - Paola Bonizzoni, Clelia de Felice, Rosalba Zizza:
Circular Languages Generated by Complete Splicing Systems and Pure Unitary Languages. DCM 2009: 22-31 - Amin Coja-Oghlan:
Random Constraint Satisfaction Problems. DCM 2009: 32-37 - Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Type System for Required/Excluded Elements in CLS. DCM 2009: 38-48 - Martin Fürer:
Deterministic Autopoietic Automata. DCM 2009: 49-53 - Walid Gomaa:
Characterizing Polynomial Time Computability of Rational and Real Functions. DCM 2009: 54-64 - Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron:
An Intuitive Automated Modelling Interface for Systems Biology. DCM 2009: 73-86 - Zoran Konkoli:
Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry. DCM 2009: 98-107 - Stefan Leijnen, Liane Gabora:
How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model. DCM 2009: 108-119 - Russ Harmer:
Rule-based Modelling and Tunable Resolution. DCM 2009: 65-72 - S. Barry Cooper, Vincent Danos:
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. EPTCS 9, 2009 [contents] - 2008
- Howard Barnum, Alexander Wilce:
Information Processing in Convex Operational Theories. QPL/DCM@ICALP 2008: 3-15 - Luca Bernardinello, Lucia Pomello, Stefania Rombolà:
On Orthomodular Posets Generated by Transition Systems. QPL/DCM@ICALP 2008: 147-154 - Ed Blakey:
Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How. QPL/DCM@ICALP 2008: 17-28 - Bob Coecke, Bill Edwards:
Toy Quantum Categories (Extended Abstract). QPL/DCM@ICALP 2008: 29-40 - Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. QPL/DCM@ICALP 2008: 1-2 - Ellie D'Hondt, Mehrnoosh Sadrzadeh:
Classical Knowledge for Quantum Security. QPL/DCM@ICALP 2008: 155-163
