| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | César A. Muñoz, Jorge A. Pérez 0001 (eds.) |
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015.  |
DCM  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski 0001 |
Compositional model checking of concurrent systems, with Petri nets. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón |
Formalising Confluence in PVS. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Basso-Blandin, Walter Fontana, Russ Harmer |
A knowledge representation meta-model for rule-based modelling of signalling networks. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Hermann Haeusler |
Finiteness and Computation in Toposes. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
Free fall and cellular automata. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Amani, Abbas Nowzari-Dalini |
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Russ Harmer (eds.) |
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. |
DCM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie (eds.) |
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. |
DCM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Löwe, Glynn Winskel (eds.) |
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. |
DCM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Evgenia Falkovich |
Cellular Automata are Generic. |
DCM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Hermann Haeusler |
Propositional Logics Complexity and the Sub-Formula Property. |
DCM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Kahl |
A Simple Parallel Implementation of Interaction Nets in Haskell. |
DCM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001, Jesús Aranda, Juan Francisco Díaz |
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. |
DCM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma 0001 |
A Calculus of Located Entities. |
DCM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev |
Proof-graphs for Minimal Implicational Logic. |
DCM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Simon Martiel, Zizhu Wang |
Causal Dynamics of Discrete Surfaces. |
DCM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Gilles Dowek |
The probability of non-confluent systems. |
DCM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, Isaque Lima 0001, Rafael Nader, Pedro Rougemont |
Using HMM in Strategic Games. |
DCM |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleks Kissinger, Alex Merry, Matvey Soloviev |
Pattern Graph Rewrite Systems |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Abeer S. Al-Humaimeedy, Maribel Fernández |
General dynamic recovery for compensating CSP. |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Nagy, Sándor Vályi |
Computing discrete logarithm by interval-valued paradigm. |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Blakey |
Ray tracing - computing the incomputable? |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Mayordomo |
Effective dimension in some general metric spaces. |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini |
Two-Way Finite Automata: Old and Recent Results |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Pauly, Matthew de Brecht |
Non-deterministic computation and the Jayne-Rogers Theorem. |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miklós Bartha |
Quantum Turing automata. |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugen Jiresch |
Towards a GPU-based implementation of interaction nets. |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Sanders |
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. |
DCM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Assaf 0002, Simon Perdrix |
Completeness of algebraic CPS simulations |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Evgenia Falkovich |
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract- |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kudlek |
On the Existence of Universal Finite or Pushdown Automata |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz |
The Generic Model of Computation |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron |
Subject reduction in a Curry-style polymorphic type system with a vectorial structure |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elham Kashefi, Jean Krivine, Femke van Raamsdonk (eds.) |
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Mislove |
Probabilistic Monads, Domains and Classical Information |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Balduzzi |
On the information-theoretic structure of distributed measurements |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
A Calculus of Looping Sequences with Local Rules |
DCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Prakash Panangaden, Elham Kashefi (eds.) |
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Janet Anders, Saroosh Shabbir, Stefanie Hilt, Eric Lutz |
Landauer's principle in the quantum domain |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miklós Bartha |
Turing Automata and Graph Machines |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
The space of measurement outcomes as a spectrum for non-commutative algebras |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney |
Causality and the Semantics of Provenance |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Nicolas Oury |
Equilibrium and Termination |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli |
Two-Domain DNA Strand Displacement |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair A. Abbott, Cristian S. Calude |
Understanding the Quantum Computational Speed-up via De-quantisation |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Terrazas, Dario Landa-Silva, Natalio Krasnogor |
Towards the Design of Heuristics by Means of Self-Assembly |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik F. Floess, Erika Andersson, Mark Hillery |
Quantum algorithms for testing Boolean functions |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihito Soeda, Mio Murao |
Classification of delocalization power of global unitary operations in terms of LOCC one-piece relocalization |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Dixon, Ross Duncan, Aleks Kissinger |
Open Graphs and Computational Reasoning |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Valiron |
Semantics of a Typed Algebraic Lambda-Calculus |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Steven Younger, Emmett Redd |
Computing by Means of Physics-Based Optical Neural Networks |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Bayat, Pasquale Sodano, Sougato Bose |
Engineering Long Range Distance Independent Entanglement through Kondo Impurities in Spin Chains |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vedran Dunjko, Elham Kashefi |
Algebraic characterisation of one-way patterns |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damian Markham, Janet Anders, Michal Hajdusek, Vlatko Vedral |
Measurement Based Quantum Computation on Fractal Lattices |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Coja-Oghlan |
Random Constraint Satisfaction Problems |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix |
Information Flow in Secret Sharing Protocols. |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bernardinello, Lucia Pomello, Stefania Rombolà |
Orthomodular Lattices Induced by the Concurrency Relation |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
A Type System for Required/Excluded Elements in CLS |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bonizzoni, Clelia de Felice, Rosalba Zizza |
Circular Languages Generated by Complete Splicing Systems and Pure Unitary Languages |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leijnen, Liane Gabora |
How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fürer |
Deterministic Autopoietic Automata |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Russ Harmer |
Rule-based Modelling and Tunable Resolution |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Vincent Danos (eds.) |
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Walid Gomaa 0001 |
Characterizing Polynomial Time Computability of Rational and Real Functions |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Konkoli |
Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron |
An Intuitive Automated Modelling Interface for Systems Biology |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farid M. Ablayev, Alexander Vasiliev |
Algorithms for Quantum Branching Programs Based on Fingerprinting |
DCM |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license