dblp.uni-trier.dewww.uni-trier.de

Jean Goubault-Larrecq Vis

Jean Goubault

École Normale Supérieure de Cachan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
44EEAlain Finkel, Jean Goubault-Larrecq: Forward Analysis for WSTS, Part II: Complete WSTS. ICALP (2) 2009: 188-199
43EEAlain Finkel, Jean Goubault-Larrecq: Forward Analysis for WSTS, Part I: Completions. STACS 2009: 433-444
42EEAlain Finkel, Jean Goubault-Larrecq: Forward analysis for WSTS, Part I: Completions CoRR abs/0902.1587: (2009)
2008
41EEJean Goubault-Larrecq: Towards Producing Formally Checkable Security Proofs, Automatically. CSF 2008: 224-238
40EEJean Goubault-Larrecq: Prevision Domains and Convex Powercones. FoSSaCS 2008: 318-333
39EEJean Goubault-Larrecq: Simulation Hemi-metrics between Infinite-State Stochastic Games. FoSSaCS 2008: 50-65
38EEJean Goubault-Larrecq, Julien Olivain: A Smell of Orchids. RV 2008: 1-20
37EEJean Goubault-Larrecq, Slawomir Lasota, David Nowak: Logical relations for monadic types. Mathematical Structures in Computer Science 18(6): 1169-1217 (2008)
2007
36EEJean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina: A Probabilistic Applied Pi-Calculus. APLAS 2007: 175-190
35EEElie Bursztein, Jean Goubault-Larrecq: A Logical Framework for Evaluating Network Resilience Against Faults and Attacks. ASIAN 2007: 212-227
34EEJean Goubault-Larrecq: Continuous Previsions. CSL 2007: 542-557
33EEJean Goubault-Larrecq: Continuous Capacities on Continuous State Spaces. ICALP 2007: 764-776
32EEJean Goubault-Larrecq: On Noetherian Spaces. LICS 2007: 453-462
31EEKumar Neeraj Verma, Jean Goubault-Larrecq: Alternating two-way AC-tree automata. Inf. Comput. 205(6): 817-869 (2007)
2005
30EEJulien Olivain, Jean Goubault-Larrecq: The Orchids Intrusion Detection Tool. CAV 2005: 286-290
29EEJean Goubault-Larrecq, Fabrice Parrennes: Cryptographic Protocol Analysis on Real C Code. VMCAI 2005: 363-379
28EEJean Goubault-Larrecq, Slawomir Lasota, David Nowak: Logical Relations for Monadic Types CoRR abs/cs/0511006: (2005)
27EEKumar Neeraj Verma, Jean Goubault-Larrecq: Karp-Miller Trees for a Branching Extension of VASS. Discrete Mathematics & Theoretical Computer Science 7(1): 217-230 (2005)
26EEJean Goubault-Larrecq: Deciding H1 by resolution. Inf. Process. Lett. 95(3): 401-408 (2005)
25EEJean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma: Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically. J. Log. Algebr. Program. 64(2): 219-251 (2005)
24EEJean Goubault-Larrecq: Extensions of valuations. Mathematical Structures in Computer Science 15(2): 271-297 (2005)
2004
23EEJean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang: Complete Lax Logical Relations for Cryptographic Lambda-Calculi. CSL 2004: 400-414
2002
22EEJean Goubault-Larrecq: Higher-Order Positive Set Constraints. CSL 2002: 473-489
21EEJean Goubault-Larrecq, Slawomir Lasota, David Nowak: Logical Relations for Monadic Types. CSL 2002: 553-568
2001
20EEMuriel Roger, Jean Goubault-Larrecq: Log Auditing through Model-Checking. CSFW 2001: 220-
19EEJean Goubault-Larrecq: Well-Founded Recursive Relations. CSL 2001: 484-497
18EEXavier Rival, Jean Goubault-Larrecq: Experiments with Finite Tree Automata in Coq. TPHOLs 2001: 362-377
17EEJean Goubault-Larrecq: Preface. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
2000
16EEKumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar: Reflecting BDDs in Coq. ASIAN 2000: 162-181
15EEJean Goubault-Larrecq: A Method for Automatic Cryptographic Protocol Verification. IPDPS Workshops 2000: 977-984
14 Healfdene Goguen, Jean Goubault-Larrecq: Sequent combinators: a Hilbert system for the lambda calculus. Mathematical Structures in Computer Science 10(1): 1-79 (2000)
1999
13 Jean Goubault-Larrecq: A Simple Sequent System for First-Order Logic with Free Constructors. TABLEAUX 1999: 202-216
1998
12EEJean Goubault-Larrecq: Conjunctive Types and SKInT. TYPES 1998: 106-120
1997
11EEJean Goubault-Larrecq: Ramified Higher-Order Unification. LICS 1997: 410-421
10 Peter H. Schmitt, Jean Goubault-Larrecq: A Tableau System for Linear-TIME Temporal Logic. TACAS 1997: 130-144
1996
9 Jean Goubault-Larrecq: A Proof of Weak Termination of Typed lambda-sigma-Calculi. TYPES 1996: 134-153
1995
8EEJean Goubault: A BDD-Based Simplification and Skolemization Procedure. Logic Journal of the IGPL 3(6): 827-855 (1995)
1994
7EEJean Goubault: Proving with BDDs and Control of Information. CADE 1994: 499-513
6EEJean Goubault, Joachim Posegga: BDDs and Automated Deduction. ISMIS 1994: 541-550
5 Jean Goubault: Rigid E-Unifiability is DEXPTIME-Complete LICS 1994: 498-506
4EEJean Goubault: Higher-Order Rigid E-Unification. LPAR 1994: 129-143
3 Jean Goubault: Generalized Boxings, Congruences and Partial Inlining. SAS 1994: 147-161
2EEJean Goubault: The Complexity of Resource-Bounded First-Order Classical Logic. STACS 1994: 59-70
1993
1 Jean Goubault: A Rule-based Algorithm for Rigid E-Unification. Kurt Gödel Colloquium 1993: 202-210

Coauthor Index

1S. Arun-Kumar [16]
2Elie Bursztein [35]
3Alain Finkel [42] [43] [44]
4Healfdene Goguen [14]
5Slawomir Lasota [21] [23] [28] [37]
6David Nowak [21] [23] [28] [37]
7Julien Olivain [30] [38]
8Catuscia Palamidessi [36]
9Fabrice Parrennes [29]
10Joachim Posegga [6]
11Sanjiva Prasad [16]
12Xavier Rival [18]
13Muriel Roger [20] [25]
14Peter H. Schmitt [10]
15Angelo Troina [36]
16Kumar Neeraj Verma [16] [25] [27] [31]
17Yu Zhang [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)