|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vincent Danos, Mariangiola Dezani (eds.) |
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Simon Perdrix |
A Hierarchy of Quantum Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 71-83, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Sonia Fagorzi, Elena Zucca |
A Parametric Calculus for Mobile Open Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 3-22, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Ellie D'Hondt |
Classical Knowledge for Quantum Cryptographic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 39-58, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anne Crumière, Paul Ruet |
Spatial Differentiation and Positive Circuits in a Discrete Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 85-100, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ian Mackie, Shinya Sato |
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 59-70, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Mariangiola Dezani-Ciancaglini |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Marino Miculan |
Undecidability of Model Checking in Brane Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 23-37, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud, Ian Mackie (eds.) |
Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Luca Fossati |
Handshake Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 21-41, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michel Cosnard, Luigi Liquori, Raphaël Chand |
Virtual Organizations in Arigatoni. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 55-75, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud, Ian Mackie |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jayshan Raghunandan, Alexander J. Summers |
On the Computational Representation of Classical Logical Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 85-109, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mircea-Dan Hernest |
Light Dialectica Program Extraction from a Classical Fibonacci Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 43-53, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Siafakas |
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 111-126, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert K. Meyer |
The Better Bubbling Lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 77-84, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Germain Faure |
Term Collections in lambda and rho-calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 3-19, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Kohei Honda 0001, Nobuko Yoshida |
A Calculus of Global Interaction based on Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006, pp. 127-151, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Ian Mackie (eds.) |
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Simon Perdrix, Philippe Jorrand |
Classically-controlled Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 119-128, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cosentino, Marco Pedicini, Francesco Quaglia |
Supporting Function Calls within PELCR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 107-117, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | François-Régis Sinot |
Token-Passing Nets: Call-by-Need for Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 129-139, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
On Reversible Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 25-35, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Furio Honsell, Marina Lenisa, Rekha Redamalla |
Coalgebraic Description of Generalized Binary Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 73-84, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Florin Manea, Carlos Martín-Vide, Victor Mitrana |
A Universal Accepting Hybrid Network of Evolutionary Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 95-105, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Fagorzi, Elena Zucca |
A Calculus for Reconfiguration: (Extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 49-59, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach |
SCHOOL: a Small Chorded Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 37-47, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Garralda, Adriana B. Compagnoni |
Splitting Mobility and Communication in Boxed Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 61-71, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Ian Mackie |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac |
A Generalized Higher-Order Chemical Computation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 3-13, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori |
iRho: the Software: [System Description]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 85-94, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Haitong Xu, Sheng Yu 0001 |
Type Theory and Language Constructs for Objects with States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 141-151, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Nachum Dershowitz |
Abstract Effective Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 15-23, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|