Pierre Wolper - Selected Publications#

h-index: 43, g-index: 100, about 11.000 citations (Summer 2012)


Axel Legay and Pierre Wolper. On (omega-)regular model checking. ACM Trans. Comput. Log., 12(1):2, 2010.

Bernard Boigelot, Sébastien Jodogne, and Pierre Wolper. On the use of weak automata for deciding linear arithmetic with integer and real variables. ACM transactions on Computational Logic, 6(3):614-633, July 2005. (48 + 39 (conference version) citations - Google Scholar).

Orna Kupferman, Moshe Y. Vardi, and Pierre Wolper. An automata-theoretic approach to branching-time model checking. Journal of the ACM, 47(2):312-360, March 2000. (375 citations - Google Scholar)

Pierre Wolper and Bernard Boigelot. Verifying systems with infite but regular state spaces. In Proc. 10th Int. Conf. on Computer Aided Verification, volume 1427 of Lecture Notes in Computer Science, pages 88{97, Vancouver, July 1998. Springer-Verlag. (166 citations - Google Scholar)

Froduald Kabanza, Jean-Marc Stévenne, and Pierre Wolper. Handling infinite temporal data. Journal of Computer and System Sciences, 51(1):3-17, August 1995. (65 + 107 (conference version) citations - Google Scholar)

Rob Gerth, Doron Peled, Moshe Y. Vardi, and Pierre Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proc. 15th Work. Protocol Specification, Testing, and Verification, Warsaw, June 1995. North-Holland. (696 citations - Google Scholar)

Moshe Y. Vardi and Pierre Wolper. Reasoning about infinite computations. Information and Computation, 115(1):1-37, November 1994. (649 citations - Google Scholar; Gödel Prize 2000)

Patrice Godefroid and Pierre Wolper. A partial approach to model checking. In Proc. 6th Symp. on Logic in Computer Science, pages 406-415, Amsterdam, July 1991. (297 citations - Google Scholar; LICS Test-of-time award 2011)

Moshe Y. Vardi and Pierre Wolper. An automata-theoretic approach to automatic program verication. In Proceedings of the First Symposium on Logic in Computer Science, pages 322-331, Cambridge, June 1986. (1389 citations - Google Scholar; LICS test-of-time award 1996)

Pierre Wolper. Temporal logic can be more expressive. Information and Control, 56(1{2):72-99,1983. (692 citations - Google Scholar)

Google Scholar profile: http://scholar.google.com/citations?user=6pao8gkAAAAJ.