Certified complexity (cerco) RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ... Foundational and Practical Aspects of Resource Analysis: Third International …, 2014 | 50 | 2014 |
Pointless learning F Clerc, V Danos, F Dahlqvist, I Garnier Foundations of Software Science and Computation Structures: 20th …, 2017 | 43 | 2017 |
Stochastic mechanics of graph rewriting N Behr, V Danos, I Garnier Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 33 | 2016 |
Combinatorial conversion and moment bisimulation for stochastic rewriting systems N Behr, V Danos, I Garnier Logical Methods in Computer Science 16, 2020 | 17 | 2020 |
Borel kernels and their approximation, categorically F Dahlqvist, A Silva, V Danos, I Garnier Electronic Notes in Theoretical Computer Science 341, 91-119, 2018 | 17 | 2018 |
Bayesian inversion by ω-complete cone duality F Dahlqvist, V Danos, I Garnier, O Kammar 27th International Conference on Concurrency Theory, 2016 | 15 | 2016 |
Dirichlet is natural V Danos, I Garnier Electronic Notes in Theoretical Computer Science 319, 137-164, 2015 | 14 | 2015 |
Giry and the Machine F Dahlqvist, V Danos, I Garnier Electronic Notes in Theoretical Computer Science 325, 85-110, 2016 | 12 | 2016 |
The algebras of graph rewriting N Behr, V Danos, I Garnier, T Heindel arXiv preprint arXiv:1612.06240, 2016 | 9 | 2016 |
CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons I Garnier, F Gava International Journal of Parallel, Emergent and Distributed Systems 26 (4 …, 2011 | 8 | 2011 |
New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons F Gava, I Garnier 2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009 | 8 | 2009 |
Robustly parameterised higher-order probabilistic models F Dahlqvist, V Danos, I Garnier 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 6 | 2016 |
Computing continuous-time markov chains as transformers of unbounded observables V Danos, T Heindel, I Garnier, JG Simonsen International Conference on Foundations of Software Science and Computation …, 2017 | 3 | 2017 |
Decomposition of strongly coupled systems D Bucher, I Garnier, R Honorato, V Danos Young Researchers Workshop on Concurrency Theory, 2013 | 2 | 2013 |
New implementation of a parallel composition primitive for a functionnal BSP language I Garnier, F Gava LACL, University of Paris East, Tech. Rep 5, 2008 | 2 | 2008 |
On the reaction time of some synchronous systems I Garnier, C Aussagues, V David, G Vidal-Naquet arXiv preprint arXiv:1108.0467, 2011 | 1 | 2011 |
Formally ensuring time constraints in a development process I Garnier, C Aussagues, V David, G Vidal-Naquet Proceedings of the VVPS workshop, 2011 | 1 | 2011 |
Semantics for probabilistic programming F Clerc, V Danos, F Dahlqvist, I Garnier | | 2016 |
27th International Conference on Concurrency Theory (CONCUR 2016) F Dahlqvist, V Danos, I Garnier, O Kammar, F Rossi, M Shapiro, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
Free Energy of Petri Nets V Danos, I Garnier Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to …, 2014 | | 2014 |