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 | 41 | 2014 |

Pointless learning F Clerc, V Danos, F Dahlqvist, I Garnier Foundations of Software Science and Computation Structures: 20th …, 2017 | 35 | 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 | 29 | 2016 |

Combinatorial conversion and moment bisimulation for stochastic rewriting systems N Behr, V Danos, I Garnier Logical Methods in Computer Science 16, 2020 | 16 | 2020 |

Giry and the Machine F Dahlqvist, V Danos, I Garnier Electronic Notes in Theoretical Computer Science 325, 85-110, 2016 | 11 | 2016 |

Bayesian inversion by ω-complete cone duality F Dahlqvist, V Danos, I Garnier, O Kammar 27th International Conference on Concurrency Theory, 2016 | 10 | 2016 |

Dirichlet is natural V Danos, I Garnier Electronic Notes in Theoretical Computer Science 319, 137-164, 2015 | 10 | 2015 |

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 |

Borel kernels and their approximation, categorically F Dahlqvist, A Silva, V Danos, I Garnier Electronic Notes in Theoretical Computer Science 341, 91-119, 2018 | 7 | 2018 |

Robustly parameterised higher-order probabilistic models F Dahlqvist, V Danos, I Garnier 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 7 | 2016 |

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 | 7 | 2009 |

Computing continuous-time markov chains as transformers of unbounded observables V Danos, T Heindel, I Garnier, JG Simonsen Foundations of Software Science and Computation Structures: 20th …, 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 |

Free Energy of Petri Nets V Danos, I Garnier Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to …, 2014 | | 2014 |

Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques I Garnier Paris 11, 2012 | | 2012 |

Sur le délai de séparabilité dans des systèmes synchrones I Garnier, C Aussaguès, V David, G Vidal-Naquet Journal Europeen des Systemes Automatises-JESA-APII 45 (1), 93, 2011 | | 2011 |