Georg Struth
TitleCited byYear
Caries status in Europe and predictions of future trends
J Arends, JL Ruben, J Christoffersen, WL Jongebloed, TGM Zuidgeest, ...
Caries research 24 (6), 381-396, 1990
263*1990
Introduction: Engendering macro-economic policy reform in the era of global restructuring and adjustment
I Bakker
The strategic silence: Gender and economic policy, 1-29, 1994
260*1994
Kleene algebra with domain
J Desharnais, B Möller, G Struth
ACM Transactions on Computational Logic (TOCL) 7 (4), 798-833, 2006
1972006
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
922011
Automated reasoning in Kleene algebra
P Höfner, G Struth
International Conference on Automated Deduction, 279-294, 2007
892007
Concurrent kleene algebra
CART Hoare, B Möller, G Struth, I Wehrman
International Conference on Concurrency Theory, 399-414, 2009
742009
Algebras of modal operators and partial correctness
B Möller, G Struth
Theoretical Computer Science 351 (2), 221-239, 2006
682006
Modal Kleene algebra and applications—a survey
J Desharnais, B Möller, G Struth
Journal on Relational Methods in Computer Science 1 (1), 93-131, 2004
612004
On automating the calculus of relations
P Höfner, G Struth
International Joint Conference on Automated Reasoning, 50-66, 2008
472008
Internal axioms for domain semirings
J Desharnais, G Struth
Science of Computer Programming 76 (3), 181-203, 2011
452011
Automated engineering of relational and algebraic methods in Isabelle/HOL
S Foster, G Struth, T Weber
International Conference on Relational and Algebraic Methods in Computer …, 2011
332011
Termination in modal Kleene algebra
J Desharnais, B Möller, G Struth
Exploring New Frontiers of Theoretical Informatics, 647-660, 2004
312004
On locality and the exchange law for concurrent processes
CAR Hoare, A Hussain, B Möller, PW O’Hearn, RL Petersen, G Struth
International Conference on Concurrency Theory, 250-264, 2011
292011
Algebraic notions of termination
J Desharnais, B Möller, G Struth
292011
Quantales and temporal logics
B Möller, P Höfner, G Struth
International Conference on Algebraic Methodology and Software Technology …, 2006
292006
wp Is wlp
B Möller, G Struth
International Conference on Relational Methods in Computer Science, 200-211, 2005
292005
Automating algebraic methods in Isabelle
W Guttmann, G Struth, T Weber
International Conference on Formal Engineering Methods, 617-632, 2011
282011
Kleene modules
T Ehm, B Möller, G Struth
International Conference on Relational Methods in Computer Science, 112-123, 2003
282003
Kleene algebra
A Armstrong, G Struth, T Weber
Archive of Formal Proofs 324, 2013
27*2013
A program construction and verification tool for separation logic
B Dongol, VBF Gomes, G Struth
International Conference on Mathematics of Program Construction, 137-158, 2015
252015
The system can't perform the operation now. Try again later.
Articles 1–20