Travelled to:1 × Canada
1 × Greece
1 × Hungary
1 × Japan
1 × Switzerland
1 × The Netherlands
3 × France
3 × United Kingdom
4 × Poland
Collaborated with:∅ J.Dubut E.Goubault S.Lasota D.Nowak D.Varacca A.Finkel J.Olivain F.Parrennes P.H.Schmitt Y.Zhang
Talks about:continu (4) space (3) relat (3) logic (3) cryptograph (2) noetherian (2) complet (2) analysi (2) previs (2) higher (2)
Person: Jean Goubault-Larrecq
DBLP: Goubault-Larrecq:Jean
Contributed to:
2015
2011201020102009
2008
200720072007
2005
20052004200220011997
19972016Wrote 19 papers:
- ICALP-v2-2015-DubutGG
- Natural Homology (JD, EG, JGL), pp. 171–183.
- LICS-2011-Goubault-LarrecqV #random
- Continuous Random Variables (JGL, DV), pp. 97–106.
- ICALP-v2-2010-Goubault-Larrecq #verification
- Noetherian Spaces in Verification (JGL), pp. 2–21.
- LICS-2010-Goubault-Larrecq #probability
- ω-QRB-Domains and the Probabilistic Powerdomain (JGL), pp. 352–361.
- ICALP-v2-2009-FinkelG #analysis
- Forward Analysis for WSTS, Part II: Complete WSTS (AF, JGL), pp. 188–199.
- FoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation
- Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.
- FoSSaCS-2008-Goubault-Larrecq08a
- Prevision Domains and Convex Powercones (JGL), pp. 318–333.
- CSL-2007-Goubault-Larrecq
- Continuous Previsions (JGL), pp. 542–557.
- ICALP-2007-Goubault-Larrecq
- Continuous Capacities on Continuous State Spaces (JGL), pp. 764–776.
- LICS-2007-Goubault-Larrecq #on the
- On Noetherian Spaces (JGL), pp. 453–462.
- CAV-2005-OlivainG #detection
- The Orchids Intrusion Detection Tool (JO, JGL), pp. 286–290.
- VMCAI-2005-Goubault-LarrecqP #analysis #c #encryption #protocol
- Cryptographic Protocol Analysis on Real C Code (JGL, FP), pp. 363–379.
- CSL-2004-Goubault-LarrecqLNZ #encryption #logic #λ-calculus
- Complete Lax Logical Relations for Cryptographic λ-Calculi (JGL, SL, DN, YZ), pp. 400–414.
- CSL-2002-Goubault-Larrecq #constraints #higher-order #set
- Higher-Order Positive Set Constraints (JGL), pp. 473–489.
- CSL-2002-Goubault-LarrecqLN #logic #monad
- Logical Relations for Monadic Types (JGL, SL, DN), pp. 553–568.
- CSL-2001-Goubault-Larrecq #recursion
- Well-Founded Recursive Relations (JGL), pp. 484–497.
- LICS-1997-Goubault-Larrecq #higher-order #unification
- Ramified Higher-Order Unification (JGL), pp. 410–421.
- TACAS-1997-SchmittG #linear #logic
- A Tableau System for Linear-TIME Temporal Logic (PHS, JGL), pp. 130–144.
- CSL-2016-DubutGG
- The Directed Homotopy Hypothesis (JD, EG, JGL), p. 16.