Edit Profile (opens in new tab) Loulergue, Frédéric Compute Distance To: Compute Author ID: loulergue.frederic Published as: Loulergue, Frédéric; Loulergue, F. Homepage: http://frederic.loulergue.eu/ External Links: MGP · ORCID · dblp Documents Indexed: 10 Publications since 1997 2 Contributions as Editor Co-Authors: 14 Co-Authors with 10 Joint Publications 132 Co-Co-Authors all top 5 Co-Authors 2 single-authored 5 Hains, Gaétan 2 Tesson, Julien 1 Dabrowski, Frédéric 1 Emoto, Kento 1 Foisy, Christian 1 Gava, Frédéric 1 Hashimoto, Hideki 1 Hu, Zhenjiang 1 Li, Chong 1 Mullins, John 1 Pinsard, Thomas 1 Tachon, Thibaut 1 Takeichi, Masato 1 Wotawa, Franz all top 5 Serials 1 Theoretical Computer Science 1 Science of Computer Programming 1 Computer Languages, Systems & Structures 1 Parallel Processing Letters 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 12 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 11 times in 9 Documents Cited by ▼ Year ▼ A calculus of functional BSP programs. Zbl 0954.68036Loulergue, Frédéric; Hains, Gaétan; Foisy, Christian 4 2000 Functional parallel programming with explicit processes: Beyond SPMD. Zbl 0996.68853Loulergue, Frédéric; Hains, Gaétan 3 1997 A parallel virtual machine for bulk synchronous parallel ML. Zbl 1033.68532Gava, Frédéric; Loulergue, Frédéric 2 2003 Program calculation in Coq. Zbl 1308.68049Tesson, Julien; Hashimoto, Hideki; Hu, Zhenjiang; Loulergue, Frédéric; Takeichi, Masato 1 2011 A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas 1 2015 A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas 1 2015 Program calculation in Coq. Zbl 1308.68049Tesson, Julien; Hashimoto, Hideki; Hu, Zhenjiang; Loulergue, Frédéric; Takeichi, Masato 1 2011 A parallel virtual machine for bulk synchronous parallel ML. Zbl 1033.68532Gava, Frédéric; Loulergue, Frédéric 2 2003 A calculus of functional BSP programs. Zbl 0954.68036Loulergue, Frédéric; Hains, Gaétan; Foisy, Christian 4 2000 Functional parallel programming with explicit processes: Beyond SPMD. Zbl 0996.68853Loulergue, Frédéric; Hains, Gaétan 3 1997 all cited Publications top 5 cited Publications all top 5 Cited by 15 Authors 3 Hains, Gaétan 2 Dabrowski, Frédéric 2 Loulergue, Frédéric 1 Achten, Peter 1 Aldinucci, Marco 1 Danelutto, Marco 1 Darais, David 1 Koopman, Pieter 1 Merlin, Armelle 1 Morazán, Marco T. 1 Mullins, John 1 Pinsard, Thomas 1 Stewart, Alan 1 van Eekelen, Marko 1 VanHorn, David A. all top 5 Cited in 6 Serials 3 Computer Languages, Systems & Structures 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 9 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year