Articles with public access mandates - Georg StruthLearn more
Available somewhere: 26
Kleene algebra with domain
J Desharnais, B Möller, G Struth
ACM Transactions on Computational Logic (TOCL) 7 (4), 798-833, 2006
Mandates: German Research Foundation
Building program construction and verification tools from algebraic principles
A Armstrong, VBF Gomes, G Struth
Formal Aspects of Computing 28, 265-293, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Algebraic notions of termination
D Jules, B Möller, S Georg
Logical Methods in Computer Science 7, 2011
Mandates: German Research Foundation
Quantales and temporal logics
B Möller, P Höfner, G Struth
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
Mandates: German Research Foundation
Differential Hoare logics and refinement calculi for hybrid systems with Isabelle/HOL
S Foster, JJ Huerta y Munive, G Struth
Relational and Algebraic Methods in Computer Science: 18th International …, 2020
Mandates: UK Engineering and Physical Sciences Research Council
A program construction and verification tool for separation logic
B Dongol, VBF Gomes, G Struth
Mathematics of Program Construction: 12th International Conference, MPC 2015 …, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Developments in concurrent Kleene algebra
T Hoare, S van Staden, B Möller, G Struth, H Zhu
Journal of logical and algebraic methods in programming 85 (4), 617-636, 2016
Mandates: Swiss National Science Foundation, National Natural Science Foundation of China
Modal Kleene algebra applied to program correctness
VBF Gomes, G Struth
International Symposium on Formal Methods, 310-325, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Generating Posets Beyond N
U Fahrenberg, C Johansen, G Struth, R Bahadur Thapa
Relational and Algebraic Methods in Computer Science: 18th International …, 2020
Mandates: UK Engineering and Physical Sciences Research Council, Research Council of …
Hybrid systems verification with Isabelle/HOL: Simpler syntax, better models, faster proofs
S Foster, JJ Huerta y Munive, M Gleirscher, G Struth
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
Mandates: UK Engineering and Physical Sciences Research Council, UK Research & Innovation
On decidability of concurrent Kleene algebra
P Brunet, D Pous, G Struth
CONCUR, 2017
Mandates: European Commission
Convolution as a unifying concept: Applications in separation logic, interval calculi, and concurrency
B Dongol, IJ Hayes, G Struth
ACM Transactions on Computational Logic (TOCL) 17 (3), 1-25, 2016
Mandates: Australian Research Council, UK Engineering and Physical Sciences Research …
Algebraic principles for rely-guarantee style concurrency verification tools
A Armstrong, VBF Gomes, G Struth
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Algebras for program correctness in Isabelle/HOL
A Armstrong, VBF Gomes, G Struth
Relational and Algebraic Methods in Computer Science: 14th International …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Algebraic coherent confluence and higher globular Kleene algebras
C Calk, E Goubault, P Malbos, G Struth
Logical Methods in Computer Science 18, 2022
Mandates: Agence Nationale de la Recherche
Posets with interfaces as a model for concurrency
U Fahrenberg, C Johansen, G Struth, K Ziemiański
Information and Computation 285, 104914, 2022
Mandates: UK Engineering and Physical Sciences Research Council
Convolution and concurrency
J Cranch, S Doherty, G Struth
Mathematical Structures in Computer Science 31 (8), 918-949, 2021
Mandates: UK Engineering and Physical Sciences Research Council
Probabilistic rely-guarantee calculus
A McIver, T Rabehaja, G Struth
Theoretical Computer Science 655, 120-134, 2016
Mandates: Australian Research Council, UK Engineering and Physical Sciences Research …
Convolution algebras: Relational convolution, generalised modalities and incidence algebras
B Dongol, IJ Hayes, G Struth
Logical Methods in Computer Science 17, 2021
Mandates: Australian Research Council, UK Engineering and Physical Sciences Research …
Lightweight program construction and verification tools in Isabelle/HOL
A Armstrong, VBF Gomes, G Struth
Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program