The following pages link to Dieter Hutter (Q1367076):
Displaying 26 items.
- Coloring terms to control equational reasoning (Q1367077) (← links)
- Managing structural information by higher-order colored unification (Q1582389) (← links)
- Annotated reasoning (Q1601866) (← links)
- VSE: Formal methods meet industrial needs (Q1856152) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Security of multi-agent systems: a case study on comparison shopping (Q2372189) (← links)
- (Q2722016) (← links)
- (Q2764131) (← links)
- A Pragmatic Approach to Reuse in Tactical Theorem Proving (Q2841242) (← links)
- Proof Transformations for Evolutionary Formal Software Development (Q2996126) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- On the Automated Correction of Protocols with Improper Message Encoding (Q3184716) (← links)
- Structure Formation in Large Theories (Q3453112) (← links)
- (Q3750141) (← links)
- (Q4428290) (← links)
- INKA: The next generation (Q4647524) (← links)
- Formal software development in the Verification Support Environment (VSE) (Q4783352) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)
- Synthesis of induction orderings for existence proofs (Q5210760) (← links)
- A colored version of the λ-calculus (Q5234713) (← links)
- Rippling: Meta-Level Guidance for Mathematical Reasoning (Q5462949) (← links)
- Financial Cryptography and Data Security (Q5712262) (← links)
- Mechanizing Mathematical Reasoning (Q5717437) (← links)
- Mechanizing Mathematical Reasoning (Q5717453) (← links)
- SHIP - A Logic-Based Language and Tool to Program Smart Environments (Q5743601) (← links)
- Possibilistic Information Flow Control in the Presence of Encrypted Communication (Q5862310) (← links)
