Georg Struth

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 63

Top Venues

CoRR

Arch. Formal Proofs

RAMiCS

J. Log. Algebraic Methods Program.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Philippe Malbos, Tanguy Massacrier, Georg Struth
Single-set cubical categories and their formalisation with a proof assistant. CoRR (2024)
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. CoRR (2024)
Georg Struth, Tanguy Massacrier
Cubical Categories. Arch. Formal Proofs 2024 (2024)
Cameron Calk, Georg Struth
Higher Globular Catoids and Quantales. Arch. Formal Proofs 2024 (2024)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Determinism of multirelations. J. Log. Algebraic Methods Program. 139 (2024)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
On the Inner Structure of Multirelations. CoRR (2023)
Georg Struth
Catoids, Categories, Groupoids. Arch. Formal Proofs 2023 (2023)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Modal Algebra of Multirelations. CoRR (2023)
Walter Guttmann, Georg Struth
Inner Structure, Determinism and Modal Algebra of Multirelations. Arch. Formal Proofs 2023 (2023)
Georg Struth, Cameron Calk
Modal quantales, involutive quantales, Dedekind Quantales. Arch. Formal Proofs 2023 (2023)
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
Higher Catoids, Higher Quantales and their Correspondences. CoRR (2023)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Determinism of Multirelations. CoRR (2023)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CoRR (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with interfaces as a model for concurrency. Inf. Comput. 285 (Part) (2022)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
A Kleene Theorem for Higher-Dimensional Automata. CONCUR (2022)
Jonathan Julián Huerta y Munive, Georg Struth
Predicate Transformer Semantics for Hybrid Systems. J. Autom. Reason. 66 (1) (2022)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18 (4) (2022)
James Cranch, Simon Doherty, Georg Struth
Convolution and concurrency. Math. Struct. Comput. Sci. 31 (8) (2021)
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31 (5) (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Posets with Interfaces for Concurrent Kleene Algebra. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
lr-Multisemigroups and Modal Convolution Algebras. CoRR (2021)
Callum Bannister, Peter Höfner, Georg Struth
Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS (2021)
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. CoRR (2021)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski
Languages of Higher-Dimensional Automata. CoRR (2021)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras. Log. Methods Comput. Sci. 17 (1) (2021)
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. FM (2021)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR (2020)
James Cranch, Simon Doherty, Georg Struth
Relational Semigroups and Object-Free Categories. CoRR (2020)
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi
Domain Semirings United. CoRR (2020)
James Cranch, Simon Doherty, Georg Struth
Convolution and Concurrency. CoRR (2020)
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. RAMiCS (2020)
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
Generating Posets Beyond N. RAMiCS (2020)
Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth
Categorical Information Flow. The Art of Modelling Computational Systems (2019)
Peter Höfner, Damien Pous, Georg Struth
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 106 (2019)
Tony Hoare, Georg Struth, Jim Woodcock
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP (2019)
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. CoRR (2019)
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth
Cylindric Kleene Lattices for Program Construction. MPC (2019)
Jonathan Julián Huerta y Munive, Georg Struth
Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. CoRR (2019)
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa
Generating Posets Beyond N. CoRR (2019)
Georg Struth
Hoare Semigroups. Math. Struct. Comput. Sci. 28 (6) (2018)
Georg Struth
Quantales. Arch. Formal Proofs 2018 (2018)
Georg Struth
Transformer Semantics. Arch. Formal Proofs 2018 (2018)
Jonathan Julián Huerta y Munive, Georg Struth
Verifying Hybrid Systems with Modal Kleene Algebra. RAMiCS (2018)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
Schedulers and finishers: On generating and filtering the behaviours of an event structure. Theor. Comput. Sci. 744 (2018)
Georg Struth
Properties of Orderings and Lattices. Arch. Formal Proofs 2018 (2018)
Michael R. Laurence, Georg Struth
Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras. CoRR (2017)
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
Kleisli, Parikh and Peleg compositions and liftings for multirelations. J. Log. Algebraic Methods Program. 90 (2017)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Relational Convolution, Generalised Modalities and Incidence Algebras. CoRR (2017)
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations. CoRR (2017)
Paul Brunet, Damien Pous, Georg Struth
On Decidability of Concurrent Kleene Algebra. CONCUR (2017)
Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes, Georg Struth
Partial Semigroups and Convolution Algebras. Arch. Formal Proofs 2017 (2017)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85 (4) (2016)
Victor B. F. Gomes, Georg Struth
Modal Kleene Algebra Applied to Program Correctness. FM (2016)
Hitoshi Furusawa, Georg Struth
Taming Multirelations. ACM Trans. Comput. Log. 17 (4) (2016)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ICTAC (2016)
Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
A Discrete Geometric Model of Concurrent Program Execution. UTP (2016)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
Probabilistic rely-guarantee calculus. Theor. Comput. Sci. 655 (2016)
Georg Struth
On the expressive power of Kleene algebra with domain. Inf. Process. Lett. 116 (4) (2016)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency. ACM Trans. Comput. Log. 17 (3) (2016)
Victor B. F. Gomes, Georg Struth
Program Construction and Verification Components Based on Kleene Algebra. Arch. Formal Proofs 2016 (2016)
Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
Kleene Algebras with Domain. Arch. Formal Proofs 2016 (2016)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Building program construction and verification tools from algebraic principles. Formal Aspects Comput. 28 (2) (2016)
Georg Struth
On the Expressive Power of Kleene Algebra with Domain. CoRR (2015)
James Cranch, Michael R. Laurence, Georg Struth
Completeness results for omega-regular algebras. J. Log. Algebraic Methods Program. 84 (3) (2015)
Victor B. F. Gomes, Georg Struth
Residuated Lattices. Arch. Formal Proofs 2015 (2015)
Hitoshi Furusawa, Georg Struth
Binary Multirelations. Arch. Formal Proofs 2015 (2015)
Simon Foster, Georg Struth
On the Fine-Structure of Regular Algebra. J. Autom. Reason. 54 (2) (2015)
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
Relational Formalisations of Compositions and Liftings of Multirelations. RAMiCS (2015)
Hitoshi Furusawa, Georg Struth
Concurrent Dynamic Algebra. ACM Trans. Comput. Log. 16 (4) (2015)
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
A Program Construction and Verification Tool for Separation Logic. MPC (2015)
Hitoshi Furusawa, Georg Struth
Taming Multirelations. CoRR (2015)
Simon Foster, Georg Struth
Regular Algebras. Arch. Formal Proofs 2014 (2014)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
Probabilistic Rely-guarantee Calculus. CoRR (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. FM (2014)
Michael R. Laurence, Georg Struth
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. RAMiCS (2014)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
Developments in Concurrent Kleene Algebra. RAMiCS (2014)
Brijesh Dongol, Victor B. F. Gomes, Georg Struth
Principles for Verification Tools: Separation Logic. CoRR (2014)
Alasdair Armstrong, Georg Struth, Tjark Weber
Programming and automating mathematics in the Tarski-Kleene hierarchy. J. Log. Algebraic Methods Program. 83 (2) (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Kleene Algebra with Tests and Demonic Refinement Algebras. Arch. Formal Proofs 2014 (2014)
Brijesh Dongol, Ian J. Hayes, Georg Struth
Convolution, Separation and Concurrency. CoRR (2014)
Georg Struth, Tjark Weber
Relation Algebra. Arch. Formal Proofs 2014 (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Lightweight Program Construction and Verification Tools in Isabelle/HOL. SEFM (2014)
Hitoshi Furusawa, Georg Struth
Concurrent Dynamic Algebra. CoRR (2014)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Algebras for Program Correctness in Isabelle/HOL. RAMiCS (2014)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. CoRR (2013)
Alasdair Armstrong, Georg Struth, Tjark Weber
Kleene Algebra. Arch. Formal Proofs 2013 (2013)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
Weak Concurrent Kleene Algebra with Application to Algebraic Verification CoRR (2013)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
Probabilistic Concurrent Kleene Algebra. QAPL (2013)
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. CoRR (2013)
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. LPAR (2013)
Alasdair Armstrong, Georg Struth, Tjark Weber
Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. ITP (2013)
Alasdair Armstrong, Georg Struth
Automated Reasoning in Higher-Order Regular Algebra. RAMiCS (2012)
Georg Struth
Left omega algebras and regular equations. J. Log. Algebraic Methods Program. 81 (6) (2012)
Simon Foster, Georg Struth
Automated Analysis of Regular Algebra. IJCAR (2012)
Michael R. Laurence, Georg Struth
On Completeness of Omega-Regular Algebras. RAMiCS (2012)
Alasdair Armstrong, Simon Foster, Georg Struth
Dependently Typed Programming Based on Automated Theorem Proving. MPC (2012)
Simon Foster, Ondrej Rypacek, Georg Struth
Correctness of Object Oriented Models by Extended Type Inference. ICTAC (2012)
Walter Guttmann, Georg Struth, Tjark Weber
A Repository for Tarski-Kleene Algebras. ATE (2011)
Simon Foster, Georg Struth, Tjark Weber
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS (2011)

Georg Struth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Georg Struth