Publications (books)

• André Thayse, Pascal Gribomont, Guy Hulin, Alain Pirotte, Dominique Roelants, Dominique Snyers, Marc Vauclair, Paul Gochet, Pierre Wolper, Eric Gregoire, and Philippe Delsarte. From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence. Wiley, 1989. Writing of Chapter 4 (Temporal Logic) in collaboration with Pascal Gribomont.
  French Version ``Approche logique de l'intelligence artificielle. 2 De la logique modale à la logique des bases de donne'', published by Dunod (1989).

• Pierre Wolper. Introduction à la Calculabilité. InterEditions, 1991.

• Marianne Baudinet, Jan Chomicki, and Pierre Wolper. Temporal deductive databases. In Abdullah Uz Tansel, James Clifford, Shahsi Gadia, Sushil Jajodia, Arie Segev, and Richard Snodgrass, editors, Temporal Databases. Theory, Design, and Implementation, chapter 13, pages 294--320. Benjamin/Cummings, 1993.

• André Danthine, Guy Leduc, and Pierre Wolper, editors. 13th Intern. Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, IFIP Transactions. North-Holland, 1993.

• Pierre Wolper. On the relation of programs and computations to models of temporal logic. In Leonard Bolc and Andrzej Szalas, editors, Time and Logic, a computational approach, chapter 3, pages 131--178. UCL Press Limited, 1995.

• Pierre Wolper, editor. Computer-Aided Verification, Proc. 7th Int. Conference, volume 939 of Lecture Notes in Computer Science. Springer-Verlag, 1995.

• Pierre Wolper. Linear repeating points. In Gabi Kuper, Leonid Libkin, and Jan Paredaens, editors, Constraint Databases, chapter 13, pages 305--314. Springer-Verlag, 2000.

• Pierre Wolper. Introduction à la Calculabilité. Dunod, 2e edition, 2001.

• Pierre Wolper. Introduction à la Calculabilité. Dunod, 3e edition, 2006.

• Pierre Wolper. Automates et vérification. In Encyclopédie de l'informatique et des systèmes d'information, pages 977--986. Vuibert, Paris, 2006.

Links

• Pierre Wolper
• Pierre Wolper - Bibliography