Ilias Garnier

According to our database, Ilias Garnier authored at least 15 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems.

Nicolas Behr, Vincent Danos, Ilias Garnier

Log. Methods Comput. Sci., 2020

2018

Borel Kernels and their Approximation, Categorically.

Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.

Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Pointless Learning.

Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016

Giry and the Machine.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Stochastic mechanics of graph rewriting.

Nicolas Behr, Vincent Danos, Ilias Garnier

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Bayesian Inversion by ω-Complete Cone Duality.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Robustly Parameterised Higher-Order Probabilistic Models.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Dirichlet is Natural.

Vincent Danos, Ilias Garnier

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2014

Free Energy of Petri Nets.

Vincent Danos, Ilias Garnier

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Certified Complexity (CerCo).

Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. (Formalism for the high-level design of hard real-time embedded systems).

Ilias Garnier

PhD thesis, 2012

2011

CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons.

Ilias Garnier, Frédéric Gava

Int. J. Parallel Emergent Distributed Syst., 2011

On the reaction time of some synchronous systems

Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2009

New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons.

Frédéric Gava, Ilias Garnier

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009