 | 2009 |
|---|
| 36 |       | C. A. R. Hoare,
Bernhard Möller,
Georg Struth,
Ian Wehrman:
Concurrent Kleene Algebra.
CONCUR 2009: 399-414 |
| 35 | | C. A. R. Hoare,
Bernhard Möller,
Georg Struth,
Ian Wehrman:
Foundations of Concurrent Kleene Algebra.
RelMiCS 2009: 166-186 |
| 34 | | Jules Desharnais,
Peter Jipsen,
Georg Struth:
Domain and Antidomain Semigroups.
RelMiCS 2009: 73-87 |
| 2008 |
|---|
| 33 |  | Rudolf Berghammer,
Bernhard Möller,
Georg Struth:
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
Springer 2008 |
| 32 | | Jules Desharnais,
Georg Struth:
Domain Axioms for a Family of Near-Semirings.
AMAST 2008: 330-345 |
| 31 | | Peter Höfner,
Georg Struth:
On Automating the Calculus of Relations.
IJCAR 2008: 50-66 |
| 30 | | Jules Desharnais,
Georg Struth:
Modal Semirings Revisited.
MPC 2008: 360-387 |
| 29 | | Peter Höfner,
Georg Struth:
Non-termination in Idempotent Semirings.
RelMiCS 2008: 206-220 |
| 28 | | Peter Jipsen,
Georg Struth:
The Structure of the One-Generated Free Domain Semiring.
RelMiCS 2008: 234-242 |
| 27 | | Peter Höfner,
Georg Struth:
Can Refinement be Automated?
Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008) |
| 26 | | Georg Struth:
Modal Tools for Separation and Refinement.
Electr. Notes Theor. Comput. Sci. 214: 81-101 (2008) |
| 25 | | Renate A. Schmidt,
Georg Struth:
Relations and Kleene Algebras in Computer Science.
J. Log. Algebr. Program. 76(1): 1-2 (2008) |
| 2007 |
|---|
| 24 | | Peter Höfner,
Georg Struth:
Automated Reasoning in Kleene Algebra.
CADE 2007: 279-294 |
| 2006 |
|---|
| 23 | | Bernhard Möller,
Peter Höfner,
Georg Struth:
Quantales and Temporal Logics.
AMAST 2006: 263-277 |
| 22 | | Georg Struth:
Tableaux for Lattices.
AMAST 2006: 323-337 |
| 21 | | Georg Struth:
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.
MPC 2006: 416-432 |
| 20 | | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain.
ACM Trans. Comput. Log. 7(4): 798-833 (2006) |
| 19 | | Georg Struth:
Abstract abstract reduction.
J. Log. Algebr. Program. 66(2): 239-270 (2006) |
| 18 | | Bernhard Möller,
Georg Struth:
Algebras of modal operators and partial correctness.
Theor. Comput. Sci. 351(2): 221-239 (2006) |
| 2005 |
|---|
| 17 | | Bernhard Möller,
Georg Struth:
p Is.
RelMiCS 2005: 200-211 |
| 16 | | Georg Struth:
Knuth-Bendix Completion as a Data Structure.
RelMiCS 2005: 225-236 |
| 15 | | Michael Ebert,
Georg Struth:
Diagram Chase in Relational System Development.
Electr. Notes Theor. Comput. Sci. 127(4): 87-105 (2005) |
| 2004 |
|---|
| 14 | | Rudolf Berghammer,
Bernhard Möller,
Georg Struth:
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
Springer 2004 |
| 13 | | Bernhard Möller,
Georg Struth:
Modal Kleene Algebra and Partial Correctness.
AMAST 2004: 379-393 |
| 12 | | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Termination in Modal Kleene Algebra.
IFIP TCS 2004: 647-660 |
| 11 | | Georg Struth:
Automated Element-Wise Reasoning with Sets.
SEFM 2004: 320-329 |
| 2003 |
|---|
| 10 | | Georg Struth:
A Calculus for Set-Based Program Development.
ICFEM 2003: 541-559 |
| 9 | | Thorsten Ehm,
Bernhard Möller,
Georg Struth:
Kleene Modules.
RelMiCS 2003: 112-124 |
| 8 | | Bernhard Möller,
Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra.
RelMiCS 2003: 202-215 |
| 7 | | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain
CoRR cs.LO/0310054: (2003) |
| 2002 |
|---|
| 6 | | Georg Struth:
Deriving Focused Lattice Calculi.
RTA 2002: 83-97 |
| 2001 |
|---|
| 5 | | Georg Struth:
Deriving Focused Calculi for Transitive Relations.
RTA 2001: 291-305 |
| 4 | | Georg Struth:
Calculating Church-Rosser Proofs in Kleene Algebra.
RelMiCS 2001: 276-290 |
| 3 | | Georg Struth:
Knuth-Bendix Completion for Non-Symmetric Transitive Relations.
Electr. Notes Theor. Comput. Sci. 59(4): (2001) |
| 2000 |
|---|
| 2 | | Georg Struth:
An Algebra of Resolution.
RTA 2000: 214-228 |
| 1997 |
|---|
| 1 | | Georg Struth:
On the Word Problem for Free Lattices.
RTA 1997: 128-141 |
