Concepedia

Pierre Wolper

PW

Statistics

Publications

39

Citations

8.6K

H-Index

33

Active since

1981

Affiliations

University of Liège(Current)

Stanford University

Nokia (United States)

IBM (United States)

AT&T (United States)

Pierre Wolper is an author at University of Liège specializing in computer science, computing, and formal methods.

Publications per year

1981–2005

39

Publications

39

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

Reasoning about Infinite Computations

Moshe Y. Vardi, Pierre Wolper · Information and Computation · 1994 · 794 citations · Full text

Computing, Computer Science, Mathematics +10

Temporal logic can be more expressive

Pierre Wolper · Information and Control · 1983 · 658 citations

Humanities, Computer Science, Formal Methods +11

An automata-theoretic approach to branching-time model checking

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper · Journal of the ACM · 2000 · 616 citations · Full text

Computing, Computer Science, Algorithms +16

Automata-theoretic techniques for modal logics of programs

Moshe Y. Vardi, Pierre Wolper · Journal of Computer and System Sciences · 1986 · 523 citations

Computing, Computer Science, Formal Methods +13

1–5 of 39