Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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/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 = {Tue, 21 Mar 2023 00:00:00 +0100},
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 = {Fri, 17 Feb 2023 00:00:00 +0100},
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 = {Tue, 14 May 2019 10:00:38 +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}
}
a service of 
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.
last updated on 2024-03-22 19:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
