| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman |
Concurrent Kleene Algebra and its Foundations.  |
J. Log. Algebr. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Georg Struth |
Internal axioms for domain semirings. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Bernhard Möller, Georg Struth |
Algebraic Notions of Termination |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alasdair Armstrong, Simon Foster, Georg Struth |
Dependently Typed Programming based on Automated Theorem Proving |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann, Georg Struth, Tjark Weber |
Automating Algebraic Methods in Isabelle. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Foster, Georg Struth, Tjark Weber |
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). |
RAMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Laurence, Georg Struth |
Omega Algebras and Regular Equations. |
RAMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
On Probabilistic Kleene Algebras, Automata and Simulations. |
RAMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Foster, Georg Struth |
Integrating an Automated Theorem Prover into Agda. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Georg Struth |
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Bernhard Möller, Georg Struth |
Relations and Kleene algebras in computer science. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Georg Struth |
On Automated Program Construction and Verification. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Georg Struth, Geoff Sutcliffe |
Automated verification of refinement laws. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman |
Concurrent Kleene Algebra. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman |
Foundations of Concurrent Kleene Algebra. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Peter Jipsen, Georg Struth |
Domain and Antidomain Semigroups. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Renate A. Schmidt, Georg Struth |
Relations and Kleene Algebras in Computer Science. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Modal Tools for Separation and Refinement. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Georg Struth |
Can Refinement be Automated? |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Georg Struth |
On Automating the Calculus of Relations. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Georg Struth |
Domain Axioms for a Family of Near-Semirings. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Georg Struth |
Non-termination in Idempotent Semirings. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jipsen, Georg Struth |
The Structure of the One-Generated Free Domain Semiring. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
RelMiCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jules Desharnais, Georg Struth |
Modal Semirings Revisited. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Georg Struth |
Automated Reasoning in Kleene Algebra. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Abstract abstract reduction. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Georg Struth |
Algebras of modal operators and partial correctness. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Bernhard Möller, Georg Struth |
Kleene algebra with domain. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems |
| 1 | Georg Struth |
Tableaux for Lattices. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Peter Höfner, Georg Struth |
Quantales and Temporal Logics. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ebert, Georg Struth |
Diagram Chase in Relational System Development. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Georg Struth |
p Is. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Knuth-Bendix Completion as a Data Structure. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Automated Element-Wise Reasoning with Sets. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Georg Struth |
Modal Kleene Algebra and Partial Correctness. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
RelMiCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jules Desharnais, Bernhard Möller, Georg Struth |
Termination in Modal Kleene Algebra. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jules Desharnais, Bernhard Möller, Georg Struth |
Kleene algebra with domain |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Georg Struth |
A Calculus for Set-Based Program Development. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Ehm, Bernhard Möller, Georg Struth |
Kleene Modules. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Georg Struth |
Greedy-Like Algorithms in Modal Kleene Algebra. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra |
| 1 | Georg Struth |
Deriving Focused Lattice Calculi. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Knuth-Bendix Completion for Non-Symmetric Transitive Relations. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
Calculating Church-Rosser Proofs in Kleene Algebra. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics |
| 1 | Georg Struth |
Deriving Focused Calculi for Transitive Relations. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
An Algebra of Resolution. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Struth |
On the Word Problem for Free Lattices. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")