Items where authors include "Struth, G."

Article

Huerta y Munive, J.J. orcid.org/0000-0003-3279-3685, Foster, S. orcid.org/0000-0002-9889-9514, Gleirscher, M. orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: interactive verification of cyber-physical systems at scale. Journal of Automated Reasoning, 68 (4). 21. ISSN 0168-7433

Malbos, P., Massacrier, T. and Struth, G. (2024) Single-set cubical categories and their formalisation with a proof assistant. Journal of Automated Reasoning, 68 (4). 20. ISSN 0168-7433

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