We stand with Ukraine

We stand with Ukraine

Georg Struth

Orcid: 0000-0001-9466-7815

According to our database¹, Georg Struth authored at least 134 papers between 1997 and 2024.

Collaborative distances:

Dijkstra number² of two.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL.

[BibT_eX]

[DOI]

Jonathan Julián Huerta y Munive

,

,

Mario Gleirscher

,

,

Christian Pardillo Laursen

,

CoRR, 2024

Single-set cubical categories and their formalisation with a proof assistant.

[BibT_eX]

[DOI]

Philippe Malbos

,

Tanguy Massacrier

,

CoRR, 2024

Cubical Categories.

[BibT_eX]

[DOI]

,

Tanguy Massacrier

Arch. Formal Proofs, 2024

Higher Globular Catoids and Quantales.

[BibT_eX]

[DOI]

,

Arch. Formal Proofs, 2024

2023

Higher Catoids, Higher Quantales and their Correspondences.

[BibT_eX]

[DOI]

,

Philippe Malbos

,

,

CoRR, 2023

Modal Algebra of Multirelations.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

Walter Guttmann

,

CoRR, 2023

Determinism of Multirelations.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

Walter Guttmann

,

CoRR, 2023

On the Inner Structure of Multirelations.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

Walter Guttmann

,

CoRR, 2023

Modal quantales, involutive quantales, Dedekind Quantales.

[BibT_eX]

[DOI]

,

Arch. Formal Proofs, 2023

Catoids, Categories, Groupoids.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2023

Inner Structure, Determinism and Modal Algebra of Multirelations.

[BibT_eX]

[DOI]

Walter Guttmann

,

Arch. Formal Proofs, 2023

2022

Algebraic coherent confluence and higher globular Kleene algebras.

[BibT_eX]

[DOI]

,

,

Philippe Malbos

,

Log. Methods Comput. Sci., 2022

Predicate Transformer Semantics for Hybrid Systems.

[BibT_eX]

[DOI]

Jonathan Julián Huerta y Munive

,

J. Autom. Reason., 2022

Posets with interfaces as a model for concurrency.

[BibT_eX]

[DOI]

,

Christian Johansen

,

,

Krzysztof Ziemianski

Inf. Comput., 2022

A Kleene Theorem for Higher-Dimensional Automata.

[BibT_eX]

[DOI]

,

Christian Johansen

,

,

Krzysztof Ziemianski

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Languages of higher-dimensional automata.

[BibT_eX]

[DOI]

,

Christian Johansen

,

,

Krzysztof Ziemianski

Math. Struct. Comput. Sci., 2021

Convolution and concurrency.

[BibT_eX]

[DOI]

,

,

Math. Struct. Comput. Sci., 2021

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras.

[BibT_eX]

[DOI]

,

,

Log. Methods Comput. Sci., 2021

Posets with Interfaces for Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

,

Christian Johansen

,

,

Krzysztof Ziemianski

CoRR, 2021

lr-Multisemigroups and Modal Convolution Algebras.

[BibT_eX]

[DOI]

,

Christian Johansen

,

,

Krzysztof Ziemianski

CoRR, 2021

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.

[BibT_eX]

[DOI]

,

Jonathan Julián Huerta y Munive

,

Mario Gleirscher

,

Proceedings of the Formal Methods - 24th International Symposium, 2021

ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality.

[BibT_eX]

[DOI]

,

,

Christian Johansen

,

,

Krzysztof Ziemianski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Effect Algebras, Girard Quantales and Complementation in Separation Logic.

[BibT_eX]

[DOI]

Callum Bannister

,

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Trimming the Hedges: An Algebra to Tame Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2020

Domain Semirings United.

[BibT_eX]

[DOI]

,

Christian Johansen

,

,

Krzysztof Ziemianksi

CoRR, 2020

Algebraic coherent confluence and higher-dimensional globular Kleene algebras.

[BibT_eX]

[DOI]

,

,

Philippe Malbos

,

CoRR, 2020

Relational Semigroups and Object-Free Categories.

[BibT_eX]

[DOI]

,

,

CoRR, 2020

Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL.

[BibT_eX]

[DOI]

,

Jonathan Julián Huerta y Munive

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

Generating Posets Beyond N.

[BibT_eX]

[DOI]

,

Christian Johansen

,

,

Ratan Bahadur Thapa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Relational and algebraic methods in computer science.

[BibT_eX]

[DOI]

,

,

J. Log. Algebraic Methods Program., 2019

Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL.

[BibT_eX]

[DOI]

Jonathan Julián Huerta y Munive

,

CoRR, 2019

A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic.

[BibT_eX]

[DOI]

,

,

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Cylindric Kleene Lattices for Program Construction.

[BibT_eX]

[DOI]

,

,

Larissa Meinicke

,

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Categorical Information Flow.

[BibT_eX]

[DOI]

Tahiry M. Rabehaja

,

Annabelle McIver

,

,

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Schedulers and finishers: On generating and filtering the behaviours of an event structure.

[BibT_eX]

[DOI]

Annabelle McIver

,

Tahiry M. Rabehaja

,

Theor. Comput. Sci., 2018

Hoare Semigroups.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

Transformer Semantics.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

Quantales.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

Properties of Orderings and Lattices.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

Verifying Hybrid Systems with Modal Kleene Algebra.

[BibT_eX]

[DOI]

Jonathan Julián Huerta y Munive

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Kleisli, Parikh and Peleg compositions and liftings for multirelations.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

,

,

Norihiro Tsumagari

J. Log. Algebraic Methods Program., 2017

Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras.

[BibT_eX]

[DOI]

Michael R. Laurence

,

CoRR, 2017

Relational Convolution, Generalised Modalities and Incidence Algebras.

[BibT_eX]

[DOI]

,

,

CoRR, 2017

Partial Semigroups and Convolution Algebras.

[BibT_eX]

[DOI]

,

Victor B. F. Gomes

,

,

Arch. Formal Proofs, 2017

On Decidability of Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

,

,

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Taming Multirelations.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

ACM Trans. Comput. Log., 2016

Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency.

[BibT_eX]

[DOI]

,

,

ACM Trans. Comput. Log., 2016

Probabilistic rely-guarantee calculus.

[BibT_eX]

[DOI]

Annabelle McIver

,

Tahiry M. Rabehaja

,

Theor. Comput. Sci., 2016

Developments in concurrent Kleene algebra.

[BibT_eX]

[DOI]

,

Stephan van Staden

,

Bernhard Möller

,

,

J. Log. Algebraic Methods Program., 2016

On the expressive power of Kleene algebra with domain.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2016

Building program construction and verification tools from algebraic principles.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

Victor B. F. Gomes

,

Formal Aspects Comput., 2016

Program Construction and Verification Components Based on Kleene Algebra.

[BibT_eX]

[DOI]

Victor B. F. Gomes

,

Arch. Formal Proofs, 2016

Kleene Algebras with Domain.

[BibT_eX]

[DOI]

Victor B. F. Gomes

,

Walter Guttmann

,

,

,

Arch. Formal Proofs, 2016

A Discrete Geometric Model of Concurrent Program Execution.

[BibT_eX]

[DOI]

Bernhard Möller

,

,

Martin E. Müller

,

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Schedulers and Finishers: On Generating the Behaviours of an Event Structure.

[BibT_eX]

[DOI]

Annabelle McIver

,

Tahiry M. Rabehaja

,

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Modal Kleene Algebra Applied to Program Correctness.

[BibT_eX]

[DOI]

Victor B. F. Gomes

,

Proceedings of the FM 2016: Formal Methods, 2016

2015

Concurrent Dynamic Algebra.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

ACM Trans. Comput. Log., 2015

Completeness results for omega-regular algebras.

[BibT_eX]

[DOI]

,

Michael R. Laurence

,

J. Log. Algebraic Methods Program., 2015

On the Fine-Structure of Regular Algebra.

[BibT_eX]

[DOI]

,

J. Autom. Reason., 2015

Residuated Lattices.

[BibT_eX]

[DOI]

Victor B. F. Gomes

,

Arch. Formal Proofs, 2015

Binary Multirelations.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

Arch. Formal Proofs, 2015

A Program Construction and Verification Tool for Separation Logic.

[BibT_eX]

[DOI]

,

Victor B. F. Gomes

,

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Relational Formalisations of Compositions and Liftings of Multirelations.

[BibT_eX]

[DOI]

Hitoshi Furusawa

,

,

,

Norihiro Tsumagari

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Programming and automating mathematics in the Tarski-Kleene hierarchy.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

,

J. Log. Algebraic Methods Program., 2014

Convolution, Separation and Concurrency.

[BibT_eX]

[DOI]

,

,

CoRR, 2014

Principles for Verification Tools: Separation Logic.

[BibT_eX]

[DOI]

,

Victor B. F. Gomes

,

CoRR, 2014

Relation Algebra.

[BibT_eX]

[DOI]

,

Arch. Formal Proofs, 2014

Regular Algebras.

[BibT_eX]

[DOI]

,

Arch. Formal Proofs, 2014

Kleene Algebra with Tests and Demonic Refinement Algebras.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

Victor B. F. Gomes

,

Arch. Formal Proofs, 2014

Lightweight Program Construction and Verification Tools in Isabelle/HOL.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

Victor B. F. Gomes

,

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

Victor B. F. Gomes

,

Proceedings of the FM 2014: Formal Methods, 2014

Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages.

[BibT_eX]

[DOI]

Michael R. Laurence

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Developments in Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

,

Stephan van Staden

,

Bernhard Möller

,

,

,

,

Peter W. O'Hearn

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Algebras for Program Correctness in Isabelle/HOL.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

Victor B. F. Gomes

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Modelling Computing Systems - Mathematics for Computer Science.

[BibT_eX]

[DOI]

,

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84800-322-4, 2013

Weak Concurrent Kleene Algebra with Application to Algebraic Verification

[BibT_eX]

[DOI]

Annabelle McIver

,

Tahiry M. Rabehaja

,

CoRR, 2013

Probabilistic Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

Annabelle McIver

,

Tahiry M. Rabehaja

,

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Kleene Algebra.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

,

Arch. Formal Proofs, 2013

An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

Annabelle McIver

,

Tahiry M. Rabehaja

,

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

,

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Left omega algebras and regular equations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Dependently Typed Programming Based on Automated Theorem Proving.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

,

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Correctness of Object Oriented Models by Extended Type Inference.

[BibT_eX]

[DOI]

,

,

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Automated Analysis of Regular Algebra.

[BibT_eX]

[DOI]

,

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

On Completeness of Omega-Regular Algebras.

[BibT_eX]

[DOI]

Michael R. Laurence

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Automated Reasoning in Higher-Order Regular Algebra.

[BibT_eX]

[DOI]

Alasdair Armstrong

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Internal axioms for domain semirings.

[BibT_eX]

[DOI]

Jules Desharnais

,

Sci. Comput. Program., 2011

Concurrent Kleene Algebra and its Foundations.

[BibT_eX]

[DOI]

,

Bernhard Möller

,

,

J. Log. Algebraic Methods Program., 2011

Algebraic Notions of Termination

[BibT_eX]

[DOI]

Jules Desharnais

,

Bernhard Möller

,

Log. Methods Comput. Sci., 2011

Integrating an Automated Theorem Prover into Agda.

[BibT_eX]

[DOI]

,

Proceedings of the NASA Formal Methods, 2011

Automating Algebraic Methods in Isabelle.

[BibT_eX]

[DOI]

Walter Guttmann

,

,

Proceedings of the Formal Methods and Software Engineering, 2011

On Locality and the Exchange Law for Concurrent Processes.

[BibT_eX]

[DOI]

,

,

Bernhard Möller

,

Peter W. O'Hearn

,

Rasmus Lerchedahl Petersen

,

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

A Repository for Tarski-Kleene Algebras.

[BibT_eX]

[DOI]

Walter Guttmann

,

,

Proceedings of the First Workshop on Automated Theory Engineering, 2011

On Probabilistic Kleene Algebras, Automata and Simulations.

[BibT_eX]

[DOI]

Annabelle McIver

,

Tahiry M. Rabehaja

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Omega Algebras and Regular Equations.

[BibT_eX]

[DOI]

Michael R. Laurence

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial).

[BibT_eX]

[DOI]

,

,

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Algebraic notions of nontermination: Omega and divergence in idempotent semirings.

[BibT_eX]

[DOI]

,

J. Log. Algebraic Methods Program., 2010

Relations and Kleene algebras in computer science.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Bernhard Möller

,

J. Log. Algebraic Methods Program., 2010

On Automated Program Construction and Verification.

[BibT_eX]

[DOI]

Rudolf Berghammer

,

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Automated verification of refinement laws.

[BibT_eX]

[DOI]

,

,

Geoff Sutcliffe

Ann. Math. Artif. Intell., 2009

Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

,

Bernhard Möller

,

,

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Foundations of Concurrent Kleene Algebra.

[BibT_eX]

[DOI]

,

Bernhard Möller

,

,

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Domain and Antidomain Semigroups.

[BibT_eX]

[DOI]

Jules Desharnais

,

,

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Relations and Kleene Algebras in Computer Science.

[BibT_eX]

[DOI]

Renate A. Schmidt

,

J. Log. Algebraic Methods Program., 2008

Modal Tools for Separation and Refinement.

[BibT_eX]

[DOI]

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Modal Semirings Revisited.

[BibT_eX]

[DOI]

Jules Desharnais

,

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

On Automating the Calculus of Relations.

[BibT_eX]

[DOI]

,

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Domain Axioms for a Family of Near-Semirings.

[BibT_eX]

[DOI]

Jules Desharnais

,

Proceedings of the Algebraic Methodology and Software Technology, 2008

The Structure of the One-Generated Free Domain Semiring.

[BibT_eX]

[DOI]

,

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Non-termination in Idempotent Semirings.

[BibT_eX]

[DOI]

,

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Can Refinement be Automated?

[BibT_eX]

[DOI]

,

Proceedings of the BCS-FACS Refinement Workshop, 2007

Automated Reasoning in Kleene Algebra.

[BibT_eX]

[DOI]

,

Proceedings of the Automated Deduction, 2007

2006

Kleene algebra with domain.

[BibT_eX]

[DOI]

Jules Desharnais

,

Bernhard Möller

,

ACM Trans. Comput. Log., 2006

Algebras of modal operators and partial correctness.

[BibT_eX]

[DOI]

Bernhard Möller

,

Theor. Comput. Sci., 2006

Abstract abstract reduction.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Tableaux for Lattices.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

Quantales and Temporal Logics.

[BibT_eX]

[DOI]

Bernhard Möller

,

,

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Knuth-Bendix Completion as a Data Structure.

[BibT_eX]

[DOI]

Proceedings of the Relational Methods in Computer Science, 2005

p Is.

[BibT_eX]

[DOI]

Bernhard Möller

,

Proceedings of the Relational Methods in Computer Science, 2005

2004

Diagram Chase in Relational System Development.

[BibT_eX]

[DOI]

,

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Automated Element-Wise Reasoning with Sets.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Termination in Modal Kleene Algebra.

[BibT_eX]

[DOI]

Jules Desharnais

,

Bernhard Möller

,

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Modal Kleene Algebra and Partial Correctness.

[BibT_eX]

[DOI]

Bernhard Möller

,

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

A Calculus for Set-Based Program Development.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2003

Greedy-Like Algorithms in Modal Kleene Algebra.

[BibT_eX]

[DOI]

Bernhard Möller

,

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

Kleene Modules.

[BibT_eX]

[DOI]

,

Bernhard Möller

,

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

Deriving Focused Lattice Calculi.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

2001

Knuth-Bendix Completion for Non-Symmetric Transitive Relations.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

Deriving Focused Calculi for Transitive Relations.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

Calculating Church-Rosser Proofs in Kleene Algebra.

[BibT_eX]

[DOI]

Proceedings of the Relational Methods in Computer Science, 2001

2000

An Algebra of Resolution.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

1998

Canonical transformations in algebra, universal algebra and logic.

[BibT_eX]

[DOI]

PhD thesis, 1998

1997

On the Word Problem for Free Lattices.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

Loading...