Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases.[1] He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y. Vardi, for his work on temporal logic with finite automata.[2] He also received the 2005 Paris Kanellakis Award for this work.[3]
References
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
|
- Adleman, Diffie, Hellman, Merkle, Rivest, Shamir (1996)
- Lempel, Ziv (1997)
- Bryant, Clarke, Emerson, McMillan (1998)
- Sleator, Tarjan (1999)
- Karmarkar (2000)
- Myers (2001)
- Franaszek (2002)
- Miller, Rabin, Solovay, Strassen (2003)
- Freund, Schapire (2004)
- Holzmann, Kurshan, Vardi, Wolper (2005)
- Brayton (2006)
- Buchberger (2007)
- Cortes, Vapnik (2008)
- Bellare, Rogaway (2009)
- Mehlhorn (2010)
- Samet (2011)
- Broder, Charikar, Indyk (2012)
- Blumofe, Leiserson (2013)
- Demmel (2014)
- Luby (2015)
- Fiat, Naor (2016)
- Shenker (2017)
- Pevzner (2018)
- Alon, Gibbons, Matias, Szegedy (2019)
- Azar, Broder, Karlin, Mitzenmacher, Upfal (2020)
|
<templatestyles src="Asbox/styles.css"></templatestyles>