Patrick Cousot

Silver Professor; Professor of Computer Science

1972 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Book
2001

Proceedings of the workshop on geometry and topology in concurrency theory, GETCO '01

Cousot, P. (ed.), Goubault, E. (ed.), Gunawardena, J. (ed.), Herlihy, M. (ed.), Raussen, M. (ed.) & Sassone, V. (ed.), 2001, Elsevier. (Electronic Notes in Theoretical Computer Science; vol. 39, no. 2)

Research output: Book/ReportBook

2000

Proceedings of the workshop on geometry and topology in concurrency theory, GETCO '00, August 21 2000

Cousot, P. (ed.), Goubault, E. (ed.), Gunawardena, J. (ed.), Herlihy, M. (ed.), Raussen, M. (ed.) & Sassone, V. (ed.), 2000, State College, USA. (BRICS Notes Series NS-00-3)

Research output: Book/ReportBook

1993

Proceedings of the 3rd international workshop on static analysis, WSA '93, Padova, Italy, September 22-24 1993

Cousot, P. (ed.), Falaschi, M. (ed.), File, G. (ed.) & Rauzy, A. (ed.), 1993, Springer. 293 p. (LNCS 724)

Research output: Book/ReportBook

1992

Algorithmique et programmation en Pascal (cours) (in French)

Cousot, P., 1992, Ellipses. 288 p. (Cours de l'Ecole Polytechnique)

Research output: Book/ReportBook

Algorithmique et programmation en Pascal (exercices et corriges) (in French)

Cousot, P., 1992, Ellipses. 271 p. (Cours de l'Ecole Polytechnique)

Research output: Book/ReportBook

1991

Premieres lecons de programmation en Turbo Pascal (in French)

Cousot, L., Cousot, P., Cousot, R. & Cousot, T., 1991, Paris, France: McGraw-Hill. 297 p.

Research output: Book/ReportBook

1988