Searching for authors named Eric Goubault – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Transitions take time (Extended Abstract)
- …Transitions take time Eric Goubault Ecole Normale Sup'erieure Extended Abstract Abstract…
- Add To MetaCart
-
Static Analyses of Floating-Point Operations
- …Static analyses of floating-point operations Eric Goubault LIST (CEA - Recherche Technologique…
- Cited by 3 (0 self) – Add To MetaCart
-
The Dynamics of Wait-Free Distributed Computations
- … Press The Dynamics of Wait-Free Distributed Computations Eric Goubault C.N.R.S & Ecole Normale Sup…
- Cited by 1 (1 self) – Add To MetaCart
-
Optimal Implementation of Wait-Free Binary Relations
- …Optimal Implementation of Wait-Free Binary Relations Eric Goubault CNRS & LIENS, ' Ecole Normale…
- Cited by 2 (1 self) – Add To MetaCart
-
Cubical Sets are Generalized Transition Systems
- …Cubical Sets are Generalized Transition Systems Eric Goubault LIST/DTSI/SLA, CEA Saclay, F-91191…
- Cited by 2 (1 self) – Add To MetaCart
-
Some Geometric Perspectives in Concurrency Theory
- … PERSPECTIVES IN CONCURRENCY THEORY ERIC GOUBAULT (communicated by Gunnar Carsson and Rick Jardine) Abstract…
- Cited by 23 (3 self) – Add To MetaCart
-
Geometry and Concurrency: A User's Guide
- …-sur-Yvette Cedex, France Email: Eric.Goubault@(email omitted); Received 31 January 2000 Geometrical methods in concurrency…
- Cited by 21 (2 self) – Add To MetaCart
-
On Intuitionistic S4 and Augmented Simplicial Sets
- … and Augmented Simplicial Sets J EAN GOUBAULT - LARRECQ 1 and ER I C GOUBAULT 2 1 G.I.E. Dyade and projet…
- Add To MetaCart
-
Order-Theoretic, Geometric and Combinatorial Models of Intuitionistic S4 Proofs
- … (Jean.Goubault@(email omitted);) and ' Eric Goubault, CEA Saclay, LETI/DEIN/SLA, 91191 Gif-sur-Yvette, France…
- Cited by 5 (3 self) – Add To MetaCart
-
Static Analysis of Numerical Algorithms
- …Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
