World's Best Scientists 2026 revealed!
Egon Börger

Egon Börger

D-Index & Metrics

Computer Science

D-Index
46
Citations
11258
World Ranking
6738
National Ranking
163

Overview

Egon Börger is affiliated with the University of Pisa in Italy and has contributed to the field of computer science through various research publications and collaborations. Their work primarily spans computational theory, artificial intelligence, computer networks, information systems, and hardware architecture.

Their research covers topics such as distributed systems and fault tolerance, computability, logic, AI algorithms, formal methods in verification, logic and reasoning, knowledge representation, advanced software engineering methodologies, software engineering research, and logic programming and type systems.

Frequent publication venues for their work include:

  • TUGraz OPEN Library (Graz University of Technology)
  • JUCS - Journal of Universal Computer Science
  • Fundamenta Informaticae

Frequent co-authors collaborating with Egon Börger are:

  • Klaus-Dieter Schewe
  • Reinhard Gotzhein
  • Don Batory
  • Diego Sona
  • Ove Sörensen

Among their recent papers are:

  • "Modularizing Theorems for Software Product Lines: The Jbook Case Study" (2020), published in JUCS - Journal of Universal Computer Science
  • "Communication in Abstract State Machines" (2020), published in TUGraz OPEN Library (Graz University of Technology)
  • "The Light Control Case Study: A Synopsis" (2020), published in TUGraz OPEN Library (Graz University of Technology)
  • "A Neural Abstract Machine" (2020), published in TUGraz OPEN Library (Graz University of Technology)
  • "On Defining the Behavior of OR-joins in Business Process Models" (2020), published in TUGraz OPEN Library (Graz University of Technology)

Best Publications

  • The Abstract State Machines Method for High-Level System Design and Analysis

    Egon Börger

  • Abstract State Machines: A Method for High-Level System Design and Analysis

    E. Borger;Robert F. Stark

  • Java and the Java Virtual Machine: Definition, Verification, Validation

    Egon Börger;Robert F. Stärk;Joachim Schmid

  • Abstract State Machines

    Robert F. Stärk;Joachim Schmid;Egon Börger

  • High level system design and analysis using abstract state machines

    E. Börger

  • Java and the Java Virtual Machine

    Robert F. Stärk;Joachim Schmid;Egon Börger

  • Subject-Oriented Business Process Management

    Unknown

  • Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom

    Robert F. Stark;E. Borger;Joachim Schmid

  • Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

    Egon Börger

  • Formal methods for industrial applications : specifying and programming the steam boiler control

    Jean-Raymond Abrial;Egon Börger;Hans Langmaack

  • The ASM Refinement Method

    Egon Börger

  • An ASM Semantics for UML Activity Diagrams

    Egon Börger;Alessandra Cavarra;Elvinia Riccobene

  • A Programmer Friendly Modular Definition of the Semantics of Java

    Egon Börger;Wolfram Schulte

  • Modeling the Dynamics of UML State Machines

    Egon Börger;Alessandra Cavarra;Elvinia Riccobene

  • The Origins and the Development of the ASM Method for High Level System Design and Analysis

    Egon Börger

  • The WAM - Definition and Compiler Correctness.

    Egon Börger;Dean Rosenzweig

  • A mathematical definition of full Prolog

    Egon Börger;Dean Rosenzweig

  • Formal Methods for Industrial Applications

    Jean-Raymond Abrial;Egon Börger;Hans Langmaack

  • A high-level modular definition of the semantics of C#

    Egon Börger;Nicu G. Fruja;Vincenzo Gervasi;Robert F. Stärk

  • A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines

    Egon Börger;Uwe Glässer;Wolfgang Muller

  • Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).

    Jean-Raymond Abrial;Egon Börger;Hans Langmaack

Frequent Co-Authors

Yuri Gurevich
Yuri Gurevich University of Michigan–Ann Arbor
Erich Grädel
Erich Grädel RWTH Aachen University
Wolfram Schulte
Wolfram Schulte Microsoft (United States)
Bernhard Thalheim
Bernhard Thalheim Kiel University
Michael Butler
Michael Butler University of Southampton
Robert W. Stark
Robert W. Stark Technical University of Darmstadt
Margus Veanes
Margus Veanes Microsoft (United States)
Jonathan P. Bowen
Jonathan P. Bowen London South Bank University
Don Batory
Don Batory The University of Texas at Austin
Alistair Barros
Alistair Barros Queensland University of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring the world of Computer Science in the USA opens doors to a wide range of online academic and career opportunities. Many students consider advancing their credentials through graduate degrees. If affordability is a concern, look into cheap online masters programs which offer flexible, cost-effective options for continuing education.

Leadership roles in tech and academia often require advanced qualifications. Professionals looking to impact organizations at a high level can pursue a phd in organizational leadership or an cheapest online edd programs for education-focused leadership.

For those wanting to jumpstart their careers or transition quickly into tech fields, earning a credential through the shortest associate degree program can be an effective pathway. These programs allow students to gain essential skills and enter the workforce in less time.

Carefully considering these related degrees and pathways ensures students can match their goals, timelines, and budgets while building a strong foundation for a successful career in Computer Science.

Best Scientists Citing Egon Börger

Trending Scientists

Recently Published Articles