H. Mantel
发表
T. Kraußer,
H. Mantel,
Henning Sudbrock,
2007
.
Heiko Mantel,
H. Mantel,
2001,
FME.
H. Mantel,
S. Autexier,
W. Stephan,
1998,
KI.
H. Mantel,
T. Darmstadt,
S. Ereth,
2015
.
H. Mantel,
Y. Dantas,
T. Hamann,
2017
.
Dieter Hutter,
Axel Schairer,
Roland Vogt,
2000,
International Journal on Software Tools for Technology Transfer.
Ralf Küsters,
H. Mantel,
Bernhard Beckert,
2015
.
H. Mantel,
Henning Sudbrock,
Richard Gay,
2018
.
Mira Mezini,
Ben Hermann,
Heiko Mantel,
2017
.
H. Mantel,
J. Otten,
S. Schmitt,
1996
.
Heiko Mantel,
Boris Köpf,
Boris Köpf,
2005,
Formal Aspects in Security and Trust.
C. Hochberger,
H. Mantel,
Florian Dewald,
2022,
ACM Trans. Reconfigurable Technol. Syst..
Qijun Gu,
Anne Canteaut,
Mehdi Tibouchi,
2011,
Encyclopedia of Cryptography and Security.
Heiko Mantel,
Markus Aderhold,
Jorge Cuéllar,
2010
.
Heiko Mantel,
H. Mantel,
2000
.
Heiko Mantel,
Artem Starostin,
Alexander Lux,
2010
.
Andrew C. Myers,
Heiko Mantel,
Andrei Sabelfeld,
2007,
Mobility, Ubiquity and Security.
Gilles Barthe,
Peter Müller,
Andrew C. Myers,
2007
.
Virgil D. Gligor,
Heiko Mantel,
V. Gligor,
2007
.
Serge Demeyer,
Reiner Hähnle,
Heiko Mantel,
2020,
ISoLA.
Heiko Mantel,
Mihai Herda,
Simon Greiner,
2017
.
Heiko Mantel,
Andrei Sabelfeld,
David A. Naumann,
2005,
Language-Based Security.
Heiko Mantel,
Alexander Lux,
Jens Sauer,
2014,
Arch. Formal Proofs.
Heiko Mantel,
Gernot Alber,
Thomas Walther,
2021,
ESORICS.
Christoph Kreitz,
Jens Otten,
Heiko Mantel,
1997,
CADE.
C. Kreitz,
H. Mantel,
1998
.
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008
.
Jens Otten,
Heiko Mantel,
H. Mantel,
1999
.
C. Kreitz,
H. Mantel,
1998
.
Heiko Mantel,
Alexander Lux,
Jens Sauer,
2014,
Arch. Formal Proofs.
Heiko Mantel,
Yuri Gil Dantas,
Tobias Hamann,
2017
.
Heiko Mantel,
Andrei Sabelfeld,
David A. Naumann,
2021
.
Heiko Mantel,
H. Mantel,
2011,
Encyclopedia of Cryptography and Security.
H. Mantel,
Matthias Perner,
Alexander Lux,
2012
.
Heiko Mantel,
Enno Sandner,
H. Mantel,
1997
.
Heiko Mantel,
Markus Aderhold,
Alexander Gebhardt,
2013
.
Heiko Mantel,
Serge Autexier,
H. Mantel,
2006
.
Stephan Merz,
Tobias Nipkow,
Heiko Mantel,
2008
.
Heiko Mantel,
Andrei Sabelfeld,
A. Sabelfeld,
2002
.
Heiko Mantel,
Matthias Perner,
Jens Sauer,
2014
.
Heiko Mantel,
Serge Autexier,
H. Mantel,
2001
.
Heiko Mantel,
Alexandra Weber,
H. Mantel,
2021
.
Hui Shao,
Sorin A. Huss,
Heiko Mantel,
2008
.
Heiko Mantel,
Barbara Sprick,
H. Mantel,
2010
.
H. Mantel,
W. Stephan,
1998
.
D. Basin,
H. Mantel,
S. Ereth,
2016,
Formal Methods in System Design.
Heiko Mantel,
H. Mantel,
2005,
FMSE '05.
Heiko Mantel,
Henning Sudbrock,
H. Mantel,
2007,
20th IEEE Computer Security Foundations Symposium (CSF'07).
Heiko Mantel,
Jinwei Hu,
Richard Gay,
2017,
NordSec.
Qijun Gu,
Anne Canteaut,
Mehdi Tibouchi,
2014,
Encyclopedia of Cryptography and Security.
Dieter Hutter,
Kurt Stenzel,
Wolfgang Reif,
1998,
FM-Trends.
Heiko Mantel,
Alexandra Weber,
Johannes Schickel,
2018,
ESORICS.
David Sands,
Heiko Mantel,
Henning Sudbrock,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Felix C. Freiling,
Heiko Mantel,
F. Freiling,
2000,
J. Exp. Theor. Artif. Intell..
Felix Wolf,
Mohammad Norouzi,
Christian Bischof,
2021,
ICPP.
Heiko Mantel,
H. Mantel,
2000,
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Heiko Mantel,
Mihai Herda,
David Schneider,
2018,
NordSec.
Steffen Lortz,
Heiko Mantel,
Artem Starostin,
2014,
SPSM@CCS.
Steffen Lortz,
Heiko Mantel,
Artem Starostin,
2014
.
Markus N. Rabe,
H. Seidl,
B. Finkbeiner,
2015
.
Heiko Mantel,
Marie-Christine Jakobs,
H. Mantel,
2020,
ISoLA.
Heiko Mantel,
Alexander Sauer,
Gernot Alber,
2018
.
Heiko Mantel,
Barbara Sprick,
Richard Gay,
2011,
Formal Aspects in Security and Trust.
Dieter Hutter,
Axel Schairer,
Ina Schaefer,
2007,
J. Appl. Log..
Heiko Mantel,
H. Mantel,
2001,
Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001.
H. Mantel,
Richard Gay,
B. Sprick,
2011
.
Heiko Mantel,
Henning Sudbrock,
H. Mantel,
2010,
ESORICS.
Heiko Mantel,
Alexandra Weber,
Florian Dewald,
2017,
ESORICS.
Heiko Mantel,
Andrei Sabelfeld,
A. Sabelfeld,
2001,
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Heiko Mantel,
Ximeng Li,
Markus Tasch,
2017,
APLAS.
Steffen Lortz,
Heiko Mantel,
Artem Starostin,
2015,
ICISS.
Heiko Mantel,
Matthias Perner,
Jens Sauer,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Heiko Mantel,
Henning Sudbrock,
H. Mantel,
2012,
LOPSTR.
Heiko Mantel,
Alexander Lux,
Matthias Perner,
2012,
MPC.
Heiko Mantel,
Alexander Lux,
H. Mantel,
2009,
ESORICS.
Heiko Mantel,
Alexander Lux,
H. Mantel,
2007,
ESOP.
Heiko Mantel,
Tina Kraußer,
Henning Sudbrock,
2006,
LOPSTR.
Heiko Mantel,
Andrei Sabelfeld,
A. Sabelfeld,
2003,
J. Comput. Secur..
Heiko Mantel,
Andrei Sabelfeld,
A. Sabelfeld,
2002,
SAS.
Heiko Mantel,
Andrei Sabelfeld,
A. Sabelfeld,
2002
.
Heiko Mantel,
H. Mantel,
2002,
Proceedings 2002 IEEE Symposium on Security and Privacy.
Axel Schairer,
Heiko Mantel,
Michael Kreutzer,
2001
.
Heiko Mantel,
H. Mantel,
2000,
ESORICS.
Sarah Ereth,
Heiko Mantel,
Matthias Perner,
2014
.
Axel Schairer,
Heiko Mantel,
H. Mantel,
2005,
Mechanizing Mathematical Reasoning.
Dieter Hutter,
Axel Schairer,
Heiko Mantel,
1999,
CADE.
Heiko Mantel,
Boris Köpf,
Alexandra Weber,
2017,
ESSoS.
Felix Wolf,
Heiko Mantel,
Alexandru Calotoiu,
2021,
Parallel Comput..
Felix Klaedtke,
David A. Basin,
Germano Caronni,
2016,
Formal Methods in System Design.
Heiko Mantel,
Boris Köpf,
Boris Köpf,
2005,
Formal Aspects in Security and Trust.
Heiko Mantel,
Jinwei Hu,
Richard Gay,
2014,
ICISS.