Patrice Cros

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2000
c5		Jorge 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
c4		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
c3		Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel: Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 1991: 120-136
	1980
j1		Paul Bourret, Patrice Cros: Presentation and Correction of Errors in Operating System Measurements. IEEE Trans. Software Eng. 6(4): 395-398 (1980)
c2		Paul Bourret, Patrice Cros: A Deterministic Model of Operating Systems. IFIP Congress 1980: 275-280
	1976
c1		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

Last update Mon May 20 13:29:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page