Follow
Ilias Garnier
Ilias Garnier
Verified email at di.ens.fr - Homepage
Title
Cited by
Cited by
Year
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
492014
Pointless learning
F Clerc, V Danos, F Dahlqvist, I Garnier
Foundations of Software Science and Computation Structures: 20th …, 2017
432017
Stochastic mechanics of graph rewriting
N Behr, V Danos, I Garnier
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
322016
Combinatorial conversion and moment bisimulation for stochastic rewriting systems
N Behr, V Danos, I Garnier
Logical Methods in Computer Science 16, 2020
172020
Borel kernels and their approximation, categorically
F Dahlqvist, A Silva, V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 341, 91-119, 2018
162018
Bayesian inversion by ω-complete cone duality
F Dahlqvist, V Danos, I Garnier, O Kammar
27th International Conference on Concurrency Theory, 2016
152016
Dirichlet is natural
V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 319, 137-164, 2015
142015
Giry and the Machine
F Dahlqvist, V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 325, 85-110, 2016
122016
The algebras of graph rewriting
N Behr, V Danos, I Garnier, T Heindel
arXiv preprint arXiv:1612.06240, 2016
92016
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
82011
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
82009
Robustly parameterised higher-order probabilistic models
F Dahlqvist, V Danos, I Garnier
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
62016
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
32017
Decomposition of strongly coupled systems
D Bucher, I Garnier, R Honorato, V Danos
Young Researchers Workshop on Concurrency Theory, 2013
22013
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
22008
On the reaction time of some synchronous systems
I Garnier, C Aussagues, V David, G Vidal-Naquet
arXiv preprint arXiv:1108.0467, 2011
12011
Formally ensuring time constraints in a development process
I Garnier, C Aussagues, V David, G Vidal-Naquet
Proceedings of the VVPS workshop, 2011
12011
Semantics for probabilistic programming
F Clerc, V Danos, F Dahlqvist, I Garnier
2016
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
Université Paris Sud-Paris XI, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20