Dieter Hutter

Available identifiers

zbMath Open hutter.dieterDBLP95/3918WikidataQ57557003 ScholiaQ57557003MaRDI QIDQ1367076

List of research outcomes

Publication	Date of Publication	Type
Guiding induction proofs	2023-04-28	Paper
Possibilistic Information Flow Control in the Presence of Encrypted Communication	2022-03-07	Paper
Synthesis of induction orderings for existence proofs	2020-01-21	Paper
A colored version of the λ-calculus	2019-10-01	Paper
INKA: The next generation	2019-01-15	Paper
SHIP - A Logic-Based Language and Tool to Program Smart Environments	2016-02-05	Paper
Structure Formation in Large Theories	2015-11-20	Paper
A pragmatic approach to reuse in tactical theorem proving	2013-07-24	Paper
Deduction as an Engineering Science	2013-04-19	Paper
Proof Transformations for Evolutionary Formal Software Development	2011-05-06	Paper
Change Management for Heterogeneous Development Graphs	2010-11-22	Paper
On the Automated Correction of Protocols with Improper Message Encoding	2009-10-22	Paper
Security of multi-agent systems: a case study on comparison shopping	2007-07-25	Paper
Development graphs -- proof management for structured specifications	2006-04-28	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Financial Cryptography and Data Security	2005-12-22	Paper
Rippling: Meta-Level Guidance for Mathematical Reasoning	2005-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4428290	2003-09-15	Paper
VSE: Formal methods meet industrial needs	2003-02-13	Paper
Formal software development in the Verification Support Environment (VSE)	2002-12-04	Paper
Annotated reasoning	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2764131	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2722016	2001-07-11	Paper
Managing structural information by higher-order colored unification	2000-10-03	Paper
Coloring terms to control equational reasoning	1997-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3750141	1986-01-01	Paper

Research outcomes over time

This page was built for person: Dieter Hutter