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
232013
Pointless learning
F Clerc, V Danos, F Dahlqvist, I Garnier
International Conference on Foundations of Software Science and Computation†…, 2017
222017
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
142016
Giry and the Machine
F Dahlqvist, V Danos, I Garnier
72016
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
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
The algebras of graph rewriting
N Behr, V Danos, I Garnier, T Heindel
arXiv preprint arXiv:1612.06240, 2016
52016
Bayesian inversion by ω-complete cone duality
F Dahlqvist, V Danos, I Garnier, O Kammar
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
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
N Behr, V Danos, I Garnier
arXiv preprint arXiv:1904.07313, 2019
32019
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. 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
Estimation of linear motion in dense crowd videos using Langevin model
S Behera, DP Dogra, MK Bandyopadhyay, PP Roy
Expert Systems with Applications 150, 113333, 2020
12020
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
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