Concepedia

Egon Börger

EB

39

Publications

1.4K

Citations

21

H-Index

1988

Active since

Affiliations

University of Pisa(Current)

University of Oxford

University of Zagreb

Paderborn University

University of Catania

Egon Börger is an author at University of Pisa specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

1988–2020

39

Publications

39

The ASM Refinement Method

Egon Börger · Formal Aspects of Computing · 2003 · 150 citations · Full text

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

Egon Börger · Software & Systems Modeling · 2011 · 147 citations

, , +14

The WAM - Definition and Compiler Correctness.

Egon Börger, Dean Rosenzweig · 1995 · 100 citations

A mathematical definition of full Prolog

Egon Börger, Dean Rosenzweig · Science of Computer Programming · 1995 · 74 citations

, , +7

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

Egon Börger · 2020 · 71 citations · Full text

Rows per page

1–5 of 39