Michael Huth
发表
Nathaniel Charlton,
Michael Huth,
2008,
Electron. Notes Theor. Comput. Sci..
Michael Huth,
M. Huth,
2004,
Validation of Stochastic Systems.
Michael Huth,
Reinhold Heckmann,
1997,
CSL.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Michael Huth,
Matthew B. Dwyer,
Corina S. Pasareanu,
1999,
SPIN.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Michael Huth,
M. Ryan Flett,
2014
.
Michael Huth,
Jason Crampton,
2011,
Business Process Management Workshops.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2015,
Inf. Comput..
Mark Ryan,
Michael Huth,
2004
.
Christel Baier,
Michael Huth,
Marta Kwiatkowska,
1999
.
Michael Huth,
Harald Fecher,
M. Huth,
2008,
VMCAI.
Michael Huth,
Bernhard Steffen,
Oliver Rüthing,
2018,
Springer International Publishing.
Michael Huth,
2001
.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2011,
Haifa Verification Conference.
Michael Huth,
Patrick Ah-Fat,
2017,
POST.
Michael Huth,
Jason Crampton,
M. Huth,
2010,
ESORICS.
Michael Huth,
Orna Grumberg,
M. Huth,
2009,
International Journal on Software Tools for Technology Transfer.
Michael Huth,
Jason Crampton,
Jim Huan-Pu Kuo,
2012,
PAAR@IJCAR.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2010,
Mathematical Structures in Computer Science.
Michael Huth,
M. Huth,
2006,
MFCSIT.
Klaus Keimel,
Michael Huth,
Achim Jung,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Michael Huth,
Patrick Ah-Fat,
2016,
GandALF.
Michael Huth,
Edward Griffor,
Patrick Kamongi,
2019,
2019 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES).
Michael Huth,
Marta Kwiatkowska,
1996
.
Michael Huth,
M. Huth,
2001
.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2008,
Bull. EATCS.
Michael Huth,
1993,
Theory and Formal Methods.
Michael Huth,
Edward Griffor,
Marcello Balduccini,
2018,
2018 IEEE International Conference on Smart Computing (SMARTCOMP).
Michael Huth,
David De Roure,
Razvan Nicolescu,
2019,
ArXiv.
Michael Huth,
Orna Grumberg,
M. Huth,
2007,
Lecture Notes in Computer Science.
Michael Huth,
M. Huth,
2004,
SGCS.
Michael Huth,
Patrick Ah-Fat,
2019,
IEEE Transactions on Information Theory.
Michael Huth,
Jim Huan-Pu Kuo,
2013,
TRUST.
Michael Huth,
Patrick Ah-Fat,
M. Huth,
2018,
ArXiv.
Michael Huth,
Orna Grumberg,
2007,
TACAS.
Mark Ryan,
Michael Huth,
M. Huth,
2004
.
Michael Huth,
Adrian Fiech,
1994,
Theor. Comput. Sci..
Michael Huth,
Shekhar Pradhan,
M. Huth,
2001,
MFPS.
Neil Evans,
Michael Huth,
Paul Beaumont,
2015,
ESORICS.
Michael Huth,
2007
.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2014,
ArXiv.
Michael Huth,
Nir Piterman,
Daniel Wagner,
2010,
QEST.
Radha Jagadeesan,
Michael Huth,
David A. Schmidt,
2001,
ESOP.
Andrzej Wasowski,
Michael Huth,
Kim Guldstrand Larsen,
2008
.
Michael Huth,
Glenn Bruns,
M. Huth,
2011,
TSEC.
Michael Huth,
Jan Petsche,
Kwok Cheung,
2019,
SACMAT.
Michael Huth,
M. Huth,
1999,
Appl. Categorical Struct..
Michael Huth,
Stephen Jackson,
Laurence Kirk,
2018,
Royal Society Open Science.
Nathaniel Charlton,
Michael Huth,
2007
.
Ghassan O. Karame,
Michael Huth,
Ghassan Karame,
2020,
Royal Society Open Science.
Mark Ryan,
Michael Huth,
2004
.
Michael Huth,
2018,
Models, Mindsets, Meta.
Michael Huth,
M. Huth,
1999,
FSTTCS.
Michael Huth,
Sascha Düerkop,
M. Huth,
2016
.
Michael Huth,
Jason R. C. Nurse,
Razvan Nicolescu,
2019
.
Michael Huth,
M. Huth,
2002,
VMCAI.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2009,
EXPRESS.
Kim G. Larsen,
Andrzej Wasowski,
Michael Huth,
2008,
FoSSaCS.
Michael Huth,
1994,
Theory and Formal Methods.
Michael Huth,
Glenn Bruns,
M. Huth,
2008,
2008 21st IEEE Computer Security Foundations Symposium.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2011,
Haifa Verification Conference.
Michael Huth,
1991,
MFPS.
Michael Huth,
Claire Vishik,
Riccardo Masucci,
2018,
BIS.
Radha Jagadeesan,
Michael Huth,
David A. Schmidt,
2004,
Mathematical Structures in Computer Science.
Michael Huth,
Edward Griffor,
Marcello Balduccini,
2018,
IoT 2018.
Nathaniel Charlton,
Michael Huth,
Adam Antonik,
2009,
Electron. Notes Theor. Comput. Sci..
Michael Huth,
Mark Ryan,
M. Huth,
2000
.
Michael Huth,
1999
.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2015,
Semantics, Logics, and Calculi.
Michael Huth,
2013
.
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Michael Huth,
M. Huth,
2007,
International Journal on Software Tools for Technology Transfer.
Michael Huth,
2005,
Formal Aspects of Computing.
Michael Huth,
Peter Burnap,
Rafael Montalvo Mantilla,
2018,
Comput. Ind..
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,
Paul Beaumont,
2017,
ArXiv.
Michael Huth,
Mark Kattenbelt,
M. Huth,
2009,
FSTTCS.
Michael Huth,
Nir Piterman,
Huaxin Wang,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Michael Huth,
Jim Huan-Pu Kuo,
M. Huth,
2014
.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2013,
GandALF.
Michael Huth,
Glenn Bruns,
Daniel S. Dantas,
2007,
FMSE '07.
David M. Nicol,
Michael Huth,
2009,
QEST 2009.
Michael Huth,
Shekhar Pradhan,
2001
.
Michael Huth,
Jason Crampton,
2010,
NordSec.
Michael Huth,
1998,
Electron. Notes Theor. Comput. Sci..
Michael Huth,
M. Huth,
1993,
MFPS.
Michael Huth,
Stefanie Rinderle-Ma,
Jason Crampton,
2013,
Dagstuhl Reports.
Michael Huth,
Adam Antonik,
M. Huth,
2009,
Electron. Notes Theor. Comput. Sci..
Michael Huth,
Jason Crampton,
2010,
Insider Threats in Cyber Security.
Michael Huth,
M. Huth,
2005,
Theor. Comput. Sci..
Michael Huth,
Alexander Kaya,
Pintu Das,
2010,
Sensors.
Mark Ryan,
Michael Huth,
2004
.
Michael Huth,
Ruth Misener,
Andrea Callia D'Iddio,
2018,
Comput. Chem. Eng..
Michael Huth,
M. Huth,
2005,
QAPL.
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.
Michael Huth,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Mark Ryan,
Michael Huth,
2004
.
Michael Huth,
Claire Vishik,
R. Masucci,
2017
.
Michael Huth,
1995
.
Radha Jagadeesan,
Michael Huth,
Patrice Godefroid,
2001,
CONCUR.
Michael Huth,
Marta Z. Kwiatkowska,
M. Huth,
1998,
PROCOMET.
Michael Huth,
Jim Huan-Pu Kuo,
2014,
HCI.
Michael Huth,
Andrea Callia D'Iddio,
Leif-Nissen Lundbæk,
2017,
Models, Algorithms, Logics and Tools.
Michael Huth,
Philip W. L. Fong,
Glenn Bruns,
2012,
CODASPY '12.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2009,
FCT.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2010,
Perform. Evaluation.
Srdjan Capkun,
Michael Huth,
Ivan Flechais,
2013,
Lecture Notes in Computer Science.
Michael Huth,
M. Huth,
2002,
PAPM-PROBMIV.
Klaus Keimel,
Michael Huth,
Achim Jung,
2000,
Math. Struct. Comput. Sci..
Michael Huth,
Marta Kwiatkowska,
M. Huth,
2015
.
Michael Huth,
1997,
MFPS.
Michael Huth,
M. Angela Sasse,
Jim Huan-Pu Kuo,
2013,
HCI.
Michael Huth,
2011,
Encyclopedia of Cryptography and Security.
Michael Huth,
Nir Piterman,
Jim Huan-Pu Kuo,
2013,
FoSSaCS.
Michael Huth,
M. Huth,
2004,
Log. Methods Comput. Sci..
Michael Huth,
David De Roure,
Razvan Nicolescu,
2018,
J. Inf. Technol..
Michael Huth,
Andrea Callia D'Iddio,
Leif-Nissen Lundbaek,
2016,
ArXiv.
Michael Huth,
1995,
Inf. Comput..
Vladik Kreinovich,
Michael Huth,
Götz Alefeld,
2001,
Reliab. Comput..
Michael Huth,
Shah Jahan Miah,
M. Huth,
2011
.
Michael Huth,
Shekhar Pradhan,
M. Huth,
2004,
Workshop on Domains.
Michael Huth,
Leif-Nissen Lundbaek,
2017,
2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Michael Huth,
Patrice Godefroid,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Michael Huth,
Kumar Avijit,
Glenn Bruns,
2011,
SACMAT '11.
Michael Huth,
Altaf Hussain,
M. Huth,
2006,
MFPS.
Michael Huth,
Harald Fecher,
2007,
VMCAI.
Michael Huth,
Oliver Rüthing,
Bernhard Steffen,
2018
.
Michael Huth,
2009,
Encyclopedia of Biometrics.
Michael Huth,
David Nicol,
2011,
Perform. Evaluation.
Nathaniel Charlton,
Michael Huth,
2007,
CAV.
Michael Huth,
Andrea Callia D'Iddio,
2017,
ArXiv.
Michael Huth,
Harald Fecher,
Heiko Schmidt,
2009,
AVoCS.
Michael Huth,
Harald Fecher,
M. Huth,
2006,
ATVA.
Radha Jagadeesan,
Michael Huth,
David A. Schmidt,
2001
.
Michael Huth,
David De Roure,
Razvan Nicolescu,
2021,
CCF Transactions on Pervasive Computing and Interaction.
Michael Huth,
Razvan Nicolescu,
Petar Radanliev,
2021,
International Journal of Intelligent Robotics and Applications.
Michael Huth,
Amit Chaulwar,
M. Huth,
2021,
ArXiv.
Neeraj Suri,
Philippe A. Palanque,
Miguel Correia,
2008
.
Michael Huth,
Mark Ryan,
2004
.
Michael Huth,
Jason Crampton,
2011
.
Michael Huth,
Razvan Nicolescu,
Petar Radanliev,
2019
.
Michael Huth,
Razvan Nicolescu,
Petar Radanliev,
2019
.
Joseph Lindley,
Paul Coulton,
Michael Huth,
2018
.
Michael Huth,
Mark Ryan,
2004
.
Michael Huth,
1995
.
Michael Huth,
Jason R. C. Nurse,
Razvan Nicolescu,
2019
.
Michael Huth,
Jason Crampton,
2013
.
Michael Huth,
Jason Crampton,
2009
.
Michael Huth,
Harald Fecher,
M. Huth,
2006
.
Michael Huth,
1995
.
Michael Huth,
Reinhold Heckmann,
1998
.
Michael Huth,
2004,
LICS 2004.
Michael Huth,
Marta Kwiatkowska,
1996
.