Jörg Kreiker
发表
Bengt Jonsson,
Marta Z. Kwiatkowska,
Jörg Kreiker,
2010,
Quantitative and Qualitative Analysis of Network Protocols.
Bengt Jonsson,
Jörg Kreiker,
Oskar Wibling,
2008
.
Arend Rensink,
Iovka Boneva,
Marcos E. Kurbán,
2009,
Bull. EATCS.
Ina Schaefer,
Bernd Westphal,
Jörg Kreiker,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Arend Rensink,
Eduardo Zambon,
Iovka Boneva,
2012
.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2008,
SAS.
Eran Yahav,
Reinhard Wilhelm,
Noam Rinetzky,
2013,
Programming Logics.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2007,
TGC.
Reinhard Wilhelm,
Jörg Kreiker,
2007,
SAS.
Bengt Jonsson,
Marta Z. Kwiatkowska,
Jörg Kreiker,
2010,
Quantitative and Qualitative Analysis of Network Protocols.
Jörg Kreiker,
2006
.
Arend Rensink,
Iovka Boneva,
Marcos E. Kurbán,
2008,
ICGT.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Thomas W. Reps,
Shmuel Sagiv,
Jörg Kreiker,
2006,
Program Analysis and Compilation.
Bernd Westphal,
Jörg Kreiker,
Tobe Toben,
2007,
ATVA.
Bernd Westphal,
Werner Damm,
Jörg Kreiker,
2007,
AGTIVE.
Helmut Seidl,
Vesal Vojdani,
Jörg Kreiker,
2010,
VMCAI.
Javier Esparza,
Jörg Kreiker,
2012,
Modern Applications of Automata Theory.
Reinhard Wilhelm,
Jörg Kreiker,
2006,
Simulation and Verification of Dynamic Systems.
Jörg Kreiker,
Florian Bruse,
Martin Lange,
2020,
GandALF.
Reinhard Wilhelm,
Moshe Y. Vardi,
Andrzej Tarlecki,
2011,
Dagstuhl Manifestos.
Reinhard Wilhelm,
Noam Rinetzky,
Thomas W. Reps,
2005,
POPL '05.
Reinhard Wilhelm,
Jörg Kreiker,
2006,
Software Verification: Infinite-State Model Checking and Static Program Analysis.