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 | 23 | 2013 |

Pointless learning F Clerc, V Danos, F Dahlqvist, I Garnier International Conference on Foundations of Software Science and Computation …, 2017 | 22 | 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 | 14 | 2016 |

Giry and the Machine F Dahlqvist, V Danos, I Garnier | 7 | 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 | 7 | 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 | 7 | 2009 |

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

Bayesian inversion by ω-complete cone duality F Dahlqvist, V Danos, I Garnier, O Kammar | 5 | 2016 |

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

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

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems N Behr, V Danos, I Garnier arXiv preprint arXiv:1904.07313, 2019 | 3 | 2019 |

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 | 2 | 2017 |

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

Estimation of linear motion in dense crowd videos using Langevin model S Behera, DP Dogra, MK Bandyopadhyay, PP Roy Expert Systems with Applications 150, 113333, 2020 | 1 | 2020 |

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 |

Pointless learning (long version) F Clerc, V Danos, F Dahlqvist, I Garnier | | 2017 |

Continuous-time Markov chains as transformers of unbounded observables V Danos, T Heindel, I Garnier, J Simonsen | | 2016 |