Centrum Wiskunde & Informatica — Netherlands
Computer Science · Physical Sciences
23h-index2.6kcitations85works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(48), Logic, Reasoning, and Knowledge(34), Formal Methods in Verification(28), semigroups and automata theory(17), Computability, Logic, AI Algorithms(11)
Publications85 total
Electronic Notes in Theoretical Computer Science·2001· 10 citedOpen Access
Electronic Notes in Theoretical Computer Science·2001· 3 citedOpen Access
Theoretical Computer Science·2000· 41 citedOpen Access
Fundamenta Informaticae·1999· 2 cited
Topology and its Applications·1998· 34 cited
Formal methods for coordination languages (SEN3.1)
1997
Annals of the New York Academy of Sciences·1996· 14 cited
Workshops in computing·1995
A Decade of Concurrency: Reflections and Perspectives : Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 : Proceedings
Medical Entomology and Zoology·1994· 1 cited
Lecture notes in computer science·1994· 39 cited
Lecture notes in computer science·1994· 6 citedOpen Access
Fundamenta Informaticae·1994· 12 citedOpen Access
New Generation Computing·1993· 3 cited
Semantics: Foundations and Applications: Rex Workshop, Beekbergen, the Netherlands, June 1-4, 1992: Proceedings
Springer eBooks·1993· 1 cited
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
1993· 13 cited
Lecture notes in computer science·1993· 4 cited
Logic Programs with External Procedures
1993
Implementation of Narrowing: The Prolog-Based Approach
1993
A Language for Contextual Logic Programming
1993· 1 cited
The Semantics of Equational Logic Programming as an Instance of CLP
1993
page 1 of 5Next →
Frequent Co-authors
Willem P. de Roever(10), J. I. Zucker(8), Grzegorz Rozenberg(6), J.-J.Ch. Meyer(6), Ernst-Rüdiger Olderog(5), Joost N. Kok(4), E.P. de Vink(4), Jan Willem Klop(3), G. Rozenberg(2), J.A. Bergstra(2), John-Jules Meyer(2), J-J.Ch. Meyer(2), J.H.A. Warmerdam(2), W. P. De Roever(1), K. Huizing(1), Lambert Meertens(1), Marcello Bonsangue(1), Farhad Arbab(1), J.J.M.M. Rutten(1), Adriano Scutellá(1)