Felix Klaedtke
发表
Christian Dax,
Jochen Eisinger,
Felix Klaedtke,
2007,
ATVA.
Christian Dax,
Felix Klaedtke,
Martin Lange,
2009,
ICALP.
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2013,
IEEE Transactions on Software Engineering.
Felix Klaedtke,
David Basin,
Eugen Zalinescu,
2019,
ACM Trans. Comput. Log..
Felix Klaedtke,
F. Klaedtke,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Felix Klaedtke,
Oliver Friedmann,
Martin Lange,
2015,
ACM Trans. Comput. Log..
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2011,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Felix Klaedtke,
David A. Basin,
Matús Harvan,
2011,
RV.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2017,
RV-CuBES.
Jochen Eisinger,
Felix Klaedtke,
J. Eisinger,
2006,
Formal Methods Syst. Des..
Felix Klaedtke,
2001,
CSL.
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2014,
HotSDN.
Felix Klaedtke,
Eugen Zalinescu,
Tom Hvitved,
2012,
J. Log. Algebraic Methods Program..
Christian Dax,
Felix Klaedtke,
Stefan Leue,
2009,
ATVA.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
Inf. Process. Lett..
Felix Klaedtke,
2001,
Automata, Logics, and Infinite Games.
Felix Klaedtke,
Jani Suomalainen,
Juri Papay,
2016
.
Felix Klaedtke,
Bassem Nasser,
Jani Suomalainen,
2016
.
Felix Klaedtke,
2010,
Inf. Comput..
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2015,
Proceedings of the 2015 1st IEEE Conference on Network Softwarization (NetSoft).
Felix Klaedtke,
Stefan Ratschan,
Zhikun She,
2007,
VMCAI.
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2016,
IEEE Transactions on Information Forensics and Security.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
FSTTCS.
Felix Klaedtke,
Mats Näslund,
Jani Suomalainen,
2016
.
Felix Klaedtke,
Harald Ruess,
H. Ruess,
2003,
ICALP.
Felix Klaedtke,
Julian Gutierrez,
Martin Lange,
2012
.
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2013,
RV.
Felix Klaedtke,
David A. Basin,
Germano Caronni,
2016,
Formal Methods in System Design.
Felix Klaedtke,
Julian Gutierrez,
Martin Lange,
2014,
Theor. Comput. Sci..
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2014,
Inf. Process. Lett..
Christian Dax,
Felix Klaedtke,
Christian Dax,
2008,
LPAR.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2017,
CAV.
Felix Klaedtke,
Mats Näslund,
Jani Suomalainen,
2018,
IEEE Access.
Felix Klaedtke,
Birgit Pfitzmann,
David A. Basin,
2008,
FSTTCS.
Felix Klaedtke,
Germano Caronni,
Sarah Ereth,
2013
.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2011,
Acta Informatica.
Felix Klaedtke,
Felix Klaedtke,
2004,
Ausgezeichnete Informatikdissertationen.
Felix Klaedtke,
Oliver Friedmann,
Martin Lange,
2013,
ICALP.
Felix Klaedtke,
David A. Basin,
Germano Caronni,
2014,
RV.
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2014,
RV.
Felix Klaedtke,
David A. Basin,
Abdelwaheb Ayari,
2000,
CAV.
Christian Dax,
Felix Klaedtke,
Martin Lange,
2010,
Acta Informatica.
Ghassan O. Karame,
Felix Klaedtke,
Roberto Bifulco,
2016,
SIGCOMM.
Felix Klaedtke,
David A. Basin,
Vincent Jugé,
2012,
POST.
Felix Klaedtke,
Eljas Soisalon-Soininen,
Peter Widmayer,
2004
.
Felix Klaedtke,
David A. Basin,
Samuel Müller,
2010,
SACMAT '10.
Jochen Eisinger,
Felix Klaedtke,
2008,
Formal Methods Syst. Des..
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2012,
RV.
Felix Klaedtke,
Bassem Nasser,
Mats Näslund,
2016
.
Felix Klaedtke,
Mats Näslund,
Jani Suomalainen,
2016
.
Bernd Becker,
Christian Dax,
Jochen Eisinger,
2007,
CAV.
Felix Klaedtke,
2008,
STACS.
Srdjan Marinovic,
Felix Klaedtke,
David A. Basin,
2013,
Formal Methods Syst. Des..
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2011,
RV.
Bernd Becker,
Felix Klaedtke,
Erika Ábrahám,
2005,
VMCAI.
Felix Klaedtke,
Julian Gutierrez,
Martin Lange,
2012,
GandALF.
Felix Klaedtke,
David A. Basin,
Samuel Müller,
2010,
CAV.
Felix Klaedtke,
Mats Näslund,
Jani Suomalainen,
2016
.
Christian Dax,
Felix Klaedtke,
Christian Dax,
2011,
FoSSaCS.
Felix Klaedtke,
David A. Basin,
Eugen Zalinescu,
2015,
J. ACM.
Felix Klaedtke,
David A. Basin,
Vincent Jugé,
2012,
TSEC.
Felix Klaedtke,
Roberto Bifulco,
Ghassan Karame,
2015,
ICNP.
Ezio Bartocci,
Yi Zhang,
Felix Klaedtke,
2017,
International Journal on Software Tools for Technology Transfer.
Felix Klaedtke,
2008,
TOCL.
Raul Muñoz,
Ricard Vilalta,
Ramon Casellas,
2021,
2021 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit).
Felix Klaedtke,
David Basin,
Eugen Zălinescu,
2017
.
Felix Klaedtke,
Mats Näslund,
Jani Suomalainen,
2018
.
Felix Klaedtke,
David A. Basin,
Abdelwaheb Ayari,
2003,
Theor. Comput. Sci..