BibSonomy publications for /author/Krivine http://www.bibsonomy.org/author/Krivine BibSonomy RSS Feed for /author/Krivine Stochastic Bigraphs. dblp http://www.bibsonomy.org/bibtex/28a7f82a8a22e424bbfa06109e1d5a36b/dblp dblp 2008-11-18T00:00:00+01:00 dblp
Stochastic Bigraphs.
Jean Krivine and Robin Milner and Angelo Troina Electr. Notes Theor. Comput. Sci. 218 73-96 (2008)
to dblp by dblp on 2008-11-18 00:00:00
]]> Structures de réalisabilité, RAM et ultrafiltre sur N dblp http://www.bibsonomy.org/bibtex/21e8f1129b75d72e46cb4cbd98a16102e/dblp dblp 2008-10-02T00:00:00+02:00 dblp
Structures de réalisabilité, RAM et ultrafiltre sur N
Jean-Louis Krivine CoRR abs/0809.2394 (2008)
to dblp by dblp on 2008-10-02 00:00:00
]]> Computational self-assembly. dblp http://www.bibsonomy.org/bibtex/26aa1437cbd3f8692c7bf69f4165af919/dblp dblp 2008-08-21T00:00:00+02:00 dblp
Computational self-assembly.
Pierre-Louis Curien and Vincent Danos and Jean Krivine and Min Zhang Theor. Comput. Sci. 404 61-75 (2008)
to dblp by dblp on 2008-08-21 00:00:00
]]> Typed lambda-calculus in classical Zermelo-Frænkel set theory. dblp http://www.bibsonomy.org/bibtex/28ee863abb95883da756f6e8ac3fba165/dblp dblp 2008-07-15T00:00:00+02:00 dblp
Typed lambda-calculus in classical Zermelo-Frænkel set theory.
Jean-Louis Krivine Arch. Math. Log. 40 189-205 (2001)
to dblp by dblp on 2008-07-15 00:00:00
]]> Rule-Based Modelling, Symmetries, Refinements. dblp http://www.bibsonomy.org/bibtex/262466f2533608977ca68075566ed48b7/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Rule-Based Modelling, Symmetries, Refinements.
Vincent Danos and Jérôme Feret and Walter Fontana and Russell Harmer and Jean Krivine FMSB 103-122 (2008)
to dblp by dblp on 2008-06-09 00:00:00
]]> Percolation line of self-bound clusters in supercritical fluids Physica A http://www.bibsonomy.org/bibtex/229a6d2c2f022555a6625a77b4e9cc64d/smicha smicha 2008-04-22T10:36:30+02:00 Percolation
Percolation line of self-bound clusters in supercritical fluids
X. Campi and H. Krivine and N. Sator Physica A: Statistical Mechanics and its Applications 296 24--30 (2001)
to Percolation by smicha on 2008-04-22 10:36:30
]]> On a definition of stable droplets in the lattice-gas model Physica A http://www.bibsonomy.org/bibtex/2b1ed2197b2ba7fab5fb15d95e058e1fc/smicha smicha 2008-04-22T10:36:30+02:00 imported
On a definition of stable droplets in the lattice-gas model
X. Campi and H. Krivine and A. Puente Physica A: Statistical and Theoretical Physics 262 328--334 (1999)
to imported by smicha on 2008-04-22 10:36:30
]]> Clustering and thermodynamics in the lattice-gas model Physica A http://www.bibsonomy.org/bibtex/2ea2eef958b10d82052db7ee70250149b/smicha smicha 2008-04-22T10:36:30+02:00 Percolation
Clustering and thermodynamics in the lattice-gas model
X. Campi and H. Krivine and J. Krivine Physica A: Statistical Mechanics and its Applications 320 41--50 (2003)
to Percolation by smicha on 2008-04-22 10:36:30
]]> A call-by-name lambda-calculus machine. dblp http://www.bibsonomy.org/bibtex/25138a5e38400819be6cb9ed8665a8ffe/dblp dblp 2008-03-12T00:00:00+01:00 dblp
A call-by-name lambda-calculus machine.
Jean-Louis Krivine Higher-Order and Symbolic Computation 20 199-207 (2007)
to dblp by dblp on 2008-03-12 00:00:00
]]> Abstract Interpretation of Cellular Signalling Networks. dblp http://www.bibsonomy.org/bibtex/28a95e43c613c318ffa50beb539fc5430/dblp dblp 2008-03-03T00:00:00+01:00 dblp
Abstract Interpretation of Cellular Signalling Networks.
Vincent Danos and Jérôme Feret and Walter Fontana and Jean Krivine VMCAI 83-97 (2008)
to dblp by dblp on 2008-03-03 00:00:00
]]>