| Control flow semantics JW De Bakker, E De Vink MIT press, 1996 | 238 | 1996 |
| Bisimulation for probabilistic transition systems: a coalgebraic approach EP de Vink, JJMM Rutten Theoretical Computer Science 221 (1-2), 271-293, 1999 | 237 | 1999 |
| An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 196 | 2013 |
| Probabilistic automata: system types, parallel composition and comparison A Sokolova, EP De Vink Validation of Stochastic Systems: A Guide to Current Research, 1-43, 2004 | 148 | 2004 |
| The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 126 | 2019 |
| A formalization of anonymity and onion routing S Mauw, JHS Verschuren, EP de Vink ESORICS 4, 109-124, 2004 | 104 | 2004 |
| A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Theoretical Computer Science 327 (1-2), 3-22, 2004 | 97 | 2004 |
| Reo+ mCRL2: A framework for model-checking dataflow in service compositions N Kokash, C Krause, E De Vink Formal Aspects of Computing 24 (2), 187-216, 2012 | 89 | 2012 |
| Verifying probabilistic programs using a Hoare like logic JI Den Hartog, EP de Vink International journal of foundations of computer science 13 (03), 315-340, 2002 | 84 | 2002 |
| Verification and improvement of the sliding window protocol D Chkliaev, J Hooman, E De Vink Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003 | 82 | 2003 |
| Injective synchronisation: an extension of the authentication hierarchy CJF Cremers, S Mauw, EP de Vink Theoretical Computer Science 367 (1-2), 139-161, 2006 | 72 | 2006 |
| Continuation semantics for Prolog with cut A de Bruin, EP de Vink TAPSOFT'89: Proceedings of the International Joint Conference on Theory and …, 1989 | 62 | 1989 |
| Formalising receipt-freeness HL Jonker, EP de Vink Information Security: 9th International Conference, ISC 2006, Samos Island …, 2006 | 56 | 2006 |
| Time and data-aware analysis of graphical service models in Reo N Kokash, C Krause, EP de Vink 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 54 | 2010 |
| A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003 | 53 | 2003 |
| Dreams: a framework for distributed synchronous coordination J Proença, D Clarke, E De Vink, F Arbab Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1510-1515, 2012 | 51 | 2012 |
| Denotational models for programming languages: applications of Banach's Fixed Point Theorem JW De Bakker, EP De Vink Topology and its Applications 85 (1-3), 35-52, 1998 | 48 | 1998 |
| Control Flow Semantics. Foundations of Computing Series JW de Bakker, EP de Vink The MIT Press, 1996 | 48 | 1996 |
| On BAN logics for industrial security protocols N Agray, W van der Hoek, E de Vink From Theory to Practice in Multi-Agent Systems: Second International …, 2002 | 45 | 2002 |
| Using mCRL2 for the analysis of software product lines MH Beek, EP de Vink Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014 | 40 | 2014 |
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
