default search action

combined dblp search
author search
venue search
publication search

ask others

Guy Vidal-Naquet

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijssoe/BennacerV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijssoe/BennacerV12
Nacéra Bennacer, Guy Vidal-Naquet:
A Multi-Level Framework for Validation of Ontology-Driven and Community-Based Web Services Composition. Int. J. Syst. Serv. Oriented Eng. 3(1): 58-72 (2012)
2011
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0467
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0467
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet:
On the reaction time of some synchronous systems. ICE 2011: 69-83
2010
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/FotsingGV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/FotsingGV10
Christian Fotsing, Annie Geniet, Guy Vidal-Naquet:
Tree scheduling versus sequential scheduling. EDCC-CARS 2010: 71-74
[c16]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5571
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5571
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet:
An Introduction to Time-Constrained Automata. ICE 2010: 83-98

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/LemerreDV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/LemerreDV09
Matthieu Lemerre, Vincent David, Guy Vidal-Naquet:
A communication mechanism for resource isolation. IIES@EuroSys 2009: 1-6
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/FotsingGV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/FotsingGV09
Christian Fotsing, Annie Geniet, Guy Vidal-Naquet:
A Realistic Model of Real-Time Systems for Efficient Scheduling. SEW 2009: 3-12
2008
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/GamhaBVAR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/GamhaBVAR08
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
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/LemerreDAV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/LemerreDAV08
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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/GamhaBRVA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/GamhaBRVA07
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/mompes/HardebolleBMV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mompes/HardebolleBMV07
Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet:
A Generic Execution Framework for Models of Computation. MOMPES 2007: 45-54
2006
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsoft/BoulangerV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/BoulangerV06
Frédéric Boulanger, Guy Vidal-Naquet:
A primitive execution model for heterogeneous modeling. ICSOFT (1) 2006: 247-252

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/BoulangerV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/BoulangerV98
Frédéric Boulanger, Guy Vidal-Naquet:
Modular Development of Control and Computational Modules Using Reactive Objects. ECOOP Workshops 1998: 515-518
1992
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/NassorV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/NassorV92
Eric Nassor, Guy Vidal-Naquet:
Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. STACS 1992: 59-70
1991
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/parle/SamiV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/SamiV91
Yamina Sami, Guy Vidal-Naquet:
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. PARLE (2) 1991: 110-127
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BaudeV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BaudeV91
Françoise Baude, Guy Vidal-Naquet:
Actors as a Parallel Programming Model. STACS 1991: 184-195
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BeauquierCPV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BeauquierCPV91
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet:
Detection of Deadlocks in an Infinite Family of Nets. STACS 1991: 334-347

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BeauquierCPV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BeauquierCPV89
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet:
Syntactical Properties of Unbounded Nets of Processors. TAPSOFT, Vol.1 1989: 119-133
1987
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/1987
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. Lecture Notes in Computer Science 247, Springer 1987, ISBN 3-540-17219-X [contents]
1986
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/1986
Burkhard Monien, Guy Vidal-Naquet:
STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings. Lecture Notes in Computer Science 210, Springer 1986, ISBN 3-540-16078-7 [contents]
1981
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/ValkV81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/ValkV81
Rüdiger Valk, Guy Vidal-Naquet:
Petri Nets and Regular Languages. J. Comput. Syst. Sci. 23(3): 299-325 (1981)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Vidal-Naquet81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Vidal-Naquet81
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

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1972
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icalp/Vidal-Naquet72
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Vidal-Naquet72
Guy Vidal-Naquet:
Quelques applications des automates à arbres infinis. ICALP 1972: 115-122

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.