default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorg Struth
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2013
[b2]Faron Moller
, Georg Struth:
Modelling Computing Systems - Mathematics for Computer Science. Undergraduate Topics in Computer Science, Springer 2013, ISBN 978-1-84800-321-7, pp. I-XVI, 1-500- 1998
- [b1]Georg Struth:
Canonical transformations in algebra, universal algebra and logic. Saarland University, Saarbrücken, Germany, 1998, pp. 1-237
Journal Articles
- 2024
- [j51]Cameron Calk, Georg Struth:
Higher Globular Catoids and Quantales. Arch. Formal Proofs 2024 (2024) - [j50]Georg Struth, Tanguy Massacrier:
Cubical Categories. Arch. Formal Proofs 2024 (2024) - [j49]Philippe Malbos, Tanguy Massacrier, Georg Struth:
Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. J. Autom. Reason. 68(4): 20 (2024) - [j48]Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman:
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. J. Autom. Reason. 68(4): 21 (2024) - [j47]Hitoshi Furusawa, Walter Guttmann, Georg Struth:
Determinism of multirelations. J. Log. Algebraic Methods Program. 139: 100976 (2024) - 2023
- [j46]Walter Guttmann, Georg Struth:
Inner Structure, Determinism and Modal Algebra of Multirelations. Arch. Formal Proofs 2023 (2023) - [j45]Georg Struth:
Catoids, Categories, Groupoids. Arch. Formal Proofs 2023 (2023) - [j44]Georg Struth, Cameron Calk:
Modal quantales, involutive quantales, Dedekind Quantales. Arch. Formal Proofs 2023 (2023) - 2022
- [j43]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with interfaces as a model for concurrency. Inf. Comput. 285(Part): 104914 (2022) - [j42]Jonathan Julián Huerta y Munive, Georg Struth:
Predicate Transformer Semantics for Hybrid Systems. J. Autom. Reason. 66(1): 93-139 (2022) - [j41]Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18(4) (2022) - 2021
- [j40]Brijesh Dongol, Ian J. Hayes, Georg Struth:
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras. Log. Methods Comput. Sci. 17(1) (2021) - [j39]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31(5): 575-613 (2021) - [j38]James Cranch, Simon Doherty, Georg Struth:
Convolution and concurrency. Math. Struct. Comput. Sci. 31(8): 918-949 (2021) - 2019
- [j37]Peter Höfner, Damien Pous, Georg Struth:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 106: 198-199 (2019) - 2018
- [j36]Georg Struth:
Properties of Orderings and Lattices. Arch. Formal Proofs 2018 (2018) - [j35]Georg Struth:
Quantales. Arch. Formal Proofs 2018 (2018) - [j34]Georg Struth:
Transformer Semantics. Arch. Formal Proofs 2018 (2018) - [j33]Georg Struth:
Hoare Semigroups. Math. Struct. Comput. Sci. 28(6): 775-799 (2018) - [j32]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and finishers: On generating and filtering the behaviours of an event structure. Theor. Comput. Sci. 744: 97-112 (2018) - 2017
- [j31]Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes, Georg Struth:
Partial Semigroups and Convolution Algebras. Arch. Formal Proofs 2017 (2017) - [j30]Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Kleisli, Parikh and Peleg compositions and liftings for multirelations. J. Log. Algebraic Methods Program. 90: 84-101 (2017) - 2016
- [j29]Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber:
Kleene Algebras with Domain. Arch. Formal Proofs 2016 (2016) - [j28]Victor B. F. Gomes, Georg Struth:
Program Construction and Verification Components Based on Kleene Algebra. Arch. Formal Proofs 2016 (2016) - [j27]Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Building program construction and verification tools from algebraic principles. Formal Aspects Comput. 28(2): 265-293 (2016) - [j26]Georg Struth:
On the expressive power of Kleene algebra with domain. Inf. Process. Lett. 116(4): 284-288 (2016) - [j25]Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu:
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85(4): 617-636 (2016) - [j24]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic rely-guarantee calculus. Theor. Comput. Sci. 655: 120-134 (2016) - [j23]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): 15 (2016) - [j22]Hitoshi Furusawa, Georg Struth:
Taming Multirelations. ACM Trans. Comput. Log. 17(4): 28 (2016) - 2015
- [j21]Hitoshi Furusawa, Georg Struth:
Binary Multirelations. Arch. Formal Proofs 2015 (2015) - [j20]Victor B. F. Gomes, Georg Struth:
Residuated Lattices. Arch. Formal Proofs 2015 (2015) - [j19]Simon Foster, Georg Struth:
On the Fine-Structure of Regular Algebra. J. Autom. Reason. 54(2): 165-197 (2015) - [j18]James Cranch, Michael R. Laurence, Georg Struth:
Completeness results for omega-regular algebras. J. Log. Algebraic Methods Program. 84(3): 402-425 (2015) - [j17]Hitoshi Furusawa, Georg Struth:
Concurrent Dynamic Algebra. ACM Trans. Comput. Log. 16(4): 30:1-30:38 (2015) - 2014
- [j16]Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Kleene Algebra with Tests and Demonic Refinement Algebras. Arch. Formal Proofs 2014 (2014) - [j15]Simon Foster, Georg Struth:
Regular Algebras. Arch. Formal Proofs 2014 (2014) - [j14]Georg Struth, Tjark Weber:
Relation Algebra. Arch. Formal Proofs 2014 (2014) - [j13]Alasdair Armstrong, Georg Struth, Tjark Weber:
Programming and automating mathematics in the Tarski-Kleene hierarchy. J. Log. Algebraic Methods Program. 83(2): 87-102 (2014) - 2013
- [j12]Alasdair Armstrong, Georg Struth, Tjark Weber:
Kleene Algebra. Arch. Formal Proofs 2013 (2013) - 2012
- [j11]Georg Struth:
Left omega algebras and regular equations. J. Log. Algebraic Methods Program. 81(6): 705-717 (2012) - 2011
- [j10]Jules Desharnais, Bernhard Möller, Georg Struth:
Algebraic Notions of Termination. Log. Methods Comput. Sci. 7(1) (2011) - [j9]Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. 80(6): 266-296 (2011) - [j8]Jules Desharnais, Georg Struth:
Internal axioms for domain semirings. Sci. Comput. Program. 76(3): 181-203 (2011) - 2010
- [j7]Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 79(8): 705-706 (2010) - [j6]Peter Höfner, Georg Struth:
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. J. Log. Algebraic Methods Program. 79(8): 794-811 (2010) - 2009
- [j5]Peter Höfner, Georg Struth, Geoff Sutcliffe:
Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009) - 2008
- [j4]Renate A. Schmidt, Georg Struth:
Relations and Kleene Algebras in Computer Science. J. Log. Algebraic Methods Program. 76(1): 1-2 (2008) - 2006
- [j3]Georg Struth:
Abstract abstract reduction. J. Log. Algebraic Methods Program. 66(2): 239-270 (2006) - [j2]Bernhard Möller, Georg Struth:
Algebras of modal operators and partial correctness. Theor. Comput. Sci. 351(2): 221-239 (2006) - [j1]Jules Desharnais, Bernhard Möller, Georg Struth:
Kleene algebra with domain. ACM Trans. Comput. Log. 7(4): 798-833 (2006)
Conference and Workshop Papers
- 2022
- [c66]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CONCUR 2022: 29:1-29:18 - 2021
- [c65]Callum Bannister, Peter Höfner, Georg Struth:
Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS 2021: 37-53 - [c64]Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS 2021: 90-107 - [c63]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: 367-386 - 2020
- [c62]Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. RAMiCS 2020: 82-99 - [c61]Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth:
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. RAMiCS 2020: 169-186 - 2019
- [c60]Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth:
Categorical Information Flow. The Art of Modelling Computational Systems 2019: 329-343 - [c59]Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth:
Cylindric Kleene Lattices for Program Construction. MPC 2019: 197-225 - [c58]Tony Hoare, Georg Struth, Jim Woodcock:
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP 2019: 3-21 - 2018
- [c57]Jonathan Julián Huerta y Munive, Georg Struth:
Verifying Hybrid Systems with Modal Kleene Algebra. RAMiCS 2018: 225-243 - 2017
- [c56]Paul Brunet, Damien Pous, Georg Struth:
On Decidability of Concurrent Kleene Algebra. CONCUR 2017: 28:1-28:15 - 2016
- [c55]Victor B. F. Gomes, Georg Struth:
Modal Kleene Algebra Applied to Program Correctness. FM 2016: 310-325 - [c54]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ICTAC 2016: 121-138 - [c53]Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth:
A Discrete Geometric Model of Concurrent Program Execution. UTP 2016: 1-25 - 2015
- [c52]Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Relational Formalisations of Compositions and Liftings of Multirelations. RAMiCS 2015: 84-100 - [c51]Brijesh Dongol, Victor B. F. Gomes, Georg Struth:
A Program Construction and Verification Tool for Separation Logic. MPC 2015: 137-158 - 2014
- [c50]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: 1-18 - [c49]Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebras for Program Correctness in Isabelle/HOL. RAMiCS 2014: 49-64 - [c48]Michael R. Laurence, Georg Struth:
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. RAMiCS 2014: 65-82 - [c47]Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. FM 2014: 78-93 - [c46]Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Lightweight Program Construction and Verification Tools in Isabelle/HOL. SEFM 2014: 5-19 - 2013
- [c45]Alasdair Armstrong, Georg Struth, Tjark Weber:
Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. ITP 2013: 197-212 - [c44]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. LPAR 2013: 653-667 - [c43]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Concurrent Kleene Algebra. QAPL 2013: 97-115 - 2012
- [c42]Alasdair Armstrong, Georg Struth:
Automated Reasoning in Higher-Order Regular Algebra. RAMiCS 2012: 66-81 - [c41]Michael R. Laurence, Georg Struth:
On Completeness of Omega-Regular Algebras. RAMiCS 2012: 179-194 - [c40]Simon Foster, Georg Struth:
Automated Analysis of Regular Algebra. IJCAR 2012: 271-285 - [c39]Simon Foster, Ondrej Rypacek, Georg Struth:
Correctness of Object Oriented Models by Extended Type Inference. ICTAC 2012: 46-60 - [c38]Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming Based on Automated Theorem Proving. MPC 2012: 220-240 - 2011
- [c37]Simon Foster, Georg Struth, Tjark Weber:
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS 2011: 52-67 - [c36]Michael R. Laurence, Georg Struth:
Omega Algebras and Regular Equations. RAMiCS 2011: 248-263 - [c35]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
On Probabilistic Kleene Algebras, Automata and Simulations. RAMiCS 2011: 264-279 - [c34]Walter Guttmann, Georg Struth, Tjark Weber:
A Repository for Tarski-Kleene Algebras. ATE 2011: 30-39 - [c33]C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth:
On Locality and the Exchange Law for Concurrent Processes. CONCUR 2011: 250-264 - [c32]Walter Guttmann, Georg Struth, Tjark Weber:
Automating Algebraic Methods in Isabelle. ICFEM 2011: 617-632 - [c31]Simon Foster, Georg Struth:
Integrating an Automated Theorem Prover into Agda. NASA Formal Methods 2011: 116-130 - 2010
- [c30]Rudolf Berghammer, Georg Struth:
On Automated Program Construction and Verification. MPC 2010: 22-41 - 2009
- [c29]Jules Desharnais, Peter Jipsen, Georg Struth:
Domain and Antidomain Semigroups. RelMiCS 2009: 73-87 - [c28]C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Foundations of Concurrent Kleene Algebra. RelMiCS 2009: 166-186 - [c27]C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra. CONCUR 2009: 399-414 - 2008
- [c26]Peter Höfner, Georg Struth:
Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220 - [c25]Peter Jipsen, Georg Struth:
The Structure of the One-Generated Free Domain Semiring. RelMiCS 2008: 234-242 - [c24]Jules Desharnais, Georg Struth:
Domain Axioms for a Family of Near-Semirings. AMAST 2008: 330-345 - [c23]Peter Höfner, Georg Struth:
On Automating the Calculus of Relations. IJCAR 2008: 50-66 - [c22]Jules Desharnais, Georg Struth:
Modal Semirings Revisited. MPC 2008: 360-387 - [c21]Georg Struth:
Modal Tools for Separation and Refinement. Refine@FM 2008: 81-101 - 2007
- [c20]Peter Höfner, Georg Struth:
Automated Reasoning in Kleene Algebra. CADE 2007: 279-294 - [c19]Peter Höfner, Georg Struth:
Can Refinement be Automated? REFINE@IFM 2007: 197-222 - 2006
- [c18]Bernhard Möller, Peter Höfner, Georg Struth:
Quantales and Temporal Logics. AMAST 2006: 263-277 - [c17]Georg Struth:
Tableaux for Lattices. AMAST 2006: 323-337 - [c16]Georg Struth:
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. MPC 2006: 416-432 - 2005
- [c15]Bernhard Möller, Georg Struth:
p Is. RelMiCS 2005: 200-211 - [c14]Georg Struth:
Knuth-Bendix Completion as a Data Structure. RelMiCS 2005: 225-236 - 2004
- [c13]Bernhard Möller, Georg Struth:
Modal Kleene Algebra and Partial Correctness. AMAST 2004: 379-393 - [c12]Jules Desharnais, Bernhard Möller, Georg Struth:
Termination in Modal Kleene Algebra. IFIP TCS 2004: 647-660 - [c11]Georg Struth:
Automated Element-Wise Reasoning with Sets. SEFM 2004: 320-329 - [c10]Michael Ebert, Georg Struth:
Diagram Chase in Relational System Development. VLFM 2004: 87-105 - 2003
- [c9]Thorsten Ehm, Bernhard Möller, Georg Struth:
Kleene Modules. RelMiCS 2003: 112-124 - [c8]Bernhard Möller, Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS 2003: 202-215 - [c7]Georg Struth:
A Calculus for Set-Based Program Development. ICFEM 2003: 541-559 - 2002
- [c6]Georg Struth:
Deriving Focused Lattice Calculi. RTA 2002: 83-97 - 2001
- [c5]Georg Struth:
Calculating Church-Rosser Proofs in Kleene Algebra. RelMiCS 2001: 276-290 - [c4]Georg Struth:
Deriving Focused Calculi for Transitive Relations. RTA 2001: 291-305 - [c3]Georg Struth:
Knuth-Bendix Completion for Non-Symmetric Transitive Relations. RULE@PLI 2001: 341-357 - 2000
- [c2]Georg Struth:
An Algebra of Resolution. RTA 2000: 214-228 - 1997
- [c1]Georg Struth:
On the Word Problem for Free Lattices. RTA 1997: 128-141
Parts in Books or Collections
- 2021
- [p1]Georg Struth:
Trimming the Hedges: An Algebra to Tame Concurrency. Theories of Programming 2021: 317-346
Editorship
- 2017
- [e4]Peter Höfner, Damien Pous, Georg Struth:
Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Lecture Notes in Computer Science 10226, 2017, ISBN 978-3-319-57417-2 [contents] - 2011
- [e3]Peter Höfner, Annabelle McIver, Georg Struth:
Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011 [contents] - 2008
- [e2]Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings. Lecture Notes in Computer Science 4988, Springer 2008, ISBN 978-3-540-78912-3 [contents] - 2004
- [e1]Rudolf Berghammer, Bernhard Möller, Georg Struth:
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, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3051, Springer 2004, ISBN 3-540-22145-X [contents]
Informal and Other Publications
- 2024
- [i33]Philippe Malbos, Tanguy Massacrier, Georg Struth:
Single-set cubical categories and their formalisation with a proof assistant. CoRR abs/2401.10553 (2024) - [i32]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 abs/2401.12061 (2024) - [i31]Georg Struth, Krzysztof Ziemianski:
Presheaf automata. CoRR abs/2409.04612 (2024) - 2023
- [i30]Hitoshi Furusawa, Walter Guttmann, Georg Struth:
On the Inner Structure of Multirelations. CoRR abs/2305.11342 (2023) - [i29]Hitoshi Furusawa, Walter Guttmann, Georg Struth:
Determinism of Multirelations. CoRR abs/2305.11344 (2023) - [i28]Hitoshi Furusawa, Walter Guttmann, Georg Struth:
Modal Algebra of Multirelations. CoRR abs/2305.11346 (2023) - [i27]Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth:
Higher Catoids, Higher Quantales and their Correspondences. CoRR abs/2307.09253 (2023) - 2022
- [i26]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CoRR abs/2202.03791 (2022) - 2021
- [i25]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of Higher-Dimensional Automata. CoRR abs/2103.07557 (2021) - [i24]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
lr-Multisemigroups and Modal Convolution Algebras. CoRR abs/2105.00188 (2021) - [i23]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 abs/2106.05987 (2021) - [i22]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with Interfaces for Concurrent Kleene Algebra. CoRR abs/2106.10895 (2021) - 2020
- [i21]James Cranch, Simon Doherty, Georg Struth:
Relational Semigroups and Object-Free Categories. CoRR abs/2001.11895 (2020) - [i20]James Cranch, Simon Doherty, Georg Struth:
Convolution and Concurrency. CoRR abs/2002.02321 (2020) - [i19]Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR abs/2006.16129 (2020) - [i18]Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi:
Domain Semirings United. CoRR abs/2011.04704 (2020) - 2019
- [i17]Jonathan Julián Huerta y Munive, Georg Struth:
Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. CoRR abs/1909.05618 (2019) - [i16]Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. CoRR abs/1910.06162 (2019) - [i15]Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth:
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. CoRR abs/1910.13554 (2019) - 2017
- [i14]Brijesh Dongol, Ian J. Hayes, Georg Struth:
Relational Convolution, Generalised Modalities and Incidence Algebras. CoRR abs/1702.04603 (2017) - [i13]Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations. CoRR abs/1705.05650 (2017) - [i12]Michael R. Laurence, Georg Struth:
Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras. CoRR abs/1705.05896 (2017) - 2015
- [i11]Hitoshi Furusawa, Georg Struth:
Taming Multirelations. CoRR abs/1501.05147 (2015) - [i10]Georg Struth:
On the Expressive Power of Kleene Algebra with Domain. CoRR abs/1507.07246 (2015) - 2014
- [i9]Hitoshi Furusawa, Georg Struth:
Concurrent Dynamic Algebra. CoRR abs/1407.5819 (2014) - [i8]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Rely-guarantee Calculus. CoRR abs/1409.0582 (2014) - [i7]Brijesh Dongol, Ian J. Hayes, Georg Struth:
Convolution, Separation and Concurrency. CoRR abs/1410.4235 (2014) - [i6]Brijesh Dongol, Victor B. F. Gomes, Georg Struth:
Principles for Verification Tools: Separation Logic. CoRR abs/1410.4439 (2014) - 2013
- [i5]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Weak Concurrent Kleene Algebra with Application to Algebraic Verification. CoRR abs/1301.7153 (2013) - [i4]Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. CoRR abs/1310.2320 (2013) - [i3]Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. CoRR abs/1312.1225 (2013) - 2011
- [i2]Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming based on Automated Theorem Proving. CoRR abs/1112.3833 (2011) - 2003
- [i1]Jules Desharnais, Bernhard Möller, Georg Struth:
Kleene algebra with domain. CoRR cs.LO/0310054 (2003)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
