Ilias Garnier

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 10

Top Venues

MFPS

FoSSaCS

CoRR

CONCUR

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Nicolas Behr, Vincent Danos, Ilias Garnier
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. Log. Methods Comput. Sci. 16 (3) (2020)
Nicolas Behr, Vincent Danos, Ilias Garnier
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. CoRR (2019)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Borel Kernels and their Approximation, Categorically. CoRR (2018)
Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier
Borel Kernels and their Approximation, Categorically. MFPS (2018)
Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier
Pointless Learning. FoSSaCS (2017)
Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. FoSSaCS (2017)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
Bayesian Inversion by ω-Complete Cone Duality. CONCUR (2016)
Nicolas Behr, Vincent Danos, Ilias Garnier
Stochastic mechanics of graph rewriting. LICS (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
Robustly Parameterised Higher-Order Probabilistic Models. CONCUR (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
Giry and the Machine. MFPS (2016)
Vincent Danos, Ilias Garnier
Dirichlet is Natural. MFPS (2015)
Vincent Danos, Ilias Garnier
Free Energy of Petri Nets. Horizons of the Mind (2014)
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
Certified Complexity (CerCo). FOPARA (2013)
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet
On the reaction time of some synchronous systems ICE (2011)
Ilias Garnier, Frédéric Gava
CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. Int. J. Parallel Emergent Distributed Syst. 26 (4) (2011)
Frédéric Gava, Ilias Garnier
New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. IPDPS (2009)

Ilias Garnier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ilias Garnier