Gérard Roucairol Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1992
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAttilio Stajano, Bruno Cerboni, G. Degli Antoni, Hans Mulder, Gérard Roucairol, Erich J. Neuhold, Eddy Odijk, Pier Carlo Ravasio, Jan Ritchie, Jack Schiff: Business Opportunities in Hypermedia Applications (Panel). ECHT 1992: 285
1986
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Roucairol: FIFO-Nets. Advances in Petri Nets 1986: 436-459
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lavallée, Gérard Roucairol: A Fully Distributed (Minimal) Spanning Tree Algorithm. Inf. Process. Lett. 23(2): 55-62 (1986)
1985
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Hartmann J. Genrich, Gérard Roucairol: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers Springer 1985
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Boudol, Gérard Roucairol, Robert de Simone: Petri nets and algebraic calculi of processes. Applications and Theory in Petri Nets 1985: 41-58
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Paule Flé, Gérard Roucairol: A language theoretic approach to serialization problem in concurrent systems. FCT 1985: 128-145
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Boudol, Gérard Roucairol, Robert de Simone: Petri Nets and Algebraic Calculi of Processes. STACS 1985: 59-70
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Paule Flé, Gérard Roucairol: Maximal Serializability of Iterated Transactions. Theor. Comput. Sci. 38: 1-16 (1985)
1984
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Paule Flé, Gérard Roucairol: Fair serializability of iterated transactions using FIFO-nets. European Workshop on Applications and Theory in Petri Nets 1984: 154-168
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Paule Flé, Gérard Roucairol: Multiserialization of Iterated Transactions. Inf. Process. Lett. 18(5): 243-247 (1984)
1982
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOsvaldo Carvalho, Gérard Roucairol: On the Distribution of an Assertion. PODC 1982: 121-131
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Paule Flé, Gérard Roucairol: On Serializability of Iterated Transactions. PODC 1982: 194-200
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Paule Flé, Gérard Roucairol: On some syntactic equivalence of program schemas and related transformations. Symposium on Programming 1982: 116-131
1981
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol: The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. ICSE 1981: 363-373
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Roucairol: Overview. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 1-2
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Berthelot, Claude Girault, Gérard Roucairol: Petri Net Modelling and Reliability of Distributed Algorithms. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 3-10
1976
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Berthelot, Gérard Roucairol: Reduction of Petri-Nets. MFCS 1976: 202-209
1975
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Memmi, Gérard Roucairol: Linear Algebra in Net Theory. Advanced Course: Net Theory and Applications 1975: 213-223
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Berthelot, Gérard Roucairol, Rüdiger Valk: Reductions of Nets and Parallel Prgrams. Advanced Course: Net Theory and Applications 1975: 277-290
1974
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Roucairol: Transformation de programmes séquentiels en programmes parallèles. Symposium on Programming 1974: 327-349

Coauthor Index

1G. Degli Antoni [20]
2Jean-Loup Baer [7]
3Gérard Berthelot [2] [4] [5]
4Gérard Boudol [14] [16]
5Osvaldo Carvalho [10]
6Bruno Cerboni [20]
7Marie-Paule Flé [8] [9] [11] [12] [13] [15]
8Georges Gardarin [7]
9Hartmann J. Genrich [17]
10Claude Girault [5] [7]
11Ivan Lavallée [18]
12Gérard Memmi [3]
13Hans Mulder [20]
14Erich J. Neuhold [20]
15Eddy Odijk [20]
16Pier Carlo Ravasio [20]
17Jan Ritchie [20]
18Grzegorz Rozenberg [17]
19Jack Schiff [20]
20Robert de Simone [14] [16]
21Attilio Stajano [20]
22Rüdiger Valk [2]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)