BibSonomy :: author  ::

bookmarks

publications

(35)

• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• Valid formulas, games and network protocols
  Jean-Louis Krivine and Yves Legrandgérard CoRR abs/0708.1480 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A verification algorithm for Declarative Concurrent Programming
  Jean Krivine CoRR abs/cs/0606095 (2006)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Scalable Simulation of Cellular Signaling Networks.
  Vincent Danos and Jérôme Feret and Walter Fontana and Jean Krivine APLAS 139-157 (2007)
  to dblp by dblp on 2007-11-29 00:00:00
  | URL | BibTeX