Login / Signup
DCM
2009
2012
2016
2009
2016
Keyphrases
Publications
volume 204, 2016
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015.
DCM
204 (2016)
2015
Mauricio Ayala-Rincón
Formalising Confluence in PVS.
DCM
(2015)
Pablo Arrighi
,
Gilles Dowek
Free fall and cellular automata.
DCM
(2015)
Edward Hermann Haeusler
Finiteness and Computation in Toposes.
DCM
(2015)
Adrien Basso-Blandin
,
Walter Fontana
,
Russ Harmer
A knowledge representation meta-model for rule-based modelling of signalling networks.
DCM
(2015)
Mauricio Toro
,
Anna Philippou
,
Sair Arboleda
,
María Puerta
,
Carlos M. Vélez S.
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models.
DCM
(2015)
Mahdi Amani
,
Abbas Nowzari-Dalini
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds.
DCM
(2015)
Pawel Sobocinski
Compositional model checking of concurrent systems, with Petri nets.
DCM
(2015)
volume 179, 2015
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014.
DCM
179 (2015)
2014
Nachum Dershowitz
,
Evgenia Falkovich
Cellular Automata are Generic.
DCM
(2014)
Edward Hermann Haeusler
Propositional Logics Complexity and the Sub-Formula Property.
DCM
(2014)
Wolfram Kahl
A Simple Parallel Implementation of Interaction Nets in Haskell.
DCM
(2014)
volume 144, 2014
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013.
DCM
144 (2014)
volume 143, 2014
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012.
DCM
143 (2014)
2013
Adriana B. Compagnoni
,
Paola Giannini
,
Catherine Kim
,
Matthew Milideo
,
Vishakha Sharma
A Calculus of Located Entities.
DCM
(2013)
Marcela Quispe-Cruz
,
Edward Hermann Haeusler
,
Lew Gordeev
Proof-graphs for Minimal Implicational Logic.
DCM
(2013)
Pablo Arrighi
,
Simon Martiel
,
Zizhu Wang
Causal Dynamics of Discrete Surfaces.
DCM
(2013)
Alejandro Díaz-Caro
,
Gilles Dowek
The probability of non-confluent systems.
DCM
(2013)
Mario R. F. Benevides
,
Isaque Lima
,
Rafael Nader
,
Pedro Rougemont
Using HMM in Strategic Games.
DCM
(2013)
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)
2012
Giovanni Pighizzini
Two-Way Finite Automata: Old and Recent Results
DCM
(2012)
Eugen Jiresch
Towards a GPU-based implementation of interaction nets.
DCM
(2012)
Ed Blakey
Ray tracing - computing the incomputable?
DCM
(2012)
Benedek Nagy
,
Sándor Vályi
Computing discrete logarithm by interval-valued paradigm.
DCM
(2012)
Miklós Bartha
Quantum Turing automata.
DCM
(2012)
Abeer S. Al-Humaimeedy
,
Maribel Fernández
General dynamic recovery for compensating CSP.
DCM
(2012)
Arno Pauly
,
Matthew de Brecht
Non-deterministic computation and the Jayne-Rogers Theorem.
DCM
(2012)
Elvira Mayordomo
Effective dimension in some general metric spaces.
DCM
(2012)
Sam Sanders
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis.
DCM
(2012)
Aleks Kissinger
,
Alex Merry
,
Matvey Soloviev
Pattern Graph Rewrite Systems
DCM
(2012)
2011
Manfred Kudlek
On the Existence of Universal Finite or Pushdown Automata
DCM
(2011)
Nachum Dershowitz
The Generic Model of Computation
DCM
(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)
Ali Assaf
,
Simon Perdrix
Completeness of algebraic CPS simulations
DCM
(2011)
Livio Bioglio
,
Mariangiola Dezani-Ciancaglini
,
Paola Giannini
,
Angelo Troina
A Calculus of Looping Sequences with Local Rules
DCM
(2011)
David Balduzzi
On the information-theoretic structure of distributed measurements
DCM
(2011)
Nachum Dershowitz
,
Evgenia Falkovich
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-
DCM
(2011)
Michael W. Mislove
Probabilistic Monads, Domains and Classical Information
DCM
(2011)
volume 88, 2011
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011.
DCM
88 (2011)
2010
Vincent Danos
,
Nicolas Oury
Equilibrium and Termination
DCM
(2010)
Luca Cardelli
Two-Domain DNA Strand Displacement
DCM
(2010)
Janet Anders
,
Saroosh Shabbir
,
Stefanie Hilt
,
Eric Lutz
Landauer's principle in the quantum domain
DCM
(2010)
Alastair A. Abbott
,
Cristian S. Calude
Understanding the Quantum Computational Speed-up via De-quantisation
DCM
(2010)
Arthur Steven Younger
,
Emmett Redd
Computing by Means of Physics-Based Optical Neural Networks
DCM
(2010)
Bas Spitters
The space of measurement outcomes as a spectrum for non-commutative algebras
DCM
(2010)
Germán Terrazas
,
Dario Landa-Silva
,
Natalio Krasnogor
Towards the Design of Heuristics by Means of Self-Assembly
DCM
(2010)
Miklós Bartha
Turing Automata and Graph Machines
DCM
(2010)
Dominik F. Floess
,
Erika Andersson
,
Mark Hillery
Quantum algorithms for testing Boolean functions
DCM
(2010)
Abolfazl Bayat
,
Pasquale Sodano
,
Sougato Bose
Engineering Long Range Distance Independent Entanglement through Kondo Impurities in Spin Chains
DCM
(2010)
volume 26, 2010
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010.
DCM
26 (2010)