MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Jean Krivine" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Transactions in RCCS  
  • by Vincent Danos, Jean Krivine — 2005 — In Proc. of CONCUR, LNCS 3653
  • …Transactions in RCCS Vincent Danos 1 and Jean Krivine 2⋆ 1 CNRS & Université Paris 7 2 INRIA…
  • Cited by 5 (1 self) – Add To MetaCart
  • Reversible communicating systems  
  • by Vincent Danos, Jean Krivine, Université Paris, Inria Rocquencourt — 2004 — in: CONCUR’04, LNCS 3170 (2004
  • …Reversible Communicating Systems Vincent Danos 1⋆ and Jean Krivine 2 1 Université Paris 7 & CNRS 2…
  • Cited by 15 (3 self) – Add To MetaCart
  • M.: Computational self-assembly  
  • by Pierre-louis Curien, Vincent Danos, Jean Krivine, Min Zhang
  • …Computational self-assembly Pierre-Louis Curien ∗ Vincent Danos † Jean Krivine ‡ Min Zhang § March…
  • Cited by 1 (1 self) – Add To MetaCart
  • General reversibility  
  • by Vincent Danos, Université Paris, Jean Krivine — 2006 — In EXPRESS’06, ENTCS. Elsevier
  • …Abstract EXPRESS 2006 General reversibility Vincent Danos CNRS & Université Paris 7 Jean Krivine…
  • Cited by 7 (3 self) – Add To MetaCart
  • MFPS 2008 Stochastic Bigraphs 1  
  • by Jean Krivine, Robin Milner, Angelo Troina
  • …MFPS 2008 Stochastic Bigraphs 1 Jean Krivine Harvard Medical School, Systems Biology Department…
  • Add To MetaCart
  • A Language for the Cell  
  • by Troels C. Damgaard, Vincent Danos, Jean Krivine, Troels C. Damgaard, Vincent Danos, Jean Krivine, Rued Langgaards Vej, Troels C. Damgaard, Vincent Danos, Jean Krivine — 1600
  • …A Language for the Cell Troels C. Damgaard Vincent Danos Jean Krivine IT University Technical…
  • Cited by 1 (1 self) – Add To MetaCart
  • Web www.itu.dkA Generic Language for Biological Systems based  
  • by Troels C. Damgaard, Jean Krivine, Troels C. Damgaard, Jean Krivine, Rued Langgaards Vej, On Bigraphs, Troels C. Damgaard, Jean Krivine — 1600
  • …A Generic Language for Biological Systems based on Bigraphs Troels C. Damgaard Jean Krivine…
  • Add To MetaCart
  • Rule-based Modelling of Cellular Signalling  
  • by Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine, Plectix Biosystems, École Normale Supérieure, École Polytechnique — 2007 — Proceedings of the 18 th International Conference on Concurrency Theory (CONCUR’07), Lecture Notes in Computer Science
  • … 3 , Russell Harmer 3,4 , and Jean Krivine 5 1 Plectix Biosystems 2 École Normale Supérieure 3…
  • Cited by 12 (8 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB