| The linear time-branching time spectrum I. The semantics of concrete, sequential processes RJ Van Glabbeek Handbook of process algebra, 3-99, 2001 | 1514 | 2001 |
| Branching time and abstraction in bisimulation semantics RJ Van Glabbeek, WP Weijland Journal of the ACM (JACM) 43 (3), 555-600, 1996 | 1250 | 1996 |
| The linear time-branching time spectrum II: the semantics of sequential systems with silent moves. RJ van Glabbeek CONCUR'93, 66-81, 1993 | 732* | 1993 |
| Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995 | 726 | 1995 |
| Petri net models for algebraic theories of concurrency R Van Glabbeek, F Vaandrager International Conference on Parallel Architectures and Languages Europe, 224-242, 1987 | 426 | 1987 |
| Refinement of actions and equivalence notions for concurrent systems R van Glabbeek, U Goltz Acta Informatica 37 (4-5), 229-327, 2001 | 391* | 2001 |
| Equivalence notions for concurrent systems and refinement of actions R van Glabbeek, U Goltz Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland …, 1989 | 306 | 1989 |
| Comparative concurrency semantics and refinement of actions RJ van Glabbeek Centrum voor Wiskunde en Informatica, 1990 | 225* | 1990 |
| The linear time-branching time spectrum RJ Glabbeek CONCUR'90 Theories of Concurrency: Unification and Extension, 1990 | 204* | 1990 |
| On the expressiveness of higher dimensional automata RJ van Glabbeek Theoretical computer science 356 (3), 265-290, 2006 | 171 | 2006 |
| Configuration structures RJ Van Glabbeek, GD Plotkin Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 199-209, 1995 | 169 | 1995 |
| Configuration structures, event structures and Petri nets RJ van Glabbeek, GD Plotkin Theoretical Computer Science 410 (41), 4111-4159, 2009 | 142 | 2009 |
| Refinement of actions in causality based models R van Glabbeek, U Goltz Workshop/School/Symposium of the REX Project (Research and Education in …, 1989 | 141 | 1989 |
| Bounded Nondeterminism and The Approximation Induction Principle in Process Algebra RJ van Glabbeek STACS 87, 336-347, 1987 | 139 | 1987 |
| Characterising testing preorders for finite probabilistic processes Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on …, 2007 | 128 | 2007 |
| Branching bisimilarity with explicit divergence R van Glabbeek, B Luttik, N Trčka Fundamenta Informaticae 93 (4), 371-392, 2009 | 104 | 2009 |
| The refinement theorem for ST-bisimulation semantics RJ van Glabbeek Centre for Mathematics and Computer Science, 1990 | 100 | 1990 |
| A process algebra for wireless mesh networks A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan European Symposium on Programming, 295-315, 2012 | 97 | 2012 |
| Document controlled workflow systems and methods DG Stork, R van Glabbeek US Patent 7,120,699, 2006 | 97 | 2006 |
| Proof nets for unit-free multiplicative-additive linear logic D Hughes, R Van Glabbeek 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003 | 96 | 2003 |
Peter HöfnerAustralian National University (ANU)Verified email at hoefner-online.de
