Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

6 results for Pierre Wolper

AUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.
- - Moshe Y. Vardi
  - Pierre Wolper
- 1986
- LICS 1986
Automata theoretic techniques for modal logics of programs (extended abstract)
- - Moshe Y. Vard
  - Pierre Wolper
- 1984
- STOC 1984
Reasoning about Infinite Computations
- - Moshh Vardi
  - Pierre Wolper
- 1994
- Information and Computation
Memory-efficient algorithms for the verification of temporal properties
- - C. Courcoubetis
  - Moshe Y. Vardi
  - et al.
- 1992
- Formal Methods in System Design
The complementation problem for Büchi automata with applications to temporal logic
- - A. Prasad Sistla
  - Moshe Y. Vardi
  - et al.
- 1987
- Theoretical Computer Science
Automata-theoretic techniques for modal logics of programs
- - Moshe Y. Vardi
  - Pierre Wolper
- 1986
- Journal of Computer and System Sciences