| Publication | Date of Publication | Type |
|---|
| Ordered rewriting and confluence | 2023-04-28 | Paper |
| Linear interpretations by counting patterns | 2022-12-09 | Paper |
| Explanation in mathematical conversations: an empirical investigation | 2019-12-05 | Paper |
| Theorem proving with group presentations: Examples and questions | 2019-01-15 | Paper |
| Algebra and automated deduction | 2019-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608701 | 2018-03-22 | Paper |
| The early mathematical education of Ada Lovelace | 2017-11-02 | Paper |
| The Lovelace-De Morgan mathematical correspondence: a critical re-appraisal | 2017-09-08 | Paper |
| Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues | 2017-07-21 | Paper |
| Computational logic and the social | 2016-07-07 | Paper |
| Stumbling Around in the Dark: Lessons from Everyday Mathematics | 2015-12-02 | Paper |
| A general framework for sound and complete Floyd-Hoare logics | 2015-09-17 | Paper |
| A Hoare logic for linear systems | 2014-11-11 | Paper |
| Applications of real number theorem proving in PVS | 2014-11-10 | Paper |
| Mathematical Practice, Crowdsourcing, and Social Machines | 2013-08-09 | Paper |
| Hoare Logic in the Abstract | 2009-03-12 | Paper |
| Panelist position statement: logic and models in computer science | 2009-01-20 | Paper |
| Hidden verification for computational mathematics | 2007-10-19 | Paper |
| The automorphism group of a finite \(p\)-group is almost always a \(p\)-group. | 2007-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417982 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790649 | 2003-02-04 | Paper |
| The classification of polynomial orderings on monadic terms | 2001-08-26 | Paper |
| Invariants, patterns and weights for ordering terms | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263160 | 2000-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263839 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225065 | 1999-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4232479 | 1999-03-15 | Paper |
| The order types of termination orderings on monadic terms, strings and multisets | 1997-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4846998 | 1995-09-10 | Paper |
| Some experiments with a completion theorem prover | 1992-06-28 | Paper |
| Automating the Knuth Bendix ordering | 1990-01-01 | Paper |
| A note on division orderings on strings | 1990-01-01 | Paper |
| A geometrical approach to multiset orderings | 1989-01-01 | Paper |
| Boolean unification - the story so far | 1989-01-01 | Paper |
| Unification in Boolean rings | 1988-01-01 | Paper |
| Extension functions for multiset orderings | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3779786 | 1987-01-01 | Paper |
| Almost all 𝑝-groups have automorphism group a 𝑝-group | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786022 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218155 | 1985-01-01 | Paper |
| The Schur Multiplier of a Nilpotent Group | 1985-01-01 | Paper |
| The number of stem covers of an elementary Abelian p-group | 1983-01-01 | Paper |
| An independence result for group automorphisms | 1982-01-01 | Paper |
