BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Goubault-Larrecq:Jean

Contributed to:

ICALP (2) 20152015
LICS 20112011
ICALP (2) 20102010
LICS 20102010
ICALP (2) 20092009
FoSSaCS 20082008
CSL 20072007
ICALP 20072007
LICS 20072007
CAV 20052005
VMCAI 20052005
CSL 20042004
CSL 20022002
CSL 20012001
LICS 19971997
TACAS 19971997
CSL 20162016

Wrote 19 papers:

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.
Prevision Domains and Convex Powercones (JGL), pp. 318–333.
Continuous Previsions (JGL), pp. 542–557.
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.
The Directed Homotopy Hypothesis (JD, EG, JGL), p. 16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.