dblp.uni-trier.dewww.uni-trier.de

Patrice Cros Vis

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

*2000
6EEJorge Núñez-Suárez, Donie O'Sullivan, Henri Brouchoud, Patrice Cros, Clair Moore, Ciara Byrne: Experiences in the use of FIPA agent technologies for the development of a personal travel application. Agents 2000: 357-364
1992
5 Yamine Aït Ameur, Patrice Cros, J.-J. Falcon, A. Gomez: An Application of Abstract Interpretation to Floating Point Arithmetic. WSA 1992: 205-212
1991
4EEJacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel: Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 1991: 120-136
1980
3 Paul Bourret, Patrice Cros: A Deterministic Model of Operating Systems. IFIP Congress 1980: 275-280
2 Paul Bourret, Patrice Cros: Presentation and Correction of Errors in Operating System Measurements. IEEE Trans. Software Eng. 6(4): 395-398 (1980)
1976
1 L. Boi, Patrice Cros, J. P. Drucbert, J. Y. Rousselot, Paul Bourret, R. Trepos: A Performance Evaluation of the CII SIRIS 8 Operating System. Methodology, Tools and First Results. Performance 1976: 67-80

Coauthor Index

1Yamine Aït Ameur [5]
2L. Boi [1]
3Paul Bourret [1] [2] [3]
4Henri Brouchoud [6]
5Ciara Byrne [6]
6Jacques Cazin [4]
7J. P. Drucbert [1]
8J.-J. Falcon [5]
9A. Gomez [5]
10René Jacquart [4]
11Michel Lemoine [4]
12P. Michel [4]
13Clair Moore [6]
14Jorge Núñez-Suárez [6]
15Donie O'Sullivan [6]
16J. Y. Rousselot [1]
17R. Trepos [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)