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

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 and concurrency.

Authors: Cranch, James Doherty, Simon Struth, Georg

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

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

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.

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

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

Posets with interfaces as a model for concurrency.

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

Source: Information & Computation; May2022:Part B, Vol. 285, pN.PAG-N.PAG, 1p