Author

Willem Paul de Roever

Observed names: De Roever, Roever, W.P., Roever, W.P. de, Roever, Willem-Paul, Roever, Willem-Paul de 1943-, Roever, de, W.P., W P de Roever, W. -P. Roever, W. -P. de Roever, W. P. De Roever, W. P. Roever, W. P. de Roever, W. Roever, W.-P. de Roever, W.P. De Roever, W.P. de Roever, Willem -Paul Roever, Willem -Paul de Roever, Willem P De Roever, Willem P. De Roever, Willem P. DeRoever, Willem P. Roever, Willem P. de Roever, Willem P. deRoever, Willem-Paul Roever, Willem-Paul de Roever, Willem-Paul de Roewer, Willem-paul De Roever, Willem-paul De Roever A, de Roever, W.P., de Roever, Willem Paul, de Roever, Willem-Paul, de W.P. Roever, de Wp Willem-Paul Roever
OpenAlex ID: A5110147717
1992 · Bakker, de, J.W., Huizing, C., et al. · Lecture notes in computer science · 355
1980 · Krzysztof R. Apt, Nissim Francez, et al. · ACM Transactions on Programming Languages and Systems · 324
1989 · Bakker, de, J.W., Roever, de, W.P., et al. · Lecture notes in computer science · 250
2012 · Willem-Paul de Roever, Frank de Boer, et al. · University of Twente Research Information · 224
1998 · Willem-Paul de Roever, Kai Engelhardt · Cambridge University Press eBooks · 215
1997 · Qiwen Xu, Willem -Paul de Roever, et al. · Formal Aspects of Computing · 157
1983 · Ron Koymans, Jan Vytopil, et al. · ACM Symposium on Principles of Distributed Computing (PODC) · 118
1972 · J. W. de Bakker, Willem P. de Roever · International Colloquium on Automata, Languages and Programming · 101
1979 · Nissim Francez, C.A.R. Hoare, et al. · Journal of Computer and System Sciences · 94
1985 · Job Zwiers, Willem Paul de Roever, et al. · Lecture notes in computer science · 77
2005 · Harald Fecher, Jens Schönborn, et al. · Lecture notes in computer science · 76
1985 · Orna Grumberg, Nissim Francez, et al. · Information and Control · 76
1988 · R. Koymans, R.K. Shyamasundar, et al. · Information and Computation · 65
1988 · C. Huizing, R. Gerth, et al. · Lecture notes in computer science · 61
1998 · Willem-Paul de Roever · Lecture notes in computer science · 51
1992 · J.J.M. Hooman, S. Ramesh, et al. · Theoretical Computer Science · 51
1985 · R. Koymans, R. K. Shyamasundar, et al. · Lecture notes in computer science · 49
1976 · de W.P. Roever · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 47
2002 · Erika Ábrahám-Mumm, Frank S. de Boer, et al. · Lecture notes in computer science · 44
1985 · Ron Koymans, Willem P. Roever · Lecture notes in computer science · 40
1984 · Rob Gerth, Willem P De Roever · Science of Computer Programming · 36
1976 · W. P. Roever · Lecture notes in computer science · 33
1998 · David Gries, Willem P. de Roever · University of Groningen research database (University of Groningen / Centre for Information Technology) · 32
Works count: 194
Citation count: 3,481
H-index: 28
I10-index: 55
Year
Topic
Type