Vincent Danos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
16
Active years
1993–2021
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FC | Global Order Routing on Exchange Networks. | Vincent Danos, Hamza El Khalloufi, Julien Prat |
| 2017 | FOSSACS | Pointless Learning. | Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier |
| 2017 | FOSSACS | Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. | Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen |
| 2016 | CONCUR | Robustly Parameterised Higher-Order Probabilistic Models. | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier |
| 2016 | CONCUR | Bayesian Inversion by ω-Complete Cone Duality. | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar |
| 2016 | LICS | Stochastic mechanics of graph rewriting. | Nicolas Behr, Vincent Danos, Ilias Garnier |
| 2015 | RC | Moment Semantics for Reversible Rule-Based Systems. | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2014 | ICFEM | Approximations for Stochastic Graph Rewriting. | Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki |
| 2013 | CONCUR | Thermodynamic Graph-Rewriting. | Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer |
| 2011 | CALCO | On the Statistical Thermodynamics of Reversible Communicating Processes. | Giorgio Bacci, Vincent Danos, Ohad Kammar |
| 2011 | DNA | Cooperative Assembly Systems. | Vincent Danos, Heinz Koeppl, John Roger Wilson-Kanamori |
| 2010 | LICS | Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2009 | CALCO | Approximating Labelled Markov Processes Again! | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
| 2009 | CAV | Modelling Epigenetic Information Maintenance: A Kappa Tutorial. | Jean Krivine, Vincent Danos, Arndt Benecke |
| 2009 | ICALP | Approximating Markov Processes by Averaging. | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
| 2008 | VMCAI | Abstract Interpretation of Cellular Signalling Networks. | Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine |
| 2007 | APLAS | Scalable Simulation of Cellular Signaling Networks. | Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine |
| 2007 | CONCUR | Rule-Based Modelling of Cellular Signalling. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2006 | ICALP | The One Way to Quantum Computation. | Vincent Danos, Elham Kashefi, Prakash Panangaden |
| 2005 | CONCUR | Transactions in RCCS. | Vincent Danos, Jean Krivine |
| 2005 | IWINAC | Self Assembling Graphs. | Vincent Danos, Fabien Tarissan |
| 2004 | CONCUR | Reversible Communicating Systems. | Vincent Danos, Jean Krivine |
| 2003 | CONCUR | Conditional Expectation and the Approximation of Labelled Markov Processes. | Vincent Danos, Jose Desharnais, Prakash Panangaden |
| 2003 | ESOP | Core Formal Molecular Biology. | Vincent Danos, Cosimo Laneve |
| 2003 | ICFP | Disjunctive normal forms and local exceptions. | Emmanuel Beffara, Vincent Danos |
| 2003 | LICS | Labelled Markov Processes: Stronger and Faster Approximations. | Vincent Danos, Jose Desharnais |
| 2001 | CSL | The Anatomy of Innocence. | Vincent Danos, Russell Harmer |
| 2000 | CSL | Disjunctive Tautologies as Synchronisation Schemes. | Vincent Danos, Jean-Louis Krivine |
| 2000 | LICS | Probabilistic Game Semantics. | Vincent Danos, Russell Harmer |
| 1997 | CSL | Timeless Games. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1997 | LICS | Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1996 | CSL | Directed Virtual Reductions. | Vincent Danos, Marco Pedicini, Laurent Regnier |
| 1996 | LICS | Game Semantics & Abstract Machines. | Vincent Danos, Hugo Herbelin, Laurent Regnier |
| 1994 | LICS | Paths in the lambda-calculus | Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier |
| 1993 | LICS | Local and asynchronous beta-reduction (an analysis of Girard's execution formula) | Vincent Danos, Laurent Regnier |