Seguir
Georg Struth
Título
Citado por
Citado por
Año
Kleene algebra with domain
J Desharnais, B Möller, G Struth
ACM Transactions on Computational Logic (TOCL) 7 (4), 798-833, 2006
2452006
Concurrent Kleene algebra and its foundations
T Hoare, B Möller, G Struth, I Wehrman
The Journal of Logic and Algebraic Programming 80 (6), 266-296, 2011
1602011
Concurrent kleene algebra
CART Hoare, B Möller, G Struth, I Wehrman
CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009
1042009
Automated reasoning in Kleene algebra
P Höfner, G Struth
International Conference on Automated Deduction, 279-294, 2007
982007
Internal axioms for domain semirings
J Desharnais, G Struth
Science of Computer Programming 76 (3), 181-203, 2011
852011
Algebras of modal operators and partial correctness
B Möller, G Struth
Theoretical Computer Science 351 (2), 221-239, 2006
822006
Modal Kleene algebra and applications-a survey
J Desharnais, B Möller, G Struth
732004
On automating the calculus of relations
P Höfner, G Struth
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008
622008
Building program construction and verification tools from algebraic principles
A Armstrong, VBF Gomes, G Struth
Formal Aspects of Computing 28, 265-293, 2016
502016
Kleene algebra
A Armstrong, G Struth, T Weber
Archive of Formal Proofs 324, 2013
47*2013
Algebraic notions of termination
D Jules, B Möller, S Georg
Logical Methods in Computer Science 7, 2011
432011
Domain and antidomain semigroups
J Desharnais, P Jipsen, G Struth
Relations and Kleene Algebra in Computer Science: 11th International …, 2009
382009
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL: (Invited Tutorial)
S Foster, G Struth, T Weber
Relational and Algebraic Methods in Computer Science: 12th International …, 2011
362011
Termination in modal Kleene algebra
J Desharnais, B Möller, G Struth
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
362004
Modal semirings revisited
J Desharnais, G Struth
Mathematics of Program Construction: 9th International Conference, MPC 2008 …, 2008
342008
Quantales and temporal logics
B Möller, P Höfner, G Struth
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
342006
wp Is w lp
B Möller, G Struth
International Conference on Relational Methods in Computer Science, 200-211, 2005
342005
On locality and the exchange law for concurrent processes
CAR Hoare, A Hussain, B Möller, PW O’Hearn, RL Petersen, G Struth
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
332011
Differential Hoare logics and refinement calculi for hybrid systems with Isabelle/HOL
S Foster, JJ Huerta y Munive, G Struth
Relational and Algebraic Methods in Computer Science: 18th International …, 2020
322020
Modal Kleene algebra and partial correctness
B Möller, G Struth
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
322004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20