| ReactiveML: a reactive extension to ML L Mandel, M Pouzet Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 135 | 2005 |
| 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 | 59 | 2006 |
| 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 | 58 | 2006 |
| Lucy-n: a n-synchronous extension of Lustre L Mandel, F Plateau, M Pouzet International Conference on Mathematics of Program Construction, 288-309, 2010 | 30 | 2010 |
| Abstraction of clocks in synchronous data-flow systems A Cohen, L Mandel, F Plateau, M Pouzet ASIAN Symposium on Programming Languages and Systems, 237-254, 2008 | 30 | 2008 |
| 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 |
| 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 | 17 | 2017 |
| Time refinement in a functional synchronous language L Mandel, C Pasteur, M Pouzet Science of Computer Programming 111, 190-211, 2015 | 17 | 2015 |
| Simulation of mobile ad hoc network protocols in ReactiveML L Mandel, F Benbadis Proceedings of Synchronous Languages, Applications, and Programming, 2005 | 17 | 2005 |
| Interactive programming of reactive systems L Mandel, F Plateau Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009 | 15 | 2009 |
| ReactiveML, ten years later L Mandel, C Pasteur, M Pouzet Proceedings of the 17th International Symposium on Principles and Practice …, 2015 | 13 | 2015 |
| 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 | 12 | 2017 |
| Programming in JoCaml (Tool Demonstration) L Mandel, L Maranget European Symposium on Programming, 108-111, 2008 | 12 | 2008 |
| 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 | 11 | 2016 |
| ReactiveML: un langage fonctionnel pour la programmation rщactive L Mandel, M Pouzet | 11 | 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 | 9 | 2017 |
| A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music G Baudart, F Jacquemard, L Mandel, M Pouzet 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 9 | 2013 |
| Programming mixed music in ReactiveML G Baudart, L Mandel, M Pouzet Proceedings of the first ACM SIGPLAN workshop on Functional art, music …, 2013 | 9 | 2013 |
| Programming in JoCaml---Extended Version L Mandel, L Maranget INRIA, 2007 | 9 | 2007 |
| Reactivity of cooperative systems L Mandel, C Pasteur International Static Analysis Symposium, 219-236, 2014 | 8 | 2014 |
Martin HirzelIBM ResearchVerified email at us.ibm.com
