M. Huth

发表

Michael Huth, Andrea Callia D'Iddio, Leif-Nissen Lundbæk, 2017, Models, Algorithms, Logics and Tools.

Kim G. Larsen, Andrzej Wasowski, Michael Huth, 2008, Bull. EATCS.

Michael Huth, M. Huth, 2005, Theor. Comput. Sci..

Michael Huth, Adam Antonik, M. Huth, 2009, Electron. Notes Theor. Comput. Sci..

Radha Jagadeesan, Michael Huth, Patrice Godefroid, 2001, CONCUR.

M. Huth, N. Piterman, Daniel Wagner, 2009 .

Neeraj Suri, Philippe A. Palanque, Miguel Correia, 2008 .

Ghassan O. Karame, Michael Huth, Ghassan Karame, 2020, Royal Society Open Science.

Michael Huth, M. Huth, 2004, Log. Methods Comput. Sci..

Mark Ryan, Michael Huth, M. Huth, 2004 .

M. Huth, Patrick Ah-Fat, 2016 .

Joseph Lindley, Paul Coulton, Michael Huth, 2018 .

K. Larsen, M. Huth, Ulrik Nyman, 2008, Bull. EATCS.

Radha Jagadeesan, Michael Huth, David A. Schmidt, 2001 .

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, 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, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Michael Huth, M. Huth, 2004, Validation of Stochastic Systems.

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.

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, 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.

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, Jason R. C. Nurse, Razvan Nicolescu, 2019 .

Michael Huth, Andrea Callia D'Iddio, Leif-Nissen Lundbaek, 2016, ArXiv.

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, Harald Fecher, Heiko Schmidt, 2009, AVoCS.

Michael Huth, Nir Piterman, Jim Huan-Pu Kuo, 2015, Semantics, Logics, and Calculi.

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, M. Huth, 2005, QAPL.

Michael Huth, M. Huth, 1993, MFPS.

Michael Huth, Glenn Bruns, M. Huth, 2008, 2008 21st IEEE Computer Security Foundations Symposium.