Edit Profile Goubault-Larrecq, Jean Compute Distance To: Compute Author ID: goubault-larrecq.jean Published as: Goubault-Larrecq, Jean Documents Indexed: 65 Publications since 1997, including 4 Books all top 5 Co-Authors 29 single-authored 7 Finkel, Alain 6 Goubault, Eric 4 Dubut, Jérémy 4 Verma, Kumar Neeraj 3 Lasota, Sławomir 3 Nowak, David E. 2 Blondin, Michael 2 Jung, Achim 1 Arunkumar, S. 1 Bouissou, Olivier 1 Goguen, Healfdene 1 Halfon, Simon 1 Ho, Weng Kin 1 Jouannaud, Jean-Pierre 1 Karandikar, Prateek 1 Keimel, Klaus 1 König, Barbara 1 Kumar, K. Narayan 1 Lachance, Jean-Philippe 1 Mackie, Ian 1 Ng, Kok Min 1 Olivain, Julien 1 Palamidessi, Catuscia 1 Parrennes, Fabrice 1 Prasad, Sanjiva 1 Putot, Sylvie 1 Rival, Xavier 1 Roger, Muriel 1 Schmitz, Sylvain 1 Schnoebelen, Philippe 1 Segala, Roberto 1 Troina, Angelo 1 Xi, Xiaoyong 1 Zhang, Yu all top 5 Serials 9 MSCS. Mathematical Structures in Computer Science 5 Logical Methods in Computer Science 2 Topology and its Applications 2 Applied Categorical Structures 2 Topology Proceedings 1 Information Processing Letters 1 Computing 1 Theoretical Computer Science 1 Information and Computation 1 Formal Methods in System Design 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Homology, Homotopy and Applications 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Applied Logic Series 1 Electronic Notes in Theoretical Computer Science 1 New Mathematical Monographs 1 Journal of Logical and Algebraic Methods in Programming 1 Minimax Theory and its Applications all top 5 Fields 42 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 10 General topology (54-XX) 8 Category theory; homological algebra (18-XX) 6 Information and communication theory, circuits (94-XX) 3 Algebraic topology (55-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Probability theory and stochastic processes (60-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 50 Publications have been cited 282 times in 208 Documents Cited by ▼ Year ▼ Non-Hausdorff topology and domain theory. Selected topics in point-set topology. Zbl 1280.54002Goubault-Larrecq, Jean 85 2013 Forward analysis for WSTS. I: Completions. Zbl 1236.68183Finkel, Alain; Goubault-Larrecq, Jean 16 2009 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352Finkel, Alain; Goubault-Larrecq, Jean 12 2009 QRB-domains and the probabilistic powerdomain. Zbl 1239.06002Goubault-Larrecq, Jean 10 2012 Prevision domains and convex powercones. Zbl 1139.68034Goubault-Larrecq, Jean 9 2008 Deciding \(\mathcal H_1\) by resolution. Zbl 1185.68620Goubault-Larrecq, Jean 9 2005 Karp-Miller trees for a branching extension of VASS. Zbl 1152.68462Verma, Kumar Neeraj; Goubault-Larrecq, Jean 9 2005 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329Finkel, Alain; Goubault-Larrecq, Jean 7 2012 De Groot duality and models of choice: angels, demons and nature. Zbl 1193.06005Goubault-Larrecq, Jean 7 2010 Continuous capacities on continuous state spaces. Zbl 1171.91316Goubault-Larrecq, Jean 7 2007 Cryptographic protocol analysis on real C code. Zbl 1111.68506Goubault-Larrecq, Jean; Parrennes, Fabrice 7 2005 Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172Goubault-Larrecq, Jean; Schmitz, Sylvain 6 2016 Proof theory and automated deduction. Zbl 0896.03014Goubault-Larrecq, Jean; Mackie, Ian 6 1997 QRB, QFS, and the probabilistic powerdomain. Zbl 1337.68160Goubault-Larrecq, Jean; Jung, Achim 5 2014 A generalization of \(p\)-boxes to affine arithmetic. Zbl 1247.60006Bouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie 5 2012 Logical relations for monadic types. Zbl 1156.03014Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David 5 2008 Continuous previsions. Zbl 1179.68074Goubault-Larrecq, Jean 5 2007 Directed homology theories and Eilenberg-Steenrod axioms. Zbl 1422.55009Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean 4 2017 Natural homology. Zbl 1448.55010Dubut, Jérémy; Goubault, Éric; Goubault-Larrecq, Jean 4 2015 Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically. Zbl 1078.68032Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 4 2005 Higher-order positive set constraints. Zbl 1020.03012Goubault-Larrecq, Jean 4 2002 Well-founded recursive relations. Zbl 0999.68094Goubault-Larrecq, Jean 4 2001 Reflecting BDDs in Coq. Zbl 0988.68600Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S. 4 2000 A few notes on formal balls. Zbl 1385.54009Goubault-Larrecq, Jean; Ng, Kok Min 3 2017 A constructive proof of the topological Kruskal theorem. Zbl 1403.03126Goubault-Larrecq, Jean 3 2013 Simulation hemi-metrics between infinite-state stochastic games. Zbl 1139.68041Goubault-Larrecq, Jean 3 2008 Alternating two-way AC-tree automata. Zbl 1118.68081Verma, Kumar Neeraj; Goubault-Larrecq, Jean 3 2007 On the geometry of intuitionistic S4 proofs. Zbl 1022.03010Goubault-Larrecq, Jean; Goubault, Éric 3 2003 Logical relations for monadic types. Zbl 1021.03003Goubault-Larrecq, Jean; Lasota, Slawomir; Nowak, David 3 2002 A proof of weak termination of typed \(\lambda\sigma\)-calculi. Zbl 0927.03030Goubault-Larrecq, Jean 3 1998 The Ho-Zhao problem. Zbl 06828650Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong 2 2018 A short proof of the Schröder-Simpson theorem. Zbl 1362.46002Goubault-Larrecq, Jean 2 2015 Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026Goubault-Larrecq, Jean 2 2015 Random measurable selections. Zbl 1407.68255Goubault-Larrecq, Jean; Segala, Roberto 2 2014 Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007Goubault-Larrecq, Jean; Keimel, Klaus 2 2011 A probabilistic applied pi-calculus. Zbl 1137.68448Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo 2 2007 The Orchids intrusion detection tool. Zbl 1081.68630Olivain, Julien; Goubault-Larrecq, Jean 2 2005 Formal ball monads. Zbl 1447.54027Goubault-Larrecq, Jean 1 2019 Spaces with no infinite discrete subspace. Zbl 1420.54051Goubault-Larrecq, Jean 1 2019 Forward analysis for WSTS. Part III: Karp-Miller trees. Zbl 07278088Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean 1 2018 On the complexity of monitoring Orchids signatures, and recurrence equations. Zbl 1394.68180Goubault-Larrecq, Jean; Lachance, Jean-Philippe 1 2018 A non-Hausdorff minimax theorem. Zbl 1392.49009Goubault-Larrecq, Jean 1 2018 Isomorphism theorems between models of mixed choice. Zbl 1378.68111Goubault-Larrecq, Jean 1 2017 Exponentiable streams and prestreams. Zbl 1293.54011Goubault-Larrecq, Jean 1 2014 The blossom of finite semantic trees. Zbl 1383.03017Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre 1 2013 Musings around the geometry of interaction, and coherence. Zbl 1222.03066Goubault-Larrecq, Jean 1 2011 Noetherian spaces in verification. Zbl 1288.68165Goubault-Larrecq, Jean 1 2010 Extension of valuations. Zbl 1067.68089Goubault-Larrecq, Jean 1 2005 Complete lax logical relations for cryptographic lambda-calculi. Zbl 1095.03009Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David; Zhang, Yu 1 2004 Sequent combinators: A Hilbert system for the lambda calculus. Zbl 0957.03015Goguen, Healfdene; Goubault-Larrecq, Jean 1 2000 Formal ball monads. Zbl 1447.54027Goubault-Larrecq, Jean 1 2019 Spaces with no infinite discrete subspace. Zbl 1420.54051Goubault-Larrecq, Jean 1 2019 The Ho-Zhao problem. Zbl 06828650Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong 2 2018 Forward analysis for WSTS. Part III: Karp-Miller trees. Zbl 07278088Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean 1 2018 On the complexity of monitoring Orchids signatures, and recurrence equations. Zbl 1394.68180Goubault-Larrecq, Jean; Lachance, Jean-Philippe 1 2018 A non-Hausdorff minimax theorem. Zbl 1392.49009Goubault-Larrecq, Jean 1 2018 Directed homology theories and Eilenberg-Steenrod axioms. Zbl 1422.55009Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean 4 2017 A few notes on formal balls. Zbl 1385.54009Goubault-Larrecq, Jean; Ng, Kok Min 3 2017 Isomorphism theorems between models of mixed choice. Zbl 1378.68111Goubault-Larrecq, Jean 1 2017 Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172Goubault-Larrecq, Jean; Schmitz, Sylvain 6 2016 Natural homology. Zbl 1448.55010Dubut, Jérémy; Goubault, Éric; Goubault-Larrecq, Jean 4 2015 A short proof of the Schröder-Simpson theorem. Zbl 1362.46002Goubault-Larrecq, Jean 2 2015 Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026Goubault-Larrecq, Jean 2 2015 QRB, QFS, and the probabilistic powerdomain. Zbl 1337.68160Goubault-Larrecq, Jean; Jung, Achim 5 2014 Random measurable selections. Zbl 1407.68255Goubault-Larrecq, Jean; Segala, Roberto 2 2014 Exponentiable streams and prestreams. Zbl 1293.54011Goubault-Larrecq, Jean 1 2014 Non-Hausdorff topology and domain theory. Selected topics in point-set topology. Zbl 1280.54002Goubault-Larrecq, Jean 85 2013 A constructive proof of the topological Kruskal theorem. Zbl 1403.03126Goubault-Larrecq, Jean 3 2013 The blossom of finite semantic trees. Zbl 1383.03017Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre 1 2013 QRB-domains and the probabilistic powerdomain. Zbl 1239.06002Goubault-Larrecq, Jean 10 2012 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329Finkel, Alain; Goubault-Larrecq, Jean 7 2012 A generalization of \(p\)-boxes to affine arithmetic. Zbl 1247.60006Bouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie 5 2012 Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007Goubault-Larrecq, Jean; Keimel, Klaus 2 2011 Musings around the geometry of interaction, and coherence. Zbl 1222.03066Goubault-Larrecq, Jean 1 2011 De Groot duality and models of choice: angels, demons and nature. Zbl 1193.06005Goubault-Larrecq, Jean 7 2010 Noetherian spaces in verification. Zbl 1288.68165Goubault-Larrecq, Jean 1 2010 Forward analysis for WSTS. I: Completions. Zbl 1236.68183Finkel, Alain; Goubault-Larrecq, Jean 16 2009 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352Finkel, Alain; Goubault-Larrecq, Jean 12 2009 Prevision domains and convex powercones. Zbl 1139.68034Goubault-Larrecq, Jean 9 2008 Logical relations for monadic types. Zbl 1156.03014Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David 5 2008 Simulation hemi-metrics between infinite-state stochastic games. Zbl 1139.68041Goubault-Larrecq, Jean 3 2008 Continuous capacities on continuous state spaces. Zbl 1171.91316Goubault-Larrecq, Jean 7 2007 Continuous previsions. Zbl 1179.68074Goubault-Larrecq, Jean 5 2007 Alternating two-way AC-tree automata. Zbl 1118.68081Verma, Kumar Neeraj; Goubault-Larrecq, Jean 3 2007 A probabilistic applied pi-calculus. Zbl 1137.68448Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo 2 2007 Deciding \(\mathcal H_1\) by resolution. Zbl 1185.68620Goubault-Larrecq, Jean 9 2005 Karp-Miller trees for a branching extension of VASS. Zbl 1152.68462Verma, Kumar Neeraj; Goubault-Larrecq, Jean 9 2005 Cryptographic protocol analysis on real C code. Zbl 1111.68506Goubault-Larrecq, Jean; Parrennes, Fabrice 7 2005 Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically. Zbl 1078.68032Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 4 2005 The Orchids intrusion detection tool. Zbl 1081.68630Olivain, Julien; Goubault-Larrecq, Jean 2 2005 Extension of valuations. Zbl 1067.68089Goubault-Larrecq, Jean 1 2005 Complete lax logical relations for cryptographic lambda-calculi. Zbl 1095.03009Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David; Zhang, Yu 1 2004 On the geometry of intuitionistic S4 proofs. Zbl 1022.03010Goubault-Larrecq, Jean; Goubault, Éric 3 2003 Higher-order positive set constraints. Zbl 1020.03012Goubault-Larrecq, Jean 4 2002 Logical relations for monadic types. Zbl 1021.03003Goubault-Larrecq, Jean; Lasota, Slawomir; Nowak, David 3 2002 Well-founded recursive relations. Zbl 0999.68094Goubault-Larrecq, Jean 4 2001 Reflecting BDDs in Coq. Zbl 0988.68600Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S. 4 2000 Sequent combinators: A Hilbert system for the lambda calculus. Zbl 0957.03015Goguen, Healfdene; Goubault-Larrecq, Jean 1 2000 A proof of weak termination of typed \(\lambda\sigma\)-calculi. Zbl 0927.03030Goubault-Larrecq, Jean 3 1998 Proof theory and automated deduction. Zbl 0896.03014Goubault-Larrecq, Jean; Mackie, Ian 6 1997 all cited Publications top 5 cited Publications all top 5 Cited by 275 Authors 22 Goubault-Larrecq, Jean 13 Xi, Xiaoyong 12 Zhao, Dongsheng 10 Li, Qingguo 10 Xu, Xiaoquan 7 Finkel, Alain 4 Bice, Tristan Matthew 4 Goubault, Eric 4 He, Qingyu 4 Keimel, Klaus 4 Lasota, Sławomir 4 Lawson, Jimmie Don 4 Schmitz, Sylvain 4 Shen, Chong 4 Xu, Luoshan 4 Zhang, Dexue 3 Blondin, Michael 3 Cobzaş, Ştefan 3 Desharnais, Josée 3 Greshnov, Aleksandr Valer’evich 3 Jung, Achim 3 Lazić, Ranko 3 Li, Wei 3 Lu, Chongxia 3 Lu, Jing 3 Plotkin, Gordon D. 3 Schnoebelen, Philippe 3 Seidl, Helmut 3 Valero, Oscar 3 Verma, Kumar Neeraj 3 Wang, Kaiyun 3 Zhao, Bin 2 Abadi, Martín 2 Arutyunov, Aram Vladimirovic 2 Barbosa, Luís Soares 2 Berger, Ulrich 2 Chambart, Pierre 2 Chatterjee, Krishnendu 2 Dershowitz, Nachum 2 Dongsheng, Zhao 2 Doyen, Laurent 2 Gao, You 2 Henzinger, Thomas A. 2 Ho, Weng Kin 2 Jacquemard, Florent 2 Jančar, Petr 2 Jia, Xiaodong 2 Jouannaud, Jean-Pierre 2 Karandikar, Prateek 2 Katsumata, Shin-ya 2 Kawai, Tatsuji 2 Kou, Hui 2 Laviolette, François 2 Limet, Sébastien 2 Marcone, Alberto 2 Miñana, Juan-José 2 Neves, Renato 2 Panangaden, Prakash 2 Planul, Jérémy 2 Powell, Thomas D. 2 Reuß, Andreas 2 Rosa-Velardo, Fernando 2 Rump, Siegfried Michael 2 Salzer, Gernot 2 Sato, Tetsuya 2 Seisenberger, Monika 2 Starling, Charles 2 Turgeon, Amélie 2 Wang, Longchun 2 Wen, Xinpeng 2 Winskel, Glynn 2 Wu, Guohua 2 Xiaoyong, Xi 2 Zhang, Yu 2 Zhou, Xiangnan 1 Abdul Rauf, Rose H. 1 Abriola, Sergio 1 Acciai, Lucia 1 Adi, Kamel 1 Aguilera, Gabriel 1 Alechina, Natasha 1 Amini, Massoud 1 Amjad, Hasan 1 Ariola, Zena M. 1 Assaf, Samer 1 Battenfeld, Ingo 1 Bérard, Béatrice 1 Berghofer, Stefan 1 Bertrand, Nathalie 1 Bhargavan, Karthikeyan 1 Bilski, Paweł 1 Blanchet, Bruno 1 Boreale, Michele 1 Bouillaguet, Charles 1 Braibant, Thomas 1 Bulling, Nils 1 Cai, Xiaojuan 1 Chadha, Rohit 1 Chaput, Philippe 1 Chen, Yixiang ...and 175 more Authors all top 5 Cited in 57 Serials 32 Topology and its Applications 20 Theoretical Computer Science 11 MSCS. Mathematical Structures in Computer Science 9 Information and Computation 9 Logical Methods in Computer Science 5 Formal Methods in System Design 5 Applied Categorical Structures 4 Journal of Automated Reasoning 4 Archive for Mathematical Logic 3 Information Processing Letters 3 Order 3 Topology Proceedings 3 ACM Transactions on Computational Logic 3 Journal of Applied and Computational Topology 2 Rocky Mountain Journal of Mathematics 2 Information Sciences 2 Journal of Pure and Applied Algebra 2 Results in Mathematics 2 Forum Mathematicum 2 Doklady Mathematics 2 Acta Mathematica Sinica. English Series 2 The Journal of Logic and Algebraic Programming 2 Journal of Nonlinear Science and Applications 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Mathematical Analysis and Applications 1 Advances in Mathematics 1 Algebra Universalis 1 Fuzzy Sets and Systems 1 Journal of Algebra 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Quaestiones Mathematicae 1 Semigroup Forum 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Annals of Operations Research 1 Journal of Mathematical Sciences (New York) 1 Georgian Mathematical Journal 1 Journal of Functional Programming 1 Theory and Applications of Categories 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 Optimization Methods & Software 1 Positivity 1 Soft Computing 1 Journal of the ACM 1 Matematicheskie Trudy 1 Higher-Order and Symbolic Computation 1 Computer Languages, Systems & Structures 1 Journal of Logic and Analysis 1 Applied General Topology 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Sahand Communications in Mathematical Analysis 1 Minimax Theory and its Applications 1 Probability, Uncertainty and Quantitative Risk all top 5 Cited in 29 Fields 113 Computer science (68-XX) 67 General topology (54-XX) 58 Order, lattices, ordered algebraic structures (06-XX) 42 Mathematical logic and foundations (03-XX) 23 Category theory; homological algebra (18-XX) 8 Information and communication theory, circuits (94-XX) 7 Functional analysis (46-XX) 7 Operator theory (47-XX) 6 Algebraic topology (55-XX) 5 Probability theory and stochastic processes (60-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Combinatorics (05-XX) 2 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 \(K\)-theory (19-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Citations by Year