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, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2013
292013
Pointless learning
F Clerc, V Danos, F Dahlqvist, I Garnier
International Conference on Foundations of Software Science and Computation …, 2017
242017
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
232016
Combinatorial conversion and moment bisimulation for stochastic rewriting systems
N Behr, V Danos, I Garnier
arXiv preprint arXiv:1904.07313, 2019
102019
The algebras of graph rewriting
N Behr, V Danos, I Garnier, T Heindel
arXiv preprint arXiv:1612.06240, 2016
92016
Giry and the Machine
F Dahlqvist, V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 325, 85-110, 2016
82016
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
82016
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
Dirichlet is natural
V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 319, 137-164, 2015
72015
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
72009
Borel kernels and their approximation, categorically
F Dahlqvist, A Silva, V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 341, 91-119, 2018
62018
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
Robustly parameterised higher-order probabilistic models
F Dahlqvist, V Danos, I Garnier
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
32016
Decomposition of strongly coupled systems
D Bucher, I Garnier, R Honorato, V Danos
Young Researchers Workshop on Concurrency Theory. URL: http://www …, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20