Jean Goubault-Larrecq

Publications

Article dans une revue (49)

Errata to “Isomorphism theorems between models of mixed choice,” fixes and consequences Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2025, 35, pp.e23. ⟨10.1017/S0960129525100200⟩ Article dans une revue hal-05331003v1
A Few Characterizations of Topological Spaces with No Infinite Discrete Subspace Jean Goubault-Larrecq,Maurice Pouzet Topology and its Applications, 2024, 341, pp.108733. ⟨10.1016/j.topol.2023.108733⟩ Article dans une revue hal-04230848v1
A few projective classes of (non-Hausdorff) topological spaces Jean Goubault-Larrecq Topology and its Applications, 2024, 356, pp.109009. ⟨10.1016/j.topol.2024.109009⟩ Article dans une revue hal-05356869v1
A Domain-Theoretic Approach to Statistical Programming Languages Jean Goubault-Larrecq,Xiaodong Jia,Clément Théron Journal of the ACM (JACM), 2023, ⟨10.1145/3611660⟩ Article dans une revue hal-04183840v1
On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces Jean Goubault-Larrecq Topology Proceedings, 2023, 62, pp.117-131 Article dans une revue hal-04018812v1
Kantorovich-Rubinstein Quasi-Metrics IV: Lenses, Quasi-Lenses and Forks Jean Goubault-Larrecq Topology and its Applications, 2023, 332, pp.108513. ⟨10.1016/j.topol.2023.108513⟩ Article dans une revue hal-03911034v1
Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology Jean Goubault-Larrecq,Simon Halfon,Aliaume Lopez Colloquium Mathematicum, 2023, 173 (2), pp.227-250. ⟨10.4064/cm8793-3-2023⟩ Article dans une revue hal-04283731v1
Probabilistic Powerdomains and Quasi-Continuous Domains Jean Goubault-Larrecq Topology Proceedings, 2022, 60, pp.1-16 Article dans une revue hal-03260383v1
Infinitary Noetherian Constructions I. Infinite Words Jean Goubault-Larrecq Colloquium Mathematicum, 2022, 168, pp.257-286. ⟨10.4064/cm8077-4-2021⟩ Article dans une revue hal-03414552v2
Kantorovich-Rubinstein Quasi-Metrics III: Spaces of Sublinear and Superlinear Previsions Jean Goubault-Larrecq Topology and its Applications, 2022, pp.108259. ⟨10.1016/j.topol.2022.108259⟩ Article dans une revue hal-03787192v1
Kantorovich-Rubinstein Quasi-Metrics II: Hyperspaces and Powerdomains Jean Goubault-Larrecq Topology and its Applications, 2022, 305, pp.107885. ⟨10.1016/j.topol.2021.107885⟩ Article dans une revue hal-03383036v1
Products and projective limits of continuous valuations on T0 spaces Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2021, pp.1-21. ⟨10.1017/S0960129521000141⟩ Article dans une revue hal-03337321v1
Separating minimal valuations, point-continuous valuations, and continuous valuations Jean Goubault-Larrecq,Xiaodong Jia Mathematical Structures in Computer Science, 2021, pp.1-19. ⟨10.1017/S0960129521000384⟩ Article dans une revue hal-03469452v1
Kantorovich-Rubinstein Quasi-Metrics I: Spaces of Measures and of Continuous Valuations Jean Goubault-Larrecq Topology and its Applications, 2021, ⟨10.1016/j.topol.2021.107673⟩ Article dans une revue hal-03186371v1
Convergence without Points Jean Goubault-Larrecq,Frédéric Mynard Houston Journal of Mathematics, 2020, 46 (1), pp.227-282 Article dans une revue hal-03185186v1
Forward analysis for WSTS, part I: completions Alain Finkel,Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2020, 30 (7), pp.752-832. ⟨10.1017/S0960129520000195⟩ Article dans une revue hal-03186488v1
Forward Analysis for WSTS, Part III: Karp-Miller Trees Michael Blondin,Alain Finkel,Jean Goubault-Larrecq Logical Methods in Computer Science, 2020, 16 (2) Article dans une revue hal-03216116v1
Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces Jean Goubault-Larrecq Topology and its Applications, 2020, 282, pp.107281. ⟨10.1016/j.topol.2020.107281⟩ Article dans une revue hal-03187651v1
$\Pi^0_2$ Subsets of Domain-Complete Spaces and Countably Correlated Spaces Jean Goubault-Larrecq Topology Proceedings, 2020, pp.13-22 Article dans une revue hal-03187687v1
Spaces with no Infinite Discrete Subspace Jean Goubault-Larrecq Topology Proceedings, 2019, 53 Article dans une revue hal-01804970v1
Algebras of the Extended Probabilistic Powerdomain Monad Jean Goubault-Larrecq,Xiaodong Jia Electronic Notes in Theoretical Computer Science, 2019, 345, pp.37-61. ⟨10.1016/j.entcs.2019.07.015⟩ Article dans une revue hal-03189402v1
Formal ball monads Jean Goubault-Larrecq Topology and its Applications, 2019, 263, pp.372-391. ⟨10.1016/j.topol.2019.06.044⟩ Article dans une revue hal-03189480v1
A semantics for nabla Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2019, 29 (8), pp.1250-1274. ⟨10.1017/S0960129518000063⟩ Article dans une revue hal-03189409v1
Domain-complete and LCS-complete Spaces Matthew de Brecht,Jean Goubault-Larrecq,Xiaodong Jia,Zhenchao Lyu Electronic Notes in Theoretical Computer Science, 2019, 345, pp.3-35. ⟨10.1016/j.entcs.2019.07.014⟩ Article dans une revue hal-03187790v1
A Non-Hausdorff Minimax Theorem Jean Goubault-Larrecq Minimax Theory and its Applications, 2018 Article dans une revue hal-03189643v1
The Ho-Zhao Problem Weng Kin Ho,Jean Goubault-Larrecq,Achim Jung,Xiaoyong Xi Logical Methods in Computer Science, 2018 Article dans une revue hal-03189490v1
On the complexity of monitoring Orchids signatures, and recurrence equations Jean Goubault-Larrecq,Jean-Philippe Lachance Formal Methods in System Design, 2018, 53 (1), pp.6-32. ⟨10.1007/s10703-017-0303-x⟩ Article dans une revue hal-03189484v1
Les méthodes formelles : l'autre arme de la cybersécurité Jean Goubault-Larrecq Interstices, 2017 Article dans une revue hal-01688783v1
Isomorphism theorems between models of mixed choice Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2017, 27 (6), pp.1032-1067. ⟨10.1017/S0960129515000547⟩ Article dans une revue hal-03189640v1
Directed Homology Theories and Eilenberg-Steenrod Axioms Jérémy Dubut,Eric Goubault,Jean Goubault-Larrecq Applied Categorical Structures, 2017, 25 (5), pp.775-807. ⟨10.1007/s10485-016-9438-y⟩ Article dans une revue hal-03189639v1
A Few Notes on Formal Balls Jean Goubault-Larrecq,Kok Min Ng Logical Methods in Computer Science, 2017 Article dans une revue hal-03189623v1
A short proof of the Schröder–Simpson Theorem Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2015, 25 (1), pp.1-5. ⟨10.1017/S0960129513000467⟩ Article dans une revue hal-03189819v1
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases Jean Goubault-Larrecq Journal of Logical and Algebraic Methods in Programming, 2015, 84 (1), pp.155-184. ⟨10.1016/j.jlamp.2014.09.003⟩ Article dans une revue hal-03189818v1
QRB, QFS, and the Probabilistic Powerdomain Jean Goubault-Larrecq,Achim Jung Electronic Notes in Theoretical Computer Science, 2014, 308, pp.167-182. ⟨10.1016/j.entcs.2014.10.010⟩ Article dans une revue hal-03189890v1
Exponentiable Streams and Prestreams Jean Goubault-Larrecq Applied Categorical Structures, 2014, 22 (3), pp.515-549. ⟨10.1007/s10485-013-9315-x⟩ Article dans une revue hal-03189894v1
A generalization of p-boxes to affine arithmetic Olivier Bouissou,Eric Goubault,Jean Goubault-Larrecq,Sylvie Putot Computing, 2012, 94 (2-4), pp.189-201. ⟨10.1007/s00607-011-0182-8⟩ Article dans une revue istex hal-02632998v1
Forward Analysis for WSTS, Part II: Complete WSTS Alain Finkel,Jean Goubault-Larrecq Logical Methods in Computer Science, 2012, 8 (3), ⟨10.2168/LMCS-8(3:28)2012⟩ Article dans une revue hal-03189994v1
QRB-Domains and the Probabilistic Powerdomain Jean Goubault-Larrecq Logical Methods in Computer Science, 2012, 8 (1), ⟨10.2168/LMCS-8(1:14)2012⟩ Article dans une revue hal-03190021v1
Choquet–Kendall–Matheron theorems for non-Hausdorff spaces Jean Goubault-Larrecq,Klaus Keimel Mathematical Structures in Computer Science, 2011, 21 (3), pp.511-561. ⟨10.1017/S0960129510000617⟩ Article dans une revue hal-03190326v1
Musings around the geometry of interaction, and coherence Jean Goubault-Larrecq Theoretical Computer Science, 2011, 412 (20), pp.1998-2014. ⟨10.1016/j.tcs.2010.12.023⟩ Article dans une revue hal-03191091v1
De Groot duality and models of choice: angels, demons and nature Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2010, 20 (2), pp.169-237. ⟨10.1017/S0960129509990363⟩ Article dans une revue hal-03195342v1
Finite models for formal security proofs Jean Goubault-Larrecq Journal of Computer Security, 2010, 18 (6), pp.1247-1299. ⟨10.3233/JCS-2009-0395⟩ Article dans une revue hal-03191105v1
Logical relations for monadic types Jean Goubault-Larrecq,Sławomir Lasota,David Nowak Mathematical Structures in Computer Science, 2008, 18 (06), pp.1169-1217. ⟨10.1017/S0960129508007172⟩ Article dans une revue hal-03196102v1
Alternating two-way AC-tree automata Kumar Neeraj Verma,Jean Goubault-Larrecq Information and Computation, 2007, 205 (6), pp.817-869. ⟨10.1016/j.ic.2006.12.006⟩ Article dans une revue hal-03199662v1
Karp-Miller Trees for a Branching Extension of VASS Kumar Neeraj Verma,Jean Goubault-Larrecq Discrete Mathematics and Theoretical Computer Science, 2005, Vol. 7, pp.217-230. ⟨10.46298/dmtcs.350⟩ Article dans une revue hal-00959038v1
Deciding H1 by resolution Jean Goubault-Larrecq Information Processing Letters, 2005, 95 (3), pp.401-408. ⟨10.1016/j.ipl.2005.04.007⟩ Article dans une revue istex hal-03200959v1
On the Geometry of Intuitionistic S4 Proofs Jean Goubault-Larrecq,Eric Goubault Homology, Homotopy and Applications, 2003, 5 (2), pp.137-209 Article dans une revue hal-03201458v1
Sequent combinators: a Hilbert system for the lambda calculus Healfdene Goguen,Jean Goubault-Larrecq Mathematical Structures in Computer Science, 2000, 10 (1), pp.1-79. ⟨10.1017/S0960129599002911⟩ Article dans une revue hal-03207821v1
Extensions of valuations Jean Goubault-Larrecq Mathematical Structures in Computer Science, 1999, 15 (2), pp.271-297. ⟨10.1017/S096012950400461X⟩ Article dans une revue istex hal-03201053v1

Communication dans un congrès (27)

Continuous R-valuations Jean Goubault-Larrecq,Xiaodong Jia 9th International Symposium on Domain Theory, Jul 2022, Singapore, Singapore. ⟨10.48550/arXiv.2211.12392⟩ Communication dans un congrès hal-03902508v1
A Probabilistic and Non-Deterministic Call-by-Push-Value Language Jean Goubault-Larrecq 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, France. pp.1-13, ⟨10.1109/LICS.2019.8785809⟩ Communication dans un congrès hal-03189405v1
Forward Analysis for WSTS, Part III: Karp-Miller Trees Michael Blondin,Alain Finkel,Jean Goubault-Larrecq 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2017, Kanpur, India. ⟨10.4230/LIPIcs.FSTTCS.2017.16⟩ Communication dans un congrès hal-01736704v1
The Directed Homotopy Hypothesis Jérémy Dubut,Eric Goubault,Jean Goubault-Larrecq Proceedings of the 25th Annual EACSL Conference on Computer Science Logic (CSL'16), volume 62 of Leibniz International Proceedings in Informatics, pages 9:1--9:16. Leibniz-Zentrum für Informatik., Sep 2016, Marseille, France Communication dans un congrès hal-03189649v1
Deciding Piecewise Testable Separability for Regular Tree Languages Jean Goubault-Larrecq,Sylvain Schmitz ICALP 2016, Jul 2016, Rome, Italy. pp.97:1--97:15, ⟨10.4230/LIPIcs.ICALP.2016.97⟩ Communication dans un congrès hal-01276119v4
Bisimulations and unfolding in P-accessible categorical models Jérémy Dubut,Eric Goubault,Jean Goubault-Larrecq Proceedings of the 27th International Conference on Concurrency Theory (CONCUR'16), volume 59 of Leibniz International Proceedings in Informatics, pages 25:1--25:14. Leibniz-Zentrum für Informatik., Aug 2016, Québec City, Canada Communication dans un congrès hal-03189698v1
Static Analysis of Programs with Imprecise Probabilistic Inputs Assalé Adje,Olivier Bouissou,Jean Goubault-Larrecq,Eric Goubault,Sylvie Putot VSTTE, May 2013, Snowbird, Utah, United States. pp.22-47, ⟨10.1007/978-3-642-54108-7⟩ Communication dans un congrès hal-00942126v1
Continuous Random Variables Jean Goubault-Larrecq,Daniele Varacca 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), Jun 2011, Toronto, Canada. pp.97-106, ⟨10.1109/LICS.2011.23⟩ Communication dans un congrès hal-03190874v1
Continuous Random Variables Jean Goubault-Larrecq,Daniele Varacca IEEE symposium of Logic In Computer Science, Jun 2011, Toronto, Canada. pp.97-106 Communication dans un congrès hal-00629723v1
omega-QRB-Domains and the Probabilistic Powerdomain Jean Goubault-Larrecq 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.352-361, ⟨10.1109/LICS.2010.50⟩ Communication dans un congrès hal-03191270v1
Forward analysis for WSTS, Part I: Completions Alain Finkel,Jean Goubault-Larrecq 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.433-444 Communication dans un congrès inria-00359699v1
Towards Producing Formally Checkable Security Proofs, Automatically Jean Goubault-Larrecq 2008 21st IEEE Computer Security Foundations Symposium, Jun 2008, Pittsburgh, United States. pp.224-238, ⟨10.1109/CSF.2008.21⟩ Communication dans un congrès hal-03196493v1
On Noetherian Spaces Jean Goubault-Larrecq 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Jul 2007, Wroclaw, France. pp.453-462, ⟨10.1109/LICS.2007.34⟩ Communication dans un congrès hal-03197422v1
A Probabilistic Applied Pi-Calculus Jean Goubault-Larrecq,Catuscia Palamidessi,Angelo Troina 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. pp.175-190, ⟨10.1007/978-3-540-76637-7_12⟩ Communication dans un congrès inria-00201070v1
Cryptographic Protocol Analysis on Real C Code Jean Goubault-Larrecq,Fabrice Parrennes Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05), Jan 2005, Paris, France. pp.363--379, ⟨10.1007/b105073⟩ Communication dans un congrès hal-03201118v1
Complete Lax Logical Relations for Cryptographic Lambda-Calculi Jean Goubault-Larrecq,Slawomir Lasota,David Nowak,Yu Zhang 18th International Workshop on Computer Science Logic (CSL'04), Sep 2004, Karpacz, Poland. pp.400-414, ⟨10.1007/978-3-540-30124-0_31⟩ Communication dans un congrès istex hal-03201204v1
Une fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve? Jean Goubault-Larrecq 15èmes Journées Francophones sur les Langages Applicatifs (JFLA'04), Jan 2004, Sainte-Marie-de-Ré, France. pp.1--40 Communication dans un congrès hal-03201265v1
Logical Relations for Monadic Types Jean Goubault-Larrecq,Slawomir Lasota,David Nowak 16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.553-568, ⟨10.1007/3-540-45793-3_37⟩ Communication dans un congrès istex hal-03201730v1
Higher-Order Positive Set Constraints Jean Goubault-Larrecq 16th International Workshop on Computer Science Logic (CSL'02), Sep 2002, Edinburgh, United Kingdom. pp.473-489 Communication dans un congrès hal-03202062v1
Vérification de protocoles cryptographiques: la logique à la rescousse! Jean Goubault-Larrecq 1er Workshop International sur la Sécurité des Communications sur Internet (SECI'02), Sep 2002, Tunis, Tunisie. pp.119--152 Communication dans un congrès hal-03203027v1
Log Auditing through Model Checking Muriel Roger,Jean Goubault-Larrecq 14th IEEE Computer Security Foundations Workshop (CSFW'01), Jun 2001, Cape Breton, Canada. pp.220-236 Communication dans un congrès hal-03207079v1
Experiments with Finite Tree Automata in Coq Xavier Rival,Jean Goubault-Larrecq 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Sep 2001, Edinburgh, United Kingdom. pp.362-377 Communication dans un congrès hal-03206071v1
Well-Founded Recursive Relations Jean Goubault-Larrecq 15th International Workshop on Computer Science Logic (CSL'01), Sep 2001, Paris, France. pp.484-497 Communication dans un congrès hal-03204722v1
A Method for Automatic Cryptographic Protocol Verification Jean Goubault-Larrecq Workshop on Formal Methods for Parallel Programming, May 2000, Cancun, Mexico. pp.977-984 Communication dans un congrès hal-03207809v1
Reflecting BDDs in Coq Kumar Neeraj Verma,Jean Goubault-Larrecq,Sanjiva Prasad,S. Arun-Kumar 6th Asian Computing Science Conference (ASIAN 2000), Nov 2000, Penang, Malaysia. pp.162-181 Communication dans un congrès hal-03207264v1
Order-theoretic, geometric and combinatorial models of intuitionistic S4 proofs Jean Goubault-Larrecq,Eric Goubault IMLA 1999 - 1st Workshop on Intuitionistic Modal Logics and Applications, Jul 1999, Trento, Italy Communication dans un congrès hal-03208846v1
A proof of weak termination of typed λσ-calculi Jean Goubault-Larrecq International Workshop on Types for Proofs and Programs (TYPES'96), 1998, Aussois, France. pp.134-153, ⟨10.1007/BFb0097790⟩ Communication dans un congrès istex hal-03211080v1

N°spécial de revue/special issue (2)

Special Issue on Models and Methods for Cryptographic Protocol Verification Jean Goubault-Larrecq Journal of Telecommunications and Information Technology, 4/2002, 2002 N°spécial de revue/special issue hal-03203844v1
Proceedings of the 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01) Jean Goubault-Larrecq 1st Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV'01), Jul 2001, Paris, France. Electronic Notes in Theoretical Computer Science, 55 (1), 2001 N°spécial de revue/special issue hal-03219186v1

Ouvrages (5)

29th EACSL Annual Conference on Computer Science Logic, CSL 2021 Christel Baier,Jean Goubault-Larrecq 183, 2021, LIPIcs, 978-3-95977-175-7 Ouvrages hal-03216251v1
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020 Jean Goubault-Larrecq,Barbara König Springer, 12077, 2020, Lecture Notes in Computer Science, 978-3-030-45230-8 Ouvrages hal-03216254v1
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031) Jean Goubault-Larrecq,Monika Seisenberger,Victor Selivanov,Andreas Weiermann 2016 Ouvrages hal-03189717v1
Non-Hausdorff Topology and Domain Theory---Selected Topics in Point-Set Topology Jean Goubault-Larrecq 2013 Ouvrages hal-03189964v1
Proof Theory and Automated Deduction Jean Goubault-Larrecq,Ian Mackie Kluwer Academic Publishers, Applied Logic Series (6), 1997, 978-0792345930 Ouvrages hal-03212195v1

Chapitre d'ouvrage (25)

The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings Jean Goubault-Larrecq,Simon Halfon,Prateek Karandikar,K. Narayan Kumar,Philippe Schnoebelen Well Quasi-Orders in Computation, Logic, Language and Reasoning, 53, Springer, pp.55-105, 2020, Trends in Logic, 978-3-030-30228-3. ⟨10.1007/978-3-030-30229-0_3⟩ Chapitre d'ouvrage hal-03083290v1
Fooling the Parallel or Tester with Probability 8/27 Jean Goubault-Larrecq The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, pp.313-328, 2019, ⟨10.1007/978-3-030-31175-9_18⟩ Chapitre d'ouvrage hal-03189412v1
On the Complexity of Monitoring Orchids Signatures Jean Goubault-Larrecq,Jean-Philippe Lachance Proceedings of the 16th Conference on Runtime Verification (RV'16), volume 10012 of Lecture Notes in Computer Science, Springer Verlag, pp.169-184, 2016, ⟨10.1007/978-3-319-46982-9_11⟩ Chapitre d'ouvrage hal-03189644v1
Natural Homology Jérémy Dubut,Éric Goubault,Jean Goubault-Larrecq Proceedings of the 42nd International Colloquium on Automata, Languages and Programming (ICALP'15) -- Part II, volume 9135 of Lecture Notes in Computer Science, Kyoto, Japan. Springer., pp.171-183, 2015, ⟨10.1007/978-3-662-47666-6_14⟩ Chapitre d'ouvrage hal-03189816v1
Random Measurable Selections Jean Goubault-Larrecq,Roberto Segala Horizons of the Mind. A Tribute to Prakash Panangaden, volume 8464 of Lecture Notes in Computer Science, pages 343--362. Springer., pp.343-362, 2014, ⟨10.1007/978-3-319-06880-0_18⟩ Chapitre d'ouvrage hal-03189917v1
On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case Jean Goubault-Larrecq,Julien Olivain Revised Selected Papers of the 6th International Symposium on Foundations and Practice of Security (FPS'13), volume 8352 of Lecture Notes in Computer Science, pages 3--16, La Rochelle, France, October 2013. Springer., pp.3-16, 2014, ⟨10.1007/978-3-319-05302-8_1⟩ Chapitre d'ouvrage hal-03189926v1
A Constructive Proof of the Topological Kruskal Theorem Jean Goubault-Larrecq Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 22--41, Klosterneuburg, Austria, August 2013. Springer., pp.22-41, 2013, ⟨10.1007/978-3-642-40313-2_3⟩ Chapitre d'ouvrage hal-03189943v1
The Blossom of Finite Semantic Trees Jean Goubault-Larrecq,Jean-Pierre Jouannaud Programming Logics -- Essays in Memory of Harald Ganzinger, volume 7797 of Lecture Notes in Computer Science, pages 90--122. Springer., 2013 Chapitre d'ouvrage hal-03189966v1
The Theory of WSTS: The Case of Complete WSTS Alain Finkel,Jean Goubault-Larrecq Proceedings of the 33rd International Conference on Applications and Theory of Petri Nets (PETRI NETS'12), volume 7347 of Lecture Notes in Computer Science, Hamburg, Germany. Springer, pp.3-31, 2012, ⟨10.1007/978-3-642-31131-4_2⟩ Chapitre d'ouvrage hal-03189998v1
Some Ideas on Virtualized System Security, and Monitors Hedi Benzina,Jean Goubault-Larrecq Revised Selected Papers of the 5th International Workshop on Data Privacy Management and Autonomous Spontaneous Security (DPM'10) and 3rd International Workshop on Autonomous and Spontaneous Security (SETOP'10), volume 6514 of Lecture Notes in Computer Science, Athens, Greece, September 2010. Springer, pp.244-258, 2011, ⟨10.1007/978-3-642-19348-4_18⟩ Chapitre d'ouvrage istex hal-03191244v1
Noetherian Spaces in Verification Jean Goubault-Larrecq Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) -- Part II, volume 6199 of Lecture Notes in Computer Science, Bordeaux, France, July 2010. Springer, pp.2-21, 2010, ⟨10.1007/978-3-642-14162-1_2⟩ Chapitre d'ouvrage hal-03191258v1
“Logic Wins!” Jean Goubault-Larrecq Proceedings of the 13th Asian Computing Science Conference (ASIAN'09), volume 5913 of Lecture Notes in Computer Science, Seoul, Korea, December 2009. Springer., pp.1-16, 2009, ⟨10.1007/978-3-642-10622-4_1⟩ Chapitre d'ouvrage istex hal-03195566v1
Forward Analysis for WSTS, Part II: Complete WSTS Alain Finkel,Jean Goubault-Larrecq Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09), volume 5556 of Lecture Notes in Computer Science, Rhodes, Greece, July 2009. Springer., pp.188-199, 2009, ⟨10.1007/978-3-642-02930-1_16⟩ Chapitre d'ouvrage hal-03195656v1
Forward Analysis for WSTS, Part I: Completions Alain Finkel,Jean Goubault-Larrecq Leibniz-Zentrum für Informatik. Proceedings of the 26th Annual Symposium on Theoretical Aspects of Computer Science (STACS'09), volume 3 of Leibniz International Proceedings in Informatics, Freiburg, Germany., pp.433-444, 2009 Chapitre d'ouvrage hal-03195833v1
A Smell of Orchids Jean Goubault-Larrecq,Julien Olivain Proceedings of the 8th Workshop on Runtime Verification (RV'08), volume 5289 of Lecture Notes in Computer Science, Budapest, Hungary, Springer., pp.1-20, 2008, ⟨10.1007/978-3-540-89247-2_1⟩ Chapitre d'ouvrage istex hal-03197297v1
Prevision Domains and Convex Powercones Jean Goubault-Larrecq Foundations of Software Science and Computational Structures, 4962, Springer Berlin Heidelberg, pp.318-333, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78499-9_23⟩ Chapitre d'ouvrage hal-03196997v1
Simulation Hemi-metrics between Infinite-State Stochastic Games Jean Goubault-Larrecq Foundations of Software Science and Computational Structures, 4962, Springer Berlin Heidelberg, pp.50-65, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78499-9_5⟩ Chapitre d'ouvrage hal-03196502v1
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks Elie Bursztein,Jean Goubault-Larrecq Advances in Computer Science – ASIAN 2007. Computer and Network Security, 4846, Springer Berlin Heidelberg, pp.212-227, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-76929-3_20⟩ Chapitre d'ouvrage hal-03197309v1
Continuous Previsions Jean Goubault-Larrecq Computer Science Logic, 4646, Springer Berlin Heidelberg, pp.542-557, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-74915-8_40⟩ Chapitre d'ouvrage istex hal-03197352v1
Continuous Capacities on Continuous State Spaces Jean Goubault-Larrecq Automata, Languages and Programming, 4596, Springer Berlin Heidelberg, pp.764-776, 2007, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-73420-8_66⟩ Chapitre d'ouvrage hal-03197379v1
Preuve et vérification pour la sécurité et la sûreté Jean Goubault-Larrecq Encyclopédie de l'informatique et des systèmes d'information, chapitre I.6, pages 683--703. Vuibert, 2006 Chapitre d'ouvrage hal-03200794v1
The Orchids Intrusion Detection Tool Julien Olivain,Jean Goubault-Larrecq Proceedings of the 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, Edinburgh, Scotland, UK. Springer, pp.286-290, 2005, ⟨10.1007/11513988_28⟩ Chapitre d'ouvrage hal-03201048v1
Conjunctive Types and SKInT Jean Goubault-Larrecq Selected Papers from the International Workshop on Types for Proofs and Programs (TYPES'98), 1657, Springer, pp.106-120, 1999, Lecture Notes in Computer Science, ⟨10.1007/3-540-48167-2_8⟩ Chapitre d'ouvrage istex hal-03210285v1
A Simple Sequent System for First-Order Logic with Free Constructors Jean Goubault-Larrecq Proceedings of the 8th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX'99), 1617, Springer, pp.202-216, 1999, Lecture Notes in Artificial Intelligence, ⟨10.1007/3-540-48754-9_19⟩ Chapitre d'ouvrage istex hal-03208860v1
A tableau system for linear-TIME temporal logic Peter Schmitt,Jean Goubault-Larrecq Proceedings of the 3rd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'97), Enschede, The Netherlands, April 1997, 1217, Springer, pp.130-144, 1997, Lecture Notes in Computer Science, ⟨10.1007/BFb0035385⟩ Chapitre d'ouvrage hal-03215092v1

Autre publication scientifique (3)

Les méthodes formelles: l'autre arme de la cybersécurité Jean Goubault-Larrecq 2016 Autre publication scientifique hal-03189813v1
Gérard Berry : un informaticien médaille d'or du CNRS 2014 Serge Abiteboul,Laurent Fribourg,Jean Goubault-Larrecq 2014 Autre publication scientifique hal-03189830v1
Sécurité, modélisation et analyse de protocoles cryptographiques Jean Goubault-Larrecq 2002 Autre publication scientifique hal-03203964v1

Pré-publication, Document de travail (4)

On a Generalization of a Result by Valk and Jantzen Jean Goubault-Larrecq 2021 Pré-publication, Document de travail hal-03195658v1
A few notes on formal balls Jean Goubault-Larrecq 2016 Pré-publication, Document de travail hal-01332749v2
A Cone-Theoretic Krein-Milman Theorem Jean Goubault-Larrecq 2008 Pré-publication, Document de travail hal-03196127v1
Believe It Or Not, GOI is a Model of Classical Linear Logic Jean Goubault-Larrecq 2007 Pré-publication, Document de travail hal-03199716v1

Rapport (13)

Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031). Jean Goubault-Larrecq,Monika Seisenberger,Victor Selivanov,Andreas Weiermann [Research Report] Schloss Dagstuhl - Leibniz Center for Informatics. 2016 Rapport (rapport de recherche) hal-03218880v1
Concrete Semantics of Programs with Non-Deterministic and Random Inputs Assalé Adje,Jean Goubault-Larrecq [Research Report] LSV, ENS Cachan. 2012 Rapport (rapport de recherche) hal-03189970v1
Detecting Subverted Cryptographic Protocols by Entropy Checking Julien Olivain,Jean Goubault-Larrecq [Research Report] LSV-06-13, LSV, ENS Cachan. 2006 Rapport (rapport de recherche) hal-03200826v1
Un algorithme pour l'analyse de logs Jean Goubault-Larrecq [Rapport de recherche] LSV-02-18, LSV, ENS Cachan. 2002 Rapport (rapport de recherche) hal-03201698v1
A Note on the Completeness of Certain Refinements of Resolution Jean Goubault-Larrecq [Research Report] LSV-02-8, LSV, ENS Cachan. 2002, pp.16 Rapport (rapport de recherche) hal-03203306v1
Alternating Two-Way AC-Tree Automata Jean Goubault-Larrecq,Kumar Neeraj Verma [Research Report] LSV-02-11, LSV, ENS Cachan. 2002, pp.21 Rapport (rapport de recherche) hal-03203052v1
SKInT Labels Jean Goubault-Larrecq [Research Report] LSV-02-7, LSV, ENS Cachan. 2002 Rapport (rapport de recherche) hal-03203058v1
Higher-Order Automata, Pushdown Systems, and Set Constraints Jean Goubault-Larrecq [Research Report] LSV-01-9, LSV, ENS Cachan. 2001, pp.15 Rapport (rapport de recherche) hal-03204006v1
Reflecting BDDs in Coq Kumar Neeraj Verma,Jean Goubault-Larrecq [Research Report] RR-3859, INRIA. 2000 Rapport (rapport de recherche) inria-00072797v1
A Simple Deduction System for First-Order Logic with Equality, Free Constructors and Induction Jean Goubault-Larrecq [Research Report] RR-3653, INRIA. 1999 Rapport (rapport de recherche) inria-00073019v1
A Few Remarks on SKInT Jean Goubault-Larrecq [Research Report] RR-3475, INRIA. 1998 Rapport (rapport de recherche) inria-00073214v1
On Computational Interpretations of the Modal Logic S4 IIIb. Confluence, Termination of the $\lambda\mbox{ev}Q_H$-Calculus Jean Goubault-Larrecq [Research Report] RR-3164, INRIA. 1997 Rapport (rapport de recherche) inria-00073524v1
A Proof of Weak Termination of the Simply-Typed {$\lambda\sigma$}-Calculus Jean Goubault-Larrecq [Research Report] RR-3090, INRIA. 1997 Rapport (rapport de recherche) inria-00073601v1