Skip to main content
Sign In |
  Help (new window)

Abstract State Machines Research Center

Go Search
Home
  

View All Site Content

There was an exception reading the RSS Feed.
Unable to connect to the remote server
  		 

 About ASM Center
  Mission
  Activities

 Members
Expand/Collapse Role : Managing Director ‎(2)
AsmGroup at SFU VancouverUse SHIFT+ENTER to open the menu (new window).
AsmGroup at U of PisaUse SHIFT+ENTER to open the menu (new window).
Expand/Collapse Role : Founding Member ‎(8)
AsmGroup at SFU in Vancouver (Canada)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at University College Agder in Grimstadt (Norway)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at University of Bergamo (Italy)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at University of Kiel (Germany)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at University of Milan (Italy)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at University of Oxford (UK)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at University of Paris12 (France)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at University of Pisa (Italy)Use SHIFT+ENTER to open the menu (new window).
Expand/Collapse Role : Affiliated Member ‎(25)
AsmGroup at Concordia U in Montreal (Canada)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at ETH Zuerich (Switzerland)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at Humboldt University Berlin (Germany)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at Kettering University (USA)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at LIRMM/CNRS Montpellier (France)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at Massey U (New Zealand)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at Michigan Technological University (USA)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at MIT (USA)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at MTA SZTAKI in Budapest (Hungary)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at U of Augsburg (Germany)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at U of Halle (Germany)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at U of Karlsruhe (Germany)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at U of Liverpool (UK)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at U of Minas Gerais (Brazil)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at U of Paderborn/C-LAB (Germany)Use SHIFT+ENTER to open the menu (new window).
AsmGroup at U of Queensland (Australia)Use SHIFT+ENTER to open the menu (new window).
DelCastillo, Giuseppe (Germany)Use SHIFT+ENTER to open the menu (new window).
Durdanovic, Igor (USA)Use SHIFT+ENTER to open the menu (new window).
Graf, Susanne (VERIMAG, France)Use SHIFT+ENTER to open the menu (new window).
Hanna, Ziyad (Intel Research and Oxford PRG)Use SHIFT+ENTER to open the menu (new window).
Melham, Tom (Oxford University Computing Lab)Use SHIFT+ENTER to open the menu (new window).
Nowack, Antje (Germany)Use SHIFT+ENTER to open the menu (new window).
Paeppinghaus, Peter (Germany)Use SHIFT+ENTER to open the menu (new window).
Schmid, Joachim (Germany)Use SHIFT+ENTER to open the menu (new window).
Staerk, Robert (UBS AG, IT Equities, Investment Bank Switzerland)Use SHIFT+ENTER to open the menu (new window).