Search Results - "Struth, Georg"

Modal algebra of multirelations.

Authors: Furusawa, Hitoshi Guttmann, Walter Struth, Georg

Source: Journal of Logic & Computation; Apr2025, Vol. 35 Issue 3, p1-23, 23p

KLEENE THEOREM FOR HIGHER-DIMENSIONAL AUTOMATA.

Authors: FAHRENBERG, ULI JOHANSEN, CHRISTIAN STRUTH, GEORG et al.

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p22:1-22:50, 50p

ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS.

Authors: CALK, CAMERON GOUBAULT, ERIC MALBOS, PHILIPPE et al.

Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 4, p1-43, 43p

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale.

Authors: Huerta y Munive, Jonathan Julián Foster, Simon Gleirscher, Mario et al.

Source: Journal of Automated Reasoning; Dec2024, Vol. 68 Issue 4, p1-50, 50p

Single-Set Cubical Categories and Their Formalisation with a Proof Assistant.

Authors: Malbos, Philippe Massacrier, Tanguy Struth, Georg

Source: Journal of Automated Reasoning; Dec2024, Vol. 68 Issue 4, p1-32, 32p

CONVOLUTION ALGEBRAS: RELATIONAL CONVOLUTION, GENERALISED MODALITIES AND INCIDENCE ALGEBRAS.

Authors: DONGOL, BRIJESH HAYES, IAN J. STRUTH, GEORG

Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 1, p1-34, 34p

Hoare Semigroups.

Authors: STRUTH, GEORG¹ g.struth@sheffield.ac.uk

Source: Mathematical Structures in Computer Science. Jun2018, Vol. 28 Issue 6, p775-799. 25p.

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

Authors: Huerta y Munive, Jonathan Julián Struth, Georg

Source: Journal of Automated Reasoning. Feb2022, Vol. 66 Issue 1, p93-139. 47p.

Subjects: Hybrid systems, Invariant sets, Vector fields, Mathematical models, Mathematical analysis

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

Authors: DONGOL, BRIJESH HAYES, IAN J. STRUTH, GEORG

Source: ACM Transactions on Computational Logic; Jun2016, p1-25, 25p

Domain Semirings United.

Authors: Fahrenberg, Uli Johansen, Christian Struth, Georg et al.

Source: Acta Cybernetica; 2022, Vol. 25 Issue 3, p575-583, 9p

Convolution and concurrency.

Authors: Cranch, James Doherty, Simon Struth, Georg

Source: Mathematical Structures in Computer Science; Sep2021, Vol. 31 Issue 8, p918-949, 32p

Kleene Algebra with Domain.

Authors: Desharnais, Jules Möller, Bernhard Struth, Georg

Source: ACM Transactions on Computational Logic; Oct2006, Vol. 7 Issue 4, p798-833, 36p

Languages of higher-dimensional automata.

Authors: Fahrenberg, Uli Johansen, Christian Struth, Georg et al.

Source: Mathematical Structures in Computer Science; May2021, Vol. 31 Issue 5, p575-613, 39p

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

Authors: McIver, Annabelle Rabehaja, Tahiry Struth, Georg

Source: Theoretical Computer Science; Oct2018, Vol. 744, p97-112, 16p

Catoids and modal convolution algebras.

Authors: Fahrenberg, Uli Johansen, Christian Struth, Georg et al.

Source: Algebra Universalis. May2023, Vol. 84 Issue 2, p1-40. 40p.

On the expressive power of Kleene algebra with domain.

Authors: Struth, Georg¹ g.struth@sheffield.ac.uk

Source: Information Processing Letters. Apr2016, Vol. 116 Issue 4, p284-288. 5p.

Subjects: Kleene algebra, Power law (Mathematics), Semirings (Mathematics), Hoare logic, Numerical analysis

On the Fine-Structure of Regular Algebra.

Authors: Foster, Simon Struth, Georg

Source: Journal of Automated Reasoning. Feb2015, Vol. 54 Issue 2, p165-197. 33p.

Subjects: Algebra, Mathematical analysis, Axioms, Mathematics theorems, Automation

Probabilistic rely-guarantee calculus.

Authors: McIver, Annabelle Rabehaja, Tahiry Struth, Georg

Source: Theoretical Computer Science; Dec2016 Part B, Vol. 655, p120-134, 15p

Internal axioms for domain semirings

Authors: Desharnais, Jules Struth, Georg

Source: Science of Computer Programming. Mar2011, Vol. 76 Issue 3, p181-203. 23p.

Subjects: Axioms, Semirings (Mathematics), Kleene algebra, Automatic theorem proving, Distributive lattices, Boolean algebra

Algebras of modal operators and partial correctness

Authors: Möller, Bernhard Struth, Georg

Source: Theoretical Computer Science. Feb2006, Vol. 351 Issue 2, p221-239. 19p.

Subjects: Galois theory, Hoare logic, Mathematical logic, Algebra