| Transformations and Semantics for LOTOS R Langerak Universiteit Twente, 1992 | 153 | 1992 |
| Bundle event structures: a non-interleaving semantics for LOTOS R Langerak Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992 | 116 | 1992 |
| A stochastic causality-based process algebra E Brinksma, JP Katoen, R Langerak, D Latella The Computer Journal 38 (7), 552-565, 1995 | 104 | 1995 |
| A testing theory for LOTOS using deadlock detection R Langerak Proceedings of the IFIP WG6. 1 Ninth International Symposium on Protocol …, 1989 | 102 | 1989 |
| Formal approach to conformance testing E Brinksma Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989 | 98 | 1989 |
| View updates in relational databases with an independent scheme R Langerak ACM Transactions on Database Systems (TODS) 15 (1), 40-66, 1990 | 97 | 1990 |
| Decomposition of functionality: a correctness-preserving LOTOS transformation R Langerak Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990 | 80 | 1990 |
| Multi-core nested depth-first search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs Automated Technology for Verification and Analysis: 9th International …, 2011 | 71 | 2011 |
| On specifying real-time systems in a causality-based setting JP Katoen, R Langerak, D Latella, E Brinksma International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1996 | 58 | 1996 |
| Causal ambiguity and partial orders in event structures R Langerak, E Brinksma, JP Katoen International Conference on Concurrency Theory, 317-331, 1997 | 43 | 1997 |
| Modeling biological pathway dynamics with timed automata S Schivo, J Scholma, B Wanders, RAU Camacho, PE Van der Vet, ... IEEE journal of biomedical and health informatics 18 (3), 832-839, 2013 | 42 | 2013 |
| Modeling systems by probabilistic process algebra: An event structures approach JP Katoen, R Langerak, D Latella Formal description techniques, VI: proceedings of the IFIP TC6/WG6. 1 Sixth …, 1994 | 40 | 1994 |
| A complete finite prefix for process algebra R Langerak, E Brinksma Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 37 | 1999 |
| Stochastic simulation of event structures JP Katoen, E Brinksma, D Latella, R Langerak 4th International Workshop on Process Algebra and Performance Modelling …, 1996 | 33 | 1996 |
| Functionality decomposition by compositional correctness preserving transformation E Brinksma, R Langerak, P Broekroelofs Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 32 | 1993 |
| Modelling with ANIMO: between fuzzy logic and differential equations S Schivo, J Scholma, PE van der Vet, M Karperien, JN Post, J van de Pol, ... BMC systems biology 10, 1-15, 2016 | 29 | 2016 |
| Validation of Bosch'Mobile Communication Network Architecture with Spin TC Ruys, R Langerak 3rd SPIN Workshop 1997, 1997 | 26 | 1997 |
| Partial order models for quantitative extensions of LOTOS E Brinksma, JP Katoen, R Langerak, D Latella Computer Networks and ISDN Systems 30 (9-10), 925-950, 1998 | 25 | 1998 |
| Tools for stability of switching linear systems: Gain automata and delay compensation R Langerak, JW Polderman Proceedings of the 44th IEEE Conference on Decision and Control, 4867-4872, 2005 | 19 | 2005 |
| A consistent causality-based view on a timed process algebra including urgent interactions JP Katoen, R Langerak, E Brinksma, D Latella, T Bolognesi Formal methods in system design 12, 189-216, 1998 | 18 | 1998 |
