2011
2010
- Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. ProceedingsAna Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock, editors, Volume 6255 of Lecture Notes in Computer Science, Springer, 2010. [doi]
2008
2007
2006
2005
- The atomic manifesto: a story in four quarksCliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues. SIGMOD, 34(1):63-69, 2005. [doi]
- The atomic manifesto: a story in four quarksCliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues. sigops, 39(2):41-46, 2005. [doi]
2004
2002
2001
1999
1998
1996
- FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, ProceedingsMarie-Claude Gaudel, Jim Woodcock, editors, Volume 1051 of Lecture Notes in Computer Science, Springer, 1996.
1995
1994
1993
- TAPSOFT 93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, ProceedingsMarie-Claude Gaudel, Jean-Pierre Jouannaud, editors, Volume 668 of Lecture Notes in Computer Science, Springer, 1993.
1992
1991
1989
1988
1987
1986
1985
1984
1981
1980
1977