×
Author ID: struth.georg Recent zbMATH articles by "Struth, Georg"
Published as: Struth, Georg
Homepage: https://www.sheffield.ac.uk/dcs/people/academic/georg-struth
External Links: MGP · dblp

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 575 times in 230 Documents Cited by Year
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
73
2006
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
47
2011
Algebras of modal operators and partial correctness. Zbl 1086.68082
Möller, Bernhard; Struth, Georg
31
2006
Automated reasoning in Kleene algebra. Zbl 1184.68462
Höfner, Peter; Struth, Georg
29
2007
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
28
2011
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
27
2009
Domain axioms for a family of near-semirings. Zbl 1170.68514
Desharnais, Jules; Struth, Georg
16
2008
A program construction and verification tool for separation logic. Zbl 1432.68071
Dongol, Brijesh; Gomes, Victor B. F.; Struth, Georg
15
2015
Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages. Zbl 1405.68198
Laurence, Michael R.; Struth, Georg
15
2014
Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230
Foster, Simon; Struth, Georg; Weber, Tjark
15
2011
On automating the calculus of relations. Zbl 1165.68460
Höfner, Peter; Struth, Georg
13
2008
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg
13
2006
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
13
2011
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
12
2011
Domain and antidomain semigroups. Zbl 1267.03067
Desharnais, Jules; Jipsen, Peter; Struth, Georg
12
2009
Termination in modal Kleene algebra. Zbl 1088.68619
Desharnais, Jules; Möller, Bernhard; Struth, Georg
11
2004
wp is wlp. Zbl 1185.68227
Möller, Bernhard; Struth, Georg
11
2006
Building program construction and verification tools from algebraic principles. Zbl 1342.68066
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
10
2016
Modal semirings revisited. Zbl 1157.68026
Desharnais, Jules; Struth, Georg
10
2008
On automated program construction and verification. Zbl 1286.68068
Berghammer, Rudolf; Struth, Georg
8
2010
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
8
2009
Concurrent dynamic algebra. Zbl 1367.03054
Furusawa, Hitoshi; Struth, Georg
7
2015
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter
7
2014
Abstract abstract reduction. Zbl 1086.68068
Struth, Georg
7
2006
An event structure model for probabilistic concurrent Kleene algebra. Zbl 1407.68337
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
7
2013
On decidability of concurrent Kleene algebra. Zbl 1442.68128
Brunet, Paul; Pous, Damien; Struth, Georg
7
2017
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
6
2016
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
6
2016
Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
6
2014
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
5
2010
Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
5
2013
Probabilistic rely-guarantee calculus. Zbl 1356.68156
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
5
2016
Differential Hoare logics and refinement calculi for hybrid systems with Isabelle/HOL. Zbl 07578341
Foster, Simon; Huerta Y. Munive, Jonathan Julián; Struth, Georg
5
2020
Modal Kleene algebra applied to program correctness. Zbl 1427.68046
Gomes, Victor B. F.; Struth, Georg
5
2016
Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
4
2014
Automated analysis of regular algebra. Zbl 1358.68254
Foster, Simon; Struth, Georg
4
2012
Verifying hybrid systems with modal Kleene algebra. Zbl 1518.68209
Huerta y Munive, Jonathan Julián; Struth, Georg
4
2018
Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 1509.03175
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
4
2021
Modal tools for separation and refinement. Zbl 1283.68215
Struth, Georg
4
2008
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
Generating posets beyond N. Zbl 07578336
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur
4
2020
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL. Zbl 07498609
Huerta y Munive, Jonathan Julián; Struth, Georg
3
2022
Modal Kleene algebra and partial correctness. Zbl 1108.68403
Möller, Bernhard; Struth, Georg
3
2004
Calculating Church-Rosser proofs in Kleene algebra. Zbl 1027.68071
Struth, Georg
3
2002
Taming multirelations. Zbl 1407.03080
Furusawa, Hitoshi; Struth, Georg
3
2016
On the fine-structure of regular algebra. Zbl 1331.68128
Foster, Simon; Struth, Georg
2
2015
On the expressive power of Kleene algebra with domain. Zbl 1347.68095
Struth, Georg
2
2016
Relational formalisations of compositions and liftings of multirelations. Zbl 1471.68124
Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro
2
2015
Kleene modules. Zbl 1088.03052
Ehm, Thorsten; Möller, Bernhard; Struth, Georg
2
2004
Deriving focused calculi for transitive relations. Zbl 0981.03034
Struth, Georg
2
2001
Automated reasoning in higher-order regular algebra. Zbl 1364.68326
Armstrong, Alasdair; Struth, Georg
2
2012
The structure of the one-generated free domain semiring. Zbl 1140.68041
Jipsen, Peter; Struth, Georg
2
2008
Languages of higher-dimensional automata. Zbl 1495.68119
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
2
2021
Left omega algebras and regular equations. Zbl 1279.68242
Struth, Georg
2
2012
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg
2
2017
Algebraic coherent confluence and higher globular Kleene algebras. Zbl 1508.18018
Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg
2
2022
Convolution and concurrency. Zbl 1490.68139
Cranch, James; Doherty, Simon; Struth, Georg
2
2021
Hoare semigroups. Zbl 1390.68440
Struth, Georg
2
2018
Probabilistic concurrent Kleene algebra. Zbl 1464.68254
Mciver, Annabelle; Rabehaja, Tahiry; Struth, Georg
2
2013
Completeness results for omega-regular algebras. Zbl 1335.68155
Cranch, James; Laurence, Michael R.; Struth, Georg
1
2015
Schedulers and finishers: on generating the behaviours of an event structure. Zbl 1400.68138
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
1
2016
On the word problem for free lattices. Zbl 1379.06003
Struth, Georg
1
1997
Kleisli, Parikh and Peleg compositions and liftings for multirelations. Zbl 1371.68171
Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro
1
2017
Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Zbl 1051.68002
1
2004
An algebra of resolution. Zbl 0964.03010
Struth, Georg
1
2000
Non-termination in idempotent semirings. Zbl 1138.68461
Höfner, Peter; Struth, Georg
1
2008
Knuth-Bendix completion for non-symmetric transitive relations. Zbl 1268.68068
Struth, Georg
1
2001
Posets with interfaces as a model for concurrency. Zbl 1515.68204
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
1
2022
Domain semirings united. Zbl 1499.16144
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
1
2022
Cylindric Kleene lattices for program construction. Zbl 1434.68105
Dongol, Brijesh; Hayes, Ian; Meinicke, Larissa; Struth, Georg
1
2019
Trimming the hedges: an algebra to tame concurrency. Zbl 1507.68216
Struth, Georg
1
2021
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL. Zbl 07498609
Huerta y Munive, Jonathan Julián; Struth, Georg
3
2022
Algebraic coherent confluence and higher globular Kleene algebras. Zbl 1508.18018
Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg
2
2022
Posets with interfaces as a model for concurrency. Zbl 1515.68204
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
1
2022
Domain semirings united. Zbl 1499.16144
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
1
2022
Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 1509.03175
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
4
2021
Languages of higher-dimensional automata. Zbl 1495.68119
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
2
2021
Convolution and concurrency. Zbl 1490.68139
Cranch, James; Doherty, Simon; Struth, Georg
2
2021
Trimming the hedges: an algebra to tame concurrency. Zbl 1507.68216
Struth, Georg
1
2021
Differential Hoare logics and refinement calculi for hybrid systems with Isabelle/HOL. Zbl 07578341
Foster, Simon; Huerta Y. Munive, Jonathan Julián; Struth, Georg
5
2020
Generating posets beyond N. Zbl 07578336
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur
4
2020
Cylindric Kleene lattices for program construction. Zbl 1434.68105
Dongol, Brijesh; Hayes, Ian; Meinicke, Larissa; Struth, Georg
1
2019
Verifying hybrid systems with modal Kleene algebra. Zbl 1518.68209
Huerta y Munive, Jonathan Julián; Struth, Georg
4
2018
Hoare semigroups. Zbl 1390.68440
Struth, Georg
2
2018
On decidability of concurrent Kleene algebra. Zbl 1442.68128
Brunet, Paul; Pous, Damien; Struth, Georg
7
2017
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg
2
2017
Kleisli, Parikh and Peleg compositions and liftings for multirelations. Zbl 1371.68171
Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro
1
2017
Building program construction and verification tools from algebraic principles. Zbl 1342.68066
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
10
2016
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
6
2016
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
6
2016
Probabilistic rely-guarantee calculus. Zbl 1356.68156
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
5
2016
Modal Kleene algebra applied to program correctness. Zbl 1427.68046
Gomes, Victor B. F.; Struth, Georg
5
2016
Taming multirelations. Zbl 1407.03080
Furusawa, Hitoshi; Struth, Georg
3
2016
On the expressive power of Kleene algebra with domain. Zbl 1347.68095
Struth, Georg
2
2016
Schedulers and finishers: on generating the behaviours of an event structure. Zbl 1400.68138
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
1
2016
A program construction and verification tool for separation logic. Zbl 1432.68071
Dongol, Brijesh; Gomes, Victor B. F.; Struth, Georg
15
2015
Concurrent dynamic algebra. Zbl 1367.03054
Furusawa, Hitoshi; Struth, Georg
7
2015
On the fine-structure of regular algebra. Zbl 1331.68128
Foster, Simon; Struth, Georg
2
2015
Relational formalisations of compositions and liftings of multirelations. Zbl 1471.68124
Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro
2
2015
Completeness results for omega-regular algebras. Zbl 1335.68155
Cranch, James; Laurence, Michael R.; Struth, Georg
1
2015
Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages. Zbl 1405.68198
Laurence, Michael R.; Struth, Georg
15
2014
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter
7
2014
Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
6
2014
Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
4
2014
An event structure model for probabilistic concurrent Kleene algebra. Zbl 1407.68337
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
7
2013
Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
5
2013
Probabilistic concurrent Kleene algebra. Zbl 1464.68254
Mciver, Annabelle; Rabehaja, Tahiry; Struth, Georg
2
2013
Automated analysis of regular algebra. Zbl 1358.68254
Foster, Simon; Struth, Georg
4
2012
Automated reasoning in higher-order regular algebra. Zbl 1364.68326
Armstrong, Alasdair; Struth, Georg
2
2012
Left omega algebras and regular equations. Zbl 1279.68242
Struth, Georg
2
2012
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
47
2011
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
28
2011
Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230
Foster, Simon; Struth, Georg; Weber, Tjark
15
2011
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
13
2011
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
12
2011
On automated program construction and verification. Zbl 1286.68068
Berghammer, Rudolf; Struth, Georg
8
2010
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
5
2010
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
27
2009
Domain and antidomain semigroups. Zbl 1267.03067
Desharnais, Jules; Jipsen, Peter; Struth, Georg
12
2009
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
8
2009
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
Domain axioms for a family of near-semirings. Zbl 1170.68514
Desharnais, Jules; Struth, Georg
16
2008
On automating the calculus of relations. Zbl 1165.68460
Höfner, Peter; Struth, Georg
13
2008
Modal semirings revisited. Zbl 1157.68026
Desharnais, Jules; Struth, Georg
10
2008
Modal tools for separation and refinement. Zbl 1283.68215
Struth, Georg
4
2008
The structure of the one-generated free domain semiring. Zbl 1140.68041
Jipsen, Peter; Struth, Georg
2
2008
Non-termination in idempotent semirings. Zbl 1138.68461
Höfner, Peter; Struth, Georg
1
2008
Automated reasoning in Kleene algebra. Zbl 1184.68462
Höfner, Peter; Struth, Georg
29
2007
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
73
2006
Algebras of modal operators and partial correctness. Zbl 1086.68082
Möller, Bernhard; Struth, Georg
31
2006
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg
13
2006
wp is wlp. Zbl 1185.68227
Möller, Bernhard; Struth, Georg
11
2006
Abstract abstract reduction. Zbl 1086.68068
Struth, Georg
7
2006
Termination in modal Kleene algebra. Zbl 1088.68619
Desharnais, Jules; Möller, Bernhard; Struth, Georg
11
2004
Modal Kleene algebra and partial correctness. Zbl 1108.68403
Möller, Bernhard; Struth, Georg
3
2004
Kleene modules. Zbl 1088.03052
Ehm, Thorsten; Möller, Bernhard; Struth, Georg
2
2004
Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Zbl 1051.68002
1
2004
Calculating Church-Rosser proofs in Kleene algebra. Zbl 1027.68071
Struth, Georg
3
2002
Deriving focused calculi for transitive relations. Zbl 0981.03034
Struth, Georg
2
2001
Knuth-Bendix completion for non-symmetric transitive relations. Zbl 1268.68068
Struth, Georg
1
2001
An algebra of resolution. Zbl 0964.03010
Struth, Georg
1
2000
On the word problem for free lattices. Zbl 1379.06003
Struth, Georg
1
1997
all top 5

Cited by 205 Authors

44 Struth, Georg
30 Möller, Bernhard
17 Guttmann, Walter
16 Höfner, Peter
12 Hoare, C. A. R. Tony
11 Desharnais, Jules
10 Foster, Simon
9 Berghammer, Rudolf
9 Silva, Alexandra
9 Stokes, Timothy E.
8 Hayes, Ian J.
8 Kappé, Tobias
7 Jackson, Marcel G.
6 Johansen, Christian
6 Pous, Damien
6 Rot, Jurriaan
6 Solin, Kim
6 van Staden, Stephan
6 Woodcock, James C. P.
6 Zanasi, Fabio
5 Brunet, Paul
5 Colvin, Robert J.
5 Dang, Han-Hing
5 Fahrenberg, Uli
5 McIver, Annabelle K.
5 Meinicke, Larissa A.
5 Zhu, Huibiao
4 Dongol, Brijesh
4 Furusawa, Hitoshi
4 Hirsch, Robin
4 Kahl, Wolfram
4 Kozen, Dexter C.
4 Mikulás, Szabolcs
4 Rabehaja, Tahiry M.
4 Roocks, Patrick
4 Zeyda, Frank
4 Ziemiański, Krzysztof
3 Armstrong, Alasdair
3 Calk, Cameron
3 Cavalcanti, Ana
3 de Carufel, Jean-Lou
3 Glück, Roland
3 Jipsen, Peter
3 Luttik, Bas
3 O’Hearn, Peter W.
3 Stucke, Insa
3 Wagemaker, Jana
3 Winter, Michael
2 Balco, Samuel
2 Bannister, Callum
2 Barbosa, Luís Soares
2 Cranch, James
2 Docherty, Simon
2 Doherty, Simon
2 Doumane, Amina
2 Fischer, Sebastian
2 Gomes, Leandro G.
2 Gomes, Victor B. F.
2 Goubault, Eric
2 Huerta y Munive, Jonathan Julián
2 Hussain, Akbar
2 Khedri, Ridha
2 Kumar, Jitender
2 Kurz, Alexander
2 Laurence, Michael R.
2 Lorenz, Robert G.
2 Madeira, Alexandre
2 Malbos, Philippe
2 Melo de Sousa, Simão
2 Moreira, Nelma
2 Naumann, David A.
2 Oliveira, José Nuno
2 Pereira, David P.
2 Petersen, Rasmus Lerchedahl
2 Piedeleu, Robin
2 Platzer, André
2 Preoteasa, Viorel
2 Pym, David J.
2 Sedlár, Igor
2 Sutcliffe, Geoff
2 van Heerdt, Gerco
2 Wehrman, Ian
2 Xie, Wanling
2 Ye, Kangfeng
1 Abe, Tatsuya
1 Aboul-Hosn, Kamal
1 Aiguier, Marc
1 Alabbad, Mohammed
1 Alain, Mathieu
1 Alpuim, Joao
1 Bahrami, Diane
1 Baxter, James
1 Bentkamp, Alexander
1 Bhaduri, Purandar
1 Birkedal, Lars
1 Blanchette, Jasmin Christian
1 Böhme, Sascha
1 Bonsangue, Marcello Maria
1 Bowen, Jonathan P.
1 Braßel, Bernd
...and 105 more Authors

Citations by Year