| The abstract state machines method for high-level system design and analysis E Börger Formal Methods: State of the Art and New Directions, 79-116, 2010 | 1605 | 2010 |
| Evolving algebras 1993: Lipari guide Y Gurevich, E Börger Evolving Algebras 40, 1995 | 1327 | 1995 |
| The classical decision problem E Börger, E Grädel, Y Gurevich Springer Science & Business Media, 2001 | 1050 | 2001 |
| Java and the Java virtual machine: definition, verification, validation RF Stärk, J Schmid, E Börger Springer Science & Business Media, 2012 | 532 | 2012 |
| Subject-oriented business process management A Fleischmann, W Schmidt, C Stary, S Obermeier, E Börger Springer Nature, 2012 | 313 | 2012 |
| High level system design and analysis using abstract state machines E Börger International Workshop on Current Trends in Applied Formal Methods, 1-43, 1998 | 224 | 1998 |
| Formal methods for industrial applications: Specifying and programming the steam boiler control JR Abrial, E Börger, H Langmaack Springer Science & Business Media, 1996 | 212 | 1996 |
| Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL E Börger Software & Systems Modeling 11 (3), 305-318, 2012 | 204 | 2012 |
| The ASM refinement method E Börger Formal aspects of computing 15 (2), 237-257, 2003 | 203 | 2003 |
| An ASM semantics for UML activity diagrams E Börger, A Cavarra, E Riccobene International Conference on Algebraic Methodology and Software Technology …, 2000 | 173 | 2000 |
| A programmer friendly modular definition of the semantics of Java E Börger, W Schulte Formal Syntax and Semantics of Java, 353-404, 1999 | 165 | 1999 |
| Modeling the dynamics of UML state machines E Börger, A Cavarra, E Riccobene International Workshop on Abstract State Machines, 223-241, 2000 | 150 | 2000 |
| A mathematical definition of full Prolog E Börger, D Rosenzweig Science of Computer Programming 24 (3), 249-286, 1995 | 144 | 1995 |
| The bakery algorithm: Yet another specification and verification E Börger, Y Gurevich, D Rosenzweig Specification and Validation Methods, 231-243, 1995 | 128* | 1995 |
| A high-level modular definition of the semantics of C♯ E Börger, NG Fruja, V Gervasi, RF Stärk Theoretical computer science 336 (2-3), 235-284, 2005 | 127 | 2005 |
| A logical operational semantics of full Prolog E Börger International Workshop on Computer Science Logic, 36-64, 1989 | 125* | 1989 |
| A formal definition of an abstract VHDL’93 simulator by EA-Machines E Börger, U Glässer, W Muller Formal Semantics for VHDL, 107-139, 1995 | 113 | 1995 |
| The Origins and the Development of the ASM Method for High Level System Design and Analysis. E Börger J. Univers. Comput. Sci. 8 (1), 2-74, 2002 | 110 | 2002 |
| Why use evolving algebras for hardware and software engineering? E Börger International Conference on Current Trends in Theory and Practice of …, 1995 | 104 | 1995 |
| Correctness of compiling Occam to Transputer code E Börger, I Durdanović The Computer Journal 39 (1), 52-92, 1996 | 100 | 1996 |
