M. Huth
发表
Michael Huth,
Andrea Callia D'Iddio,
Leif-Nissen Lundbæk,
2017,
Models, Algorithms, Logics and Tools.
Mark Ryan,
Michael Huth,
M. Huth,
2000
.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2008,
Bull. EATCS.
Michael Huth,
M. Huth,
2005,
Theor. Comput. Sci..
M. Huth,
Shekhar Pradhan,
2002
.
Michael Huth,
Adam Antonik,
M. Huth,
2009,
Electron. Notes Theor. Comput. Sci..
M. Huth,
A. Antonik,
2006
.
Radha Jagadeesan,
Michael Huth,
Patrice Godefroid,
2001,
CONCUR.
Jim Huan-Pu Kuo,
M. Huth,
2014
.
M. Huth,
Sascha Düerkop,
2018,
Springer Series in Supply Chain Management.
M. Huth,
N. Piterman,
Daniel Wagner,
2009
.
M. Huth,
1999
.
Jim Huan-Pu Kuo,
M. Huth,
Jason Crampton,
2012
.
Neeraj Suri,
Philippe A. Palanque,
Miguel Correia,
2008
.
Leif-Nissen Lundbæk,
M. Huth,
Jan Petsche,
2018
.
M. Huth,
2007
.
Ghassan O. Karame,
Michael Huth,
Ghassan Karame,
2020,
Royal Society Open Science.
Michael Huth,
M. Huth,
2004,
Log. Methods Comput. Sci..
M. Huth,
Tarek S. Ghazi,
2007
.
M. Huth,
2022
.
Michael Huth,
Harald Fecher,
M. Huth,
2006
.
Mark Ryan,
Michael Huth,
M. Huth,
2004
.
M. Huth,
Patrick Ah-Fat,
2016
.
M. Huth,
2006
.
Joseph Lindley,
Paul Coulton,
Michael Huth,
2018
.
M. Huth,
Adrian Fiech,
1994
.
Leif-Nissen Lundbæk,
M. Huth,
B. Matejczyk,
2022,
ArXiv.
K. Larsen,
M. Huth,
Ulrik Nyman,
2008,
Bull. EATCS.
Radha Jagadeesan,
Michael Huth,
David A. Schmidt,
2001
.
M. Huth,
2007
.
M. Huth,
2007
.
M. Huth,
Claire Vishik,
M. Balduccini,
2021,
The Oxford Handbook of Cyber Security.
M. Huth,
Adam Antonik,
Nathaniel Charlton,
2006
.
Michael Huth,
Orna Grumberg,
M. Huth,
2007,
Lecture Notes in Computer Science.
Michael Huth,
Jason R. C. Nurse,
Razvan Nicolescu,
2019
.
Michael Huth,
Peter Burnap,
Rafael Montalvo Mantilla,
2018,
Comput. Ind..
Michael Huth,
David De Roure,
Razvan Nicolescu,
2018,
J. Inf. Technol..
Michael Huth,
Glenn Bruns,
M. Huth,
2011,
TSEC.
Michael Huth,
Jim Huan-Pu Kuo,
M. Huth,
2014
.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2010,
Perform. Evaluation.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2009,
FCT.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Michael Huth,
M. Huth,
2004,
Validation of Stochastic Systems.
Michael Huth,
M. Huth,
2002,
PAPM-PROBMIV.
Michael Huth,
M. Huth,
2001
.
Michael Huth,
M. Huth,
1999,
FSTTCS.
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1998,
PROCOMET.
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Radha Jagadeesan,
Michael Huth,
David A. Schmidt,
2004,
Mathematical Structures in Computer Science.
Michael Huth,
M. Huth,
2002,
VMCAI.
Radha Jagadeesan,
Michael Huth,
David A. Schmidt,
2001,
ESOP.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2010,
Mathematical Structures in Computer Science.
Michael Huth,
Mark Kattenbelt,
M. Huth,
2009,
FSTTCS.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2009,
EXPRESS.
Altaf Hussain,
Michael Huth,
M. Huth,
2008,
Theor. Comput. Sci..
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2008,
FoSSaCS.
Michael Huth,
Altaf Hussain,
M. Huth,
2006,
MFPS.
Michael Huth,
M. Huth,
2006,
MFCSIT.
M. Huth,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Michael Huth,
Shekhar Pradhan,
M. Huth,
2004,
Workshop on Domains.
Michael Huth,
Shekhar Pradhan,
M. Huth,
2001,
MFPS.
Michael Huth,
Bernhard Steffen,
Oliver Rüthing,
2018,
Springer International Publishing.
Michael Huth,
Ruth Misener,
Andrea Callia D'Iddio,
2018,
Comput. Chem. Eng..
Michael Huth,
Glenn Bruns,
Daniel S. Dantas,
2007,
FMSE '07.
Michael Huth,
David De Roure,
Razvan Nicolescu,
2021,
CCF Transactions on Pervasive Computing and Interaction.
Michael Huth,
Mark Ryan,
M. Huth,
2000
.
Zhili Sun,
Yue Cao,
Haitham Cruickshank,
2019,
IEEE Access.
Michael Huth,
M. Huth,
2007,
International Journal on Software Tools for Technology Transfer.
Michael Huth,
M. Huth,
1999,
30th Annual Frontiers in Education Conference. Building on A Century of Progress in Engineering Education. Conference Proceedings (IEEE Cat. No.00CH37135).
Michael Huth,
Matthew B. Dwyer,
Corina S. Pasareanu,
1999,
SPIN.
M. Huth,
1999
.
Michael Huth,
Marta Kwiatkowska,
M. Huth,
2015
.
Michael Huth,
Razvan Nicolescu,
Petar Radanliev,
2021,
International Journal of Intelligent Robotics and Applications.
Michael Huth,
Flemming Nielson,
F. Nielson,
2019,
Computing and Software Science.
Michael Huth,
Philip W. L. Fong,
Glenn Bruns,
2012,
CODASPY '12.
Michael Huth,
Harald Fecher,
M. Huth,
2008,
VMCAI.
Michael Huth,
Jason Crampton,
M. Huth,
2010,
ESORICS.
Michael Huth,
Stephen Jackson,
Laurence Kirk,
2018,
Royal Society Open Science.
W. Knottenbelt,
M. Huth,
Xihan Xiong,
2023,
2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).
Michael Huth,
Patrick Ah-Fat,
M. Huth,
2018,
ArXiv.
Michael Huth,
Shah Jahan Miah,
M. Huth,
2011
.
Michael Huth,
Amit Chaulwar,
M. Huth,
2021,
ArXiv.
Michael Huth,
Jason R. C. Nurse,
Razvan Nicolescu,
2019
.
David De Roure,
Jason R. C. Nurse,
Petar Radanliev,
2018,
IoT 2018.
Michael Huth,
Jan Petsche,
Kwok Cheung,
2019,
SACMAT.
Michael Huth,
Andrea Callia D'Iddio,
Leif-Nissen Lundbaek,
2016,
ArXiv.
Joshua Neil,
Tim Burrell,
Michael Huth,
2020,
RAID.
Christel Baier,
Mark Ryan,
Marta Z. Kwiatkowska,
1998,
PROBMIV.
Michael Huth,
Sascha Düerkop,
M. Huth,
2016
.
Michael Huth,
Patrick Ah-Fat,
M. Huth,
2020,
Proc. Priv. Enhancing Technol..
Michael Huth,
Jim Huan-Pu Kuo,
M. Huth,
2014,
TACAS.
Michael Huth,
Jason Crampton,
Jim Huan-Pu Kuo,
2013,
International Journal on Software Tools for Technology Transfer.
M. Huth,
M. Ryan,
2000
.
Michael Huth,
Harald Fecher,
Heiko Schmidt,
2009,
AVoCS.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2015,
Semantics, Logics, and Calculi.
M F Ryan,
M R A Huth,
R M Smullyan,
2004
.
Michael Huth,
M. Huth,
2004,
SGCS.
Michael Huth,
Kumar Avijit,
Glenn Bruns,
2011,
SACMAT '11.
Michael Huth,
M. Huth,
1999,
Appl. Categorical Struct..
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2014,
ArXiv.
M. Huth,
Daniel Wagner,
Yuyan Jiang,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Michael Huth,
Orna Grumberg,
M. Huth,
2009,
International Journal on Software Tools for Technology Transfer.
Michael Huth,
Harald Fecher,
M. Huth,
2006,
ATVA.
Adam Antonik,
Michael Huth,
M. Huth,
2006,
MFPS.
Michael Huth,
M. Huth,
2005,
QAPL.
Michael Huth,
M. Huth,
1993,
MFPS.
M. Huth,
2007
.
Michael Huth,
Claire Vishik,
R. Masucci,
2017
.
Michael Huth,
Glenn Bruns,
M. Huth,
2008,
2008 21st IEEE Computer Security Foundations Symposium.