16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Proceedings P Höfner, D Pous, G Struth 16th International Conference on Relational and Algebraic Methods in …, 2017 | | 2017 |
28th International Conference on Concurrency Theory (CONCUR 2017) AF Donaldson, J Ketema, T Sorensen, J Wickerson, R Brenguier, A Pauly, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | 1 | 2017 |
A calculus for set-based program development G Struth International Conference on Formal Engineering Methods, 541-559, 2003 | 6 | 2003 |
A calculus for set-based program development part II: proof search G Struth | | 2003 |
A calculus of space, time, and causality: its algebra, geometry, logic T Hoare, G Struth, J Woodcock Unifying Theories of Programming: 7th International Symposium, UTP 2019 …, 2019 | 6 | 2019 |
A discrete geometric model of concurrent program execution B Möller, T Hoare, ME Müller, G Struth Unifying Theories of Programming: 6th International Symposium, UTP 2016 …, 2017 | 8 | 2017 |
A program construction and verification tool for separation logic B Dongol, VBF Gomes, G Struth Mathematics of Program Construction: 12th International Conference, MPC 2015 …, 2015 | 31 | 2015 |
A Repository for Tarski-Kleene Algebras. W Guttmann, G Struth, T Weber ATE 760, 30-39, 2011 | 10 | 2011 |
Abstract abstract reduction G Struth The Journal of Logic and Algebraic Programming 66 (2), 239-270, 2006 | 24 | 2006 |
Algebraic coherent confluence and higher globular Kleene algebras CCEGP Malbos, G Struth | | |
Algebraic coherent confluence and higher globular Kleene algebras C Calk, E Goubault, P Malbos, G Struth Logical Methods in Computer Science 18, 2022 | 10* | 2022 |
Algebraic notions of non-termination P Höfner, G Struth Technical Report CS-06-12, Department of Computer Science, University of …, 2006 | 3 | 2006 |
Algebraic notions of nontermination: Omega and divergence in idempotent semirings P Höfner, G Struth The Journal of Logic and Algebraic Programming 79 (8), 794-811, 2010 | 9 | 2010 |
Algebraic notions of termination D Jules, B Möller, S Georg Logical Methods in Computer Science 7, 2011 | 43 | 2011 |
Algebraic principles for rely-guarantee style concurrency verification tools A Armstrong, VBF Gomes, G Struth arXiv preprint arXiv:1312.1225, 2013 | 1 | 2013 |
Algebraic principles for rely-guarantee style concurrency verification tools A Armstrong, VBF Gomes, G Struth FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 18 | 2014 |
Algebras for program correctness in Isabelle/HOL A Armstrong, VBF Gomes, G Struth Relational and Algebraic Methods in Computer Science: 14th International …, 2014 | 13 | 2014 |
Algebras of modal operators and partial correctness B Möller, G Struth Theoretical Computer Science 351 (2), 221-239, 2006 | 82 | 2006 |
An algebra of resolution G Struth International Conference on Rewriting Techniques and Applications, 214-228, 2000 | 7 | 2000 |
An algebraic study of commutation and termination G Struth | 1 | 2003 |