Georg Struth

Alasdair Armstrong, Georg Struth, Tjark Weber: Kleene Algebra. Archive of Formal Proofs 2013 (2013)

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth: Weak Concurrent Kleene Algebra with Application to Algebraic Verification. CoRR abs/1301.7153 (2013)

Georg Struth: Left omega algebras and regular equations. J. Log. Algebr. Program. 81(6): 705-717 (2012)

Alasdair Armstrong, Georg Struth: Automated Reasoning in Higher-Order Regular Algebra. RAMICS 2012: 66-81

Michael R. Laurence, Georg Struth: On Completeness of Omega-Regular Algebras. RAMICS 2012: 179-194

Simon Foster, Georg Struth: Automated Analysis of Regular Algebra. IJCAR 2012: 271-285

Simon Foster, Ondrej Rypacek, Georg Struth: Correctness of Object Oriented Models by Extended Type Inference. ICTAC 2012: 46-60

Alasdair Armstrong, Simon Foster, Georg Struth: Dependently Typed Programming Based on Automated Theorem Proving. MPC 2012: 220-240

Jules Desharnais, Bernhard Möller, Georg Struth: Algebraic Notions of Termination. Logical Methods in Computer Science 7(1) (2011)

Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman: Concurrent Kleene Algebra and its Foundations. J. Log. Algebr. Program. 80(6): 266-296 (2011)

Jules Desharnais, Georg Struth: Internal axioms for domain semirings. Sci. Comput. Program. 76(3): 181-203 (2011)

Simon Foster, Georg Struth, Tjark Weber: Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMICS 2011: 52-67

Michael R. Laurence, Georg Struth: Omega Algebras and Regular Equations. RAMICS 2011: 248-263

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth: On Probabilistic Kleene Algebras, Automata and Simulations. RAMICS 2011: 264-279

Walter Guttmann, Georg Struth, Tjark Weber: A Repository for Tarski-Kleene Algebras. ATE 2011: 30-39

C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth: On Locality and the Exchange Law for Concurrent Processes. CONCUR 2011: 250-264

Walter Guttmann, Georg Struth, Tjark Weber: Automating Algebraic Methods in Isabelle. ICFEM 2011: 617-632

Simon Foster, Georg Struth: Integrating an Automated Theorem Prover into Agda. NASA Formal Methods 2011: 116-130

Peter Höfner, Annabelle McIver, Georg Struth (Eds.): Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011

Alasdair Armstrong, Simon Foster, Georg Struth: Dependently Typed Programming based on Automated Theorem Proving. CoRR abs/1112.3833 (2011)

Rudolf Berghammer, Bernhard Möller, Georg Struth: Relations and Kleene algebras in computer science. J. Log. Algebr. Program. 79(8): 705-706 (2010)

Peter Höfner, Georg Struth: Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebr. Program. 79(8): 794-811 (2010)

Rudolf Berghammer, Georg Struth: On Automated Program Construction and Verification. MPC 2010: 22-41

Peter Höfner, Georg Struth, Geoff Sutcliffe: Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009)

Jules Desharnais, Peter Jipsen, Georg Struth: Domain and Antidomain Semigroups. RelMiCS 2009: 73-87

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman: Foundations of Concurrent Kleene Algebra. RelMiCS 2009: 166-186

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman: Concurrent Kleene Algebra. CONCUR 2009: 399-414

Peter Höfner, Georg Struth: Can Refinement be Automated? Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008)

Georg Struth: Modal Tools for Separation and Refinement. Electr. Notes Theor. Comput. Sci. 214: 81-101 (2008)

Renate A. Schmidt, Georg Struth: Relations and Kleene Algebras in Computer Science. J. Log. Algebr. Program. 76(1): 1-2 (2008)

Peter Höfner, Georg Struth: Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220

Peter Jipsen, Georg Struth: The Structure of the One-Generated Free Domain Semiring. RelMiCS 2008: 234-242

Jules Desharnais, Georg Struth: Domain Axioms for a Family of Near-Semirings. AMAST 2008: 330-345

Peter Höfner, Georg Struth: On Automating the Calculus of Relations. IJCAR 2008: 50-66

Jules Desharnais, Georg Struth: Modal Semirings Revisited. MPC 2008: 360-387

Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): 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. Lecture Notes in Computer Science 4988, Springer 2008, isbn 978-3-540-78912-3

Peter Höfner, Georg Struth: Automated Reasoning in Kleene Algebra. CADE 2007: 279-294

Georg Struth: Abstract abstract reduction. J. Log. Algebr. Program. 66(2): 239-270 (2006)

Bernhard Möller, Georg Struth: Algebras of modal operators and partial correctness. Theor. Comput. Sci. 351(2): 221-239 (2006)

Jules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain. ACM Trans. Comput. Log. 7(4): 798-833 (2006)

Bernhard Möller, Peter Höfner, Georg Struth: Quantales and Temporal Logics. AMAST 2006: 263-277

Georg Struth: Tableaux for Lattices. AMAST 2006: 323-337

Georg Struth: Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. MPC 2006: 416-432

Michael Ebert, Georg Struth: Diagram Chase in Relational System Development. Electr. Notes Theor. Comput. Sci. 127(4): 87-105 (2005)

Bernhard Möller, Georg Struth: p Is. RelMiCS 2005: 200-211

Georg Struth: Knuth-Bendix Completion as a Data Structure. RelMiCS 2005: 225-236

Bernhard Möller, Georg Struth: Modal Kleene Algebra and Partial Correctness. AMAST 2004: 379-393

Jules Desharnais, Bernhard Möller, Georg Struth: Termination in Modal Kleene Algebra. IFIP TCS 2004: 647-660

Georg Struth: Automated Element-Wise Reasoning with Sets. SEFM 2004: 320-329

Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.): 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. Lecture Notes in Computer Science 3051, Springer 2004, isbn 3-540-22145-X

Thorsten Ehm, Bernhard Möller, Georg Struth: Kleene Modules. RelMiCS 2003: 112-124

Bernhard Möller, Georg Struth: Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS 2003: 202-215

Georg Struth: A Calculus for Set-Based Program Development. ICFEM 2003: 541-559

Jules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain. CoRR cs.LO/0310054 (2003)

Georg Struth: Deriving Focused Lattice Calculi. RTA 2002: 83-97

Georg Struth: Knuth-Bendix Completion for Non-Symmetric Transitive Relations. Electr. Notes Theor. Comput. Sci. 59(4): 341-357 (2001)

Georg Struth: Calculating Church-Rosser Proofs in Kleene Algebra. RelMiCS 2001: 276-290

Georg Struth: Deriving Focused Calculi for Transitive Relations. RTA 2001: 291-305

Georg Struth: An Algebra of Resolution. RTA 2000: 214-228

Georg Struth: On the Word Problem for Free Lattices. RTA 1997: 128-141