Publications

2013

• Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2012. LNCS 7844, pages 106-121. Springer, 2013.
  To appear.
  [ BibTeX entry | PDF | Addendum ]
• Patrick Metzler. Tool Support for Step-wise Analysis and Mitigation of Timing Channels in Java. TU Darmstadt, 2013.
  [ BibTeX entry ]
• Johannes Schickel. Towards Automatic Construction of Timing Attacks against Software. TU Darmstadt, 2013.
  [ BibTeX entry ]

2012

• Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata. In Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST). LNCS 7140, pages 148-163. Springer, 2012.
  [ BibTeX entry | PDF | Proofs ]
• Alexander Gebhardt. Monitoring C Programs by Finite State Machines (Master Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Sylvia Grewe. Toward a Framework for Soundness Proofs of Type Systems in Language-based Information-flow Security (Master Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Jinwei Hu, Khaled M. Khan, Yun Bai and Yan Zhang. Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. In Information Security Conference 2012, 2012.
  [ BibTeX entry ]
• Steffen Lortz. Robustness of Information Flow Security Under Refinement of Synchronization Primitives (Master Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Alexander Lux, Heiko Mantel and Matthias Perner. Scheduler-Independent Declassification. TU Darmstadt, Technical Report TUD-CS-2012-0061, 2012.
  [ BibTeX entry | PDF ]
• Alexander Lux, Heiko Mantel and Matthias Perner. Scheduler-Independent Declassification. In Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC). LNCS 7342, pages 25-47. Springer, 2012.
  [ BibTeX entry | PDF ]
• Christopher Mann and Artem Starostin. A Framework for Static Detection of Privacy Leaks in Android Applications. In 27th Symposium on Applied Computing (SAC): Computer Security Track, pages 1457-1462. ACM, 2012.
  [ BibTeX entry | PDF | ACM ]
• Heiko Mantel and Henning Sudbrock. Types vs. PDGs in Information Flow Analysis. In Pre-Proceedings of the 22nd International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2012, 2012.
  [ BibTeX entry ]
• Sogol Mazaheri. Race Conditions in Distributed Enforcement at the Example of Online Social Networks (Bachelor Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Jan Mundo. Analyse von C-Programmen bezüglich Secure Coding mittels LTL-Modelchecking (Bachelor Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Simon Reinhardt. Implementation and Evaluation of a Module for Type-based Information-Flow Analysis of Multi-threaded Programs on Android. TU Darmstadt, 2012.
  [ BibTeX entry ]
• Lucas Rothamel. Fromalisation of Android Inter-Application Communication. TU Darmstadt, 2012.
  [ BibTeX entry ]
• Jens Sauer. Informationsflusssicherheit in Systemen mit zwei Prozessoren (Master Thesis). TU Darmstadt, 2012.
  [ BibTeX entry | PDF ]
• Daniel Schoepe. Compositionality of Information Flow Security with Assumptions and Guarantees in Isabelle/HOL (Bachelor Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Daniel Specht. A Formal Model and Tool for Data Flow Security in Computer Networks (Bachelor Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Daniel Staesche. Security Preserving Refinement of CSP Specifications (Master Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Alexandra Weber. A Formal Model, a Noninterference Condition, and a Sound Type System for a Certifying Application Store (Bachelor Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]
• Florian Wendel. An Evaluation of Delegation Strategies for Coordinated Enforcement (Bachelor Thesis). TU Darmstadt, 2012.
  [ BibTeX entry ]

2011

• Johannes Buchmann, Erik Dahmen, Sarah Ereth, Andreas Hülsing and Markus Rückert. On the Security of the Winternitz One-Time Signature Scheme. In Africacrypt 2011. LNCS 6737, pages 363-378. Springer, 2011.
  [ BibTeX entry | URL ]
• Deepak D'Souza, Ravindra Holla, Raghavendra KR and Barbara Sprick. Model Checking Trace Based Information Flow Properties. In Journal of Computer Security (JCS), 19 (1), pages 101-138, 2011.
  [ BibTeX entry ]
• Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata. In Preproceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST), 2011.
  [ BibTeX entry | PDF | Proofs ]
• Alexander Lux and Artem Starostin. A Tool for Static Detection of Timing Channels in Java. In 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design, 2011.
  [ BibTeX entry | PDF ]
• Alexander Lux and Artem Starostin. A Tool for Static Detection of Timing Channels in Java. In Journal of Cryptographic Engineering, 1 (4), pages 303-313, 2011.
  [ BibTeX entry | PDF | Springer ]
• Christopher Mann. A Static Framework for Privacy Analysis of Android Applications (Bachelor Thesis). TU Darmstadt, 2011.
  [ BibTeX entry ]
• Heiko Mantel. Information Flow and Noninterference. In Encyclopedia of Cryptography and Security (2nd Ed.), 2011.
  [ BibTeX entry | Springer ]
• Heiko Mantel, David Sands and Henning Sudbrock. Assumptions and Guarantees for Compositional Noninterference. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF), pages 218-232. IEEE Computer Society, 2011.
  [ BibTeX entry | PDF | Proofs and Addendum ]
• Matthias Perner. Controlled Declassification under Semantics with Schedulers (Master Thesis). TU Darmstadt, 2011.
  [ BibTeX entry | PDF ]
• Tobias Plötz. Vertraulichkeit von Werten im "Modular Assembly Kit for Security" (Bachelor Thesis). TU Darmstadt, 2011.
  [ BibTeX entry ]

2010

• Markus Aderhold. Automated Termination Analysis for Programs with Second-Order Recursion. In 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-16). LNCS 6015, pages 221-235. Springer, 2010.
  [ BibTeX entry | PDF ]
• Markus Aderhold. Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion. In 5th International Joint Conference on Automated Reasoning (IJCAR-5). LNAI 6173, pages 263-277. Springer, 2010.
  [ BibTeX entry | PDF ]
• Markus Aderhold. Second-Order Programs with Preconditions. In Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. LNAI 6463 Springer, 2010.
  [ BibTeX entry | PDF ]
• Markus Aderhold, Jorge Cuéllar, Heiko Mantel and Henning Sudbrock. Exemplary Formalization of Secure Coding Guidelines. TU Darmstadt, Technical Report TUD-CS-2010-0060, 2010.
  [ BibTeX entry | PDF ]
• Oliver Bracevac. Verhaltensintegrität von Programmen unter nebenläufigen Dateisystemzugriffen (Bachelor Thesis). TU Darmstadt, 2010.
  [ BibTeX entry ]
• Richard Gay, Heiko Mantel and Barbara Sprick. Service Automata for Secure Distributed Systems. Poster at Annual Computer Security Applications Conference (ACSAC), 2010.
  [ BibTeX entry ]
• Sylvia Grüner. Formale Spezifikation von Sicherheitsanforderungen mit MAKS in Isabelle/HOL (Bachelor Thesis). TU Darmstadt, 2010.
  [ BibTeX entry ]
• Jens Korinth. Relating Process Semantics by Equivalence-Preserving Transformations (Bachelor Thesis). TU Darmstadt, 2010.
  [ BibTeX entry ]
• Alexander Lux, Heiko Mantel, Matthias Perner and Artem Starostin. Side Channel Finder (Version 1.0). TU Darmstadt, Technical Report TUD-CS-2010-0155, 2010.
  [ BibTeX entry | PDF ]
• Alexander Lux and Artem Starostin. Side Channel Finder (Version 1.0). Poster at Annual Computer Security Applications Conference (ACSAC), 2010.
  [ BibTeX entry ]
• Heiko Mantel. Sicherheitsgarantien zuverlässig nachweisen. In forschen (2), pages 66-70, 2010.
  [ BibTeX entry ]
• Heiko Mantel and Henning Sudbrock. Flexible Scheduler-independent Security. In Proceedings of the European Symposium on Research in Computer Security (ESORICS). LNCS 6345, pages 116-133. Springer, 2010.
  [ BibTeX entry | PDF | Proofs of Theorems ]
• Timo Schneider. Model Checking von Informationsflusseigenschaften (Master Thesis). TU Darmstadt, 2010.
  [ BibTeX entry ]
• Markus Aderhold, Serge Autexier and Heiko Mantel. Proceedings of the 6th International Verification Workshop (VERIFY-2010). In Workshop in connection with the Federated Logic Conference (FLoC-2010), 2010.
  [ BibTeX entry ]

2009

• Sven Amann. Spezifikation und Codegenerierung von Sicherheitsautomaten (Bachelor Thesis). TU Darmstadt, 2009.
  [ BibTeX entry ]
• Steffen Lortz. Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten (Bachelor Thesis). TU Darmstadt, 2009.
  [ BibTeX entry ]
• Alexander Lux and Heiko Mantel. Who Can Declassify? In Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008. LNCS, 5491, pages 35-49. Springer, 2009.
  [ BibTeX entry | PDF ]
• Alexander Lux and Heiko Mantel. Declassification with Explicit Reference Points. In 14th European Symposium on Research in Computer Security. LNCS, 5789, pages 69-85. Springer, 2009.
  [ BibTeX entry | PDF ]
• Heiko Mantel and Henning Sudbrock. Increasing the Precision of the Combining Calculus (Extended Abstract). In 5th International Workshop on Programming Language Interference and Dependence ( PLID'09 ), 2009.
  [ BibTeX entry ]
• Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Proceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2008. Springer, LNCS 5491, pages 67-81, 2009.
  [ BibTeX entry | PDF | Appendix ]

2008

• Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra Kagalavadi Ramesh and Barbara Sprick. On the Decidability of Model-Checking Information Flow Properties . In International Conference on Information Systems Security (ICISS) , 2008.
  [ BibTeX entry ]
• Richard Gay. Interrupt-Related Covert Channels from an Attacker's Perspective. RWTH Aachen, 2008.
  [ BibTeX entry | PDF ]
• Alexander Lux and Heiko Mantel. Who can declassify? In Preproceedings of the Workshop on Formal Aspects in Security and Trust (FAST), pages 35-49, 2008.
  [ BibTeX entry | PDF ]
• Heiko Mantel and Henning Sudbrock. Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. In Pre-Proceedings of the Workshop on Formal Aspects in Security and Trust (FAST), pages 67-81, 2008.
  [ BibTeX entry | PDF ]
• H. Gregor Molter, Hui Shao, Henning Sudbrock, Sorin. A. Huss and Heiko Mantel. Designing a Coprocessor for Interrupt Handling on an FPGA. TUD-CS-2008-1103 (TU Darmstadt), 2008.
  [ BibTeX entry | PDF ]
• Matthias Perner. Information Flow Analysis for CIL (Bachelor Thesis). TU Darmstadt, 2008.
  [ BibTeX entry | PDF ]
• Timo Schneider. Fallstudie: Sicherheitsautomat für einen orchestrierten Dienst in einer serviceorientierten Architektur (Bachelor Thesis). TU Darmstadt, 2008.
  [ BibTeX entry ]
• Serge Autexier, Heiko Mantel, Stephan Merz and Tobias Nipkow. Special Issue on Formal Modeling and Verification of Critical Systems. In Journal of Automated Reasoning, Vol. 41, Nos. 3-4, Springer, 2008.
  [ BibTeX entry ]

2007

• Dieter Hutter, Heiko Mantel, Ina Schaefer and Axel Schairer. Security of Multiagent Systems: A Case Study on Comparison Shopping. In Journal of Applied Logic, 2007.
  [ BibTeX entry ]
• Boris Köpf and Heiko Mantel. Transformational Typing and Unification for Automatically Correcting Insecure Programs. In International Journal of Information Security (IJIS), 2007.
  [ BibTeX entry ]
• Tina Kraußer, Heiko Mantel and Henning Sudbrock. A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption. RWTH Aachen, Technical Report 2007-09, 2007.
  [ BibTeX entry ]
• Heiko Mantel and Alexander Reinhard. Controlling the What and Where of Declassification in Language-Based Security. In European Symposium on Programming (ESOP). LNCS, 4421, pages 141-156. Springer, 2007.
  [ Abstract | BibTeX entry | PDF ]
• Heiko Mantel and Henning Sudbrock. Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, pages 326-340. IEEE Computer Society Press, 2007.
  [ Abstract | BibTeX entry | PDF ]
• Heiko Mantel, Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006. LNCS, 4407. Springer, 2007.
  [ Abstract | BibTeX entry | PDF ]
• Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers and Andrei Sabelfeld. Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security. In Dagstuhl, 2007.
  [ BibTeX entry ]
• Virgil D. Gligor and Heiko Mantel. Proceedings of the ACM Workshop on Formal Methods in Security Engineering : From Specifications to Code (FMSE). 2007.
  [ BibTeX entry ]

2006

• Heiko Mantel, Henning Sudbrock and Tina Kraußer. Combining Different Proof Techniques for Verifying Information Flow Security. In In Pre-Proceedings of 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, pages 85-101. Raporta di Ricerca CS-2006-5, Università Ca'\ Foscari Di Venezia, 2006.
  [ Abstract | BibTeX entry | PDF | zipped Postscript ]
• Boris Köpf and Heiko Mantel. Eliminating Implicit Information Leaks by Transformational Typing and Unification. In Revised Selected Papers, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005. LNCS, 3866, pages 47-62. Springer Verlag, 2006.
  [ BibTeX entry | URL ]
• Alexander Reinhard. Analyse nebenläufiger Programme unter intransitiven Sicherheitspolitiken. RWTH Aachen, 2006.
  [ BibTeX entry | PDF | Alexander Reinhard ]
• Serge Autexier and Heiko Mantel. Verify'06: Verification Workshop. In FLoC, 2006.
  workshop in connection with Federated Logic Conference, FLoC'06
  [ BibTeX entry | URL ]

2005

• Boris Köpf and Heiko Mantel. Eliminating Implicit Information Leaks by Transformational Typing and Unification. In Proceedings of Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, pages 45-60. University of Newcastle, 2005.
  Revised version appeared in 2006 in Springer LNCS
  [ BibTeX entry | URL | PDF | zipped Postscript ]
• Boris Köpf and Heiko Mantel. Eliminating Implicit Information Leaks by Transformational Typing and Unification. ETH Zürich, Technical Report 498, 2005.
  Revised version appeared 2006 in Springer LNCS
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel. The Framework of Selective Interleaving Functions and the Modular Assembly Kit. In FMSE'05: 3rd ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, pages 53-62. ACM, 2005.
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel and Axel Schairer. Exploiting Generic Aspects of Security Models in Formal Developments. In Mechanizing Mathematical Reasoning. LNCS 2605, Springer Verlag, 2005.
  [ BibTeX entry | URL ]
• Serge Autexier, Iliano Cervesato and Heiko Mantel. Selected papers from FCS/VERIFY 2002. Special issue of the Springer International Journal for Information Security, Vol. 4 (1-2), Springer Verlag, Vol. 4 (1-2), 2005.
  [ BibTeX entry | URL ]

2004

• Christoph Kreitz and Heiko Mantel. A Matrix Characterization for Multiplicative Exponential Linear Logic. In Automated Reasoning (JAR), Kluwer, 32, pages 121-166, 2004.
  [ BibTeX entry ]
• Heiko Mantel and David Sands. Controlled Declassification based on Intransitive Noninterference. In Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems, APLAS 2004. LNCS 3302, pages 129-145. Springer-Verlag, 2004.
  [ BibTeX entry | PDF | zipped Postscript ]

2003

• Heiko Mantel. A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PHD Thesis, Universität des Saarlandes, 2003.
  [ BibTeX entry ]
• Heiko Mantel and Andrei Sabelfeld. A Unifying Approach to the Security of Distributed and Multi-Threaded Programs. In Journal of Computer Security (JCS), 11 (4), pages 615-676, 2003.
  [ BibTeX entry ]
• Anindya Banerjee, Heiko Mantel, David Naumann and Andrei Sabelfeld. Final Report on Seminar 03411: Language-Based Security. In Dagstuhl, 2003.
  [ BibTeX entry ]

2002

• Heiko Mantel. On the Composition of Secure Systems. In Proceedings of the IEEE Symposium on Security and Privacy, pages 88-101. IEEE Computer Society, 2002.
  [ Abstract | BibTeX entry | PDF | zipped Postscript ]
• Andrei Sabelfeld and Heiko Mantel. Static Confidentiality Enforcement for Distributed Programs. In Proceedings of the 9th International Static Analysis Symposium, SAS'02. LNCS 2477, pages 376-394. Springer-Verlag, 2002.
  [ BibTeX entry | PDF | zipped Postscript ]
• Serge Autexier and Heiko Mantel. Proceedings of the Verification Workshop (VERIFY'02). DIKU, 2002.
  workshop in connection with Federated Logic Conference, FLoC'02
  [ BibTeX entry | URL ]

2001

• Heiko Mantel. Information Flow Control and Applications - Bridging a Gap. In FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe. LNCS 2021, pages 153-172. Springer, 2001.
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel. Preserving Information Flow Properties under Refinement. In Proceedings of the IEEE Symposium on Security and Privacy, pages 78-91. IEEE Computer Society, 2001.
  [ Abstract | BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel and Andrei Sabelfeld. A Generic Approach to the Security of Multi-threaded Programs. In Proceedings of the 14th IEEE Computer Security Foundations Workshop, pages 126-142. IEEE Computer Society, 2001.
  [ Abstract | BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel, Axel Schairer, Matthias Kabatnik, Michael Kreutzer and Alf Zugenmaier. Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks. Institut für Informatik, Universität Freiburg, Technical Report 159, 2001.
  [ BibTeX entry | PDF | zipped Postscript ]
• Serge Autexier and Heiko Mantel. Proceedings of the Verification Workshop (VERIFY'01). Universit\`a degli studi di Siena, 2001.
  workshop in connection with International Joint Conference on Automated Reasoning, IJCAR'01
  [ BibTeX entry ]

2000

• Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt and Andreas Wolpers. VSE: Formal Methods Meet Industrial Needs. In Special Issue on Mechanized Theorem Proving for Technology Transfer of the STTT-Springer International Journal on Software Tools for Technology Transfer, 3 (1), pages 66-77, 2000.
  [ BibTeX entry ]
• Christoph Kreitz and Heiko Mantel. A Matrix Characterization for Multiplicative Exponential Linear Logic. Cornell University, 2000.
  Revised version appeared in 2004 in Journal of Automated Reasoning
  [ BibTeX entry ]
• Heiko Mantel. Possibilistic Definitions of Security - An Assembly Kit. In Proceedings of the 13th IEEE Computer Security Foundations Workshop, pages 185-199. IEEE Computer Society, 2000.
  [ Abstract | BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel. Unwinding Possibilistic Security Properties. In European Symposium on Research in Computer Security (ESORICS). LNCS 1895, pages 238-254. Springer, 2000.
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel. A new framework for possibilistic security - A summary - ABSTRACT. IEEE Symposium on Security and Privacy, 2000.
  The full paper appeared in 2000 at CSFW
  [ BibTeX entry ]
• Heiko Mantel and Felix Gärtner. A Case Study in the Mechanical Verification of Fault Tolerance. In Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research Society Conference 2000, FLAIRS-2000, pages 341-345. AAAI Press, 2000.
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel and Felix Gärtner. A Case Study in the Mechanical Verification of Fault Tolerance. In Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12 (4), pages 473-488, 2000.
  [ BibTeX entry ]

1999

• Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer. System Description: INKA 5.0 - A Logic Voyager. In 16th International Conference on Automated Deduction, CADE-16. LNAI 1632, pages pp.~207-211. Springer, 1999.
  [ BibTeX entry | PDF | zipped Postscript ]
• Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer. Towards an evolutionary formal software-development using CASL - ABSTRACT. In 14th International Workshop on Algebraic Development Techniques, WADT'99. LNCS, 1827, pages 73-88. Springer, 1999.
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel and Felix Gärtner. A Case Study in the Mechanical Verification of Fault Tolerance. Department of Computer Science, Darmstadt University of Technology, Technical Report Technical Report TUD-BS-1999-08, 1999.
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel and Jens Otten. linTAP: A Tableau Prover for Linear Logic. In Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). LNAI 1617, pages 217-231. Springer, 1999.
  [ BibTeX entry | PDF | zipped Postscript ]

1998

• Serge Autexier and Heiko Mantel. Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus. University of Saarbrücken, Technical Report SEKI Report SR-98-05, 1998.
  [ BibTeX entry | PDF | zipped Postscript ]
• Serge Autexier, Heiko Mantel and Werner Stephan. Simultaneous Quantifier Elimination. In KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. LNAI 1504, pages 141-152. Springer, 1998.
  [ BibTeX entry | PDF | zipped Postscript ]
• Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. VSE: Controlling the Complexity in Formal Software Developments. In International Workshop on Applied Formal Methods - FM-Trends. LNCS 1641, pages pp.~351-358. Springer, 1998.
  [ BibTeX entry ]
• Heiko Mantel. Developing a Matrix Characterization for MELL. DFKI, Technical Report DFKI Report RR-98-03, 1998.
  [ BibTeX entry | URL ]
• Heiko Mantel and Christoph Kreitz. A Matrix Characterization for MELL. In Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. LNAI 1489, pages 169-183. Springer, 1998.
  [ BibTeX entry ]

1997

• Christoph Kreitz, Heiko Mantel, Jens Otten and Stephan Schmitt. Connection-Based Proof Construction in Linear Logic. In 14th International Conference on Automated Deduction, CADE-14. LNAI 1249, pages 207-221. Springer, 1997.
  [ BibTeX entry | PDF | zipped Postscript ]
• Heiko Mantel and Enno Sandner. A Framework for Connection Calculi. Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Computer Science Departement, Dresden University of Technology, 1997.
  [ BibTeX entry | PDF | zipped Postscript ]

1996

• Heiko Mantel. Eine Matrixcharakterisierung für ein Fragment der Linearen Logik. Darmstadt University of Technology, 1996.
  [ BibTeX entry ]