×

zbMATH — the first resource for mathematics

Goubault-Larrecq, Jean

Compute Distance To:
Author ID: goubault-larrecq.jean Recent zbMATH articles by "Goubault-Larrecq, Jean"
Published as: Goubault-Larrecq, Jean
Documents Indexed: 65 Publications since 1997, including 4 Books

Publications by Year

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.54002
Goubault-Larrecq, Jean
85
2013
Forward analysis for WSTS. I: Completions. Zbl 1236.68183
Finkel, Alain; Goubault-Larrecq, Jean
16
2009
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352
Finkel, Alain; Goubault-Larrecq, Jean
12
2009
QRB-domains and the probabilistic powerdomain. Zbl 1239.06002
Goubault-Larrecq, Jean
10
2012
Prevision domains and convex powercones. Zbl 1139.68034
Goubault-Larrecq, Jean
9
2008
Deciding \(\mathcal H_1\) by resolution. Zbl 1185.68620
Goubault-Larrecq, Jean
9
2005
Karp-Miller trees for a branching extension of VASS. Zbl 1152.68462
Verma, Kumar Neeraj; Goubault-Larrecq, Jean
9
2005
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329
Finkel, Alain; Goubault-Larrecq, Jean
7
2012
De Groot duality and models of choice: angels, demons and nature. Zbl 1193.06005
Goubault-Larrecq, Jean
7
2010
Continuous capacities on continuous state spaces. Zbl 1171.91316
Goubault-Larrecq, Jean
7
2007
Cryptographic protocol analysis on real C code. Zbl 1111.68506
Goubault-Larrecq, Jean; Parrennes, Fabrice
7
2005
Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172
Goubault-Larrecq, Jean; Schmitz, Sylvain
6
2016
Proof theory and automated deduction. Zbl 0896.03014
Goubault-Larrecq, Jean; Mackie, Ian
6
1997
QRB, QFS, and the probabilistic powerdomain. Zbl 1337.68160
Goubault-Larrecq, Jean; Jung, Achim
5
2014
A generalization of \(p\)-boxes to affine arithmetic. Zbl 1247.60006
Bouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie
5
2012
Logical relations for monadic types. Zbl 1156.03014
Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David
5
2008
Continuous previsions. Zbl 1179.68074
Goubault-Larrecq, Jean
5
2007
Directed homology theories and Eilenberg-Steenrod axioms. Zbl 1422.55009
Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean
4
2017
Natural homology. Zbl 1448.55010
Dubut, 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.68032
Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj
4
2005
Higher-order positive set constraints. Zbl 1020.03012
Goubault-Larrecq, Jean
4
2002
Well-founded recursive relations. Zbl 0999.68094
Goubault-Larrecq, Jean
4
2001
Reflecting BDDs in Coq. Zbl 0988.68600
Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S.
4
2000
A few notes on formal balls. Zbl 1385.54009
Goubault-Larrecq, Jean; Ng, Kok Min
3
2017
A constructive proof of the topological Kruskal theorem. Zbl 1403.03126
Goubault-Larrecq, Jean
3
2013
Simulation hemi-metrics between infinite-state stochastic games. Zbl 1139.68041
Goubault-Larrecq, Jean
3
2008
Alternating two-way AC-tree automata. Zbl 1118.68081
Verma, Kumar Neeraj; Goubault-Larrecq, Jean
3
2007
On the geometry of intuitionistic S4 proofs. Zbl 1022.03010
Goubault-Larrecq, Jean; Goubault, Éric
3
2003
Logical relations for monadic types. Zbl 1021.03003
Goubault-Larrecq, Jean; Lasota, Slawomir; Nowak, David
3
2002
A proof of weak termination of typed \(\lambda\sigma\)-calculi. Zbl 0927.03030
Goubault-Larrecq, Jean
3
1998
The Ho-Zhao problem. Zbl 06828650
Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong
2
2018
A short proof of the Schröder-Simpson theorem. Zbl 1362.46002
Goubault-Larrecq, Jean
2
2015
Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026
Goubault-Larrecq, Jean
2
2015
Random measurable selections. Zbl 1407.68255
Goubault-Larrecq, Jean; Segala, Roberto
2
2014
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007
Goubault-Larrecq, Jean; Keimel, Klaus
2
2011
A probabilistic applied pi-calculus. Zbl 1137.68448
Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo
2
2007
The Orchids intrusion detection tool. Zbl 1081.68630
Olivain, Julien; Goubault-Larrecq, Jean
2
2005
Formal ball monads. Zbl 1447.54027
Goubault-Larrecq, Jean
1
2019
Spaces with no infinite discrete subspace. Zbl 1420.54051
Goubault-Larrecq, Jean
1
2019
Forward analysis for WSTS. Part III: Karp-Miller trees. Zbl 07278088
Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean
1
2018
On the complexity of monitoring Orchids signatures, and recurrence equations. Zbl 1394.68180
Goubault-Larrecq, Jean; Lachance, Jean-Philippe
1
2018
A non-Hausdorff minimax theorem. Zbl 1392.49009
Goubault-Larrecq, Jean
1
2018
Isomorphism theorems between models of mixed choice. Zbl 1378.68111
Goubault-Larrecq, Jean
1
2017
Exponentiable streams and prestreams. Zbl 1293.54011
Goubault-Larrecq, Jean
1
2014
The blossom of finite semantic trees. Zbl 1383.03017
Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre
1
2013
Musings around the geometry of interaction, and coherence. Zbl 1222.03066
Goubault-Larrecq, Jean
1
2011
Noetherian spaces in verification. Zbl 1288.68165
Goubault-Larrecq, Jean
1
2010
Extension of valuations. Zbl 1067.68089
Goubault-Larrecq, Jean
1
2005
Complete lax logical relations for cryptographic lambda-calculi. Zbl 1095.03009
Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David; Zhang, Yu
1
2004
Sequent combinators: A Hilbert system for the lambda calculus. Zbl 0957.03015
Goguen, Healfdene; Goubault-Larrecq, Jean
1
2000
Formal ball monads. Zbl 1447.54027
Goubault-Larrecq, Jean
1
2019
Spaces with no infinite discrete subspace. Zbl 1420.54051
Goubault-Larrecq, Jean
1
2019
The Ho-Zhao problem. Zbl 06828650
Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong
2
2018
Forward analysis for WSTS. Part III: Karp-Miller trees. Zbl 07278088
Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean
1
2018
On the complexity of monitoring Orchids signatures, and recurrence equations. Zbl 1394.68180
Goubault-Larrecq, Jean; Lachance, Jean-Philippe
1
2018
A non-Hausdorff minimax theorem. Zbl 1392.49009
Goubault-Larrecq, Jean
1
2018
Directed homology theories and Eilenberg-Steenrod axioms. Zbl 1422.55009
Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean
4
2017
A few notes on formal balls. Zbl 1385.54009
Goubault-Larrecq, Jean; Ng, Kok Min
3
2017
Isomorphism theorems between models of mixed choice. Zbl 1378.68111
Goubault-Larrecq, Jean
1
2017
Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172
Goubault-Larrecq, Jean; Schmitz, Sylvain
6
2016
Natural homology. Zbl 1448.55010
Dubut, Jérémy; Goubault, Éric; Goubault-Larrecq, Jean
4
2015
A short proof of the Schröder-Simpson theorem. Zbl 1362.46002
Goubault-Larrecq, Jean
2
2015
Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026
Goubault-Larrecq, Jean
2
2015
QRB, QFS, and the probabilistic powerdomain. Zbl 1337.68160
Goubault-Larrecq, Jean; Jung, Achim
5
2014
Random measurable selections. Zbl 1407.68255
Goubault-Larrecq, Jean; Segala, Roberto
2
2014
Exponentiable streams and prestreams. Zbl 1293.54011
Goubault-Larrecq, Jean
1
2014
Non-Hausdorff topology and domain theory. Selected topics in point-set topology. Zbl 1280.54002
Goubault-Larrecq, Jean
85
2013
A constructive proof of the topological Kruskal theorem. Zbl 1403.03126
Goubault-Larrecq, Jean
3
2013
The blossom of finite semantic trees. Zbl 1383.03017
Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre
1
2013
QRB-domains and the probabilistic powerdomain. Zbl 1239.06002
Goubault-Larrecq, Jean
10
2012
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329
Finkel, Alain; Goubault-Larrecq, Jean
7
2012
A generalization of \(p\)-boxes to affine arithmetic. Zbl 1247.60006
Bouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie
5
2012
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007
Goubault-Larrecq, Jean; Keimel, Klaus
2
2011
Musings around the geometry of interaction, and coherence. Zbl 1222.03066
Goubault-Larrecq, Jean
1
2011
De Groot duality and models of choice: angels, demons and nature. Zbl 1193.06005
Goubault-Larrecq, Jean
7
2010
Noetherian spaces in verification. Zbl 1288.68165
Goubault-Larrecq, Jean
1
2010
Forward analysis for WSTS. I: Completions. Zbl 1236.68183
Finkel, Alain; Goubault-Larrecq, Jean
16
2009
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352
Finkel, Alain; Goubault-Larrecq, Jean
12
2009
Prevision domains and convex powercones. Zbl 1139.68034
Goubault-Larrecq, Jean
9
2008
Logical relations for monadic types. Zbl 1156.03014
Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David
5
2008
Simulation hemi-metrics between infinite-state stochastic games. Zbl 1139.68041
Goubault-Larrecq, Jean
3
2008
Continuous capacities on continuous state spaces. Zbl 1171.91316
Goubault-Larrecq, Jean
7
2007
Continuous previsions. Zbl 1179.68074
Goubault-Larrecq, Jean
5
2007
Alternating two-way AC-tree automata. Zbl 1118.68081
Verma, Kumar Neeraj; Goubault-Larrecq, Jean
3
2007
A probabilistic applied pi-calculus. Zbl 1137.68448
Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo
2
2007
Deciding \(\mathcal H_1\) by resolution. Zbl 1185.68620
Goubault-Larrecq, Jean
9
2005
Karp-Miller trees for a branching extension of VASS. Zbl 1152.68462
Verma, Kumar Neeraj; Goubault-Larrecq, Jean
9
2005
Cryptographic protocol analysis on real C code. Zbl 1111.68506
Goubault-Larrecq, Jean; Parrennes, Fabrice
7
2005
Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically. Zbl 1078.68032
Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj
4
2005
The Orchids intrusion detection tool. Zbl 1081.68630
Olivain, Julien; Goubault-Larrecq, Jean
2
2005
Extension of valuations. Zbl 1067.68089
Goubault-Larrecq, Jean
1
2005
Complete lax logical relations for cryptographic lambda-calculi. Zbl 1095.03009
Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David; Zhang, Yu
1
2004
On the geometry of intuitionistic S4 proofs. Zbl 1022.03010
Goubault-Larrecq, Jean; Goubault, Éric
3
2003
Higher-order positive set constraints. Zbl 1020.03012
Goubault-Larrecq, Jean
4
2002
Logical relations for monadic types. Zbl 1021.03003
Goubault-Larrecq, Jean; Lasota, Slawomir; Nowak, David
3
2002
Well-founded recursive relations. Zbl 0999.68094
Goubault-Larrecq, Jean
4
2001
Reflecting BDDs in Coq. Zbl 0988.68600
Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S.
4
2000
Sequent combinators: A Hilbert system for the lambda calculus. Zbl 0957.03015
Goguen, Healfdene; Goubault-Larrecq, Jean
1
2000
A proof of weak termination of typed \(\lambda\sigma\)-calculi. Zbl 0927.03030
Goubault-Larrecq, Jean
3
1998
Proof theory and automated deduction. Zbl 0896.03014
Goubault-Larrecq, Jean; Mackie, Ian
6
1997
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

Citations by Year