Searching for authors named Laurent Fribourg – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
Petri nets, flat languages and linear arithmetic
- …Petri Nets, Flat Languages and Linear Arithmetic Laurent Fribourg LSV - ENS Cachan & CNRS -- 61 av…
- Cited by 2 (0 self) – Add To MetaCart
-
Mixing List Recursion and Arithmetic
- …Mixing List Recursion and Arithmetic Laurent Fribourg L.I.E.N.S. (URA 1327 CNRS) 45 rue d…
- Cited by 5 (3 self) – Add To MetaCart
-
Constraint Logic Programming Applied to Model Checking
- …Constraint Logic Programming Applied to Model Checking Laurent Fribourg LSV, Ecole Normale Sup…
- Cited by 23 (0 self) – Add To MetaCart
-
A Closed-Form Evaluation for Extended Timed Automata
- …��rification, CNRS & ENS de Cachan, France, Mar. 1998 A Closed-Form Evaluation for Extended Timed Automata Laurent…
- Cited by 9 (4 self) – Add To MetaCart
-
Automatic verification of a parametric real-time program: the ABR conformance protocol
- … real-time program: the ABR conformance protocol B'eatrice B'erard and Laurent Fribourg ? LSV -- Ecole…
- Cited by 13 (2 self) – Add To MetaCart
-
A Unifying View of Structural Induction and Computation Induction for Logic Programs
- …A Unifying View of Structural Induction and Computation Induction for Logic Programs Laurent…
- Add To MetaCart
-
Closed-Form Evaluation and Abstraction for Parametric Timed Automata
- …'erard and Laurent Fribourg ? Ecole Normale Sup'erieure Cachan/CNRS - 61 av. Pdt. Wilson - 94235 Cachan - France…
- Add To MetaCart
-
A Proof Method based on Folding Lemmas: Applications to Algorithm Correctness
- … Laurent FRIBOURG Laboratoire d'Informatique, URA 1327 du CNRS D'epartement de Math'ematiques et d…
- Add To MetaCart
-
A Generic Rewrite Method for Proving Self-Stabilization
- … Method for Proving Self-Stabilization Joffroy Beauquier 1 , B'eatrice B'erard 2 and Laurent Fribourg…
- Add To MetaCart
-
On the Absence of Phase Transition in Randomized Distributed Algorithms
- … Transition in Randomized Distributed Algorithms Laurent Fribourg, Stephane Messika and Claudine Picaronny…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
