The Karlsruhe Induction Theorem Proving System. - Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther (CADE, 1986)

Using Resolution and Paramodulation for Induction Proofs. - Dieter Hutter (GWAI, 1986)

Guiding Induction Proofs. - Dieter Hutter (CADE, 1990)

Mustergesteuerte Strategien für das Beweisen von Gleichungen. - Dieter Hutter (1991)

Adapting a Resolution Calculus for Inductive Proofs. - Dieter Hutter (ECAI, 1992)

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. - Markus Ullmann; H. Hauff; D. Loevenich; P. Kejwal; R. Förster; P. Baur; Wolfgang Reif; Werner Stephan 001; Andreas Wolpers; Jürgen Cleve; Dieter Hutter; Claus Sengler; et al. (VIS, 1993)

Synthesis of Induction Orderings for Existence Proofs. - Dieter Hutter (CADE, 1994)

A Methodology for Equational Reasoning. - Jürgen Cleve; Dieter Hutter (HICSS (3), 1994)

INKA: The Next Generation. - Dieter Hutter; Claus Sengler (CADE, 1996)

Deduction in the Verification Support Environment (VSE). - Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg H. Siekmann; Werner Stephan 001; Andreas Wolpers (FME, 1996)

Using Rippling for Equational Reasoning. - Dieter Hutter (KI, 1996)

A Colored Version of the Lambda-Calculus. - Dieter Hutter; Michael Kohlhase (CADE, 1997)

Coloring Terms to Control Equational Reasoning. - Dieter Hutter (J. Autom. Reason., 1997)

VSE: Controlling the Complexity in Formal Software Developments. - Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan 001; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FM-Trends, 1998)

Deductive Verification of Invariants of State-Transition Systems. - Dieter Hutter (KI, 1998)

System Description: inka 5.0 - A Logic Voyager. - Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer (CADE, 1999)

The Design of the CADE-16 Inductive Theorem Prover Contest. - Dieter Hutter; Alan Bundy (CADE, 1999)

Towards an Evolutionary Formal Software-Development Using CASL. - Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer (WADT, 1999)

Formal Software Development in the Verification Support Environment (VSE). - Dieter Hutter; Georg Rock; Jörg H. Siekmann; Werner Stephan 001; Roland Vogt (FLAIRS, 2000)

Management of Change in Structured Verification. - Dieter Hutter (ASE, 2000)

Annotated reasoning. - Dieter Hutter (Ann. Math. Artif. Intell., 2000)

Managing Structural Information by Higher-Order Colored Unification. - Dieter Hutter; Michael Kohlhase (J. Autom. Reason., 2000)

Formal software development in the Verification Support Environment (VSE). - Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg H. Siekmann; Werner Stephan 001; Roland Vogt (J. Exp. Theor. Artif. Intell., 2000)

VSE: formal methods meet industrial needs. - Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan 001; Roland Vogt; Andreas Wolpers (Int. J. Softw. Tools Technol. Transf., 2000)

Extending Development Graphs with Hiding. - Till Mossakowski; Serge Autexier; Dieter Hutter (FASE, 2001)

Towards an Evolutionary Formal Software Development. - Dieter Hutter; Axel Schairer (ASE, 2001)

Preface. - Klaus Fischer 001; Dieter Hutter (SEMAS, 2001)

Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. - Klaus Fischer 001; Dieter Hutter; Matthias Klusch; Werner Stephan 001 (SEMAS, 2001)

A Pragmatic Approach to Reuse in Tactical Theorem Proving. - Axel Schairer; Serge Autexier; Dieter Hutter (STRATEGIES@IJCAR, 2001)

The Development Graph Manager MAYA. - Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer (AMAST, 2002)

Proof Transformations for Evolutionary Formal Software Development. - Axel Schairer; Dieter Hutter (AMAST, 2002)

Maintenance of Formal Software Developments by Stratified Verification. - Serge Autexier; Dieter Hutter (LPAR, 2002)

MultiMedia Instruction in Safe and Secure Systems. - Bernd Krieg-Brückner; Dieter Hutter; Arne Lindow; Christoph Lüth; Achim Mahnke; Erica Melis; Philipp Meier; Arnd Poetzsch-Heffter; Markus Roggenbach; George Russell; Jan-Georg Smaus; Martin Wirsing (WADT, 2002)

Security and Privacy in Pervasive Computing State of the Art and Future Directions. - Dieter Hutter; Werner Stephan 001; Markus Ullmann (SPC, 2003)

Deduction as an Engineering Science. - Dieter Hutter (FTP, 2003)

Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. - Dieter Hutter; Heiko Mantel; Axel Schairer (Prax. Inf.verarb. Kommun., 2003)

Attribute Reduction for Effective Intrusion Detection. - Fernando Godínez; Dieter Hutter; Raúl Monroy (AWIC, 2004)

Possibilistic Information Flow Control in the Presence of Encrypted Communication. - Dieter Hutter; Axel Schairer (ESORICS, 2004)

From Legal Principles to an Internet Voting System. - Melanie Volkamer; Dieter Hutter (Electronic Voting in Europe, 2004)

Service Discrimination and Audit File Reduction for Effective Intrusion Detection. - Fernando Godínez; Dieter Hutter; Raúl Monroy (WISA, 2004)

Rippling - meta-level guidance for mathematical reasoning. - Alan Bundy; David A. Basin; Dieter Hutter; Andrew Ireland (Cambridge University Press, 2005)

Formal Software Development in MAYA. - Dieter Hutter; Serge Autexier (Mechanizing Mathematical Reasoning, 2005)

A Portrait of a Scientist: Logic, AI and Politics. - Dieter Hutter; Werner Stephan 001 (Mechanizing Mathematical Reasoning, 2005)

Audit File Reduction Using N-Gram Models. - Fernando Godínez; Dieter Hutter; Raúl Monroy (Financial Cryptography, 2005)

On the Role of Information Compaction to Intrusion Detection. - Fernando Godínez; Dieter Hutter; Raúl Monroy (ISSADS, 2005)

Software certificate management (SoftCeMent'05). - Ewen Denney; Bernd Fischer 002; Dieter Hutter; Mark Jones (ASE, 2005)

Information Flow Analysis Based Security Checking of Health Service Composition Plans. - Dieter Hutter; Matthias Klusch; Melanie Volkamer (ECEH, 2006)

On the Use of Word Networks to Mimicry Attack Detection. - Fernando Godínez; Dieter Hutter; Raúl Monroy (ETRICS, 2006)

Possibilistic Information Flow Control in MAKS and Action Refinement. - Dieter Hutter (ETRICS, 2006)

Information Flow Control to Secure Dynamic Web Service Composition. - Dieter Hutter; Melanie Volkamer (SPC, 2006)

A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. - Juan Carlos López Pimentel; Raúl Monroy; Dieter Hutter (V&D@FLoC, 2006)

Development graphs - Proof management for structured specifications. - Till Mossakowski; Serge Autexier; Dieter Hutter (J. Log. Algebraic Methods Program., 2006)

On the Automated Correction of Security Protocols Susceptible to a Replay Attack. - Juan Carlos López Pimentel; Raúl Monroy; Dieter Hutter (ESORICS, 2007)

Security of multi-agent systems: A case study on comparison shopping. - Dieter Hutter; Heiko Mantel; Ina Schaefer; Axel Schairer (J. Appl. Log., 2007)

On the Automated Correction of Protocols with Improper Message Encoding. - Dieter Hutter; Raúl Monroy (ARSPA-WITS, 2009)

Semantic Management of Heterogeneous Documents. - Dieter Hutter (MICAI, 2009)

Information Flow in Disaster Management Systems. - Achim D. Brucker; Dieter Hutter (ARES, 2010)

Change Management for Heterogeneous Development Graphs. - Serge Autexier; Dieter Hutter; Till Mossakowski (Verification, Induction, Termination Analysis, 2010)

SmartTies - Management of Safety-Critical Developments. - Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder (ISoLA (1), 2012)

Structure Formation to Modularize Ontologies. - Serge Autexier; Dieter Hutter (WoMO, 2012)

AI meets Formal Software Development (Dagstuhl Seminar 12271). - Alan Bundy; Dieter Hutter; Cliff B. Jones; J Strother Moore (Dagstuhl Reports, 2012)

SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo). - Serge Autexier; Dieter Hutter; Christian Mandel; Christoph Stahl (AmI, 2013)

An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. - Serge Autexier; Dieter Hutter; Christoph Stahl (AmI, 2013)

Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. - Serge Autexier; Dieter Hutter (Description Logics, 2013)

Selective LDAP Multi-Master Replication. - Thomas Bauereiss; Stefan Gohmann; Dieter Hutter; Alexander Kläser (Open Identity Summit, 2013)

Strand-Based Approach to Patch Security Protocols. - Dieter Hutter; Raúl Monroy (CoRR, 2013)

Security (Hyper-)properties in Workflow Systems: From Specification to Verification. - Thomas Bauereiss; Dieter Hutter (ESSoS Doctoral Symposium, 2014)

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS. - Thomas Bauereiss; Dieter Hutter (SEC, 2014)

Possibilistic Information Flow Control for Workflow Management Systems. - Thomas Bauereiß; Dieter Hutter (GraMSec, 2014)

Information flow control for workflow management systems. - Thomas Bauereiß; Dieter Hutter (it Inf. Technol., 2014)

SHIP - A Logic-Based Language and Tool to Program Smart Environments. - Serge Autexier; Dieter Hutter (LOPSTR, 2015)

Structure Formation in Large Theories. - Serge Autexier; Dieter Hutter (CICM, 2015)

Preface. - Berthold Hoffmann; Dieter Hutter; Hui Shi 001 (Int. J. Softw. Informatics, 2015)

Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit. - Helmar Hutschenreuter; Dieter Hutter (GI-Jahrestagung, 2016)

Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting. - Tim Schwartz; Michael Feld; Christian Bürckert; Svilen Dimitrov; Joachim Folz; Dieter Hutter; Peter Hevesi; Bernd Kiefer; Hans-Ulrich Krieger; Christoph Lüth; Dennis Mronga; Gerald Pirkl; et al. (Intelligent Environments, 2016)

A Model Checker for the Verification of Browser Based Protocols. - Victor Ferman 001; Dieter Hutter; Raúl Monroy (Computación y Sistemas, 2017)

Integrated Analysis of Safety and Security Hazards in Automotive Systems. - Rhea C. Rinaldo; Dieter Hutter (CyberICPS/SECPRE/ADIoT@ESORICS, 2020)

Towards a Secure and Reliable IT-Ecosystem in Seaports. - Tobias Brandt; Dieter Hutter; Christian Maeder; Rainer Müller (CoRR, 2021)

How Deduction Systems Can Help You To Verify Stability Properties. - Mario Gleirscher; Rehab Massoud; Dieter Hutter; Christoph Lüth (CDC, 2024)