| A theory of distributed objects: asynchrony, mobility, groups, components D Caromel, L Henrio Springer-Verlag New York Inc, 2005 | 204 | 2005 |
| A survey of active object languages F Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017 | 170 | 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 | 145 | 2009 |
| Asynchronous and deterministic objects D Caromel, L Henrio, BP Serpette ACM SIGPLAN Notices 39 (1), 123-134, 2004 | 145 | 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 | 73 | 2009 |
| Behavioural models for hierarchical components T Barros, L Henrio, E Madelaine Model Checking Software, 902-902, 2005 | 58 | 2005 |
| Asynchronous sequential processes D Caromel, L Henrio, BP Serpette Information and Computation 207 (4), 459-495, 2009 | 49 | 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 | 42 | 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 | 37 | 2023 |
| Multi-threaded active objects L Henrio, F Huet, Z István International Conference on Coordination Languages and Models, 90-104, 2013 | 33 | 2013 |
| Type safe algorithmic skeletons D Caromel, L Henrio, M Leyton Parallel, Distributed and Network-Based Processing, 2008. PDP 2008. 16th …, 2008 | 33 | 2008 |
| 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 |
| 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 | 32* | 2017 |
| Component-based distributed software reconfiguration: A verification-oriented survey H Coullon, L Henrio, F Loulergue, S Robillard ACM Computing Surveys 56 (1), 1-37, 2023 | 28 | 2023 |
| 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 | 26 | 2015 |
| 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), 15, 2015 | 26 | 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 | 24 | 2006 |
| A theory for the composition of concurrent processes L Henrio, E Madelaine, M Zhang International Conference on Formal Techniques for Distributed Objects …, 2016 | 23 | 2016 |
| Godot: All the benefits of implicit and explicit futures K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad ECOOP 2019-33rd European Conference on Object-Oriented Programming, 1-28, 2019 | 21 | 2019 |
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
