Egon Börger

Q: What Schools Are Affiliated With Egon Börger

Egon Börger is affiliated with the following schools: Université catholique de Louvain, Consorzio ICoN, University of Münster

Egon Börger's AcademicInfluence.com Rankings

Egon Börger

Computer Science

#2042

World Rank

#2121

Historical Rank

Database

#5145

World Rank

#5343

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Egon Börger Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Egon Börger is a German-born computer scientist based in Italy. Life and work Börger was born in Bad Laer, Westphalia, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris , Université Catholique de Louvain, Institut Supérieur de Philosophie de Louvain and University of Münster . Between 1972 and 1976, he was at the Università di Salerno in Italy, where he taught the first courses in the newborn Computer Science Degree. Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Since September 2010, he has been an elected member of the Academia Europaea.

(See a Problem?)

Egon Börger's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Abstract State Machines. A Method for High-Level System Design and Analysis (2003) (1019)
The Classical Decision Problem (1997) (888)
Java and the Java Virtual Machine: Definition, Verification, Validation (2001) (402)
Abstract State Machines (2003) (384)
Formal methods for industrial applications : specifying and programming the steam boiler control (1996) (238)
Specification and validation methods (1995) (190)
The ASM Refinement Method (2003) (168)
High Level System Design and Analysis Using Abstract State Machines (1998) (167)
The WAM - Definition and Compiler Correctness (1995) (161)
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL (2012) (154)
An ASM Semantics for UML Activity Diagrams (2000) (125)
A Programmer Friendly Modular Definition of the Semantics of Java (1999) (119)
Modeling the Dynamics of UML State Machines (2000) (114)
The Origins and the Development of the ASM Method for High Level System Design and Analysis (2002) (100)
Correctness of Compiling Occam to Transputer Code (1996) (98)
A high-level modular definition of the semantics of C# (2005) (96)
A Mathematical Definition of Full Prolog (1995) (89)
Formal Methods for Industrial Applications (1996) (89)
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control (1989) (77)
A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation (1990) (71)
Why Use Evolving Algebras for Hardware and Software Engineering? (1995) (68)
Abstract State Machines 2003 (2003) (66)
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (2008) (66)
The ASM Ground Model Method as a Foundation for Requirements Engineering (2003) (64)
The bakery algorithm: yet another specification and verification (1995) (64)
Composition and Submachine Concepts for Sequential ASMs (2000) (61)
Abstract State Machines 1988-1998: Commented ASM Bibliography (1998) (58)
A Method for Verifiable and Validatable Business Process Modeling (2008) (58)
Report on a Practical Application of ASMs in Software Design (2000) (55)
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation (1998) (55)
Trends in theoretical computer science (1988) (54)
Computation and Proof Theory (1984) (52)
Concurrent abstract state machines (2016) (52)
The semantics of behavioral VHDL '93 descriptions (1994) (52)
A Compositional Framework for Service Interaction Patterns and Interaction Flows (2005) (50)
A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output (1990) (49)
Modeling Companion for Software Practitioners (2018) (49)
Capturing Requirements by Abstract State Machines: The Light Control Case Study (2000) (48)
Logic and Machines: Decision Problems and Complexity (1984) (46)
Modularizing Theorems for Software Product Lines: The Jbook Case Study (2008) (44)
Occam: Specification and Compiler Correctness - Part I: The Primary Model (1994) (44)
A Practical Method for Rigorously Controllable Hardware Design (1997) (43)
The ASM Method for System Design and Analysis. A Tutorial Introduction (2005) (40)
Computation Theory and Logic (1987) (39)
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (2007) (37)
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach (2008) (36)
Modeling Workflow Patterns from First Principles (2007) (36)
Advances in Software Engineering (2008) (36)
On Defining the Behavior of OR-joins in Business Process Models (2009) (35)
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods (1995) (34)
Subject-Oriented Process Analysis (2012) (34)
Integrating ASMs into the Software Development Life Cycle (1997) (33)
An ASM Specification of C# Threads and the .NET Memory Model (2004) (33)
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code (1995) (31)
A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study) (1995) (31)
BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics (2011) (31)
Logic Programming: The Evolving Algebra Approach (1994) (30)
Computability, complexity, logic (1989) (29)
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation (1990) (27)
Annotated bibliography on evolving algebras (1995) (26)
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study (2000) (26)
Using Abstract State Machines at Microsoft: A Case Study (2000) (26)
WAM Algebras - A Mathematical Study of Implementation, Part 2 (1990) (25)
Abstract State Machines: a unifying view of models of computation and of system design frameworks (2005) (25)
Correctness Proof For the WAM with Types (1991) (24)
Decision Problems in Predicate Logic (1984) (24)
CLAM specification for provably correct compilation of CLP( R ) programs (1995) (24)
An Abstract Model for Process Mediation (2005) (24)
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model (1994) (24)
Ambient Abstract State Machines with applications (2012) (23)
Abstract state machines and high-level system design and analysis (2005) (22)
Modeling Business Processes (2018) (21)
Initialization problems for Java (2000) (20)
Modular design for the Java virtual machine architecture (2000) (20)
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study (2003) (19)
A Formal Operational Semantics for Languages of Type Prolog III (1990) (19)
ASM Design and Analysis Method (2003) (19)
On Formalizing UML State Machines Using ASMs (2003) (19)
On formalizing UML state machines using ASM (2004) (19)
A Framework to Specify Database Update Views for Prolog (1991) (18)
Unsolvable Decision Problems for Prolog Programs (1987) (18)
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes (2003) (17)
Modeling the meaning of transitions from and to concurrent states in UML state machines (2003) (16)
An Execution Semantics for Mediation Patterns (2005) (16)
A Formal Specification of the PVM Architecture (1994) (15)
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations (1994) (15)
Communication in Abstract State Machines (2017) (15)
A High-Level Specification for Mediators(Virtual Providers) (2005) (14)
Spektralproblem and completeness of logical decision problems (1983) (13)
Review: Edsger W. Dijkstra, Carel S. Scholten, Predicate Calculus and Program Semantics (1994) (12)
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (2012) (11)
Abstract State Processes (2003) (11)
The Mathematics of Set Predicates in Prolog (1993) (11)
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis (2006) (11)
Architecture Design and Validation Methods (2012) (11)
Abstract state machine nets: closing the gap between business process models and their implementation (2015) (10)
Requirements Engineering - The Light Control Case Study (2000) (10)
Specification and correctness proof of a WAM extension with abstract type constraints (1996) (9)
A high-level specification for Semantic Web Service Discovery Services (2006) (9)
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets (2016) (9)
Refinement of a typed WAM extension by polymorphic order-sorted types (1996) (9)
A high-level specification for virtual providers (2006) (9)
A formal specification of PARLOG (1993) (8)
A Neural Abstract Machine (2001) (8)
A Compact Encoding of Sequential ASMs in Event-B (2016) (8)
The abstract state machines method for modular design and analysis of programming languages (2017) (8)
A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof (1991) (7)
Abstract State Machines at the Cusp of the Millenium (2000) (7)
A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems (1979) (7)
Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985) (1989) (7)
Contribution to a Rigorous Analysis of Web Application Frameworks (2012) (7)
Logic + control revisited: an abstract interpreter for GO¨DEL programs (1995) (7)
Design Pattern Abstractions and Abstract State Machines (2005) (6)
Book reviewPredicate calculus and program semantics: E.W. Dijkstra and C.S. Scholten, (Springer, Berlin, 1989) (1994) (6)
The equivalence of Horn and network complexity for Boolean functions (1981) (6)
Computation and Specification Models . A Comparative Study (2002) (5)
Why Programming Must Be Supported by Modeling and How (2018) (5)
Quo Vadis Abstract State Machines? (2008) (5)
Discrete Systems Modeling (2003) (5)
A Precise Description of the S-BPM Modeling Method (2012) (5)
Modeling with Abstract State Machines: A support for accurate system design and analysis (2004) (5)
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings (2003) (5)
A Description of the Tableau Method Using Abstract State Machines (1997) (5)
Concurrent Abstract State Machines and +CAL Programs (2009) (5)
Coupling Design and Verification in Software Product Lines (2008) (5)
Modeling an Operating System Kernel (2009) (4)
Logical Operational Semantics of Parlog, Part I: And-Parallelism (1991) (4)
Logical Operational Semantics of Parlog. Part II: Or-Parallelism (1990) (4)
Specifying Transaction Control to Serialize Concurrent Program Executions (2014) (4)
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL (2011) (4)
Modeling for change via component-based decomposition and ASM refinement (2015) (4)
On the construction of simple first-order formulae without recursive models (1976) (4)
A Critical Analysis of Workflow Patterns (2007) (4)
Abstract State Machines. A Method for System Specification and Analysis (2006) (3)
Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008) (3)
Linking architectural and component system views by abstract state machines (2004) (3)
History and Survey of ASM Research (2003) (3)
Modeling web applications infrastructure with ASMs (2014) (3)
Asynchronous Multi-Agent ASMs (2003) (3)
Recursively unsolvable algorithmic problems and related questions reexamined (1975) (3)
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis (2004) (3)
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (1993) (3)
Concurrent Computing with Shared Replicated Memory (2019) (3)
Conservative reduction classes of Krom formulas (1982) (3)
Tool Support for ASMs (2003) (3)
Linking the Meaning of Programs to What the Compiler Can Verify (2005) (3)
Full Prolog in a Nutshell (1993) (3)
The Light Control Case Study: A Synopsis (2000) (3)
A Behavioural Theory of Recursive Algorithms (2020) (3)
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures (2008) (3)
The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic (1980) (3)
Prefix classes of krom formulae with identity (1980) (3)
Computer Science Logic CSL'93 (1994) (3)
Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings (1992) (2)
A Characterization of Distributed ASMs with Partial-Order Runs (2020) (2)
Serialisable multi-level transaction control: A specification and verification (2016) (2)
Computation Theory and Logic, In Memory of Dieter Rödding (1987) (2)
Design for Reuse via Structuring Techniques for ASMs (2001) (2)
Prolog Tree Algebras. A formal specification of Prolog (1991) (2)
Linking architectural and component level system views (2004) (2)
Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity (1983) (2)
An Abstract State Machine Model for the Generic Java Type System (2010) (2)
Ten Years of Gurevich's Abstract State Machines (1997) (2)
Towards Verification of Software Product Lines : The JBook Case Study Extended (2007) (1)
Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen (1984) (1)
Modeling Processes in a Subject-Oriented Way (2012) (1)
JUCS Special ASM Issue, Part II - Introduction (1997) (1)
Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 : Proceedings (1989) (1)
Proceedings of the abstract state machines 10th international conference on Advances in theory and practice (2003) (1)
Modeling Context Awareness (2018) (1)
The Integrated S-BPM Process Model (2012) (1)
Control State Diagrams (Meta Model) (2018) (1)
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers (1994) (1)
The ASM Method: a Cornerstone in Computer Science Education (2005) (1)
Concurrent abstract state machines (2015) (0)
Selected Papers from the Workshop on Computer Science Logic (1992) (0)
Proceedings of the third workshop on Computer science logic (1990) (0)
Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101) (2021) (0)
S-BPM Method by Comparison (2012) (0)
Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings (1991) (0)
Other Undecidable Cases (1997) (0)
Using Abstract State Machines for the Description and the Analysis of Formal Systems (2005) (0)
Correctness of the compiler (2001) (0)
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue (2001) (0)
FLAVERS : A finite state verification approach applicable to software systems (2008) (0)
The defensive virtual machine (2001) (0)
Other Decidable Cases (1997) (0)
The object-oriented extension \({\text{Jav}}{{\text{a}}_\mathcal{O}}\) of Javac (2001) (0)
Debugging System Design (CoreASM) (2018) (0)
Undecidable Standard Classes for Pure Predicate Logic (1997) (0)
The procedural extension Java C of Java I (2001) (0)
Modeling Distributed Systems (2018) (0)
Computer Science Logic (Dagstuhl Seminar 9229) (2021) (0)
The exception-handling extension JVMε of {\text{JV}}{{\text{M}}_\mathcal{O}} (2001) (0)
Logical Description of Computation Processes (1981) (0)
Practical Methods for Code Documentation and Inspection (Dagstuhl Seminar 9720) (2021) (0)
Introduction: The Role of Modeling (2018) (0)
The procedural extension JVM C of JVM I (2001) (0)
The imperative core Java I of Java (2001) (0)
Monadic Theories and Decidable Standard Classes with Infinity Axioms (1997) (0)
Synchronous Message Passing and Semaphores: An Equivalence Proof (2010) (0)
Tools for S-BPM (2012) (0)
The dynamic virtual machine (2001) (0)
Java is type safe (2001) (0)
Syntax and Semantics of ASMs (2018) (0)
Executing the JVM N (2001) (0)
Universal Design and Computation Model (2003) (0)
Subject-Orientation as a Method to Specify the Cooperation of Active Entities in the uCepCortex Project (2013) (0)
Correctness Proof for the WAM (1991) (0)
Organization-Specific Implementation of Subject-Oriented Processes (2012) (0)
Dagstuhl Seminar on Practical Methods for Code Documentation and Inspection (2008) (0)
IT-Implementation of Subject-Oriented Business Processes (2012) (0)
Requirements Capture, Documentation, and Validation Using Formal Methods in Uml to Verify Requirement Properties on Specifications .7 Lessons Learnt in Transferring Formal Requirements Validation Techniques to Design for Test – Ensuring That Specifications Guarantee Testability...................... (1999) (0)
Csl '89 3rd Workshop on Computer Science Logic, Kaiserslautern, Frg, October 2-6, 1989 : Proceedings (1990) (0)
J.UCS Special Issue on Abstract State Machines (2001) (0)
Subject-Oriented Validation of Processes and Process Models (2012) (0)
The exception-handling extension Javaε of \({\text{Jav}}{{\text{a}}_\mathcal{O}}\) (2001) (0)
Subject-Oriented Modeling by Construction and Restriction (2012) (0)
Evolving Algebras for Specification of Logic Programming Systems (1993) (0)
Complexity of Logical Decision Problems: An Introduction (1990) (0)
A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras (1990) (0)
Modeling Concurrent Systems (2018) (0)
The diligent virtual machine (2001) (0)
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (1988) (0)
Thinking of Business Processes Systematically (2012) (0)
Bytecode type assignments (2001) (0)
Subject-Oriented Optimization of Processes (2012) (0)
The Book Review Column 1 Part Ii: Decidable Classes and Their Complexity (2004) (0)
Rigorous Specification and Analysis Using Concurrent Communicating Abstract State Machines (2019) (0)
1 Modeling an Operating System Kernel (2009) (0)
Standard Classes with the Finite Model Property (1997) (0)
The JVM I submachine (2001) (0)
Requirements Capture, Documentation and Validation (Dagstuhl Seminar 99241) (2021) (0)
Subject-Oriented Monitoring of Processes (2012) (0)
Specification problem 7 Solutions 16 (2008) (0)
From Language Acquisition to Subject-Oriented Modeling (2012) (0)
The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set (1980) (0)
20 Years after A New Thesis : The Diversification of the ASM Method (2005) (0)
Undecidable Standard Classes with Functions or Equality (1997) (0)
Quo Vadis Abstract State Machines? J.UCS Special Issue (2008) (0)
The concurrent extension Java T of Java ε (2001) (0)
Seven Constructs for Modeling Single-Agent Behavior (2018) (0)
Requirements Capture , Documentation , and Validation June , 13-18 1999 (1999) (0)
Methods for Semantics and Specification (Dagstuhl Seminar 9523) (2021) (0)
Structured ASMs (Composition Techniques) (2003) (0)
Selected Papers from the 7th Workshop on Computer Science Logic (1993) (0)
Introduction: The Classical Decision Problem (1997) (0)

This paper list is powered by the following services:

Other Resources About Egon Börger

en.wikipedia.org

What Schools Are Affiliated With Egon Börger?

Egon Börger is affiliated with the following schools:

Egon Börger's Academic­Influence.com Rankings