 | 2008 |
|---|
| 15 |       | Youssef Gamha,
Nacéra Bennacer,
Guy Vidal-Naquet,
Béchir el Ayeb,
Lotfi Ben Romdhane:
A Framework for the Semantic Composition of Web Services Handling User Constraints.
ICWS 2008: 228-237 |
| 14 | | Matthieu Lemerre,
Vincent David,
Christophe Aussaguès,
Guy Vidal-Naquet:
Equivalence between Schedule Representations: Theory and Applications.
IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 237-247 |
| 2007 |
|---|
| 13 | | Youssef Gamha,
Nacéra Bennacer,
Lotfi Ben Romdhane,
Guy Vidal-Naquet,
Béchir el Ayeb:
A Statechart-Based Model for the Semantic Composition of Web Services.
IEEE SCW 2007: 49-56 |
| 2006 |
|---|
| 12 |  | Frédéric Boulanger,
Guy Vidal-Naquet:
A primitive execution model for heterogeneous modeling.
ICSOFT (1) 2006: 247-252 |
| 1998 |
|---|
| 11 | | Frédéric Boulanger,
Guy Vidal-Naquet:
Modular Development of Control and Computational Modules Using Reactive Objects.
ECOOP Workshops 1998: 515-518 |
| 1992 |
|---|
| 10 | | Eric Nassor,
Guy Vidal-Naquet:
Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems.
STACS 1992: 59-70 |
| 1991 |
|---|
| 9 | | Yamina Sami,
Guy Vidal-Naquet:
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications.
PARLE (2) 1991: 110-127 |
| 8 | | Françoise Baude,
Guy Vidal-Naquet:
Actors as a Parallel Programming Model.
STACS 1991: 184-195 |
| 7 | | Joffroy Beauquier,
Annie Choquet,
Antoine Petit,
Guy Vidal-Naquet:
Detection of Deadlocks in an Infinite Family of Nets.
STACS 1991: 334-347 |
| 1989 |
|---|
| 6 | | Joffroy Beauquier,
Annie Choquet,
Antoine Petit,
Guy Vidal-Naquet:
Syntactical Properties of Unbounded Nets of Processors.
TAPSOFT, Vol.1 1989: 119-133 |
| 1987 |
|---|
| 5 | | Franz-Josef Brandenburg,
Guy Vidal-Naquet,
Martin Wirsing:
STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings
Springer 1987 |
| 1986 |
|---|
| 4 | | Burkhard Monien,
Guy Vidal-Naquet:
STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings
Springer 1986 |
| 1981 |
|---|
| 3 | | Guy Vidal-Naquet:
Deterministic Languages of Petri Nets.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 198-202 |
| 2 | | Rüdiger Valk,
Guy Vidal-Naquet:
Petri Nets and Regular Languages.
J. Comput. Syst. Sci. 23(3): 299-325 (1981) |
| 1972 |
|---|
| 1 | | Guy Vidal-Naquet:
Quelques applications des automates à arbres infinis.
ICALP 1972: 115-122 |
