| 2011 | ||
|---|---|---|
| 14 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari: Biochemical Reaction Rules with Constraints. ESOP 2011: 338-357 | |
| 2010 | ||
| 13 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher: The Attributed Pi-Calculus with Priorities. T. Comp. Sys. Biology 12: 13-76 (2010) | |
| 12 | Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut: Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon. T. Comp. Sys. Biology 12: 199-228 (2010) | |
| 2009 | ||
| 11 | Mathias John, Cédric Lhoussaine, Joachim Niehren: Dynamic Compartments in the Imperative pi-Calculus. CMSB 2009: 235-250 | |
| 10 | Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut: Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Winter Simulation Conference 2009: 920-931 | |
| 2008 | ||
| 9 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher: The Attributed Pi Calculus. CMSB 2008: 83-102 | |
| 2007 | ||
| 8 | Céline Kuttler, Cédric Lhoussaine, Joachim Niehren: A Stochastic Pi Calculus for Concurrent Objects. AB 2007: 232-246 | |
| 2004 | ||
| 7 | Cédric Lhoussaine, Vladimiro Sassone: A Dependently Typed Ambient Calculus. ESOP 2004: 171-187 | |
| 6 | Cédric Lhoussaine: Type inference for a distributed \pi-calculus. Sci. Comput. Program. 50(1-3): 225-251 (2004) | |
| 2003 | ||
| 5 | Cédric Lhoussaine: Type Inference for a Distributed pi-Calculus. ESOP 2003: 253-268 | |
| 4 | Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: The receptive distributed pi-calculus. ACM Trans. Program. Lang. Syst. 25(5): 549-577 (2003) | |
| 2002 | ||
| 3 | Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: On message deliverability and non-uniform receptivity. Fundam. Inform. 53(2): 105-129 (2002) | |
| 1999 | ||
| 2 | Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine: The Receptive Distributed pi-Calculus (Extended Abstract). FSTTCS 1999: 304-315 | |
| 1 | Laurent Audibert, Cédric Lhoussaine, Karl Schlechta: Distance Based Revision of Preferential Logics. Logic Journal of the IGPL 7(4): 429-446 (1999) | |
| 1 | Roberto M. Amadio | [2] [3] [4] |
| 2 | Laurent Audibert | [1] |
| 3 | Gérard Boudol | [2] [3] [4] |
| 4 | Mathias John | [9] [11] [13] [14] |
| 5 | Céline Kuttler | [8] [10] [12] |
| 6 | Mirabelle Nebut | [10] [12] |
| 7 | Joachim Niehren | [8] [9] [11] [13] [14] |
| 8 | Vladimiro Sassone | [7] |
| 9 | Karl Schlechta | [1] |
| 10 | Adelinde M. Uhrmacher (Adelinde Uhrmacher) | [9] [13] |
| 11 | Cristian Versari | [14] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page