Publications by Heiko Mantel

These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


2022

  • Florian Dewald, Johanna Rohde, Christian Hochberger and Heiko Mantel. Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS. In ACM Transactions on Reconfigurable Technology and Systems, 2022.
    BibTeX entry | URL ]
  • Martin Edlund, Heiko Mantel, Alexandra Weber and Tim Weißmantel. Graphical User Interfaces for a Qualitative and a Quantitative Side-Channel Analysis Tool. TU Darmstadt, Technical Report, 2022.
    BibTeX entry | URL ]
  • Heiko Mantel. Information Flow and Noninterference. In Encyclopedia of Cryptography and Security (3rd Ed.), 2022. (to appear).
    BibTeX entry ]
  • Heiko Mantel. Information Flow Policies. In Encyclopedia of Cryptography and Security (3rd Ed.), 2022. (to appear).
    BibTeX entry ]

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

  • Heiko Mantel. Eine Matrixcharakterisierung für ein Fragment der Linearen Logik. Diploma Thesis, TU Darmstadt, 1996.
    BibTeX entry ]
140 hits found
BibTeX file of all entries
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang