Items where authors include "Struth, G."

Article

Fahrenberg, U., Johansen, C., Struth, G. et al. (1 more author) (2023) Catoids and modal convolution algebras. Algebra universalis, 84 (2). 10. ISSN 0002-5240

Huerta y Munive, J.J. and Struth, G. (2022) Predicate transformer semantics for hybrid systems: verification components for Isabelle/HOL. Journal of Automated Reasoning, 66 (1). pp. 93-139. ISSN 0168-7433

Dongol, B., Hayes, I.J. and Struth, G. (2021) Convolution algebras: Relational convolution, generalised modalities and incidence algebras. Logical Methods in Computer Science, 17 (1). 13:1-13:34. ISSN 1860-5974

Struth, G. (2018) Hoare semigroups. Mathematical Structures in Computer Science, 28 (6). ISSN 0960-1295

Hofner, P., Struth, G. and Sutcliffe, G. (2009) Automated verification of refinement laws. Annals of Mathematics and Artificial Intelligence, 55 (1-2). pp. 35-62. ISSN 1012-2443

Proceedings Paper

Brunet, P., Pous, D. and Struth, G. (2017) On decidability of concurrent Kleene algebra. In: Meyer, R. and Nestmann, U., (eds.) LIPIcs. 28th International Conference on Concurrency Theory (CONCUR 2017) , 05-08 Sep 2018, Berlin, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 9783959770484

Möller, B., Hoare, T., Müller, M.E. et al. (1 more author) (2017) A discrete geometric model of concurrent program execution. In: Bowen, J.P. and Zhu, H., (eds.) International Symposium on Unifying Theories of Programming. 6th International Symposium, UTP 2016, June 4-5, 2016, Reykjavik, Iceland. Lecture Notes in Computer Science, 10134 . Springer, Cham , pp. 1-25. ISBN 9783319522272