Jean Goubault-Larrecq

102 papers A* 8A 3B 20Journal 47Unranked 22
YearRankTypeTitle / Venue / Authors
2025 J jnl
Distributing Retractions, Weak Distributive Laws and Applications to Monads of Hyperspaces, Continuous Valuations and Measures.
CoRR
Jean Goubault-Larrecq
2025 J jnl
Errata to "Isomorphism theorems between models of mixed choice, " fixes and consequences.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq
2025 J jnl
Semitopological Barycentric Algebras.
CoRR
Jean Goubault-Larrecq
2024 J jnl
A cone-theoretic barycenter existence theorem.
Log. Methods Comput. Sci.
Jean Goubault-Larrecq, Xiaodong Jia
2024 J jnl
Isomorphism Theorems between Models of Mixed Choice (Revised).
CoRR
Jean Goubault-Larrecq
2024 B conf
The Ackermann Award 2023.
CSL
Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner
2024 J jnl
Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice.
CoRR
Jean Goubault-Larrecq
2023 J jnl
A Domain-theoretic Approach to Statistical Programming Languages.
J. ACM
Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
2022 J jnl
A cone-theoretic barycenter existence theorem.
CoRR
Jean Goubault-Larrecq, Xiaodong Jia
2022 — conf
Continuous R-valuations.
ISDT
Jean Goubault-Larrecq, Xiaodong Jia
2022 J jnl
On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces.
CoRR
Jean Goubault-Larrecq
2021 B ed.
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Ljubljana, Slovenia (Virtual Conference), January 25-28, 2021
CSL
Christel Baier, Jean Goubault-Larrecq
2021 J jnl
A Domain-Theoretic Approach to Statistical Programming Languages.
CoRR
Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
2021 J jnl
Products and projective limits of continuous valuations on T0 spaces.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq
2021 J jnl
Separating minimal valuations, point-continuous valuations and continuous valuations.
CoRR
Jean Goubault-Larrecq, Xiaodong Jia
2021 J jnl
Separating minimal valuations, point-continuous valuations, and continuous valuations.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq, Xiaodong Jia
2020 J jnl
29th EACSL Annual Conference on Computer Science Logic (CSL 2021).
Bull. EATCS
Jean Goubault-Larrecq
2020 J jnl
Forward Analysis for WSTS, Part III: Karp-Miller Trees.
Log. Methods Comput. Sci.
Michael Blondin, Alain Finkel, Jean Goubault-Larrecq
2020 J jnl
Forward analysis for WSTS, part I: completions.
Math. Struct. Comput. Sci.
Alain Finkel, Jean Goubault-Larrecq
2020 B ed.
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
FoSSaCS
Jean Goubault-Larrecq, Barbara König
2019 A* conf
A Probabilistic and Non-Deterministic Call-by-Push-Value Language.
LICS
Jean Goubault-Larrecq
2019 J jnl
A semantics for nabla.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq
2019 — conf
Algebras of the Extended Probabilistic Powerdomain Monad.
ISDT
Jean Goubault-Larrecq, Xiaodong Jia
2019 — conf
Domain-complete and LCS-complete Spaces.
ISDT
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu
2019 J jnl
Fooling the Parallel Or Tester with Probability $8/27$.
CoRR
Jean Goubault-Larrecq
2019 — conf
Fooling the Parallel or Tester with Probability 8/27.
The Art of Modelling Computational Systems
Jean Goubault-Larrecq
2019 J jnl
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering.
CoRR
Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar, K. Narayan Kumar, Philippe Schnoebelen
2018 J jnl
A Probabilistic and Non-Deterministic Call-by-Push-Value Language.
CoRR
Jean Goubault-Larrecq
2018 J jnl
On the complexity of monitoring Orchids signatures, and recurrence equations.
Formal Methods Syst. Des.
Jean Goubault-Larrecq, Jean-Philippe Lachance
2018 J jnl
The Ho-Zhao Problem.
Log. Methods Comput. Sci.
Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
2017 J jnl
A Few Notes on Formal Balls.
Log. Methods Comput. Sci.
Jean Goubault-Larrecq, Kok Min Ng
2017 J jnl
Directed Homology Theories and Eilenberg-Steenrod Axioms.
Appl. Categorical Struct.
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2017 — conf
Forward Analysis for WSTS, Part III: Karp-Miller Trees.
FSTTCS
Michael Blondin, Alain Finkel, Jean Goubault-Larrecq
2017 J jnl
Forward Analysis for WSTS, Part III: Karp-Miller Trees.
CoRR
Michael Blondin, Alain Finkel, Jean Goubault-Larrecq
2017 J jnl
Isomorphism theorems between models of mixed choice.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq
2016 B conf
Bisimulations and Unfolding in P-Accessible Categorical Models.
CONCUR
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2016 A* conf
Deciding Piecewise Testable Separability for Regular Tree Languages.
ICALP
Jean Goubault-Larrecq, Sylvain Schmitz
2016 B conf
On the Complexity of Monitoring Orchids Signatures.
RV
Jean Goubault-Larrecq, Jean-Philippe Lachance
2016 B conf
The Directed Homotopy Hypothesis.
CSL
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2016 J jnl
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031).
Dagstuhl Reports
Jean Goubault-Larrecq, Monika Seisenberger, Victor L. Selivanov, Andreas Weiermann
2015 J jnl
A short proof of the Schröder-Simpson Theorem.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq
2015 J jnl
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases.
J. Log. Algebraic Methods Program.
Jean Goubault-Larrecq
2015 — conf
Natural Homology.
ICALP (2)
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2014 J jnl
Exponentiable Streams and Prestreams.
Appl. Categorical Struct.
Jean Goubault-Larrecq
2014 B conf
QRB, QFS, and the Probabilistic Powerdomain.
MFPS
Jean Goubault-Larrecq, Achim Jung
2014 — conf
Random Measurable Selections.
Horizons of the Mind
Jean Goubault-Larrecq, Roberto Segala
2013 B conf
A Constructive Proof of the Topological Kruskal Theorem.
MFCS
Jean Goubault-Larrecq
2013 — book
Non-Hausdorff Topology and Domain Theory - Selected Topics in Point-Set Topology.
Jean Goubault-Larrecq
2013 — conf
On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case.
FPS
Jean Goubault-Larrecq, Julien Olivain
2013 — conf
Static Analysis of Programs with Imprecise Probabilistic Inputs.
VSTTE
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
2013 — conf
The Blossom of Finite Semantic Trees.
Programming Logics
Jean Goubault-Larrecq, Jean-Pierre Jouannaud
2012 J jnl
A generalization of p-boxes to affine arithmetic.
Computing
Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot
2012 J jnl
Concrete Semantics of Programs with Non-Deterministic and Random Inputs
CoRR
Assalé Adjé, Jean Goubault-Larrecq
2012 J jnl
Forward Analysis for WSTS, Part II: Complete WSTS
Log. Methods Comput. Sci.
Alain Finkel, Jean Goubault-Larrecq
2012 J jnl
QRB-Domains and the Probabilistic Powerdomain
Log. Methods Comput. Sci.
Jean Goubault-Larrecq
2012 B conf
The Theory of WSTS: The Case of Complete WSTS.
Petri Nets
Alain Finkel, Jean Goubault-Larrecq
2011 J jnl
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq, Klaus Keimel
2011 A* conf
Continuous Random Variables.
LICS
Jean Goubault-Larrecq, Daniele Varacca
2011 J jnl
Musings around the geometry of interaction, and coherence.
Theor. Comput. Sci.
Jean Goubault-Larrecq
2010 J jnl
De Groot duality and models of choice: angels, demons and nature.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq
2010 J jnl
Finite models for formal security proofs.
J. Comput. Secur.
Jean Goubault-Larrecq
2010 — conf
Noetherian Spaces in Verification.
ICALP (2)
Jean Goubault-Larrecq
2010 — conf
Some Ideas on Virtualized System Security, and Monitors.
DPM/SETOP
Hedi Benzina, Jean Goubault-Larrecq
2010 A* conf
omega-QRB-Domains and the Probabilistic Powerdomain.
LICS
Jean Goubault-Larrecq
2009 — conf
"Logic Wins!".
ASIAN
Jean Goubault-Larrecq
2009 A conf
Forward Analysis for WSTS, Part I: Completions.
STACS
Alain Finkel, Jean Goubault-Larrecq
2009 — conf
Forward Analysis for WSTS, Part II: Complete WSTS.
ICALP (2)
Alain Finkel, Jean Goubault-Larrecq
2009 J jnl
Forward analysis for WSTS, Part I: Completions
CoRR
Alain Finkel, Jean Goubault-Larrecq
2008 B conf
A Smell of Orchids.
RV
Jean Goubault-Larrecq, Julien Olivain
2008 J jnl
Logical relations for monadic types.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
2008 B conf
Prevision Domains and Convex Powercones.
FoSSaCS
Jean Goubault-Larrecq
2008 B conf
Simulation Hemi-metrics between Infinite-State Stochastic Games.
FoSSaCS
Jean Goubault-Larrecq
2008 A conf
Towards Producing Formally Checkable Security Proofs, Automatically.
CSF
Jean Goubault-Larrecq
2007 — conf
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks.
ASIAN
Elie Bursztein, Jean Goubault-Larrecq
2007 B conf
A Probabilistic Applied Pi-Calculus.
APLAS
Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
2007 J jnl
Alternating two-way AC-tree automata.
Inf. Comput.
Kumar Neeraj Verma, Jean Goubault-Larrecq
2007 A* conf
Continuous Capacities on Continuous State Spaces.
ICALP
Jean Goubault-Larrecq
2007 B conf
Continuous Previsions.
CSL
Jean Goubault-Larrecq
2007 A* conf
On Noetherian Spaces.
LICS
Jean Goubault-Larrecq
2005 J jnl
Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically.
J. Log. Algebraic Methods Program.
Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma
2005 B conf
Cryptographic Protocol Analysis on Real C Code.
VMCAI
Jean Goubault-Larrecq, Fabrice Parrennes
2005 J jnl
Deciding
Inf. Process. Lett.
Jean Goubault-Larrecq
2005 J jnl
Extensions of valuations.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq
2005 J jnl
Karp-Miller Trees for a Branching Extension of VASS.
Discret. Math. Theor. Comput. Sci.
Kumar Neeraj Verma, Jean Goubault-Larrecq
2005 J jnl
Logical Relations for Monadic Types
CoRR
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
2005 A* conf
The Orchids Intrusion Detection Tool.
CAV
Julien Olivain, Jean Goubault-Larrecq
2004 B conf
Complete Lax Logical Relations for Cryptographic Lambda-Calculi.
CSL
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang
2003 — ed.
Logical Aspects of Cryptographic Protocol Verification, LACPV 2001, in connection with CAV 2001, Paris, France, July 23, 2001
LACPV@CAV
Jean Goubault-Larrecq
2002 B conf
Higher-Order Positive Set Constraints.
CSL
Jean Goubault-Larrecq
2002 B conf
Logical Relations for Monadic Types.
CSL
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak
2001 — conf
Experiments with Finite Tree Automata in Coq.
TPHOLs
Xavier Rival, Jean Goubault-Larrecq
2001 — conf
Log Auditing through Model-Checking.
CSFW
Muriel Roger, Jean Goubault-Larrecq
2001 — conf
Preface.
LACPV@CAV
Jean Goubault-Larrecq
2001 B conf
Well-Founded Recursive Relations.
CSL
Jean Goubault-Larrecq
2000 — conf
A Method for Automatic Cryptographic Protocol Verification.
IPDPS Workshops
Jean Goubault-Larrecq
2000 — conf
Reflecting BDDs in Coq.
ASIAN
Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
2000 J jnl
Sequent combinators: a Hilbert system for the lambda calculus.
Math. Struct. Comput. Sci.
Healfdene Goguen, Jean Goubault-Larrecq
1999 B conf
A Simple Sequent System for First-Order Logic with Free Constructors.
TABLEAUX
Jean Goubault-Larrecq
1998 — conf
Conjunctive Types and SKInT.
TYPES
Jean Goubault-Larrecq
1997 A conf
A Tableau System for Linear-TIME Temporal Logic.
TACAS
Peter H. Schmitt, Jean Goubault-Larrecq
1997 A* conf
Ramified Higher-Order Unification.
LICS
Jean Goubault-Larrecq
1996 — conf
A Proof of Weak Termination of Typed lambda-sigma-Calculi.
TYPES
Jean Goubault-Larrecq