BibSonomy :: author  ::

bookmarks

publications

(68)

• A Smell of Orchids.
  Jean Goubault-Larrecq and Julien Olivain RV 1-20 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Inferring Min and Max Invariants Using Max-Plus Polyhedra.
  Xavier Allamigeon and Stephane Gaubert and Eric Goubault SAS 189-204 (2008)
  to dblp by dblp on 2008-08-12 00:00:00
  | URL | BibTeX  
• Perturbed affine arithmetic for invariant computation in numerical program analysis
  Eric Goubault and Sylvie Putot CoRR abs/0807.2961 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Static Analysis of the Accuracy in Control Systems: Principles and Experiments.
  Eric Goubault and Sylvie Putot and Philippe Baufreton and Jean Gassino FMICS 3-20 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Towards Producing Formally Checkable Security Proofs, Automatically.
  Jean Goubault-Larrecq CSF 224-238 (2008)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Prevision Domains and Convex Powercones.
  Jean Goubault-Larrecq FoSSaCS 318-333 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Simulation Hemi-metrics between Infinite-State Stochastic Games.
  Jean Goubault-Larrecq FoSSaCS 50-65 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• A BDD-Based Simplification and Skolemization Procedure.
  Jean Goubault Logic Journal of the IGPL 3 827-855 (1995)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Components of the Fundamental Category II.
  Eric Goubault and Emmanuel Haucourt Applied Categorical Structures 15 387-414 (2007)
  to dblp by dblp on 2008-03-10 00:00:00
  | URL | BibTeX  
• Logical Relations for Monadic Types
  Jean Goubault-Larrecq and Slawomir Lasota and David Nowak CoRR abs/cs/0511006 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX