Ilias Garnier

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