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

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

Giry and the Machine F Dahlqvist, V Danos, I Garnier Electronic Notes in Theoretical Computer Science 325, 85-110, 2016 | 6 | 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 | 6 | 2009 |

The algebras of graph rewriting N Behr, V Danos, I Garnier, T Heindel arXiv preprint arXiv:1612.06240, 2016 | 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 |

Bayesian inversion by ω-complete cone duality F Dahlqvist, V Danos, I Garnier, O Kammar | 4 | 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 | 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, 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 |

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

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 |

Estimation of Linear Motion in Dense Crowd Videos using Langevin Model S Behera, D Prosad Dogra, MK Bandyopadhyay, P Pratim Roy arXiv preprint arXiv:1904.07233, 2019 | | 2019 |

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 |