- Mario R. F. Benevides
, Isaque Lima, Rafael Nader, Pedro Rougemont:
Using HMM in Strategic Games. DCM 2013: 73-84 - Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma:
A Calculus of Located Entities. DCM 2013: 41-56 - Alejandro Díaz-Caro, Gilles Dowek:
The probability of non-confluent systems. DCM 2013: 1-15 - Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
Proof-graphs for Minimal Implicational Logic. DCM 2013: 16-29 - Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz:
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. DCM 2013: 57-72 - 2012
- Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. DCM 2012: 3-16 - Miklós Bartha:
Quantum Turing automata. DCM 2012: 17-31 - Ed Blakey:
Ray tracing - computing the incomputable? DCM 2012: 32-40 - Eugen Jiresch:
Towards a GPU-based implementation of interaction nets. DCM 2012: 41-53 - Elvira Mayordomo:
Effective dimension in some general metric spaces. DCM 2012: 67-75 - Benedek Nagy, Sándor Vályi:
Computing discrete logarithm by interval-valued paradigm. DCM 2012: 76-86 - Arno Pauly, Matthew de Brecht:
Non-deterministic computation and the Jayne-Rogers Theorem. DCM 2012: 87-96 - Sam Sanders:
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. DCM 2012: 97-109 - Aleks Kissinger, Alex Merry, Matvey Soloviev:
Pattern Graph Rewrite Systems. DCM 2012: 54-66 - 2011
- Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure. DCM 2011: 1-15 - David Balduzzi:
On the information-theoretic structure of distributed measurements. DCM 2011: 28-42 - Ali Assaf, Simon Perdrix:
Completeness of algebraic CPS simulations. DCM 2011: 16-27 - Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
A Calculus of Looping Sequences with Local Rules. DCM 2011: 43-58 - Nachum Dershowitz, Evgenia Falkovich:
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-. DCM 2011: 72-78 - Manfred Kudlek:
On the Existence of Universal Finite or Pushdown Automata. DCM 2011: 79-86 - Michael W. Mislove:
Probabilistic Monads, Domains and Classical Information. DCM 2011: 87-100 - Nachum Dershowitz:
The Generic Model of Computation. DCM 2011: 59-71 - Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008. Electronic Notes in Theoretical Computer Science 270(1), Elsevier 2011 [contents] - Elham Kashefi, Jean Krivine, Femke van Raamsdonk:
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. EPTCS 88, 2011 [contents] - 2010
- Alastair A. Abbott, Cristian S. Calude:
Understanding the Quantum Computational Speed-up via De-quantisation. DCM 2010: 1-12 - Janet Anders, Saroosh Shabbir, Stefanie Hilt, Eric Lutz:
Landauer's principle in the quantum domain. DCM 2010: 13-18 - Abolfazl Bayat, Pasquale Sodano, Sougato Bose:
Engineering Long Range Distance Independent Entanglement through Kondo Impurities in Spin Chains. DCM 2010: 33-46 - Dominik F. Floess, Erika Andersson, Mark Hillery:
Quantum algorithms for testing Boolean functions. DCM 2010: 101-108 - Damian Markham, Janet Anders, Michal Hajdusek, Vlatko Vedral:
Measurement Based Quantum Computation on Fractal Lattices. DCM 2010: 109-115 - Akihito Soeda, Mio Murao:
Classification of delocalization power of global unitary operations in terms of LOCC one-piece relocalization. DCM 2010: 117-126
