Ilias Garnier
Ilias Garnier
Verified email at di.ens.fr - Homepage
TitleCited byYear
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
202013
Pointless learning
F Clerc, V Danos, F Dahlqvist, I Garnier
International Conference on Foundations of Software Science and Computation …, 2017
192017
Stochastic mechanics of graph rewriting
N Behr, V Danos, I Garnier
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
122016
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
72011
Giry and the Machine
F Dahlqvist, V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 325, 85-110, 2016
62016
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
62009
The algebras of graph rewriting
N Behr, V Danos, I Garnier, T Heindel
arXiv preprint arXiv:1612.06240, 2016
52016
Dirichlet is natural
V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 319, 137-164, 2015
52015
Borel kernels and their approximation, categorically
F Dahlqvist, A Silva, V Danos, I Garnier
Electronic Notes in Theoretical Computer Science 341, 91-119, 2018
42018
Bayesian inversion by ω-complete cone duality
F Dahlqvist, V Danos, I Garnier, O Kammar
42016
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
22017
Robustly parameterised higher-order probabilistic models
F Dahlqvist, V Danos, I Garnier
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
22016
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
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
N Behr, V Danos, I Garnier
arXiv preprint arXiv:1904.07313, 2019
12019
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
Estimation of Linear Motion in Dense Crowd Videos using Langevin Model
S Behera, D Prosad Dogra, MK Bandyopadhyay, P Pratim Roy
arXiv preprint arXiv:1904.07233, 2019
2019
Pointless learning (long version)
F Clerc, V Danos, F Dahlqvist, I Garnier
2017
Continuous-time Markov chains as transformers of unbounded observables
V Danos, T Heindel, I Garnier, J Simonsen
2016
The system can't perform the operation now. Try again later.
Articles 1–20