Items where authors include "Struth, Georg"

Article

Munive, Jonathan Huerta y, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario 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. ISSN 0168-7433

Foster, Simon David orcid.org/0000-0002-9889-9514 and Struth, Georg (2014) On the Fine-Structure of Regular Algebra. Journal of Automated Reasoning. pp. 165-197. ISSN 0168-7433

Proceedings Paper

Munive, Jonathan Huerta y, Struth, Georg and Foster, Simon David orcid.org/0000-0002-9889-9514 (2020) Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. In: 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Hoare, Tony, Struth, Georg and Woodcock, James Charles Paul orcid.org/0000-0001-7955-2702 (2019) A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic. In: Ribeiro, Pedro and Augusto Sampaio, (eds.) Unifying Theories of Programming:7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Foster, Simon and Struth, Georg (2011) Integrating an Automated Theorem Prover into Agda. In: NASA Formal Methods Symposium. NASA Formal Methods Symposium, 18-20 Apr 2011, Pasadena, CA. Lecture Notes in Computer Science (6617). Springer , pp. 116-130.