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 

iFM&ABZ201Festkolloquium2012

LaudatioABZ2016

wikipedia 

 

Humboldt Research Awardee  

Member of Academia Europaea

 

 

 

 

 

 

 

    ComputabilityComplexityLogicBook      DecisionProblemBook    

    JBook Java and the JVM — Definition, Verification, Validation  

      AsmBook Abstract State Machines  

     S-BpmBook    

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