| Publication | Date of Publication | Type |
|---|
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 |
Formal modelling for cooking assistance
Software, Services, and Systems | 2015-06-22 | Paper |
Recent developments in mega's proof search programming language
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
\textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
| Assertion-level proof representation with under-specification | 2013-09-09 | Paper |
| Towards proof planning for \(\mathcal{M}_{\omega}^+\) | 2013-08-19 | Paper |
A pragmatic approach to reuse in tactical theorem proving
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
A proof-planning framework with explicit abstractions based on indexed formulas
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Workflows for the management of change in science, technologies, engineering and mathematics
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Change management for heterogeneous development graphs
Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
A tactic language for declarative proofs
Interactive Theorem Proving | 2010-09-14 | Paper |
| Disproving false conjectures | 2010-02-24 | Paper |
Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega
Mathematics in Computer Science | 2009-09-18 | Paper |
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Computer supported mathematics with \(\Omega\)MEGA
Journal of Applied Logic | 2007-02-20 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | 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 |
| scientific article; zbMATH DE number 2086587 (Why is no real title available?) | 2004-08-11 | 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 |
| 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 |
| scientific article; zbMATH DE number 1301870 (Why is no real title available?) | 1999-06-16 | Paper |
