Certified complexity (cerco) RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ... International Workshop on Foundational and Practical Aspects of Resource …, 2013 | 29 | 2013 |

Pointless learning F Clerc, V Danos, F Dahlqvist, I Garnier International Conference on Foundations of Software Science and Computation …, 2017 | 24 | 2017 |

Stochastic mechanics of graph rewriting N Behr, V Danos, I Garnier 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016 | 23 | 2016 |

Combinatorial conversion and moment bisimulation for stochastic rewriting systems N Behr, V Danos, I Garnier arXiv preprint arXiv:1904.07313, 2019 | 10 | 2019 |

The algebras of graph rewriting N Behr, V Danos, I Garnier, T Heindel arXiv preprint arXiv:1612.06240, 2016 | 9 | 2016 |

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

Bayesian inversion by ω-complete cone duality F Dahlqvist, V Danos, I Garnier, O Kammar 27th International Conference on Concurrency Theory (CONCUR 2016), 15 p., 2016 | 8 | 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 |

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

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 |

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

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 |

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

Decomposition of strongly coupled systems D Bucher, I Garnier, R Honorato, V Danos Young Researchers Workshop on Concurrency Theory. URL: http://www …, 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, 268-289, 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 |