×
Compute Distance To:
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

58 Publications have been cited 380 times in 161 Documents Cited by Year
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
51
2006
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
29
2011
Automated reasoning in Kleene algebra. Zbl 1184.68462
Höfner, Peter; Struth, Georg
24
2007
Algebras of modal operators and partial correctness. Zbl 1086.68082
Möller, Bernhard; Struth, Georg
19
2006
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
19
2009
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
18
2011
Domain axioms for a family of near-semirings. Zbl 1170.68514
Desharnais, Jules; Struth, Georg
13
2008
On automating the calculus of relations. Zbl 1165.68460
Höfner, Peter; Struth, Georg
13
2008
Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230
Foster, Simon; Struth, Georg; Weber, Tjark
13
2011
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg
10
2006
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
10
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
9
2011
A program construction and verification tool for separation logic. Zbl 1432.68071
Dongol, Brijesh; Gomes, Victor B. F.; Struth, Georg
9
2015
Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages. Zbl 1405.68198
Laurence, Michael R.; Struth, Georg
8
2014
Domain and antidomain semigroups. Zbl 1267.03067
Desharnais, Jules; Jipsen, Peter; Struth, Georg
8
2009
wp is wlp. Zbl 1185.68227
Möller, Bernhard; Struth, Georg
8
2006
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
7
2009
Building program construction and verification tools from algebraic principles. Zbl 1342.68066
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
7
2016
Abstract abstract reduction. Zbl 1086.68068
Struth, Georg
6
2006
An event structure model for probabilistic concurrent Kleene algebra. Zbl 1407.68337
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
6
2013
On automated program construction and verification. Zbl 1286.68068
Berghammer, Rudolf; Struth, Georg
6
2010
Modal semirings revisited. Zbl 1157.68026
Desharnais, Jules; Struth, Georg
6
2008
Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
5
2014
Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
5
2013
Termination in modal Kleene algebra. Zbl 1088.68619
Desharnais, Jules; Möller, Bernhard; Struth, Georg
4
2004
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
4
2014
Concurrent dynamic algebra. Zbl 1367.03054
Furusawa, Hitoshi; Struth, Georg
4
2015
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
4
2016
Modal Kleene algebra and partial correctness. Zbl 1108.68403
Möller, Bernhard; Struth, Georg
3
2004
Probabilistic rely-guarantee calculus. Zbl 1356.68156
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
3
2016
Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
3
2014
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
3
2010
Modal tools for separation and refinement. Zbl 1283.68215
Struth, Georg
3
2008
Automated analysis of regular algebra. Zbl 1358.68254
Foster, Simon; Struth, Georg
3
2012
Kleene modules. Zbl 1088.03052
Ehm, Thorsten; Möller, Bernhard; Struth, Georg
2
2004
Taming multirelations. Zbl 1407.03080
Furusawa, Hitoshi; Struth, Georg
2
2016
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
2
2016
Deriving focused calculi for transitive relations. Zbl 0981.03034
Struth, Georg
2
2001
Modal Kleene algebra applied to program correctness. Zbl 1427.68046
Gomes, Victor B. F.; 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
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
The structure of the one-generated free domain semiring. Zbl 1140.68041
Jipsen, Peter; Struth, Georg
2
2008
Languages of higher-dimensional automata. Zbl 07527572
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
2
2021
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
An algebra of resolution. Zbl 0964.03010
Struth, Georg
1
2000
Completeness results for omega-regular algebras. Zbl 1335.68155
Cranch, James; Laurence, Michael R.; Struth, Georg
1
2015
On the fine-structure of regular algebra. Zbl 1331.68128
Foster, Simon; Struth, Georg
1
2015
On decidability of concurrent Kleene algebra. Zbl 1442.68128
Brunet, Paul; Pous, Damien; Struth, Georg
1
2017
Hoare semigroups. Zbl 1390.68440
Struth, Georg
1
2018
On the expressive power of Kleene algebra with domain. Zbl 1347.68095
Struth, Georg
1
2016
Verifying hybrid systems with modal Kleene algebra. Zbl 06975212
Huerta y Munive, Jonathan Julián; Struth, Georg
1
2018
Knuth-Bendix completion for non-symmetric transitive relations. Zbl 1268.68068
Struth, Georg
1
2001
Non-termination in idempotent semirings. Zbl 1138.68461
Höfner, Peter; Struth, Georg
1
2008
Trimming the hedges: an algebra to tame concurrency. Zbl 07473324
Struth, Georg
1
2021
Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 07327946
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
1
2021
Languages of higher-dimensional automata. Zbl 07527572
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof
2
2021
Trimming the hedges: an algebra to tame concurrency. Zbl 07473324
Struth, Georg
1
2021
Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 07327946
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
1
2021
Hoare semigroups. Zbl 1390.68440
Struth, Georg
1
2018
Verifying hybrid systems with modal Kleene algebra. Zbl 06975212
Huerta y Munive, Jonathan Julián; Struth, Georg
1
2018
On decidability of concurrent Kleene algebra. Zbl 1442.68128
Brunet, Paul; Pous, Damien; Struth, Georg
1
2017
Building program construction and verification tools from algebraic principles. Zbl 1342.68066
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
7
2016
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
4
2016
Probabilistic rely-guarantee calculus. Zbl 1356.68156
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
3
2016
Taming multirelations. Zbl 1407.03080
Furusawa, Hitoshi; Struth, Georg
2
2016
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
2
2016
Modal Kleene algebra applied to program correctness. Zbl 1427.68046
Gomes, Victor B. F.; 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
On the expressive power of Kleene algebra with domain. Zbl 1347.68095
Struth, Georg
1
2016
A program construction and verification tool for separation logic. Zbl 1432.68071
Dongol, Brijesh; Gomes, Victor B. F.; Struth, Georg
9
2015
Concurrent dynamic algebra. Zbl 1367.03054
Furusawa, Hitoshi; Struth, Georg
4
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
On the fine-structure of regular algebra. Zbl 1331.68128
Foster, Simon; Struth, Georg
1
2015
Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages. Zbl 1405.68198
Laurence, Michael R.; Struth, Georg
8
2014
Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
5
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
4
2014
Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg
3
2014
An event structure model for probabilistic concurrent Kleene algebra. Zbl 1407.68337
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg
6
2013
Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
5
2013
Automated analysis of regular algebra. Zbl 1358.68254
Foster, Simon; Struth, Georg
3
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
29
2011
Internal axioms for domain semirings. Zbl 1211.68242
Desharnais, Jules; Struth, Georg
18
2011
Automated engineering of relational and algebraic methods in Isabelle/HOL (invited tutorial). Zbl 1329.68230
Foster, Simon; Struth, Georg; Weber, Tjark
13
2011
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
10
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
9
2011
On automated program construction and verification. Zbl 1286.68068
Berghammer, Rudolf; Struth, Georg
6
2010
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
3
2010
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
19
2009
Domain and antidomain semigroups. Zbl 1267.03067
Desharnais, Jules; Jipsen, Peter; Struth, Georg
8
2009
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
7
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
13
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
6
2008
Modal tools for separation and refinement. Zbl 1283.68215
Struth, Georg
3
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
24
2007
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
51
2006
Algebras of modal operators and partial correctness. Zbl 1086.68082
Möller, Bernhard; Struth, Georg
19
2006
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg
10
2006
wp is wlp. Zbl 1185.68227
Möller, Bernhard; Struth, Georg
8
2006
Abstract abstract reduction. Zbl 1086.68068
Struth, Georg
6
2006
Termination in modal Kleene algebra. Zbl 1088.68619
Desharnais, Jules; Möller, Bernhard; Struth, Georg
4
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
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 153 Authors

32 Struth, Georg
23 Möller, Bernhard
13 Höfner, Peter
12 Guttmann, Walter
9 Hoare, C. A. R. Tony
9 Stokes, Timothy E.
8 Berghammer, Rudolf
7 Jackson, Marcel G.
6 Desharnais, Jules
6 Hayes, Ian J.
6 Silva, Alexandra
5 Dang, Han-Hing
5 Foster, Simon
5 McIver, Annabelle K.
5 Solin, Kim
4 Brunet, Paul
4 Furusawa, Hitoshi
4 Hirsch, Robin
4 Kappé, Tobias
4 Mikulás, Szabolcs
4 Rabehaja, Tahiry M.
4 Woodcock, James C. P.
4 Zanasi, Fabio
4 Zhu, Huibiao
3 Armstrong, Alasdair
3 Cavalcanti, Ana
3 Colvin, Robert J.
3 Kahl, Wolfram
3 Kozen, Dexter C.
3 Luttik, Bas
3 Meinicke, Larissa A.
3 Pous, Damien
3 Roocks, Patrick
3 Stucke, Insa
3 van Staden, Stephan
3 Winter, Michael
3 Zeyda, Frank
2 Cranch, James
2 Docherty, Simon
2 Dongol, Brijesh
2 Fischer, Sebastian
2 Glück, Roland
2 Hussain, Akbar
2 Johansen, Christian
2 Khedri, Ridha
2 Kumar, Jitender
2 Laurence, Michael R.
2 Melo de Sousa, Simão
2 Moreira, Nelma
2 O’Hearn, Peter W.
2 Oliveira, José Nuno
2 Pereira, David P.
2 Petersen, Rasmus Lerchedahl
2 Preoteasa, Viorel
2 Pym, David J.
2 Rot, Jurriaan
2 Sutcliffe, Geoff
2 Wehrman, Ian
2 Xie, Wanling
1 Abe, Tatsuya
1 Aboul-Hosn, Kamal
1 Aiguier, Marc
1 Alabbad, Mohammed
1 Alain, Mathieu
1 Alpuim, Joao
1 Bahrami, Diane
1 Bhaduri, Purandar
1 Birkedal, Lars
1 Bonsangue, Marcello Maria
1 Braßel, Bernd
1 Brattka, Vasco
1 Brooke, Phillip J.
1 Caltais, Georgiana
1 Canham, Samuel
1 Christiansen, Jan
1 Cristiá, Maximiliano
1 Danilenko, Nikita
1 Das, Anupam
1 de Carufel, Jean-Lou
1 Doherty, Simon
1 Doumane, Amina
1 Dragomir, Iulia
1 Ésik, Zoltán
1 Fahrenberg, Uli
1 Frumin, Dan
1 Getir Yaman, Sinem
1 Golińska-Pilarek, Joanna
1 Gomes, Victor B. F.
1 Gould, Victoria A. R.
1 Grinenko, Anastasiya
1 Grunske, Lars
1 He, Jifeng
1 Heras, Jónathan
1 Hollings, Christopher David
1 Huber, Markus Q.
1 Huerta y Munive, Jonathan Julián
1 Jaskolka, Jason
1 Jipsen, Peter
1 Jones, Cliff B.
1 Jones, Owain
...and 53 more Authors

Citations by Year