Georg Struth - RankMe

165 papers A 3B 17C 19Journal 92Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On the inner structure of multirelations. J. Log. Algebraic Methods Program. Hitoshi Furusawa, Walter Guttmann, Georg Struth
2026	J	`jnl`	Presheaf automata. Ann. Pure Appl. Log. Georg Struth, Krzysztof Ziemianski
2025	J	`jnl`	Cubical coherent confluence, ω-groupoids and the cube equation. CoRR Philippe Malbos, Tanguy Massacrier, Georg Struth
2025	J	`jnl`	Generalised Möbius Categories and Convolution Kleene Algebras. CoRR James Cranch, Georg Struth, Jana Wagemaker
2025	J	`jnl`	Higher Catoids, Higher Quantales and their Correspondences. Appl. Categorical Struct. Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
2025	J	`jnl`	Modal algebra of multirelations. J. Log. Comput. Hitoshi Furusawa, Walter Guttmann, Georg Struth
2024	J	`jnl`	Cubical Categories. Arch. Formal Proofs Georg Struth, Tanguy Massacrier
2024	J	`jnl`	Determinism of multirelations. J. Log. Algebraic Methods Program. Hitoshi Furusawa, Walter Guttmann, Georg Struth
2024	J	`jnl`	Higher Globular Catoids and Quantales. Arch. Formal Proofs Cameron Calk, Georg Struth
2024	J	`jnl`	Interacting Monoidal Structures with Applications in Computing. CoRR James Cranch, Georg Struth
2024	J	`jnl`	IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. J. Autom. Reason. Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
2024	J	`jnl`	Kleene Theorem for Higher-Dimensional Automata. Log. Methods Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2024	J	`jnl`	Presheaf automata. CoRR Georg Struth, Krzysztof Ziemianski
2024	J	`jnl`	Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. CoRR Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
2024	J	`jnl`	Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. J. Autom. Reason. Philippe Malbos, Tanguy Massacrier, Georg Struth
2024	J	`jnl`	Single-set cubical categories and their formalisation with a proof assistant. CoRR Philippe Malbos, Tanguy Massacrier, Georg Struth
2023	J	`jnl`	Catoids, Categories, Groupoids. Arch. Formal Proofs Georg Struth
2023	J	`jnl`	Determinism of Multirelations. CoRR Hitoshi Furusawa, Walter Guttmann, Georg Struth
2023	J	`jnl`	Higher Catoids, Higher Quantales and their Correspondences. CoRR Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
2023	J	`jnl`	Inner Structure, Determinism and Modal Algebra of Multirelations. Arch. Formal Proofs Walter Guttmann, Georg Struth
2023	J	`jnl`	Modal Algebra of Multirelations. CoRR Hitoshi Furusawa, Walter Guttmann, Georg Struth
2023	J	`jnl`	Modal quantales, involutive quantales, Dedekind Quantales. Arch. Formal Proofs Georg Struth, Cameron Calk
2023	J	`jnl`	On the Inner Structure of Multirelations. CoRR Hitoshi Furusawa, Walter Guttmann, Georg Struth
2022	B	`conf`	A Kleene Theorem for Higher-Dimensional Automata. CONCUR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	A Kleene Theorem for Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2022	J	`jnl`	Posets with interfaces as a model for concurrency. Inf. Comput. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2022	J	`jnl`	Predicate Transformer Semantics for Hybrid Systems. J. Autom. Reason. Jonathan Julián Huerta y Munive, Georg Struth
2021	J	`jnl`	Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras. Log. Methods Comput. Sci. Brijesh Dongol, Ian J. Hayes, Georg Struth
2021	J	`jnl`	Convolution and concurrency. Math. Struct. Comput. Sci. James Cranch, Simon Doherty, Georg Struth
2021	C	`conf`	Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS Callum Bannister, Peter Höfner, Georg Struth
2021	B	`conf`	Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. FM Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
2021	J	`jnl`	Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. CoRR Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
2021	J	`jnl`	Languages of Higher-Dimensional Automata. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Languages of higher-dimensional automata. Math. Struct. Comput. Sci. Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	J	`jnl`	Posets with Interfaces for Concurrent Kleene Algebra. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	—	`ch.`	Trimming the Hedges: An Algebra to Tame Concurrency. Theories of Programming Georg Struth
2021	J	`jnl`	lr-Multisemigroups and Modal Convolution Algebras. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2021	C	`conf`	ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
2020	J	`jnl`	Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2020	J	`jnl`	Convolution and Concurrency. CoRR James Cranch, Simon Doherty, Georg Struth
2020	C	`conf`	Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. RAMiCS Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
2020	J	`jnl`	Domain Semirings United. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi
2020	C	`conf`	Generating Posets Beyond N. RAMiCS Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2020	J	`jnl`	Relational Semigroups and Object-Free Categories. CoRR James Cranch, Simon Doherty, Georg Struth
2019	—	`conf`	A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP Tony Hoare, Georg Struth, Jim Woodcock
2019	—	`conf`	Categorical Information Flow. The Art of Modelling Computational Systems Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth
2019	B	`conf`	Cylindric Kleene Lattices for Program Construction. MPC Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth
2019	J	`jnl`	Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. CoRR Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
2019	J	`jnl`	Generating Posets Beyond N. CoRR Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
2019	J	`jnl`	Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. CoRR Jonathan Julián Huerta y Munive, Georg Struth
2019	J	`jnl`	Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. Peter Höfner, Damien Pous, Georg Struth
2018	J	`jnl`	Hoare Semigroups. Math. Struct. Comput. Sci. Georg Struth
2018	J	`jnl`	Properties of Orderings and Lattices. Arch. Formal Proofs Georg Struth
2018	J	`jnl`	Quantales. Arch. Formal Proofs Georg Struth
2018	J	`jnl`	Schedulers and finishers: On generating and filtering the behaviours of an event structure. Theor. Comput. Sci. Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2018	J	`jnl`	Transformer Semantics. Arch. Formal Proofs Georg Struth
2018	C	`conf`	Verifying Hybrid Systems with Modal Kleene Algebra. RAMiCS Jonathan Julián Huerta y Munive, Georg Struth
2017	J	`jnl`	Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras. CoRR Michael R. Laurence, Georg Struth
2017	J	`jnl`	Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations. CoRR Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
2017	J	`jnl`	Kleisli, Parikh and Peleg compositions and liftings for multirelations. J. Log. Algebraic Methods Program. Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
2017	B	`conf`	On Decidability of Concurrent Kleene Algebra. CONCUR Paul Brunet, Damien Pous, Georg Struth
2017	J	`jnl`	Partial Semigroups and Convolution Algebras. Arch. Formal Proofs Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes, Georg Struth
2017	J	`jnl`	Relational Convolution, Generalised Modalities and Incidence Algebras. CoRR Brijesh Dongol, Ian J. Hayes, Georg Struth
2017	C	`ed.`	Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings RAMiCS Peter Höfner, Damien Pous, Georg Struth
2016	—	`conf`	A Discrete Geometric Model of Concurrent Program Execution. UTP Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
2016	J	`jnl`	Building program construction and verification tools from algebraic principles. Formal Aspects Comput. Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
2016	J	`jnl`	Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency. ACM Trans. Comput. Log. Brijesh Dongol, Ian J. Hayes, Georg Struth
2016	J	`jnl`	Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
2016	J	`jnl`	Kleene Algebras with Domain. Arch. Formal Proofs Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
2016	B	`conf`	Modal Kleene Algebra Applied to Program Correctness. FM Victor B. F. Gomes, Georg Struth
2016	J	`jnl`	On the expressive power of Kleene algebra with domain. Inf. Process. Lett. Georg Struth
2016	J	`jnl`	Probabilistic rely-guarantee calculus. Theor. Comput. Sci. Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2016	J	`jnl`	Program Construction and Verification Components Based on Kleene Algebra. Arch. Formal Proofs Victor B. F. Gomes, Georg Struth
2016	C	`conf`	Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ICTAC Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2016	J	`jnl`	Taming Multirelations. ACM Trans. Comput. Log. Hitoshi Furusawa, Georg Struth
2015	B	`conf`	A Program Construction and Verification Tool for Separation Logic. MPC Brijesh Dongol, Victor B. F. Gomes, Georg Struth
2015	J	`jnl`	Binary Multirelations. Arch. Formal Proofs Hitoshi Furusawa, Georg Struth
2015	J	`jnl`	Completeness results for omega-regular algebras. J. Log. Algebraic Methods Program. James Cranch, Michael R. Laurence, Georg Struth
2015	J	`jnl`	Concurrent Dynamic Algebra. ACM Trans. Comput. Log. Hitoshi Furusawa, Georg Struth
2015	J	`jnl`	On the Expressive Power of Kleene Algebra with Domain. CoRR Georg Struth
2015	J	`jnl`	On the Fine-Structure of Regular Algebra. J. Autom. Reason. Simon Foster, Georg Struth
2015	C	`conf`	Relational Formalisations of Compositions and Liftings of Multirelations. RAMiCS Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
2015	J	`jnl`	Residuated Lattices. Arch. Formal Proofs Victor B. F. Gomes, Georg Struth
2015	J	`jnl`	Taming Multirelations. CoRR Hitoshi Furusawa, Georg Struth
2014	B	`conf`	Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. FM Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
2014	C	`conf`	Algebras for Program Correctness in Isabelle/HOL. RAMiCS Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
2014	C	`conf`	Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. RAMiCS Michael R. Laurence, Georg Struth
2014	J	`jnl`	Concurrent Dynamic Algebra. CoRR Hitoshi Furusawa, Georg Struth
2014	J	`jnl`	Convolution, Separation and Concurrency. CoRR Brijesh Dongol, Ian J. Hayes, Georg Struth
2014	C	`conf`	Developments in Concurrent Kleene Algebra. RAMiCS Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
2014	J	`jnl`	Kleene Algebra with Tests and Demonic Refinement Algebras. Arch. Formal Proofs Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
2014	B	`conf`	Lightweight Program Construction and Verification Tools in Isabelle/HOL. SEFM Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
2014	J	`jnl`	Principles for Verification Tools: Separation Logic. CoRR Brijesh Dongol, Victor B. F. Gomes, Georg Struth
2014	J	`jnl`	Probabilistic Rely-guarantee Calculus. CoRR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2014	J	`jnl`	Programming and automating mathematics in the Tarski-Kleene hierarchy. J. Log. Algebraic Methods Program. Alasdair Armstrong, Georg Struth, Tjark Weber
2014	J	`jnl`	Regular Algebras. Arch. Formal Proofs Simon Foster, Georg Struth
2014	J	`jnl`	Relation Algebra. Arch. Formal Proofs Georg Struth, Tjark Weber
2013	J	`jnl`	Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. CoRR Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
2013	B	`conf`	An Event Structure Model for Probabilistic Concurrent Kleene Algebra. LPAR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013	J	`jnl`	An Event Structure Model for Probabilistic Concurrent Kleene Algebra. CoRR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013	J	`jnl`	Kleene Algebra. Arch. Formal Proofs Alasdair Armstrong, Georg Struth, Tjark Weber
2013	—	`book`	Modelling Computing Systems - Mathematics for Computer Science. Faron Moller, Georg Struth
2013	—	`conf`	Probabilistic Concurrent Kleene Algebra. QAPL Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013	B	`conf`	Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. ITP Alasdair Armstrong, Georg Struth, Tjark Weber
2013	J	`jnl`	Weak Concurrent Kleene Algebra with Application to Algebraic Verification CoRR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2012	A	`conf`	Automated Analysis of Regular Algebra. IJCAR Simon Foster, Georg Struth
2012	C	`conf`	Automated Reasoning in Higher-Order Regular Algebra. RAMiCS Alasdair Armstrong, Georg Struth
2012	C	`conf`	Correctness of Object Oriented Models by Extended Type Inference. ICTAC Simon Foster, Ondrej Rypacek, Georg Struth
2012	B	`conf`	Dependently Typed Programming Based on Automated Theorem Proving. MPC Alasdair Armstrong, Simon Foster, Georg Struth
2012	J	`jnl`	Left omega algebras and regular equations. J. Log. Algebraic Methods Program. Georg Struth
2012	C	`conf`	On Completeness of Omega-Regular Algebras. RAMiCS Michael R. Laurence, Georg Struth
2011	—	`conf`	A Repository for Tarski-Kleene Algebras. ATE Walter Guttmann, Georg Struth, Tjark Weber
2011	J	`jnl`	Algebraic Notions of Termination Log. Methods Comput. Sci. Jules Desharnais, Bernhard Möller, Georg Struth
2011	C	`conf`	Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS Simon Foster, Georg Struth, Tjark Weber
2011	C	`conf`	Automating Algebraic Methods in Isabelle. ICFEM Walter Guttmann, Georg Struth, Tjark Weber
2011	J	`jnl`	Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2011	J	`jnl`	Dependently Typed Programming based on Automated Theorem Proving CoRR Alasdair Armstrong, Simon Foster, Georg Struth
2011	—	`conf`	Integrating an Automated Theorem Prover into Agda. NASA Formal Methods Simon Foster, Georg Struth
2011	J	`jnl`	Internal axioms for domain semirings. Sci. Comput. Program. Jules Desharnais, Georg Struth
2011	C	`conf`	Omega Algebras and Regular Equations. RAMiCS Michael R. Laurence, Georg Struth
2011	B	`conf`	On Locality and the Exchange Law for Concurrent Processes. CONCUR C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth
2011	C	`conf`	On Probabilistic Kleene Algebras, Automata and Simulations. RAMiCS Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2011	—	`ed.`	Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011 ATE Peter Höfner, Annabelle McIver, Georg Struth
2010	J	`jnl`	Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebraic Methods Program. Peter Höfner, Georg Struth
2010	B	`conf`	On Automated Program Construction and Verification. MPC Rudolf Berghammer, Georg Struth
2010	J	`jnl`	Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. Rudolf Berghammer, Bernhard Möller, Georg Struth
2009	J	`jnl`	Automated verification of refinement laws. Ann. Math. Artif. Intell. Peter Höfner, Georg Struth, Geoff Sutcliffe
2009	B	`conf`	Concurrent Kleene Algebra. CONCUR C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2009	—	`conf`	Domain and Antidomain Semigroups. RelMiCS Jules Desharnais, Peter Jipsen, Georg Struth
2009	—	`conf`	Foundations of Concurrent Kleene Algebra. RelMiCS C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
2008	—	`conf`	Domain Axioms for a Family of Near-Semirings. AMAST Jules Desharnais, Georg Struth
2008	B	`conf`	Modal Semirings Revisited. MPC Jules Desharnais, Georg Struth
2008	—	`conf`	Modal Tools for Separation and Refinement. Refine@FM Georg Struth
2008	—	`conf`	Non-termination in Idempotent Semirings. RelMiCS Peter Höfner, Georg Struth
2008	A	`conf`	On Automating the Calculus of Relations. IJCAR Peter Höfner, Georg Struth
2008	—	`ed.`	Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings RelMiCS Rudolf Berghammer, Bernhard Möller, Georg Struth
2008	J	`jnl`	Relations and Kleene Algebras in Computer Science. J. Log. Algebraic Methods Program. Renate A. Schmidt, Georg Struth
2008	—	`conf`	The Structure of the One-Generated Free Domain Semiring. RelMiCS Peter Jipsen, Georg Struth
2007	A	`conf`	Automated Reasoning in Kleene Algebra. CADE Peter Höfner, Georg Struth
2007	—	`conf`	Can Refinement be Automated? REFINE@IFM Peter Höfner, Georg Struth
2006	J	`jnl`	Abstract abstract reduction. J. Log. Algebraic Methods Program. Georg Struth
2006	J	`jnl`	Algebras of modal operators and partial correctness. Theor. Comput. Sci. Bernhard Möller, Georg Struth
2006	B	`conf`	Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. MPC Georg Struth
2006	J	`jnl`	Kleene algebra with domain. ACM Trans. Comput. Log. Jules Desharnais, Bernhard Möller, Georg Struth
2006	—	`conf`	Quantales and Temporal Logics. AMAST Bernhard Möller, Peter Höfner, Georg Struth
2006	—	`conf`	Tableaux for Lattices. AMAST Georg Struth
2005	—	`conf`	Knuth-Bendix Completion as a Data Structure. RelMiCS Georg Struth
2005	—	`conf`	p Is. RelMiCS Bernhard Möller, Georg Struth
2004	B	`conf`	Automated Element-Wise Reasoning with Sets. SEFM Georg Struth
2004	—	`conf`	Diagram Chase in Relational System Development. VLFM Michael Ebert, Georg Struth
2004	—	`conf`	Modal Kleene Algebra and Partial Correctness. AMAST Bernhard Möller, Georg Struth
2004	—	`ed.`	Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers RelMiCS Rudolf Berghammer, Bernhard Möller, Georg Struth
2004	—	`conf`	Termination in Modal Kleene Algebra. IFIP TCS Jules Desharnais, Bernhard Möller, Georg Struth
2003	C	`conf`	A Calculus for Set-Based Program Development. ICFEM Georg Struth
2003	—	`conf`	Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS Bernhard Möller, Georg Struth
2003	—	`conf`	Kleene Modules. RelMiCS Thorsten Ehm, Bernhard Möller, Georg Struth
2003	J	`jnl`	Kleene algebra with domain CoRR Jules Desharnais, Bernhard Möller, Georg Struth
2002	—	`conf`	Deriving Focused Lattice Calculi. RTA Georg Struth
2001	—	`conf`	Calculating Church-Rosser Proofs in Kleene Algebra. RelMiCS Georg Struth
2001	—	`conf`	Deriving Focused Calculi for Transitive Relations. RTA Georg Struth
2001	—	`conf`	Knuth-Bendix Completion for Non-Symmetric Transitive Relations. RULE@PLI Georg Struth
2000	—	`conf`	An Algebra of Resolution. RTA Georg Struth
1998	—	`—`	Canonical transformations in algebra, universal algebra and logic. Georg Struth
1997	—	`conf`	On the Word Problem for Free Lattices. RTA Georg Struth