Jean Goubault-Larrecq

Author

École Normale Supérieure Paris-Saclay ORCID

Also Known As

Asada, Kazuyuki, BAIER, Christel, Cousot, Radhia, Eric Goubault, GOUBAULT-LARRECQ, Jean, Goubault-Larrecq, Jean, Henk Tijms, J. Goubault-Larrecq, J. Goubault-larrecq, JEAN GOUBAULT-LARRECQ

172

Publications

2.1K

Citations

H-Index

Concepts

All Affiliations

École Normale Supérieure Paris-Saclay 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	17	502
2	Humanities	1	1	21
3	Management	1	1	35
4	Social Sciences	1	1	35
5	Cognitive Science	1	1	35

Jean Goubault-Larrecq

Publications

731

Citations

H-Index

Page 1

	Year	Citations
Log auditing through model-checking Muriel Roger, Jean Goubault-Larrecq EngineeringInformation SecurityVerificationInformation ForensicsSoftware Analysis	2005	91
Non-Hausdorff Topology and Domain Theory---Selected Topics in Point-Set Topology Jean Goubault-Larrecq HAL (Le Centre pour la Communication Scientifique Directe) Scott TopologyDomain TheoryModern TopologyNon-hausdorff TopologySet-theoretic Topology	2013	52
Forward analysis for WSTS, Part I: Completions Alain Finkel, Jean Goubault-Larrecq ArXiv.org Mathematical ProgrammingForward AnalysisUpward ClosureComputational Complexity TheoryEngineering	2009	48
A generalization of p-boxes to affine arithmetic Olivier Bouissou, Éric Goubault, Jean Goubault-Larrecq, Computing Finite GeometryFinite Field	2012	46
Karp-Miller Trees for a Branching Extension of VASS Kumar Neeraj Verma, Jean Goubault-Larrecq Discrete Mathematics & Theoretical Computer Science Tree LanguageEngineeringReachability ProblemAutomated ReasoningComputational Model Theory	2005	46
Logical relations for monadic types Jean Goubault-Larrecq, Sławomir Lasota, David Nowak Mathematical Structures in Computer Science Computational LogicAlgebraic LogicLogical RelationLogical RelationsEngineering	2008	45
Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma The Journal of Logic and Algebraic Programming Formal SpecificationEngineeringDiffie–hellman-like ProtocolsAutomated ReasoningVerification	2004	36
Deciding by resolution Jean Goubault-Larrecq Information Processing Letters Measurement TheoryJudgement AggregationCognitive ScienceQuality CriterionManagement	2005	35
On Noetherian Spaces Jean Goubault-Larrecq Ring TheoryCommutative AlgebraNoetherian SpacesNoetherian SpaceTopological Algebra	2007	29
Detecting Subverted Cryptographic Protocols by Entropy Checking Julien Olivain, Jean Goubault-Larrecq HAL (Le Centre pour la Communication Scientifique Directe) Cryptographic PrimitiveEngineeringInformation SecurityAttack ModelEfficient Technique	2006	27

Page 1