ludovic henrio

Cited by

	All	Since 2019
Citations	1902	485
h-index	21	10
i10-index	54	11

140

105

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 5 11 39 69 95 127 110 134 119 82 75 95 74 125 110 79 91 90 65 31 118 85

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Vladimir GetovUniversity of WestminsterVerified email at westminster.ac.uk
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerified email at mdx.ac.uk
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Tomas BarrosVerified email at evoting.com
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaVerified email at unipi.it
Kiko FernándezEricssonVerified email at ericsson.com
Fabrice HuetUniversity of Nice Sophia-AntipolisVerified email at unice.fr
Christian PerezInriaVerified email at inria.fr
Uzair KhanNational University of Computer and Emerging Sciences, FAST NUCES, PakistanVerified email at nu.edu.pk
Marian BubakSano Centre for Computational Medicine, Krakow, PL, AGH Krakow PL, Amsterdam University NLVerified email at agh.edu.pl
Yannick ZakowskiInriaVerified email at inria.fr
Cristian RuzPontificia Universidad Católica de ChileVerified email at ing.puc.cl
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Paul HeUniversity of TorontoVerified email at cs.toronto.edu
Matthieu MorelTravelportVerified email at apache.org
Maciej MalawskiSano Centre for Computational Medicine, and Faculty of Computer Science AGHVerified email at agh.edu.pl
Matthieu MoyUniversité Claude Bernard Lyon 1, LIPVerified email at univ-lyon1.fr
Ehsan KhamespanahPostdoc, Reykjavik UniversityVerified email at ru.is
Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGVerified email at ing.com

ludovic henrio

CNRS

Verified email at ens-lyon.fr - Homepage

programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A theory of distributed objects: asynchrony, mobility, groups, components D Caromel, L Henrio Springer-Verlag New York Inc, 2005	202	2005
A survey of active object languages FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017	150	2017
Gcm: A grid extension to fractal for autonomous distributed components F Baude, D Caromel, C Dalmasso, M Danelutto, V Getov, L Henrio, ... Annals of Telecommunications 64 (1), 5-24, 2009	142	2009
Asynchronous and deterministic objects D Caromel, L Henrio, BP Serpette ACM SIGPLAN Notices 39 (1), 123-134, 2004	141	2004
Behavioural models for distributed Fractal components T Barros, R Ameur-Boulifa, A Cansado, L Henrio, E Madelaine Annals of Telecommunications 64 (1), 25-43, 2009	76	2009
Behavioural models for hierarchical components T Barros, L Henrio, E Madelaine Model Checking Software, 902-902, 2005	59	2005
Asynchronous sequential processes D Caromel, L Henrio, BP Serpette Information and Computation 207 (4), 459-495, 2009	55	2009
A hybrid message logging-cic protocol for constrained checkpointability F Baude, D Caromel, C Delbé, L Henrio Euro-Par 2005 Parallel Processing, 623-623, 2005	45	2005
Verification of distributed hierarchical components T Barros, L Henrio, E Madelaine Electronic Notes in Theoretical Computer Science 160, 41-55, 2006	41	2006
Type safe algorithmic skeletons D Caromel, L Henrio, M Leyton Parallel, Distributed and Network-Based Processing, 2008. PDP 2008. 16th …, 2008	34	2008
Behavioural semantics for asynchronous components R Ameur-Boulifa, L Henrio, O Kulankhina, E Madelaine, A Savu Journal of Logical and Algebraic Methods in Programming 89, 1-40, 2017	33*	2017
Collective interfaces for distributed components F Baude, D Caromel, L Henrio, M Morel Cluster Computing and the Grid, 2007. CCGRID 2007. Seventh IEEE …, 2007	33	2007
Multi-threaded active objects L Henrio, F Huet, Z István Coordination Models and Languages: 15th International Conference …, 2013	32	2013
Management of service compositionbased on self-controlled components T Aubonnet, L Henrio, S Kessal, O Kulankhina, F Lemoine, E Madelaine, ... Journal of Internet Services and Applications 6, 1-17, 2015	26	2015
Programming distributed and adaptable autonomous components—the GCM/ProActive framework F Baude, L Henrio, C Ruz Software: Practice and Experience 45 (9), 1189-1227, 2015	25	2015
A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance. S Bezzine, V Galtier, S Vialle, F Baude, M Bossy, VD Doan, L Henrio e-Science and Grid Computing, 2006. e-Science'06. Second IEEE International …, 2006	25	2006
Choice trees: Representing nondeterministic, recursive, and impure programs in coq N Chappe, P He, L Henrio, Y Zakowski, S Zdancewic Proceedings of the ACM on Programming Languages 7 (POPL), 1770-1800, 2023	23	2023
A theory for the composition of concurrent processes L Henrio, E Madelaine, M Zhang Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016	22	2016
Verifying safety of fault-tolerant distributed components R Ameur-Boulifa, R Halalai, L Henrio, E Madelaine International Workshop on Formal Aspects of Component Software, 278-295, 2011	22*	2011
pNets: an Expressive Model for Parameterised Networks of Processes L Henrio, E Madelaine, M Zhang Formal Approaches to Parallel and Distributed Systems (4PAD)-Special Session …, 2015	21	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors