Dieter Hutter

Available identifiers

zbMath Open hutter.dieterWikidataQ57557003 ScholiaQ57557003MaRDI QIDQ1367076

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dieter Hutter