| Publication | Date of Publication | Type |
|---|
Guiding induction proofs
| 2023-04-28 | Paper |
Possibilistic information flow control in the presence of encrypted communication
Computer Security – ESORICS 2004 | 2022-03-07 | Paper |
Synthesis of induction orderings for existence proofs
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
A colored version of the \(\lambda\)-calculus
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
INKA: The next generation
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
SHIP -- a logic-based language and tool to program smart environments
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
Structure formation in large theories
Lecture Notes in Computer Science | 2015-11-20 | Paper |
A pragmatic approach to reuse in tactical theorem proving
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Deduction as an engineering science
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Proof transformations for evolutionary formal software development
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Change management for heterogeneous development graphs
Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
On the Automated Correction of Protocols with Improper Message Encoding
Foundations and Applications of Security Analysis | 2009-10-22 | Paper |
Security of multi-agent systems: a case study on comparison shopping
Journal of Applied Logic | 2007-07-25 | Paper |
Development graphs -- proof management for structured specifications
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Financial Cryptography and Data Security
Lecture Notes in Computer Science | 2005-12-22 | Paper |
Rippling: Meta-Level Guidance for Mathematical Reasoning
| 2005-07-28 | Paper |
scientific article; zbMATH DE number 1980916 (Why is no real title available?)
| 2003-09-15 | Paper |
VSE: Formal methods meet industrial needs
International Journal on Software Tools for Technology Transfer. STTT | 2003-02-13 | Paper |
Formal software development in the Verification Support Environment (VSE)
Journal of Experimental & Theoretical Artificial Intelligence | 2002-12-04 | Paper |
Annotated reasoning
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
scientific article; zbMATH DE number 1693526 (Why is no real title available?)
| 2002-01-22 | Paper |
scientific article; zbMATH DE number 1617292 (Why is no real title available?)
| 2001-07-11 | Paper |
Managing structural information by higher-order colored unification
Journal of Automated Reasoning | 2000-10-03 | Paper |
Coloring terms to control equational reasoning
Journal of Automated Reasoning | 1997-09-17 | Paper |
scientific article; zbMATH DE number 3986670 (Why is no real title available?)
| 1986-01-01 | Paper |
