| Publication | Date of Publication | Type |
|---|
Coroutining folds with hyperfunctions
| 2021-06-21 | Paper |
Mothers of pipelines
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Tool building requirements for an API to first-order solvers
| 2013-09-26 | Paper |
Quantifier instantiation techniques for finite model finding in SMT
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Ground interpolation for the theory of equality
Logical Methods in Computer Science | 2012-04-03 | Paper |
Canonization for disjoint unions of theories.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Ground Interpolation for Combined Theories
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Ground Interpolation for the Theory of Equality
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
Frontiers of Combining Systems | 2008-09-16 | Paper |
Combined Satisfiability Modulo Parametric Theories
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Strategies for combining decision procedures
Theoretical Computer Science | 2006-04-28 | Paper |
Canonization for disjoint unions of theories
Information and Computation | 2005-08-05 | Paper |
scientific article; zbMATH DE number 1956606 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1701358 (Why is no real title available?)
| 2002-02-05 | Paper |
Crossing matrices and Thurston's normal form for braids.
Topology and its Applications | 2002-01-01 | Paper |
An equivariant Whitehead algorithm and conjugacy for roots of Dehn twist automorphisms
Proceedings of the Edinburgh Mathematical Society. Series II | 2001-11-13 | Paper |
Normal Forms for Basis-Conjugating Automorphisms of a Free Group
International Journal of Algebra and Computation | 2000-05-10 | Paper |
Presenting \(GL_n (k\langle T\rangle)\)
Journal of Pure and Applied Algebra | 2000-02-06 | Paper |
The Non-Finite Presentability of the Automorphism Group of the Free Z -Group of Rank Two
Journal of the London Mathematical Society | 1999-03-18 | Paper |
The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1})\)]
Inventiones Mathematicae | 1998-02-09 | Paper |
Finite Presentability of Φn (G ), GLn (ZG) and their Elementary Subgroups and Steinberg Groups
Proceedings of the London Mathematical Society | 1997-07-14 | Paper |
Free quotients of 𝑆𝐿₂(𝑅[𝑥)]
Proceedings of the American Mathematical Society | 1997-05-13 | Paper |
Equivariant outer space and automorphisms of free-by-finite groups
Commentarii Mathematici Helvetici | 1995-02-05 | Paper |
Finitely Generated Virtually Free Groups have Finitely Presented Automorphism Group
Proceedings of the London Mathematical Society | 1992-09-27 | Paper |
scientific article; zbMATH DE number 4158946 (Why is no real title available?)
| 1990-01-01 | Paper |
On Graphs Representing Automorphisms of Free Groups
Proceedings of the American Mathematical Society | 1989-01-01 | Paper |
Actions of finite groups of graphs and related automorphisms of free groups
Journal of Algebra | 1989-01-01 | Paper |
A uniqueness decomposition theorem for actions of finite groups on free groups
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
Fixed subgroups of automorphisms of free by finite groups: an extension of Cooper's proof
Archiv der Mathematik | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3973182 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4029835 (Why is no real title available?)
| 1985-01-01 | Paper |
Systems of equations over locally \(p\)-indicable groups
Inventiones Mathematicae | 1985-01-01 | Paper |
scientific article; zbMATH DE number 4029836 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3948586 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3869592 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3830177 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3739816 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3760408 (Why is no real title available?)
| 1980-01-01 | Paper |
