| ReactiveML: a reactive extension to ML L Mandel, M Pouzet Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 149 | 2005 |
| Simulation and verification of asynchronous systems by means of a synchronous model N Halbwachs, L Mandel Sixth International Conference on Application of Concurrency to System …, 2006 | 63 | 2006 |
| GLONEMO: Global and accurate formal models for the analysis of ad-hoc sensor networks L Samper, F Maraninchi, L Mounier, L Mandel Proceedings of the first international conference on Integrated internet ad …, 2006 | 62 | 2006 |
| Lucy-n: a n-synchronous extension of Lustre L Mandel, F Plateau, M Pouzet Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010 | 38 | 2010 |
| Abstraction of clocks in synchronous data-flow systems A Cohen, L Mandel, F Plateau, M Pouzet Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008 | 32 | 2008 |
| An empirical study of GraphQL schemas E Wittern, A Cha, JC Davis, G Baudart, L Mandel Service-Oriented Computing: 17th International Conference, ICSOC 2019 …, 2019 | 31 | 2019 |
| Generating chat bots from web API specifications M Vaziri, L Mandel, A Shinnar, J Siméon, M Hirzel Proceedings of the 2017 ACM SIGPLAN international symposium on new ideas …, 2017 | 31 | 2017 |
| Generating chat bots from web API specifications M Hirzel, L Mandel, AE Shinnar, J Simeon, M Vaziri, C Wiecha US Patent 10,388,285, 2019 | 22 | 2019 |
| Time refinement in a functional synchronous language L Mandel, C Pasteur, M Pouzet Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 20 | 2013 |
| Interactive programming of reactive systems L Mandel, F Plateau Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009 | 20 | 2009 |
| Reactive probabilistic programming G Baudart, L Mandel, E Atkinson, B Sherman, M Pouzet, M Carbin Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 19 | 2020 |
| Conception, Sémantique et Implantation de ReactiveML: un langagea la ML pour la programmation réactive L Mandel PhD thesis, Université Pierre et Marie Currie (Paris 6), 2006 | 19 | 2006 |
| Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler JS Auerbach, M Hirzel, L Mandel, A Shinnar, J Siméon Proceedings of the 2017 ACM International Conference on Management of Data …, 2017 | 17 | 2017 |
| Simulation of mobile ad hoc network protocols in ReactiveML L Mandel, F Benbadis Proceedings of Synchronous Languages, Applications, and Programming, 2005 | 16 | 2005 |
| Reactive chatbot programming G Baudart, M Hirzel, L Mandel, A Shinnar, J Siméon Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and …, 2018 | 15 | 2018 |
| ReactiveML, ten years later L Mandel, C Pasteur, M Pouzet Proceedings of the 17th International Symposium on Principles and Practice …, 2015 | 15 | 2015 |
| META: Middleware for events, transactions, and analytics M Arnold, D Grove, B Herta, M Hind, M Hirzel, A Iyengar, L Mandel, ... IBM Journal of Research and Development 60 (2-3), 15: 1-15: 10, 2016 | 14* | 2016 |
| ReactiveML: un langage fonctionnel pour la programmation réactive M Pouzet, L Mandel Technique et Science Informatiques 27 (9-10), 1097-1128, 2008 | 14* | 2008 |
| Programming in JoCaml (Tool Demonstration) L Mandel, L Maranget Programming Languages and Systems: 17th European Symposium on Programming …, 2008 | 12 | 2008 |
| I can parse you: Grammars for dialogs M Hirzel, L Mandel, A Shinnar, J Siméon, M Vaziri 2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017 | 11 | 2017 |
Guillaume BaudartInria ParisAdresse e-mail validée de inria.fr
