default search action

combined dblp search
author search
venue search
publication search

ask others

Georg Struth

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j50]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/CalkS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/CalkS24
Cameron Calk, Georg Struth:
Higher Globular Catoids and Quantales. Arch. Formal Proofs 2024 (2024)
[j49]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/StruthM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/StruthM24
Georg Struth, Tanguy Massacrier:
Cubical Categories. Arch. Formal Proofs 2024 (2024)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MalbosMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MalbosMS24
Philippe Malbos, Tanguy Massacrier, Georg Struth:
Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. J. Autom. Reason. 68(4): 20 (2024)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FurusawaGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FurusawaGS24
Hitoshi Furusawa, Walter Guttmann, Georg Struth:
Determinism of multirelations. J. Log. Algebraic Methods Program. 139: 100976 (2024)
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10553
Philippe Malbos, Tanguy Massacrier, Georg Struth:
Single-set cubical categories and their formalisation with a proof assistant. CoRR abs/2401.10553 (2024)
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-12061
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-12061
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)
2023
[j46]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/GuttmannS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/GuttmannS23
Walter Guttmann, Georg Struth:
Inner Structure, Determinism and Modal Algebra of Multirelations. Arch. Formal Proofs 2023 (2023)
[j45]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Struth23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Struth23
Georg Struth:
Catoids, Categories, Groupoids. Arch. Formal Proofs 2023 (2023)
[j44]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/StruthC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/StruthC23
Georg Struth, Cameron Calk:
Modal quantales, involutive quantales, Dedekind Quantales. Arch. Formal Proofs 2023 (2023)
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-11342
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-11342
Hitoshi Furusawa, Walter Guttmann, Georg Struth:
On the Inner Structure of Multirelations. CoRR abs/2305.11342 (2023)
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-11344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-11344
Hitoshi Furusawa, Walter Guttmann, Georg Struth:
Determinism of Multirelations. CoRR abs/2305.11344 (2023)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-11346
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-11346
Hitoshi Furusawa, Walter Guttmann, Georg Struth:
Modal Algebra of Multirelations. CoRR abs/2305.11346 (2023)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-09253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-09253
Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth:
Higher Catoids, Higher Quantales and their Correspondences. CoRR abs/2307.09253 (2023)
2022
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/FahrenbergJSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FahrenbergJSZ22
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with interfaces as a model for concurrency. Inf. Comput. 285(Part): 104914 (2022)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MuniveS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MuniveS22
Jonathan Julián Huerta y Munive, Georg Struth:
Predicate Transformer Semantics for Hybrid Systems. J. Autom. Reason. 66(1): 93-139 (2022)
[j41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/CalkGMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/CalkGMS22
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18(4) (2022)
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/FahrenbergJSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FahrenbergJSZ22
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CONCUR 2022: 29:1-29:18
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-03791
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03791
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
A Kleene Theorem for Higher-Dimensional Automata. CoRR abs/2202.03791 (2022)
2021
[j40]
- view
  - electronic edition @ episciences.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/DongolHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/DongolHS21
Brijesh Dongol, Ian J. Hayes, Georg Struth:
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras. Log. Methods Comput. Sci. 17(1) (2021)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FahrenbergJSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FahrenbergJSZ21
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31(5): 575-613 (2021)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CranchDS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CranchDS21
James Cranch, Simon Doherty, Georg Struth:
Convolution and concurrency. Math. Struct. Comput. Sci. 31(8): 918-949 (2021)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/BannisterHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/BannisterHS21
Callum Bannister, Peter Höfner, Georg Struth:
Effect Algebras, Girard Quantales and Complementation in Separation Logic. RAMiCS 2021: 37-53
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/CalkFJSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/CalkFJSZ21
Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. RAMiCS 2021: 90-107
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FosterMGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FosterMGS21
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
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/Struth21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/Struth21
Georg Struth:
Trimming the Hedges: An Algebra to Tame Concurrency. Theories of Programming 2021: 317-346
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-07557
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-07557
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Languages of Higher-Dimensional Automata. CoRR abs/2103.07557 (2021)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-00188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-00188
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
lr-Multisemigroups and Modal Convolution Algebras. CoRR abs/2105.00188 (2021)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-05987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-05987
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10895
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski:
Posets with Interfaces for Concurrent Kleene Algebra. CoRR abs/2106.10895 (2021)
2020
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/FahrenbergJST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/FahrenbergJST20
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. RAMiCS 2020: 82-99
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/FosterMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/FosterMS20
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
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-11895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-11895
James Cranch, Simon Doherty, Georg Struth:
Relational Semigroups and Object-Free Categories. CoRR abs/2001.11895 (2020)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-02321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-02321
James Cranch, Simon Doherty, Georg Struth:
Convolution and Concurrency. CoRR abs/2002.02321 (2020)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16129
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16129
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR abs/2006.16129 (2020)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-04704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-04704
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi:
Domain Semirings United. CoRR abs/2011.04704 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/HofnerPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HofnerPS19
Peter Höfner, Damien Pous, Georg Struth:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 106: 198-199 (2019)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/RabehajaMMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/RabehajaMMS19
Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth:
Categorical Information Flow. The Art of Modelling Computational Systems 2019: 329-343
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DongolHMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DongolHMS19
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth:
Cylindric Kleene Lattices for Program Construction. MPC 2019: 197-225
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/HoareSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/HoareSW19
Tony Hoare, Georg Struth, Jim Woodcock:
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP 2019: 3-21
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-05618
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05618
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-06162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-06162
Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. CoRR abs/1910.06162 (2019)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-13554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-13554
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)
2018
[j36]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Struth18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Struth18
Georg Struth:
Properties of Orderings and Lattices. Arch. Formal Proofs 2018 (2018)
[j35]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Struth18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Struth18a
Georg Struth:
Quantales. Arch. Formal Proofs 2018 (2018)
[j34]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/Struth18b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Struth18b
Georg Struth:
Transformer Semantics. Arch. Formal Proofs 2018 (2018)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Struth18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Struth18
Georg Struth:
Hoare Semigroups. Math. Struct. Comput. Sci. 28(6): 775-799 (2018)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/McIverRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/McIverRS18
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)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/MuniveS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/MuniveS18
Jonathan Julián Huerta y Munive, Georg Struth:
Verifying Hybrid Systems with Modal Kleene Algebra. RAMiCS 2018: 225-243
2017
[j31]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/DongolGHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/DongolGHS17
Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes, Georg Struth:
Partial Semigroups and Convolution Algebras. Arch. Formal Proofs 2017 (2017)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/FurusawaKST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FurusawaKST17
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)
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BrunetPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BrunetPS17
Paul Brunet, Damien Pous, Georg Struth:
On Decidability of Concurrent Kleene Algebra. CONCUR 2017: 28:1-28:15
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2017
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]
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DongolHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DongolHS17
Brijesh Dongol, Ian J. Hayes, Georg Struth:
Relational Convolution, Generalised Modalities and Incidence Algebras. CoRR abs/1702.04603 (2017)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FurusawaKST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FurusawaKST17
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations. CoRR abs/1705.05650 (2017)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LaurenceS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LaurenceS17
Michael R. Laurence, Georg Struth:
Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras. CoRR abs/1705.05896 (2017)
2016
[j29]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/GomesGHSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/GomesGHSW16
Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber:
Kleene Algebras with Domain. Arch. Formal Proofs 2016 (2016)
[j28]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/GomesS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/GomesS16
Victor B. F. Gomes, Georg Struth:
Program Construction and Verification Components Based on Kleene Algebra. Arch. Formal Proofs 2016 (2016)
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ArmstrongGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ArmstrongGS16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Struth16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Struth16
Georg Struth:
On the expressive power of Kleene algebra with domain. Inf. Process. Lett. 116(4): 284-288 (2016)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HoareSMSZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HoareSMSZ16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/McIverRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/McIverRS16
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic rely-guarantee calculus. Theor. Comput. Sci. 655: 120-134 (2016)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/DongolHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/DongolHS16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/FurusawaS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/FurusawaS16
Hitoshi Furusawa, Georg Struth:
Taming Multirelations. ACM Trans. Comput. Log. 17(4): 28 (2016)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GomesS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GomesS16
Victor B. F. Gomes, Georg Struth:
Modal Kleene Algebra Applied to Program Correctness. FM 2016: 310-325
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/McIverRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/McIverRS16
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ICTAC 2016: 121-138
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/MollerHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/MollerHMS16
Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth:
A Discrete Geometric Model of Concurrent Program Execution. UTP 2016: 1-25
2015
[j21]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/FurusawaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/FurusawaS15
Hitoshi Furusawa, Georg Struth:
Binary Multirelations. Arch. Formal Proofs 2015 (2015)
[j20]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/GomesS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/GomesS15
Victor B. F. Gomes, Georg Struth:
Residuated Lattices. Arch. Formal Proofs 2015 (2015)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FosterS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FosterS15
Simon Foster, Georg Struth:
On the Fine-Structure of Regular Algebra. J. Autom. Reason. 54(2): 165-197 (2015)
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/CranchLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CranchLS15
James Cranch, Michael R. Laurence, Georg Struth:
Completeness results for omega-regular algebras. J. Log. Algebraic Methods Program. 84(3): 402-425 (2015)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/FurusawaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/FurusawaS15
Hitoshi Furusawa, Georg Struth:
Concurrent Dynamic Algebra. ACM Trans. Comput. Log. 16(4): 30:1-30:38 (2015)
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/FurusawaKST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/FurusawaKST15
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Relational Formalisations of Compositions and Liftings of Multirelations. RAMiCS 2015: 84-100
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DongolGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DongolGS15
Brijesh Dongol, Victor B. F. Gomes, Georg Struth:
A Program Construction and Verification Tool for Separation Logic. MPC 2015: 137-158
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FurusawaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FurusawaS15
Hitoshi Furusawa, Georg Struth:
Taming Multirelations. CoRR abs/1501.05147 (2015)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Struth15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Struth15
Georg Struth:
On the Expressive Power of Kleene Algebra with Domain. CoRR abs/1507.07246 (2015)
2014
[j16]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ArmstrongGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ArmstrongGS14
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Kleene Algebra with Tests and Demonic Refinement Algebras. Arch. Formal Proofs 2014 (2014)
[j15]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/FosterS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/FosterS14
Simon Foster, Georg Struth:
Regular Algebras. Arch. Formal Proofs 2014 (2014)
[j14]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/StruthW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/StruthW14
Georg Struth, Tjark Weber:
Relation Algebra. Arch. Formal Proofs 2014 (2014)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ArmstrongSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ArmstrongSW14
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)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/HoareSMSVZO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/HoareSMSVZO14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/ArmstrongGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/ArmstrongGS14
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebras for Program Correctness in Isabelle/HOL. RAMiCS 2014: 49-64
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/LaurenceS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/LaurenceS14
Michael R. Laurence, Georg Struth:
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. RAMiCS 2014: 65-82
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ArmstrongGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ArmstrongGS14
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. FM 2014: 78-93
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ArmstrongGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ArmstrongGS14
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Lightweight Program Construction and Verification Tools in Isabelle/HOL. SEFM 2014: 5-19
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FurusawaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FurusawaS14
Hitoshi Furusawa, Georg Struth:
Concurrent Dynamic Algebra. CoRR abs/1407.5819 (2014)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McIverRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McIverRS14
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Rely-guarantee Calculus. CoRR abs/1409.0582 (2014)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DongolHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DongolHS14
Brijesh Dongol, Ian J. Hayes, Georg Struth:
Convolution, Separation and Concurrency. CoRR abs/1410.4235 (2014)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DongolGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DongolGS14
Brijesh Dongol, Victor B. F. Gomes, Georg Struth:
Principles for Verification Tools: Separation Logic. CoRR abs/1410.4439 (2014)
2013
[b2]
- view
  authority control:
- export record
  dblp key:
  - series/utcs/MollerS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/utcs/MollerS13
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
[j12]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ArmstrongSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ArmstrongSW13
Alasdair Armstrong, Georg Struth, Tjark Weber:
Kleene Algebra. Arch. Formal Proofs 2013 (2013)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ArmstrongSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ArmstrongSW13
Alasdair Armstrong, Georg Struth, Tjark Weber:
Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. ITP 2013: 197-212
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/McIverRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/McIverRS13
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. LPAR 2013: 653-667
[c43]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/McIverRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McIverRS13
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic Concurrent Kleene Algebra. QAPL 2013: 97-115
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-7153
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-7153
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Weak Concurrent Kleene Algebra with Application to Algebraic Verification. CoRR abs/1301.7153 (2013)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McIverRS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McIverRS13a
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. CoRR abs/1310.2320 (2013)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ArmstrongGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArmstrongGS13
Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. CoRR abs/1312.1225 (2013)
2012
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Struth12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Struth12
Georg Struth:
Left omega algebras and regular equations. J. Log. Algebraic Methods Program. 81(6): 705-717 (2012)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/ArmstrongS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/ArmstrongS12
Alasdair Armstrong, Georg Struth:
Automated Reasoning in Higher-Order Regular Algebra. RAMiCS 2012: 66-81
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/LaurenceS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/LaurenceS12
Michael R. Laurence, Georg Struth:
On Completeness of Omega-Regular Algebras. RAMiCS 2012: 179-194
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/FosterS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FosterS12
Simon Foster, Georg Struth:
Automated Analysis of Regular Algebra. IJCAR 2012: 271-285
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FosterRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FosterRS12
Simon Foster, Ondrej Rypacek, Georg Struth:
Correctness of Object Oriented Models by Extended Type Inference. ICTAC 2012: 46-60
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/ArmstrongFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/ArmstrongFS12
Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming Based on Automated Theorem Proving. MPC 2012: 220-240
2011
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-5803
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-5803
Jules Desharnais, Bernhard Möller, Georg Struth:
Algebraic Notions of Termination. Log. Methods Comput. Sci. 7(1) (2011)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HoareMSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HoareMSW11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DesharnaisS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DesharnaisS11
Jules Desharnais, Georg Struth:
Internal axioms for domain semirings. Sci. Comput. Program. 76(3): 181-203 (2011)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/FosterSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/FosterSW11
Simon Foster, Georg Struth, Tjark Weber:
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial). RAMiCS 2011: 52-67
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/LaurenceS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/LaurenceS11
Michael R. Laurence, Georg Struth:
Omega Algebras and Regular Equations. RAMiCS 2011: 248-263
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/McIverRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/McIverRS11
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
On Probabilistic Kleene Algebras, Automata and Simulations. RAMiCS 2011: 264-279
[c34]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ate/GuttmannSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/GuttmannSW11
Walter Guttmann, Georg Struth, Tjark Weber:
A Repository for Tarski-Kleene Algebras. ATE 2011: 30-39
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HoareHMOPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HoareHMOPS11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/GuttmannSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/GuttmannSW11
Walter Guttmann, Georg Struth, Tjark Weber:
Automating Algebraic Methods in Isabelle. ICFEM 2011: 617-632
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FosterS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FosterS11
Simon Foster, Georg Struth:
Integrating an Automated Theorem Prover into Agda. NASA Formal Methods 2011: 116-130
[e3]
- view
- export record
  dblp key:
  - conf/ate/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/2011
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]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1112-3833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-3833
Alasdair Armstrong, Simon Foster, Georg Struth:
Dependently Typed Programming based on Automated Theorem Proving. CoRR abs/1112.3833 (2011)
2010
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BerghammerMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BerghammerMS10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HofnerS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HofnerS10
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)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BerghammerS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BerghammerS10
Rudolf Berghammer, Georg Struth:
On Automated Program Construction and Verification. MPC 2010: 22-41

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HofnerSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HofnerSS09
Peter Höfner, Georg Struth, Geoff Sutcliffe:
Automated verification of refinement laws. Ann. Math. Artif. Intell. 55(1-2): 35-62 (2009)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/DesharnaisJS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/DesharnaisJS09
Jules Desharnais, Peter Jipsen, Georg Struth:
Domain and Antidomain Semigroups. RelMiCS 2009: 73-87
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/HoareMSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/HoareMSW09
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Foundations of Concurrent Kleene Algebra. RelMiCS 2009: 166-186
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HoareMSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HoareMSW09
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Concurrent Kleene Algebra. CONCUR 2009: 399-414
2008
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/SchmidtS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/SchmidtS08
Renate A. Schmidt, Georg Struth:
Relations and Kleene Algebras in Computer Science. J. Log. Algebraic Methods Program. 76(1): 1-2 (2008)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/HofnerS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/HofnerS08
Peter Höfner, Georg Struth:
Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/JipsenS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/JipsenS08
Peter Jipsen, Georg Struth:
The Structure of the One-Generated Free Domain Semiring. RelMiCS 2008: 234-242
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/DesharnaisS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/DesharnaisS08
Jules Desharnais, Georg Struth:
Domain Axioms for a Family of Near-Semirings. AMAST 2008: 330-345
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HofnerS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HofnerS08
Peter Höfner, Georg Struth:
On Automating the Calculus of Relations. IJCAR 2008: 50-66
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DesharnaisS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DesharnaisS08
Jules Desharnais, Georg Struth:
Modal Semirings Revisited. MPC 2008: 360-387
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Struth08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Struth08
Georg Struth:
Modal Tools for Separation and Refinement. Refine@FM 2008: 81-101
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/2008
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]
2007
[c20]
- view
  authority control: