| 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 | EE | Jules Desharnais,
Georg Struth:
Domain Axioms for a Family of Near-Semirings.
AMAST 2008: 330-345 |
| 31 | EE | Peter Höfner,
Georg Struth:
On Automating the Calculus of Relations.
IJCAR 2008: 50-66 |
| 30 | EE | Jules Desharnais,
Georg Struth:
Modal Semirings Revisited.
MPC 2008: 360-387 |
| 29 | EE | Peter Höfner,
Georg Struth:
Non-termination in Idempotent Semirings.
RelMiCS 2008: 206-220 |
| 28 | EE | Peter Jipsen,
Georg Struth:
The Structure of the One-Generated Free Domain Semiring.
RelMiCS 2008: 234-242 |
| 27 | EE | Peter Höfner,
Georg Struth:
Can Refinement be Automated?
Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008) |
| 26 | EE | Georg Struth:
Modal Tools for Separation and Refinement.
Electr. Notes Theor. Comput. Sci. 214: 81-101 (2008) |
| 25 | EE | Renate A. Schmidt,
Georg Struth:
Relations and Kleene Algebras in Computer Science.
J. Log. Algebr. Program. 76(1): 1-2 (2008) |
| 2007 |
|---|
| 24 | EE | Peter Höfner,
Georg Struth:
Automated Reasoning in Kleene Algebra.
CADE 2007: 279-294 |
| 2006 |
|---|
| 23 | EE | Bernhard Möller,
Peter Höfner,
Georg Struth:
Quantales and Temporal Logics.
AMAST 2006: 263-277 |
| 22 | EE | Georg Struth:
Tableaux for Lattices.
AMAST 2006: 323-337 |
| 21 | EE | Georg Struth:
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.
MPC 2006: 416-432 |
| 20 | EE | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain.
ACM Trans. Comput. Log. 7(4): 798-833 (2006) |
| 19 | EE | Georg Struth:
Abstract abstract reduction.
J. Log. Algebr. Program. 66(2): 239-270 (2006) |
| 18 | EE | Bernhard Möller,
Georg Struth:
Algebras of modal operators and partial correctness.
Theor. Comput. Sci. 351(2): 221-239 (2006) |
| 2005 |
|---|
| 17 | EE | Bernhard Möller,
Georg Struth:
p Is.
RelMiCS 2005: 200-211 |
| 16 | EE | Georg Struth:
Knuth-Bendix Completion as a Data Structure.
RelMiCS 2005: 225-236 |
| 15 | EE | 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 | EE | 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 | EE | Georg Struth:
Automated Element-Wise Reasoning with Sets.
SEFM 2004: 320-329 |
| 2003 |
|---|
| 10 | EE | Georg Struth:
A Calculus for Set-Based Program Development.
ICFEM 2003: 541-559 |
| 9 | EE | Thorsten Ehm,
Bernhard Möller,
Georg Struth:
Kleene Modules.
RelMiCS 2003: 112-124 |
| 8 | EE | Bernhard Möller,
Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra.
RelMiCS 2003: 202-215 |
| 7 | EE | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain
CoRR cs.LO/0310054: (2003) |
| 2002 |
|---|
| 6 | EE | Georg Struth:
Deriving Focused Lattice Calculi.
RTA 2002: 83-97 |
| 2001 |
|---|
| 5 | EE | Georg Struth:
Deriving Focused Calculi for Transitive Relations.
RTA 2001: 291-305 |
| 4 | EE | Georg Struth:
Calculating Church-Rosser Proofs in Kleene Algebra.
RelMiCS 2001: 276-290 |
| 3 | EE | 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 |
