| Publication | Date of Publication | Type |
|---|
| Unified decomposition-aggregation (UDA) rules: dynamic, schematic, novel axioms | 2023-06-02 | Paper |
| Using a generalisation critic to find bisimulations for coinductive proofs | 2019-10-01 | Paper |
| Automating Event-B invariant proofs by rippling and proof patching | 2019-03-13 | Paper |
| Extensions to a generalization critic for inductive proof | 2019-01-15 | Paper |
| The interaction of representation and reasoning | 2017-09-29 | Paper |
| Automating change of representation for proofs in discrete mathematics (extended version) | 2017-07-25 | Paper |
| Automating Change of Representation for Proofs in Discrete Mathematics | 2015-11-20 | Paper |
| Book review of: Robert Kowalski, Computational logic and human thinking: how to be artificially intelligent | 2014-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852039 | 2013-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848040 | 2013-09-25 | Paper |
| Conjecture synthesis for inductive theories | 2012-07-31 | Paper |
| Automated theorem provers: a practical tool for the working mathematician? | 2012-01-10 | Paper |
| Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery | 2010-11-22 | Paper |
| Case-Analysis for Rippling and Inductive Proof | 2010-09-14 | Paper |
| A Single-Significant-Digit Calculus for Semi-Automated Guesstimation | 2010-09-14 | Paper |
| On process equivalence = equation solving in CCS | 2009-09-01 | Paper |
| Automating Signature Evolution in Logical Theories | 2009-01-27 | Paper |
| What is a proof? | 2009-01-20 | Paper |
| Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’ | 2009-01-20 | Paper |
| Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic | 2007-11-28 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Attacking group protocols by refuting incorrect inductive conjectures | 2007-01-30 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Diagrammatic Representation and Inference | 2005-12-27 | Paper |
| Diagrammatic Representation and Inference | 2005-12-27 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| Rippling: Meta-Level Guidance for Mathematical Reasoning | 2005-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737277 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708424 | 2003-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484340 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707764 | 2003-06-11 | Paper |
| On the notion of interestingness in automated mathematical discovery | 2003-04-03 | Paper |
| Planning proofs of equations in CCS | 2003-02-17 | Paper |
| Proofs-as-programs as a framework for the design of an analogy-based ML editor | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751365 | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4548193 | 2002-08-21 | Paper |
| A general setting for flexibly combining and augmenting decision procedures | 2002-08-20 | Paper |
| Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts | 2002-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753884 | 2001-12-09 | Paper |
| On automating diagrammatic proofs of arithmetic arguments | 2000-07-31 | Paper |
| Automatic verification of functions with accumulating parameters | 2000-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941841 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938413 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938430 | 2000-02-23 | Paper |
| Constructing probabilistic ATMSs using extended incidence calculus | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264708 | 1999-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263161 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838801 | 1999-06-07 | Paper |
| Recursive program optimization through inductive synthesis proof transformation | 1999-05-02 | Paper |
| Automating the synthesis of decision procedures in a constructive metatheory | 1998-11-25 | Paper |
| Calculating criticalities | 1998-07-23 | Paper |
| Abstract proof checking: An example motivated by an incompleteness theorem | 1998-06-29 | Paper |
| Productive use of failure in inductive proof | 1996-06-11 | Paper |
| Middle-out reasoning for synthesis and induction | 1996-06-11 | Paper |
| Assignment methods for incidence calculus | 1995-08-27 | Paper |
| Rippling: A heuristic for guiding inductive proofs | 1994-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282519 | 1993-01-01 | Paper |
| Experiments with proof plans for induction | 1991-01-01 | Paper |
| Solving symbolic equations with PRESS | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490990 | 1989-01-01 | Paper |
| Explanation-based generalisation \(=\) partial evaluation | 1988-01-01 | Paper |
| Commentary on: solving symbolic equations with PRESS | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804239 | 1988-01-01 | Paper |
| Correctness criteria of some algorithms for uncertain reasoning using incidence calculus | 1986-01-01 | Paper |
| An analytical comparison of some rule-learning programs | 1985-01-01 | Paper |
| Incidence calculus: A mechanism for probabilistic reasoning | 1985-01-01 | Paper |
| A generalized interval package and its use for semantic checking | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3327746 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325029 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880307 | 1980-01-01 | Paper |
| Will it reach the top? Prediction in the mechanics world | 1978-01-01 | Paper |
| A note on omitting the replacement schema | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631094 | 1972-01-01 | Paper |
