Concepedia

Jean Goubault-Larrecq

JG

26

Publications

731

Citations

18

H-Index

2000

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Centre National de la Recherche Scientifique

Institut national de recherche en sciences et technologies du numérique

Laboratoire Spécification et Vérification

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Jean Goubault-Larrecq is an author at École Normale Supérieure Paris-Saclay specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProbabilityCryptographyVerificationData SecurityComputational Complexity

Publications per year

2000–2020

26

Publications

26

Log auditing through model-checking

Muriel Roger, Jean Goubault-Larrecq · 2005 · 91 citations

Engineering, Information Security, Verification +18

Non-Hausdorff Topology and Domain Theory---Selected Topics in Point-Set Topology

Jean Goubault-Larrecq · HAL (Le Centre pour la Communication Scientifique Directe) · 2013 · 52 citations

Scott Topology, Domain Theory, Modern Topology +7

Forward analysis for WSTS, Part I: Completions

Alain Finkel, Jean Goubault-Larrecq · ArXiv.org · 2009 · 48 citations · Full text

Mathematical Programming, Forward Analysis, Upward Closure +15

A generalization of p-boxes to affine arithmetic

Olivier Bouissou, Éric Goubault, Jean Goubault-Larrecq et al. · Computing · 2012 · 46 citations

Finite Geometry, Finite Field

Karp-Miller Trees for a Branching Extension of VASS

Kumar Neeraj Verma, Jean Goubault-Larrecq · Discrete Mathematics & Theoretical Computer Science · 2005 · 46 citations · Full text

Tree Language, Engineering, Reachability Problem +14

Rows per page

1–5 of 26