Prof. Dr. Egon Börger

Dipartimento di Informatica
Università di Pisa
Largo Bruno Pontecorvo 3

I-56127 Pisa, Italy
boerger [at] di [dot] unipi [dot] it



Portrait in Festschrift2006 





Humboldt Research Awardee  

Member of Academia Europaea








    ComputabilityComplexityLogicBook      DecisionProblemBook    

    JBook Java and the JVM — Definition, Verification, Validation  

      AsmBook Abstract State Machines  


Approaching ASMs: Historical Survey 1984-2001     Introductory Exposition  

        Some Journal Issues / Conference Proceedings on ASMs:

             TCS 336, 2005  Fund.Inform. 77/1-2, 2007  J.UCS 14/12, 2008

                  ABZ 2012   ABZ2008     LipariSchool2007      DagstuhlAsmB2006   


Reviews: DijkstraScholtenBook1989       BPMN WorkflowPatterns YAWL with an Answer