default search action
BibTeX records: Georg Struth
@article{DBLP:journals/afp/CalkS24, author = {Cameron Calk and Georg Struth}, title = {Higher Globular Catoids and Quantales}, journal = {Arch. Formal Proofs}, volume = {2024}, year = {2024}, url = {https://www.isa-afp.org/entries/OmegaCatoidsQuantales.html}, timestamp = {Tue, 20 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/afp/CalkS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/StruthM24, author = {Georg Struth and Tanguy Massacrier}, title = {Cubical Categories}, journal = {Arch. Formal Proofs}, volume = {2024}, year = {2024}, url = {https://www.isa-afp.org/entries/CubicalCategories.html}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/afp/StruthM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/MalbosMS24, author = {Philippe Malbos and Tanguy Massacrier and Georg Struth}, title = {Single-Set Cubical Categories and Their Formalisation with a Proof Assistant}, journal = {J. Autom. Reason.}, volume = {68}, number = {4}, pages = {20}, year = {2024}, url = {https://doi.org/10.1007/s10817-024-09710-9}, doi = {10.1007/S10817-024-09710-9}, timestamp = {Thu, 19 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/MalbosMS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/FurusawaGS24, author = {Hitoshi Furusawa and Walter Guttmann and Georg Struth}, title = {Determinism of multirelations}, journal = {J. Log. Algebraic Methods Program.}, volume = {139}, pages = {100976}, year = {2024}, url = {https://doi.org/10.1016/j.jlamp.2024.100976}, doi = {10.1016/J.JLAMP.2024.100976}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/FurusawaGS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-10553, author = {Philippe Malbos and Tanguy Massacrier and Georg Struth}, title = {Single-set cubical categories and their formalisation with a proof assistant}, journal = {CoRR}, volume = {abs/2401.10553}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.10553}, doi = {10.48550/ARXIV.2401.10553}, eprinttype = {arXiv}, eprint = {2401.10553}, timestamp = {Fri, 02 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-10553.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-12061, author = {Jonathan Juli{\'{a}}n Huerta y Munive and Simon Foster and Mario Gleirscher and Georg Struth and Christian Pardillo Laursen and Thomas Hickman}, title = {Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL}, journal = {CoRR}, volume = {abs/2401.12061}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.12061}, doi = {10.48550/ARXIV.2401.12061}, eprinttype = {arXiv}, eprint = {2401.12061}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-12061.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/GuttmannS23, author = {Walter Guttmann and Georg Struth}, title = {Inner Structure, Determinism and Modal Algebra of Multirelations}, journal = {Arch. Formal Proofs}, volume = {2023}, year = {2023}, url = {https://www.isa-afp.org/entries/Multirelations\_Heterogeneous.html}, timestamp = {Wed, 14 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/GuttmannS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Struth23, author = {Georg Struth}, title = {Catoids, Categories, Groupoids}, journal = {Arch. Formal Proofs}, volume = {2023}, year = {2023}, url = {https://www.isa-afp.org/entries/Catoids.html}, timestamp = {Fri, 15 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Struth23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/StruthC23, author = {Georg Struth and Cameron Calk}, title = {Modal quantales, involutive quantales, Dedekind Quantales}, journal = {Arch. Formal Proofs}, volume = {2023}, year = {2023}, url = {https://www.isa-afp.org/entries/Quantales\_Converse.html}, timestamp = {Tue, 15 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/StruthC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-11342, author = {Hitoshi Furusawa and Walter Guttmann and Georg Struth}, title = {On the Inner Structure of Multirelations}, journal = {CoRR}, volume = {abs/2305.11342}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.11342}, doi = {10.48550/ARXIV.2305.11342}, eprinttype = {arXiv}, eprint = {2305.11342}, timestamp = {Thu, 25 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-11342.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-11344, author = {Hitoshi Furusawa and Walter Guttmann and Georg Struth}, title = {Determinism of Multirelations}, journal = {CoRR}, volume = {abs/2305.11344}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.11344}, doi = {10.48550/ARXIV.2305.11344}, eprinttype = {arXiv}, eprint = {2305.11344}, timestamp = {Thu, 25 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-11344.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-11346, author = {Hitoshi Furusawa and Walter Guttmann and Georg Struth}, title = {Modal Algebra of Multirelations}, journal = {CoRR}, volume = {abs/2305.11346}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.11346}, doi = {10.48550/ARXIV.2305.11346}, eprinttype = {arXiv}, eprint = {2305.11346}, timestamp = {Thu, 25 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-11346.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-09253, author = {Cameron Calk and Philippe Malbos and Damien Pous and Georg Struth}, title = {Higher Catoids, Higher Quantales and their Correspondences}, journal = {CoRR}, volume = {abs/2307.09253}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.09253}, doi = {10.48550/ARXIV.2307.09253}, eprinttype = {arXiv}, eprint = {2307.09253}, timestamp = {Tue, 25 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-09253.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FahrenbergJSZ22, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Posets with interfaces as a model for concurrency}, journal = {Inf. Comput.}, volume = {285}, number = {Part}, pages = {104914}, year = {2022}, url = {https://doi.org/10.1016/j.ic.2022.104914}, doi = {10.1016/J.IC.2022.104914}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/FahrenbergJSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/MuniveS22, author = {Jonathan Juli{\'{a}}n Huerta y Munive and Georg Struth}, title = {Predicate Transformer Semantics for Hybrid Systems}, journal = {J. Autom. Reason.}, volume = {66}, number = {1}, pages = {93--139}, year = {2022}, url = {https://doi.org/10.1007/s10817-021-09607-x}, doi = {10.1007/S10817-021-09607-X}, timestamp = {Tue, 08 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/MuniveS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/CalkGMS22, author = {Cameron Calk and Eric Goubault and Philippe Malbos and Georg Struth}, title = {Algebraic coherent confluence and higher globular Kleene algebras}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {4}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(4:9)2022}, doi = {10.46298/LMCS-18(4:9)2022}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/CalkGMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FahrenbergJSZ22, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, editor = {Bartek Klin and Slawomir Lasota and Anca Muscholl}, title = {A Kleene Theorem for Higher-Dimensional Automata}, booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022, September 12-16, 2022, Warsaw, Poland}, series = {LIPIcs}, volume = {243}, pages = {29:1--29:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.29}, doi = {10.4230/LIPICS.CONCUR.2022.29}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/FahrenbergJSZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-03791, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {A Kleene Theorem for Higher-Dimensional Automata}, journal = {CoRR}, volume = {abs/2202.03791}, year = {2022}, url = {https://arxiv.org/abs/2202.03791}, eprinttype = {arXiv}, eprint = {2202.03791}, timestamp = {Wed, 09 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-03791.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/DongolHS21, author = {Brijesh Dongol and Ian J. Hayes and Georg Struth}, title = {Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras}, journal = {Log. Methods Comput. Sci.}, volume = {17}, number = {1}, year = {2021}, url = {https://lmcs.episciences.org/7164}, timestamp = {Mon, 08 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/DongolHS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/FahrenbergJSZ21, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Languages of higher-dimensional automata}, journal = {Math. Struct. Comput. Sci.}, volume = {31}, number = {5}, pages = {575--613}, year = {2021}, url = {https://doi.org/10.1017/S0960129521000293}, doi = {10.1017/S0960129521000293}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/FahrenbergJSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CranchDS21, author = {James Cranch and Simon Doherty and Georg Struth}, title = {Convolution and concurrency}, journal = {Math. Struct. Comput. Sci.}, volume = {31}, number = {8}, pages = {918--949}, year = {2021}, url = {https://doi.org/10.1017/S0960129522000081}, doi = {10.1017/S0960129522000081}, timestamp = {Wed, 18 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CranchDS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/BannisterHS21, author = {Callum Bannister and Peter H{\"{o}}fner and Georg Struth}, editor = {Uli Fahrenberg and Mai Gehrke and Luigi Santocanale and Michael Winter}, title = {Effect Algebras, Girard Quantales and Complementation in Separation Logic}, booktitle = {Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13027}, pages = {37--53}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88701-8\_3}, doi = {10.1007/978-3-030-88701-8\_3}, timestamp = {Mon, 25 Oct 2021 18:18:58 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/BannisterHS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/CalkFJSZ21, author = {Cameron Calk and Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, editor = {Uli Fahrenberg and Mai Gehrke and Luigi Santocanale and Michael Winter}, title = {{\(\mathscr{l}\)} r-Multisemigroups, Modal Quantales and the Origin of Locality}, booktitle = {Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13027}, pages = {90--107}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88701-8\_6}, doi = {10.1007/978-3-030-88701-8\_6}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/CalkFJSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/FosterMGS21, author = {Simon Foster and Jonathan Juli{\'{a}}n Huerta y Munive and Mario Gleirscher and Georg Struth}, editor = {Marieke Huisman and Corina S. Pasareanu and Naijun Zhan}, title = {Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs}, booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual Event, November 20-26, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13047}, pages = {367--386}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-90870-6\_20}, doi = {10.1007/978-3-030-90870-6\_20}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/FosterMGS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/mc/21/Struth21, author = {Georg Struth}, editor = {Cliff B. Jones and Jayadev Misra}, title = {Trimming the Hedges: An Algebra to Tame Concurrency}, booktitle = {Theories of Programming: The Life and Works of Tony Hoare}, series = {{ACM} Books}, volume = {39}, pages = {317--346}, publisher = {{ACM} / Morgan {\&} Claypool}, year = {2021}, url = {https://doi.org/10.1145/3477355.3477370}, doi = {10.1145/3477355.3477370}, timestamp = {Fri, 18 Aug 2023 18:15:50 +0200}, biburl = {https://dblp.org/rec/books/mc/21/Struth21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-07557, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Languages of Higher-Dimensional Automata}, journal = {CoRR}, volume = {abs/2103.07557}, year = {2021}, url = {https://arxiv.org/abs/2103.07557}, eprinttype = {arXiv}, eprint = {2103.07557}, timestamp = {Tue, 23 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-07557.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-00188, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {lr-Multisemigroups and Modal Convolution Algebras}, journal = {CoRR}, volume = {abs/2105.00188}, year = {2021}, url = {https://arxiv.org/abs/2105.00188}, eprinttype = {arXiv}, eprint = {2105.00188}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-00188.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-05987, author = {Simon Foster and Jonathan Juli{\'{a}}n Huerta y Munive and Mario Gleirscher and Georg Struth}, title = {Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs}, journal = {CoRR}, volume = {abs/2106.05987}, year = {2021}, url = {https://arxiv.org/abs/2106.05987}, eprinttype = {arXiv}, eprint = {2106.05987}, timestamp = {Tue, 15 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-05987.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-10895, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianski}, title = {Posets with Interfaces for Concurrent Kleene Algebra}, journal = {CoRR}, volume = {abs/2106.10895}, year = {2021}, url = {https://arxiv.org/abs/2106.10895}, eprinttype = {arXiv}, eprint = {2106.10895}, timestamp = {Tue, 29 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-10895.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/FahrenbergJST20, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Ratan Bahadur Thapa}, editor = {Uli Fahrenberg and Peter Jipsen and Michael Winter}, title = {Generating Posets Beyond {N}}, booktitle = {Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]}, series = {Lecture Notes in Computer Science}, volume = {12062}, pages = {82--99}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-43520-2\_6}, doi = {10.1007/978-3-030-43520-2\_6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/FahrenbergJST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/FosterMS20, author = {Simon Foster and Jonathan Juli{\'{a}}n Huerta y Munive and Georg Struth}, editor = {Uli Fahrenberg and Peter Jipsen and Michael Winter}, title = {Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL}, booktitle = {Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]}, series = {Lecture Notes in Computer Science}, volume = {12062}, pages = {169--186}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-43520-2\_11}, doi = {10.1007/978-3-030-43520-2\_11}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/FosterMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-11895, author = {James Cranch and Simon Doherty and Georg Struth}, title = {Relational Semigroups and Object-Free Categories}, journal = {CoRR}, volume = {abs/2001.11895}, year = {2020}, url = {https://arxiv.org/abs/2001.11895}, eprinttype = {arXiv}, eprint = {2001.11895}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-11895.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-02321, author = {James Cranch and Simon Doherty and Georg Struth}, title = {Convolution and Concurrency}, journal = {CoRR}, volume = {abs/2002.02321}, year = {2020}, url = {https://arxiv.org/abs/2002.02321}, eprinttype = {arXiv}, eprint = {2002.02321}, timestamp = {Mon, 10 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-02321.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-16129, author = {Cameron Calk and Eric Goubault and Philippe Malbos and Georg Struth}, title = {Algebraic coherent confluence and higher-dimensional globular Kleene algebras}, journal = {CoRR}, volume = {abs/2006.16129}, year = {2020}, url = {https://arxiv.org/abs/2006.16129}, eprinttype = {arXiv}, eprint = {2006.16129}, timestamp = {Wed, 01 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-16129.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-04704, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemianksi}, title = {Domain Semirings United}, journal = {CoRR}, volume = {abs/2011.04704}, year = {2020}, url = {https://arxiv.org/abs/2011.04704}, eprinttype = {arXiv}, eprint = {2011.04704}, timestamp = {Thu, 12 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-04704.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HofnerPS19, author = {Peter H{\"{o}}fner and Damien Pous and Georg Struth}, title = {Relational and algebraic methods in computer science}, journal = {J. Log. Algebraic Methods Program.}, volume = {106}, pages = {198--199}, year = {2019}, url = {https://doi.org/10.1016/j.jlamp.2019.05.005}, doi = {10.1016/J.JLAMP.2019.05.005}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HofnerPS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/RabehajaMMS19, author = {Tahiry M. Rabehaja and Annabelle McIver and Carroll Morgan and Georg Struth}, editor = {M{\'{a}}rio S. Alvim and Kostas Chatzikokolakis and Carlos Olarte and Frank Valencia}, title = {Categorical Information Flow}, booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11760}, pages = {329--343}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31175-9\_19}, doi = {10.1007/978-3-030-31175-9\_19}, timestamp = {Sat, 09 Apr 2022 12:46:09 +0200}, biburl = {https://dblp.org/rec/conf/birthday/RabehajaMMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/DongolHMS19, author = {Brijesh Dongol and Ian J. Hayes and Larissa Meinicke and Georg Struth}, editor = {Graham Hutton}, title = {Cylindric Kleene Lattices for Program Construction}, booktitle = {Mathematics of Program Construction - 13th International Conference, {MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11825}, pages = {197--225}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33636-3\_8}, doi = {10.1007/978-3-030-33636-3\_8}, timestamp = {Thu, 07 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mpc/DongolHMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/HoareSW19, author = {Tony Hoare and Georg Struth and Jim Woodcock}, editor = {Pedro Ribeiro and Augusto Sampaio}, title = {A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic}, booktitle = {Unifying Theories of Programming - 7th International Symposium, {UTP} 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11885}, pages = {3--21}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31038-7\_1}, doi = {10.1007/978-3-030-31038-7\_1}, timestamp = {Wed, 12 Jun 2024 21:04:53 +0200}, biburl = {https://dblp.org/rec/conf/utp/HoareSW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-05618, author = {Jonathan Juli{\'{a}}n Huerta y Munive and Georg Struth}, title = {Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL}, journal = {CoRR}, volume = {abs/1909.05618}, year = {2019}, url = {http://arxiv.org/abs/1909.05618}, eprinttype = {arXiv}, eprint = {1909.05618}, timestamp = {Wed, 18 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-05618.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-06162, author = {Uli Fahrenberg and Christian Johansen and Georg Struth and Ratan Bahadur Thapa}, title = {Generating Posets Beyond {N}}, journal = {CoRR}, volume = {abs/1910.06162}, year = {2019}, url = {http://arxiv.org/abs/1910.06162}, eprinttype = {arXiv}, eprint = {1910.06162}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-06162.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-13554, author = {Simon Foster and Jonathan Juli{\'{a}}n Huerta y Munive and Georg Struth}, title = {Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL}, journal = {CoRR}, volume = {abs/1910.13554}, year = {2019}, url = {http://arxiv.org/abs/1910.13554}, eprinttype = {arXiv}, eprint = {1910.13554}, timestamp = {Thu, 31 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-13554.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Struth18, author = {Georg Struth}, title = {Properties of Orderings and Lattices}, journal = {Arch. Formal Proofs}, volume = {2018}, year = {2018}, url = {https://www.isa-afp.org/entries/Order\_Lattice\_Props.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Struth18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Struth18a, author = {Georg Struth}, title = {Quantales}, journal = {Arch. Formal Proofs}, volume = {2018}, year = {2018}, url = {https://www.isa-afp.org/entries/Quantales.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Struth18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Struth18b, author = {Georg Struth}, title = {Transformer Semantics}, journal = {Arch. Formal Proofs}, volume = {2018}, year = {2018}, url = {https://www.isa-afp.org/entries/Transformer\_Semantics.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Struth18b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Struth18, author = {Georg Struth}, title = {Hoare Semigroups}, journal = {Math. Struct. Comput. Sci.}, volume = {28}, number = {6}, pages = {775--799}, year = {2018}, url = {https://doi.org/10.1017/S096012951700007X}, doi = {10.1017/S096012951700007X}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Struth18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/McIverRS18, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, title = {Schedulers and finishers: On generating and filtering the behaviours of an event structure}, journal = {Theor. Comput. Sci.}, volume = {744}, pages = {97--112}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2018.01.015}, doi = {10.1016/J.TCS.2018.01.015}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/McIverRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/MuniveS18, author = {Jonathan Juli{\'{a}}n Huerta y Munive and Georg Struth}, editor = {Jules Desharnais and Walter Guttmann and Stef Joosten}, title = {Verifying Hybrid Systems with Modal Kleene Algebra}, booktitle = {Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11194}, pages = {225--243}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02149-8\_14}, doi = {10.1007/978-3-030-02149-8\_14}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/MuniveS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/DongolGHS17, author = {Brijesh Dongol and Victor B. F. Gomes and Ian J. Hayes and Georg Struth}, title = {Partial Semigroups and Convolution Algebras}, journal = {Arch. Formal Proofs}, volume = {2017}, year = {2017}, url = {https://www.isa-afp.org/entries/PSemigroupsConvolution.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/DongolGHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/FurusawaKST17, author = {Hitoshi Furusawa and Yasuo Kawahara and Georg Struth and Norihiro Tsumagari}, title = {Kleisli, Parikh and Peleg compositions and liftings for multirelations}, journal = {J. Log. Algebraic Methods Program.}, volume = {90}, pages = {84--101}, year = {2017}, url = {https://doi.org/10.1016/j.jlamp.2017.04.002}, doi = {10.1016/J.JLAMP.2017.04.002}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/FurusawaKST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BrunetPS17, author = {Paul Brunet and Damien Pous and Georg Struth}, editor = {Roland Meyer and Uwe Nestmann}, title = {On Decidability of Concurrent Kleene Algebra}, booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017, September 5-8, 2017, Berlin, Germany}, series = {LIPIcs}, volume = {85}, pages = {28:1--28:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.28}, doi = {10.4230/LIPICS.CONCUR.2017.28}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/concur/BrunetPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/RelMiCS/2017, editor = {Peter H{\"{o}}fner and Damien Pous and Georg Struth}, title = {Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10226}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-57418-9}, doi = {10.1007/978-3-319-57418-9}, isbn = {978-3-319-57417-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DongolHS17, author = {Brijesh Dongol and Ian J. Hayes and Georg Struth}, title = {Relational Convolution, Generalised Modalities and Incidence Algebras}, journal = {CoRR}, volume = {abs/1702.04603}, year = {2017}, url = {http://arxiv.org/abs/1702.04603}, eprinttype = {arXiv}, eprint = {1702.04603}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DongolHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FurusawaKST17, author = {Hitoshi Furusawa and Yasuo Kawahara and Georg Struth and Norihiro Tsumagari}, title = {Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations}, journal = {CoRR}, volume = {abs/1705.05650}, year = {2017}, url = {http://arxiv.org/abs/1705.05650}, eprinttype = {arXiv}, eprint = {1705.05650}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FurusawaKST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LaurenceS17, author = {Michael R. Laurence and Georg Struth}, title = {Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras}, journal = {CoRR}, volume = {abs/1705.05896}, year = {2017}, url = {http://arxiv.org/abs/1705.05896}, eprinttype = {arXiv}, eprint = {1705.05896}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LaurenceS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/GomesGHSW16, author = {Victor B. F. Gomes and Walter Guttmann and Peter H{\"{o}}fner and Georg Struth and Tjark Weber}, title = {Kleene Algebras with Domain}, journal = {Arch. Formal Proofs}, volume = {2016}, year = {2016}, url = {https://www.isa-afp.org/entries/KAD.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/GomesGHSW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/GomesS16, author = {Victor B. F. Gomes and Georg Struth}, title = {Program Construction and Verification Components Based on Kleene Algebra}, journal = {Arch. Formal Proofs}, volume = {2016}, year = {2016}, url = {https://www.isa-afp.org/entries/Algebraic\_VCs.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/GomesS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/ArmstrongGS16, author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth}, title = {Building program construction and verification tools from algebraic principles}, journal = {Formal Aspects Comput.}, volume = {28}, number = {2}, pages = {265--293}, year = {2016}, url = {https://doi.org/10.1007/s00165-015-0343-1}, doi = {10.1007/S00165-015-0343-1}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/ArmstrongGS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Struth16, author = {Georg Struth}, title = {On the expressive power of Kleene algebra with domain}, journal = {Inf. Process. Lett.}, volume = {116}, number = {4}, pages = {284--288}, year = {2016}, url = {https://doi.org/10.1016/j.ipl.2015.11.007}, doi = {10.1016/J.IPL.2015.11.007}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Struth16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HoareSMSZ16, author = {Tony Hoare and Stephan van Staden and Bernhard M{\"{o}}ller and Georg Struth and Huibiao Zhu}, title = {Developments in concurrent Kleene algebra}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {4}, pages = {617--636}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2015.09.012}, doi = {10.1016/J.JLAMP.2015.09.012}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/HoareSMSZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/McIverRS16, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, title = {Probabilistic rely-guarantee calculus}, journal = {Theor. Comput. Sci.}, volume = {655}, pages = {120--134}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2016.01.016}, doi = {10.1016/J.TCS.2016.01.016}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/McIverRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/DongolHS16, author = {Brijesh Dongol and Ian J. Hayes and Georg Struth}, title = {Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency}, journal = {{ACM} Trans. Comput. Log.}, volume = {17}, number = {3}, pages = {15}, year = {2016}, url = {https://doi.org/10.1145/2874773}, doi = {10.1145/2874773}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/DongolHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/FurusawaS16, author = {Hitoshi Furusawa and Georg Struth}, title = {Taming Multirelations}, journal = {{ACM} Trans. Comput. Log.}, volume = {17}, number = {4}, pages = {28}, year = {2016}, url = {https://doi.org/10.1145/2964907}, doi = {10.1145/2964907}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/FurusawaS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/GomesS16, author = {Victor B. F. Gomes and Georg Struth}, editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou}, title = {Modal Kleene Algebra Applied to Program Correctness}, booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9995}, pages = {310--325}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48989-6\_19}, doi = {10.1007/978-3-319-48989-6\_19}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/GomesS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/McIverRS16, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, editor = {Augusto Sampaio and Farn Wang}, title = {Schedulers and Finishers: On Generating the Behaviours of an Event Structure}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9965}, pages = {121--138}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46750-4\_8}, doi = {10.1007/978-3-319-46750-4\_8}, timestamp = {Wed, 12 Jun 2024 21:04:53 +0200}, biburl = {https://dblp.org/rec/conf/ictac/McIverRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/utp/MollerHMS16, author = {Bernhard M{\"{o}}ller and Tony Hoare and Martin E. M{\"{u}}ller and Georg Struth}, editor = {Jonathan P. Bowen and Huibiao Zhu}, title = {A Discrete Geometric Model of Concurrent Program Execution}, booktitle = {Unifying Theories of Programming - 6th International Symposium, {UTP} 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10134}, pages = {1--25}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-52228-9\_1}, doi = {10.1007/978-3-319-52228-9\_1}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/utp/MollerHMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/FurusawaS15, author = {Hitoshi Furusawa and Georg Struth}, title = {Binary Multirelations}, journal = {Arch. Formal Proofs}, volume = {2015}, year = {2015}, url = {https://www.isa-afp.org/entries/Multirelations.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/FurusawaS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/GomesS15, author = {Victor B. F. Gomes and Georg Struth}, title = {Residuated Lattices}, journal = {Arch. Formal Proofs}, volume = {2015}, year = {2015}, url = {https://www.isa-afp.org/entries/Residuated\_Lattices.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/GomesS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/FosterS15, author = {Simon Foster and Georg Struth}, title = {On the Fine-Structure of Regular Algebra}, journal = {J. Autom. Reason.}, volume = {54}, number = {2}, pages = {165--197}, year = {2015}, url = {https://doi.org/10.1007/s10817-014-9318-9}, doi = {10.1007/S10817-014-9318-9}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/FosterS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CranchLS15, author = {James Cranch and Michael R. Laurence and Georg Struth}, title = {Completeness results for omega-regular algebras}, journal = {J. Log. Algebraic Methods Program.}, volume = {84}, number = {3}, pages = {402--425}, year = {2015}, url = {https://doi.org/10.1016/j.jlamp.2014.10.002}, doi = {10.1016/J.JLAMP.2014.10.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CranchLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/FurusawaS15, author = {Hitoshi Furusawa and Georg Struth}, title = {Concurrent Dynamic Algebra}, journal = {{ACM} Trans. Comput. Log.}, volume = {16}, number = {4}, pages = {30:1--30:38}, year = {2015}, url = {https://doi.org/10.1145/2785967}, doi = {10.1145/2785967}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/FurusawaS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/FurusawaKST15, author = {Hitoshi Furusawa and Yasuo Kawahara and Georg Struth and Norihiro Tsumagari}, editor = {Wolfram Kahl and Michael Winter and Jos{\'{e}} Nuno Oliveira}, title = {Relational Formalisations of Compositions and Liftings of Multirelations}, booktitle = {Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9348}, pages = {84--100}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24704-5\_6}, doi = {10.1007/978-3-319-24704-5\_6}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/FurusawaKST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/DongolGS15, author = {Brijesh Dongol and Victor B. F. Gomes and Georg Struth}, editor = {Ralf Hinze and Janis Voigtl{\"{a}}nder}, title = {A Program Construction and Verification Tool for Separation Logic}, booktitle = {Mathematics of Program Construction - 12th International Conference, {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9129}, pages = {137--158}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19797-5\_7}, doi = {10.1007/978-3-319-19797-5\_7}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/DongolGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FurusawaS15, author = {Hitoshi Furusawa and Georg Struth}, title = {Taming Multirelations}, journal = {CoRR}, volume = {abs/1501.05147}, year = {2015}, url = {http://arxiv.org/abs/1501.05147}, eprinttype = {arXiv}, eprint = {1501.05147}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FurusawaS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Struth15, author = {Georg Struth}, title = {On the Expressive Power of Kleene Algebra with Domain}, journal = {CoRR}, volume = {abs/1507.07246}, year = {2015}, url = {http://arxiv.org/abs/1507.07246}, eprinttype = {arXiv}, eprint = {1507.07246}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Struth15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/ArmstrongGS14, author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth}, title = {Kleene Algebra with Tests and Demonic Refinement Algebras}, journal = {Arch. Formal Proofs}, volume = {2014}, year = {2014}, url = {https://www.isa-afp.org/entries/KAT\_and\_DRA.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/ArmstrongGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/FosterS14, author = {Simon Foster and Georg Struth}, title = {Regular Algebras}, journal = {Arch. Formal Proofs}, volume = {2014}, year = {2014}, url = {https://www.isa-afp.org/entries/Regular\_Algebras.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/FosterS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/StruthW14, author = {Georg Struth and Tjark Weber}, title = {Relation Algebra}, journal = {Arch. Formal Proofs}, volume = {2014}, year = {2014}, url = {https://www.isa-afp.org/entries/Relation\_Algebra.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/StruthW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/ArmstrongSW14, author = {Alasdair Armstrong and Georg Struth and Tjark Weber}, title = {Programming and automating mathematics in the Tarski-Kleene hierarchy}, journal = {J. Log. Algebraic Methods Program.}, volume = {83}, number = {2}, pages = {87--102}, year = {2014}, url = {https://doi.org/10.1016/j.jlap.2014.02.001}, doi = {10.1016/J.JLAP.2014.02.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/ArmstrongSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/HoareSMSVZO14, author = {Tony Hoare and Stephan van Staden and Bernhard M{\"{o}}ller and Georg Struth and Jules Villard and Huibiao Zhu and Peter W. O'Hearn}, editor = {Peter H{\"{o}}fner and Peter Jipsen and Wolfram Kahl and Martin Eric M{\"{u}}ller}, title = {Developments in Concurrent Kleene Algebra}, booktitle = {Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8428}, pages = {1--18}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06251-8\_1}, doi = {10.1007/978-3-319-06251-8\_1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/HoareSMSVZO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/ArmstrongGS14, author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth}, editor = {Peter H{\"{o}}fner and Peter Jipsen and Wolfram Kahl and Martin Eric M{\"{u}}ller}, title = {Algebras for Program Correctness in Isabelle/HOL}, booktitle = {Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8428}, pages = {49--64}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06251-8\_4}, doi = {10.1007/978-3-319-06251-8\_4}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/ArmstrongGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/LaurenceS14, author = {Michael R. Laurence and Georg Struth}, editor = {Peter H{\"{o}}fner and Peter Jipsen and Wolfram Kahl and Martin Eric M{\"{u}}ller}, title = {Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages}, booktitle = {Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8428}, pages = {65--82}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06251-8\_5}, doi = {10.1007/978-3-319-06251-8\_5}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/LaurenceS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/ArmstrongGS14, author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth}, editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}, title = {Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools}, booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8442}, pages = {78--93}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06410-9\_6}, doi = {10.1007/978-3-319-06410-9\_6}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/ArmstrongGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/ArmstrongGS14, author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth}, editor = {Dimitra Giannakopoulou and Gwen Sala{\"{u}}n}, title = {Lightweight Program Construction and Verification Tools in Isabelle/HOL}, booktitle = {Software Engineering and Formal Methods - 12th International Conference, {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8702}, pages = {5--19}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10431-7\_2}, doi = {10.1007/978-3-319-10431-7\_2}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/sefm/ArmstrongGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FurusawaS14, author = {Hitoshi Furusawa and Georg Struth}, title = {Concurrent Dynamic Algebra}, journal = {CoRR}, volume = {abs/1407.5819}, year = {2014}, url = {http://arxiv.org/abs/1407.5819}, eprinttype = {arXiv}, eprint = {1407.5819}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FurusawaS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/McIverRS14, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, title = {Probabilistic Rely-guarantee Calculus}, journal = {CoRR}, volume = {abs/1409.0582}, year = {2014}, url = {http://arxiv.org/abs/1409.0582}, eprinttype = {arXiv}, eprint = {1409.0582}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/McIverRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DongolHS14, author = {Brijesh Dongol and Ian J. Hayes and Georg Struth}, title = {Convolution, Separation and Concurrency}, journal = {CoRR}, volume = {abs/1410.4235}, year = {2014}, url = {http://arxiv.org/abs/1410.4235}, eprinttype = {arXiv}, eprint = {1410.4235}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DongolHS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DongolGS14, author = {Brijesh Dongol and Victor B. F. Gomes and Georg Struth}, title = {Principles for Verification Tools: Separation Logic}, journal = {CoRR}, volume = {abs/1410.4439}, year = {2014}, url = {http://arxiv.org/abs/1410.4439}, eprinttype = {arXiv}, eprint = {1410.4439}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DongolGS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/utcs/MollerS13, author = {Faron Moller and Georg Struth}, title = {Modelling Computing Systems - Mathematics for Computer Science}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-1-84800-322-4}, doi = {10.1007/978-1-84800-322-4}, isbn = {978-1-84800-321-7}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/utcs/MollerS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/ArmstrongSW13, author = {Alasdair Armstrong and Georg Struth and Tjark Weber}, title = {Kleene Algebra}, journal = {Arch. Formal Proofs}, volume = {2013}, year = {2013}, url = {https://www.isa-afp.org/entries/Kleene\_Algebra.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/ArmstrongSW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/ArmstrongSW13, author = {Alasdair Armstrong and Georg Struth and Tjark Weber}, editor = {Sandrine Blazy and Christine Paulin{-}Mohring and David Pichardie}, title = {Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL}, booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP} 2013, Rennes, France, July 22-26, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7998}, pages = {197--212}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39634-2\_16}, doi = {10.1007/978-3-642-39634-2\_16}, timestamp = {Wed, 25 Sep 2019 18:17:56 +0200}, biburl = {https://dblp.org/rec/conf/itp/ArmstrongSW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/McIverRS13, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, title = {An Event Structure Model for Probabilistic Concurrent Kleene Algebra}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8312}, pages = {653--667}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_43}, doi = {10.1007/978-3-642-45221-5\_43}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/McIverRS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/McIverRS13, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, editor = {Luca Bortolussi and Herbert Wiklicky}, title = {Probabilistic Concurrent Kleene Algebra}, booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March 23-24, 2013}, series = {{EPTCS}}, volume = {117}, pages = {97--115}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.117.7}, doi = {10.4204/EPTCS.117.7}, timestamp = {Tue, 29 Dec 2020 18:21:21 +0100}, biburl = {https://dblp.org/rec/journals/corr/McIverRS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1301-7153, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, title = {Weak Concurrent Kleene Algebra with Application to Algebraic Verification}, journal = {CoRR}, volume = {abs/1301.7153}, year = {2013}, url = {http://arxiv.org/abs/1301.7153}, eprinttype = {arXiv}, eprint = {1301.7153}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1301-7153.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/McIverRS13a, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, title = {An Event Structure Model for Probabilistic Concurrent Kleene Algebra}, journal = {CoRR}, volume = {abs/1310.2320}, year = {2013}, url = {http://arxiv.org/abs/1310.2320}, eprinttype = {arXiv}, eprint = {1310.2320}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/McIverRS13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ArmstrongGS13, author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth}, title = {Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools}, journal = {CoRR}, volume = {abs/1312.1225}, year = {2013}, url = {http://arxiv.org/abs/1312.1225}, eprinttype = {arXiv}, eprint = {1312.1225}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ArmstrongGS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Struth12, author = {Georg Struth}, title = {Left omega algebras and regular equations}, journal = {J. Log. Algebraic Methods Program.}, volume = {81}, number = {6}, pages = {705--717}, year = {2012}, url = {https://doi.org/10.1016/j.jlap.2012.05.004}, doi = {10.1016/J.JLAP.2012.05.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Struth12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/ArmstrongS12, author = {Alasdair Armstrong and Georg Struth}, editor = {Wolfram Kahl and Timothy G. Griffin}, title = {Automated Reasoning in Higher-Order Regular Algebra}, booktitle = {Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7560}, pages = {66--81}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33314-9\_5}, doi = {10.1007/978-3-642-33314-9\_5}, timestamp = {Wed, 15 Dec 2021 11:04:21 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/ArmstrongS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/LaurenceS12, author = {Michael R. Laurence and Georg Struth}, editor = {Wolfram Kahl and Timothy G. Griffin}, title = {On Completeness of Omega-Regular Algebras}, booktitle = {Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7560}, pages = {179--194}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33314-9\_12}, doi = {10.1007/978-3-642-33314-9\_12}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/LaurenceS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/FosterS12, author = {Simon Foster and Georg Struth}, editor = {Bernhard Gramlich and Dale Miller and Uli Sattler}, title = {Automated Analysis of Regular Algebra}, booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR} 2012, Manchester, UK, June 26-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7364}, pages = {271--285}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31365-3\_22}, doi = {10.1007/978-3-642-31365-3\_22}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/FosterS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/FosterRS12, author = {Simon Foster and Ondrej Rypacek and Georg Struth}, editor = {Abhik Roychoudhury and Meenakshi D'Souza}, title = {Correctness of Object Oriented Models by Extended Type Inference}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7521}, pages = {46--60}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32943-2\_4}, doi = {10.1007/978-3-642-32943-2\_4}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/ictac/FosterRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/ArmstrongFS12, author = {Alasdair Armstrong and Simon Foster and Georg Struth}, editor = {Jeremy Gibbons and Pablo Nogueira}, title = {Dependently Typed Programming Based on Automated Theorem Proving}, booktitle = {Mathematics of Program Construction - 11th International Conference, {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7342}, pages = {220--240}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31113-0\_12}, doi = {10.1007/978-3-642-31113-0\_12}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/ArmstrongFS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1012-5803, author = {Jules Desharnais and Bernhard M{\"{o}}ller and Georg Struth}, title = {Algebraic Notions of Termination}, journal = {Log. Methods Comput. Sci.}, volume = {7}, number = {1}, year = {2011}, url = {https://doi.org/10.2168/LMCS-7(1:1)2011}, doi = {10.2168/LMCS-7(1:1)2011}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1012-5803.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HoareMSW11, author = {Tony Hoare and Bernhard M{\"{o}}ller and Georg Struth and Ian Wehrman}, title = {Concurrent Kleene Algebra and its Foundations}, journal = {J. Log. Algebraic Methods Program.}, volume = {80}, number = {6}, pages = {266--296}, year = {2011}, url = {https://doi.org/10.1016/j.jlap.2011.04.005}, doi = {10.1016/J.JLAP.2011.04.005}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/HoareMSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DesharnaisS11, author = {Jules Desharnais and Georg Struth}, title = {Internal axioms for domain semirings}, journal = {Sci. Comput. Program.}, volume = {76}, number = {3}, pages = {181--203}, year = {2011}, url = {https://doi.org/10.1016/j.scico.2010.05.007}, doi = {10.1016/J.SCICO.2010.05.007}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DesharnaisS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/FosterSW11, author = {Simon Foster and Georg Struth and Tjark Weber}, editor = {Harrie C. M. de Swart}, title = {Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial)}, booktitle = {Relational and Algebraic Methods in Computer Science - 12th International Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6663}, pages = {52--67}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21070-9\_5}, doi = {10.1007/978-3-642-21070-9\_5}, timestamp = {Wed, 15 Dec 2021 11:04:20 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/FosterSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/LaurenceS11, author = {Michael R. Laurence and Georg Struth}, editor = {Harrie C. M. de Swart}, title = {Omega Algebras and Regular Equations}, booktitle = {Relational and Algebraic Methods in Computer Science - 12th International Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6663}, pages = {248--263}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21070-9\_19}, doi = {10.1007/978-3-642-21070-9\_19}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/LaurenceS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/McIverRS11, author = {Annabelle McIver and Tahiry M. Rabehaja and Georg Struth}, editor = {Harrie C. M. de Swart}, title = {On Probabilistic Kleene Algebras, Automata and Simulations}, booktitle = {Relational and Algebraic Methods in Computer Science - 12th International Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6663}, pages = {264--279}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21070-9\_20}, doi = {10.1007/978-3-642-21070-9\_20}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/McIverRS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ate/GuttmannSW11, author = {Walter Guttmann and Georg Struth and Tjark Weber}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {A Repository for Tarski-Kleene Algebras}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {30--39}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:01 +0100}, biburl = {https://dblp.org/rec/conf/ate/GuttmannSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/HoareHMOPS11, author = {C. A. R. Hoare and Akbar Hussain and Bernhard M{\"{o}}ller and Peter W. O'Hearn and Rasmus Lerchedahl Petersen and Georg Struth}, editor = {Joost{-}Pieter Katoen and Barbara K{\"{o}}nig}, title = {On Locality and the Exchange Law for Concurrent Processes}, booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference, {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6901}, pages = {250--264}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23217-6\_17}, doi = {10.1007/978-3-642-23217-6\_17}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/HoareHMOPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/GuttmannSW11, author = {Walter Guttmann and Georg Struth and Tjark Weber}, editor = {Shengchao Qin and Zongyan Qiu}, title = {Automating Algebraic Methods in Isabelle}, booktitle = {Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6991}, pages = {617--632}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24559-6\_41}, doi = {10.1007/978-3-642-24559-6\_41}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/GuttmannSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/FosterS11, author = {Simon Foster and Georg Struth}, editor = {Mihaela Gheorghiu Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi}, title = {Integrating an Automated Theorem Prover into Agda}, booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6617}, pages = {116--130}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20398-5\_10}, doi = {10.1007/978-3-642-20398-5\_10}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/FosterS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ate/2011, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760}, urn = {urn:nbn:de:0074-760-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1112-3833, author = {Alasdair Armstrong and Simon Foster and Georg Struth}, title = {Dependently Typed Programming based on Automated Theorem Proving}, journal = {CoRR}, volume = {abs/1112.3833}, year = {2011}, url = {http://arxiv.org/abs/1112.3833}, eprinttype = {arXiv}, eprint = {1112.3833}, timestamp = {Wed, 15 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1112-3833.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BerghammerMS10, author = {Rudolf Berghammer and Bernhard M{\"{o}}ller and Georg Struth}, title = {Relations and Kleene algebras in computer science}, journal = {J. Log. Algebraic Methods Program.}, volume = {79}, number = {8}, pages = {705--706}, year = {2010}, url = {https://doi.org/10.1016/j.jlap.2010.07.011}, doi = {10.1016/J.JLAP.2010.07.011}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BerghammerMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HofnerS10, author = {Peter H{\"{o}}fner and Georg Struth}, title = {Algebraic notions of nontermination: Omega and divergence in idempotent semirings}, journal = {J. Log. Algebraic Methods Program.}, volume = {79}, number = {8}, pages = {794--811}, year = {2010}, url = {https://doi.org/10.1016/j.jlap.2010.07.016}, doi = {10.1016/J.JLAP.2010.07.016}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HofnerS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/BerghammerS10, author = {Rudolf Berghammer and Georg Struth}, editor = {Claude Bolduc and Jos{\'{e}}e Desharnais and B{\'{e}}chir Ktari}, title = {On Automated Program Construction and Verification}, booktitle = {Mathematics of Program Construction, 10th International Conference, {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6120}, pages = {22--41}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13321-3\_4}, doi = {10.1007/978-3-642-13321-3\_4}, timestamp = {Sat, 16 Oct 2021 20:00:44 +0200}, biburl = {https://dblp.org/rec/conf/mpc/BerghammerS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/HofnerSS09, author = {Peter H{\"{o}}fner and Georg Struth and Geoff Sutcliffe}, title = {Automated verification of refinement laws}, journal = {Ann. Math. Artif. Intell.}, volume = {55}, number = {1-2}, pages = {35--62}, year = {2009}, url = {https://doi.org/10.1007/s10472-009-9151-8}, doi = {10.1007/S10472-009-9151-8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/HofnerSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/DesharnaisJS09, author = {Jules Desharnais and Peter Jipsen and Georg Struth}, editor = {Rudolf Berghammer and Ali Jaoua and Bernhard M{\"{o}}ller}, title = {Domain and Antidomain Semigroups}, booktitle = {Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5827}, pages = {73--87}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04639-1\_6}, doi = {10.1007/978-3-642-04639-1\_6}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisJS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/HoareMSW09, author = {C. A. R. Hoare and Bernhard M{\"{o}}ller and Georg Struth and Ian Wehrman}, editor = {Rudolf Berghammer and Ali Jaoua and Bernhard M{\"{o}}ller}, title = {Foundations of Concurrent Kleene Algebra}, booktitle = {Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5827}, pages = {166--186}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04639-1\_12}, doi = {10.1007/978-3-642-04639-1\_12}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/HoareMSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/HoareMSW09, author = {C. A. R. Hoare and Bernhard M{\"{o}}ller and Georg Struth and Ian Wehrman}, editor = {Mario Bravetti and Gianluigi Zavattaro}, title = {Concurrent Kleene Algebra}, booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference, {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5710}, pages = {399--414}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04081-8\_27}, doi = {10.1007/978-3-642-04081-8\_27}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/HoareMSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/SchmidtS08, author = {Renate A. Schmidt and Georg Struth}, title = {Relations and Kleene Algebras in Computer Science}, journal = {J. Log. Algebraic Methods Program.}, volume = {76}, number = {1}, pages = {1--2}, year = {2008}, url = {https://doi.org/10.1016/j.jlap.2007.11.002}, doi = {10.1016/J.JLAP.2007.11.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/SchmidtS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/HofnerS08, author = {Peter H{\"{o}}fner and Georg Struth}, editor = {Rudolf Berghammer and Bernhard M{\"{o}}ller and Georg Struth}, title = {Non-termination in Idempotent Semirings}, booktitle = {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{\"{o}}rth, Germany, April 7-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4988}, pages = {206--220}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78913-0\_16}, doi = {10.1007/978-3-540-78913-0\_16}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/HofnerS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/JipsenS08, author = {Peter Jipsen and Georg Struth}, editor = {Rudolf Berghammer and Bernhard M{\"{o}}ller and Georg Struth}, title = {The Structure of the One-Generated Free Domain Semiring}, booktitle = {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{\"{o}}rth, Germany, April 7-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4988}, pages = {234--242}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78913-0\_18}, doi = {10.1007/978-3-540-78913-0\_18}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/JipsenS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/DesharnaisS08, author = {Jules Desharnais and Georg Struth}, editor = {Jos{\'{e}} Meseguer and Grigore Rosu}, title = {Domain Axioms for a Family of Near-Semirings}, booktitle = {Algebraic Methodology and Software Technology, 12th International Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5140}, pages = {330--345}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79980-1\_25}, doi = {10.1007/978-3-540-79980-1\_25}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/amast/DesharnaisS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HofnerS08, author = {Peter H{\"{o}}fner and Georg Struth}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, title = {On Automating the Calculus of Relations}, booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008, Sydney, Australia, August 12-15, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5195}, pages = {50--66}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71070-7\_5}, doi = {10.1007/978-3-540-71070-7\_5}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/HofnerS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/DesharnaisS08, author = {Jules Desharnais and Georg Struth}, editor = {Philippe Audebaud and Christine Paulin{-}Mohring}, title = {Modal Semirings Revisited}, booktitle = {Mathematics of Program Construction, 9th International Conference, {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5133}, pages = {360--387}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70594-9\_19}, doi = {10.1007/978-3-540-70594-9\_19}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/DesharnaisS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Struth08, author = {Georg Struth}, editor = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn}, title = {Modal Tools for Separation and Refinement}, booktitle = {Proceedings of the 13th {BAC-FACS} Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {214}, pages = {81--101}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.06.005}, doi = {10.1016/J.ENTCS.2008.06.005}, timestamp = {Fri, 17 Feb 2023 10:04:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Struth08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/RelMiCS/2008, editor = {Rudolf Berghammer and Bernhard M{\"{o}}ller and Georg Struth}, title = {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{\"{o}}rth, Germany, April 7-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4988}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78913-0}, doi = {10.1007/978-3-540-78913-0}, isbn = {978-3-540-78912-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HofnerS07, author = {Peter H{\"{o}}fner and Georg Struth}, editor = {Frank Pfenning}, title = {Automated Reasoning in Kleene Algebra}, booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4603}, pages = {279--294}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73595-3\_19}, doi = {10.1007/978-3-540-73595-3\_19}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/HofnerS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HofnerS08, author = {Peter H{\"{o}}fner and Georg Struth}, editor = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Can Refinement be Automated?}, booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {201}, pages = {197--222}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.02.021}, doi = {10.1016/J.ENTCS.2008.02.021}, timestamp = {Thu, 09 Feb 2023 12:15:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HofnerS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Struth06, author = {Georg Struth}, title = {Abstract abstract reduction}, journal = {J. Log. Algebraic Methods Program.}, volume = {66}, number = {2}, pages = {239--270}, year = {2006}, url = {https://doi.org/10.1016/j.jlap.2005.04.001}, doi = {10.1016/J.JLAP.2005.04.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Struth06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MollerS06, author = {Bernhard M{\"{o}}ller and Georg Struth}, title = {Algebras of modal operators and partial correctness}, journal = {Theor. Comput. Sci.}, volume = {351}, number = {2}, pages = {221--239}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2005.09.069}, doi = {10.1016/J.TCS.2005.09.069}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MollerS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/DesharnaisMS06, author = {Jules Desharnais and Bernhard M{\"{o}}ller and Georg Struth}, title = {Kleene algebra with domain}, journal = {{ACM} Trans. Comput. Log.}, volume = {7}, number = {4}, pages = {798--833}, year = {2006}, url = {https://doi.org/10.1145/1183278.1183285}, doi = {10.1145/1183278.1183285}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/DesharnaisMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/MollerHS06, author = {Bernhard M{\"{o}}ller and Peter H{\"{o}}fner and Georg Struth}, editor = {Michael Johnson and Varmo Vene}, title = {Quantales and Temporal Logics}, booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4019}, pages = {263--277}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11784180\_21}, doi = {10.1007/11784180\_21}, timestamp = {Sun, 25 Oct 2020 23:16:26 +0100}, biburl = {https://dblp.org/rec/conf/amast/MollerHS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/Struth06, author = {Georg Struth}, editor = {Michael Johnson and Varmo Vene}, title = {Tableaux for Lattices}, booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4019}, pages = {323--337}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11784180\_25}, doi = {10.1007/11784180\_25}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/Struth06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Struth06, author = {Georg Struth}, editor = {Tarmo Uustalu}, title = {Constructing Rewrite-Based Decision Procedures for Embeddings and Termination}, booktitle = {Mathematics of Program Construction, 8th International Conference, {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4014}, pages = {416--432}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11783596\_24}, doi = {10.1007/11783596\_24}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Struth06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/MollerS05, author = {Bernhard M{\"{o}}ller and Georg Struth}, editor = {Wendy MacCaull and Michael Winter and Ivo D{\"{u}}ntsch}, title = {p Is}, booktitle = {Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of {COST} Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3929}, pages = {200--211}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11734673\_16}, doi = {10.1007/11734673\_16}, timestamp = {Wed, 01 Apr 2020 16:14:32 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/MollerS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/Struth05, author = {Georg Struth}, editor = {Wendy MacCaull and Michael Winter and Ivo D{\"{u}}ntsch}, title = {Knuth-Bendix Completion as a Data Structure}, booktitle = {Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of {COST} Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3929}, pages = {225--236}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11734673\_18}, doi = {10.1007/11734673\_18}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/Struth05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/MollerS04, author = {Bernhard M{\"{o}}ller and Georg Struth}, editor = {Charles Rattray and Savi Maharaj and Carron Shankland}, title = {Modal Kleene Algebra and Partial Correctness}, booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3116}, pages = {379--393}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27815-3\_30}, doi = {10.1007/978-3-540-27815-3\_30}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/MollerS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DesharnaisMS04, author = {Jules Desharnais and Bernhard M{\"{o}}ller and Georg Struth}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Termination in Modal Kleene Algebra}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {647--660}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_49}, doi = {10.1007/1-4020-8141-3\_49}, timestamp = {Fri, 27 Sep 2019 10:35:17 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DesharnaisMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Struth04, author = {Georg Struth}, title = {Automated Element-Wise Reasoning with Sets}, booktitle = {2nd International Conference on Software Engineering and Formal Methods {(SEFM} 2004), 28-30 September 2004, Beijing, China}, pages = {320--329}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.8}, doi = {10.1109/SEFM.2004.8}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Struth04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EbertS05, author = {Michael Ebert and Georg Struth}, editor = {Mark Minas}, title = {Diagram Chase in Relational System Development}, booktitle = {Proceedings of the Workshop on Visual Languages and Formal Methods, {VLFM} 2004, Rome, Italy, September 30, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {4}, pages = {87--105}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.08.049}, doi = {10.1016/J.ENTCS.2004.08.049}, timestamp = {Mon, 12 Dec 2022 14:53:29 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EbertS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/RelMiCS/2003conf, editor = {Rudolf Berghammer and Bernhard M{\"{o}}ller and Georg Struth}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {3051}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b98117}, doi = {10.1007/B98117}, isbn = {3-540-22145-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/2003conf.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/EhmMS03, author = {Thorsten Ehm and Bernhard M{\"{o}}ller and Georg Struth}, editor = {Rudolf Berghammer and Bernhard M{\"{o}}ller and Georg Struth}, title = {Kleene Modules}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {3051}, pages = {112--124}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24771-5\_10}, doi = {10.1007/978-3-540-24771-5\_10}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/EhmMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/MollerS03, author = {Bernhard M{\"{o}}ller and Georg Struth}, editor = {Rudolf Berghammer and Bernhard M{\"{o}}ller and Georg Struth}, title = {Greedy-Like Algorithms in Modal Kleene Algebra}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {3051}, pages = {202--215}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24771-5\_18}, doi = {10.1007/978-3-540-24771-5\_18}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/MollerS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/Struth03, author = {Georg Struth}, editor = {Jin Song Dong and Jim Woodcock}, title = {A Calculus for Set-Based Program Development}, booktitle = {Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2885}, pages = {541--559}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39893-6\_31}, doi = {10.1007/978-3-540-39893-6\_31}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/icfem/Struth03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0310054, author = {Jules Desharnais and Bernhard M{\"{o}}ller and Georg Struth}, title = {Kleene algebra with domain}, journal = {CoRR}, volume = {cs.LO/0310054}, year = {2003}, url = {http://arxiv.org/abs/cs/0310054}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0310054.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Struth02, author = {Georg Struth}, editor = {Sophie Tison}, title = {Deriving Focused Lattice Calculi}, booktitle = {Rewriting Techniques and Applications, 13th International Conference, {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2378}, pages = {83--97}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45610-4\_7}, doi = {10.1007/3-540-45610-4\_7}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Struth02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/Struth01, author = {Georg Struth}, editor = {Harrie C. M. de Swart}, title = {Calculating Church-Rosser Proofs in Kleene Algebra}, booktitle = {Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of {COST} Action 274 {TARSKI} Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2561}, pages = {276--290}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-36280-0\_19}, doi = {10.1007/3-540-36280-0\_19}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/Struth01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Struth01, author = {Georg Struth}, editor = {Aart Middeldorp}, title = {Deriving Focused Calculi for Transitive Relations}, booktitle = {Rewriting Techniques and Applications, 12th International Conference, {RTA} 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2051}, pages = {291--305}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45127-7\_22}, doi = {10.1007/3-540-45127-7\_22}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Struth01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/Struth01, author = {Georg Struth}, editor = {Mark van den Brand and Rakesh M. Verma}, title = {Knuth-Bendix Completion for Non-Symmetric Transitive Relations}, booktitle = {Second International Workshop on Rule-Based Programming, {RULE} 2001, Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {59}, number = {4}, pages = {341--357}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00296-8}, doi = {10.1016/S1571-0661(04)00296-8}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Struth01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Struth00, author = {Georg Struth}, editor = {Leo Bachmair}, title = {An Algebra of Resolution}, booktitle = {Rewriting Techniques and Applications, 11th International Conference, {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1833}, pages = {214--228}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10721975\_15}, doi = {10.1007/10721975\_15}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Struth00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Struth98, author = {Georg Struth}, title = {Canonical transformations in algebra, universal algebra and logic}, school = {Saarland University, Saarbr{\"{u}}cken, Germany}, year = {1998}, url = {https://d-nb.info/959486976}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Struth98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/Struth97, author = {Georg Struth}, editor = {Hubert Comon}, title = {On the Word Problem for Free Lattices}, booktitle = {Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1232}, pages = {128--141}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-62950-5\_66}, doi = {10.1007/3-540-62950-5\_66}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/Struth97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.