Edit Profile (opens in new tab) Struth, Georg Co-Author Distance Author ID: struth.georg Published as: Struth, Georg Homepage: https://www.sheffield.ac.uk/dcs/people/academic/georg-struth External Links: MGP · dblp Documents Indexed: 88 Publications since 1997, including 1 Book and 3 Additional arXiv Preprints 4 Contributions as Editor Co-Authors: 46 Co-Authors with 77 Joint Publications 792 Co-Co-Authors all top 5 Co-Authors 15 single-authored 18 Möller, Bernhard 9 Höfner, Peter 8 Fahrenberg, Uli 8 Hoare, C. A. R. Tony 7 Desharnais, Jules 7 Johansen, Christian 7 Ziemiański, Krzysztof 6 Armstrong, Alasdair 6 McIver, Annabelle K. 6 Rabehaja, Tahiry M. 5 Foster, Simon 4 Dongol, Brijesh 4 Furusawa, Hitoshi 4 Gomes, Victor B. F. 4 Laurence, Michael R. 3 Berghammer, Rudolf 3 Hayes, Ian J. 3 Huerta y Munive, Jonathan Julián 3 Pous, Damien 3 Weber, Tjark 3 Wehrman, Ian 2 Calk, Cameron 2 Cranch, James 2 Jipsen, Peter 2 Kawahara, Yasuo 2 Malbos, Philippe 2 O’Hearn, Peter W. 2 Tsumagari, Norihiro 2 van Staden, Stephan 2 Zhu, Huibiao 1 Bannister, Callum 1 Brunet, Paul 1 Doherty, Simon 1 Ehm, Thorsten 1 Goubault, Eric 1 Hussain, Akbar 1 Johnsen, Christian 1 Massacrier, Tanguy 1 Meinicke, Larissa A. 1 Moller, Faron 1 Müller, Martin Eric 1 Petersen, Rasmus Lerchedahl 1 Sutcliffe, Geoff 1 Thapa, Ratan Bahadur 1 Villard, Jules 1 Woodcock, James C. P. all top 5 Serials 5 Journal of Logical and Algebraic Methods in Programming 4 The Journal of Logic and Algebraic Programming 4 ACM Transactions on Computational Logic 3 Theoretical Computer Science 3 MSCS. Mathematical Structures in Computer Science 3 Lecture Notes in Computer Science 3 Logical Methods in Computer Science 2 Journal of Automated Reasoning 1 Information Processing Letters 1 Acta Cybernetica 1 Algebra Universalis 1 Science of Computer Programming 1 Information and Computation 1 Formal Aspects of Computing 1 Annals of Mathematics and Artificial Intelligence 1 Undergraduate Topics in Computer Science all top 5 Fields 85 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 7 Associative rings and algebras (16-XX) 4 General and overarching topics; collections (00-XX) 4 Category theory; homological algebra (18-XX) 3 Group theory and generalizations (20-XX) 1 General algebraic systems (08-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 70 Publications have been cited 568 times in 227 Documents Cited by ▼ Year ▼ Kleene algebra with domain. Zbl 1367.68205 Desharnais, Jules; Möller, Bernhard; Struth, Georg 72 2006 Concurrent Kleene algebra and its foundations. Zbl 1278.68176 Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 46 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 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 automating the calculus of relations. Zbl 1165.68460 Höfner, Peter; Struth, Georg 13 2008 Domain and antidomain semigroups. Zbl 1267.03067 Desharnais, Jules; Jipsen, Peter; Struth, Georg 12 2009 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 Termination in modal Kleene algebra. Zbl 1088.68619 Desharnais, Jules; Möller, Bernhard; Struth, Georg 11 2004 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 wp is wlp. Zbl 1185.68227 Möller, Bernhard; Struth, Georg 9 2006 Foundations of concurrent Kleene algebra. Zbl 1267.68154 Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian 8 2009 On automated program construction and verification. Zbl 1286.68068 Berghammer, Rudolf; Struth, Georg 8 2010 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 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 Abstract abstract reduction. Zbl 1086.68068 Struth, Georg 7 2006 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 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637 Armstrong, Alasdair; Struth, Georg; Weber, Tjark 6 2014 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 Program analysis and verification based on Kleene algebra in Isabelle/HOL. Zbl 1317.68201 Armstrong, Alasdair; Struth, Georg; Weber, Tjark 5 2013 Modal Kleene algebra applied to program correctness. Zbl 1427.68046 Gomes, Victor B. F.; Struth, Georg 5 2016 Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111 Höfner, Peter; Struth, Georg 5 2010 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 tools for separation and refinement. Zbl 1283.68215 Struth, Georg 4 2008 Automated analysis of regular algebra. Zbl 1358.68254 Foster, Simon; Struth, Georg 4 2012 Automated verification of refinement laws. Zbl 1184.68463 Höfner, Peter; Struth, Georg; Sutcliffe, Geoff 4 2009 Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 1509.03175 Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 4 2021 Verifying hybrid systems with modal Kleene algebra. Zbl 1518.68209 Huerta y Munive, Jonathan Julián; Struth, Georg 4 2018 Generating posets beyond N. Zbl 07578336 Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur 4 2020 Taming multirelations. Zbl 1407.03080 Furusawa, Hitoshi; Struth, Georg 3 2016 Algebras for program correctness in Isabelle/HOL. Zbl 1405.68314 Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg 3 2014 Modal Kleene algebra and partial correctness. Zbl 1108.68403 Möller, Bernhard; Struth, Georg 3 2004 Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL. Zbl 07498609 Huerta y Munive, Jonathan Julián; Struth, Georg 3 2022 Calculating Church-Rosser proofs in Kleene algebra. Zbl 1027.68071 Struth, Georg 3 2002 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 Deriving focused calculi for transitive relations. Zbl 0981.03034 Struth, Georg 2 2001 Kleene modules. Zbl 1088.03052 Ehm, Thorsten; Möller, Bernhard; Struth, Georg 2 2004 On the fine-structure of regular algebra. Zbl 1331.68128 Foster, Simon; Struth, Georg 2 2015 Hoare semigroups. Zbl 1390.68440 Struth, Georg 2 2018 Algebraic coherent confluence and higher globular Kleene algebras. Zbl 1508.18018 Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg 2 2022 Probabilistic concurrent Kleene algebra. Zbl 1464.68254 Mciver, Annabelle; Rabehaja, Tahiry; Struth, Georg 2 2013 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 Left omega algebras and regular equations. Zbl 1279.68242 Struth, Georg 2 2012 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 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 Kleisli, Parikh and Peleg compositions and liftings for multirelations. Zbl 1371.68171 Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro 1 2017 A discrete geometric model of concurrent program execution. Zbl 1483.68086 Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg 1 2017 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 Knuth-Bendix completion for non-symmetric transitive relations. Zbl 1268.68068 Struth, Georg 1 2001 Trimming the hedges: an algebra to tame concurrency. Zbl 1507.68216 Struth, Georg 1 2021 Cylindric Kleene lattices for program construction. Zbl 1434.68105 Dongol, Brijesh; Hayes, Ian; Meinicke, Larissa; Struth, Georg 1 2019 Non-termination in idempotent semirings. Zbl 1138.68461 Höfner, Peter; Struth, Georg 1 2008 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 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 Kleisli, Parikh and Peleg compositions and liftings for multirelations. Zbl 1371.68171 Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro 1 2017 A discrete geometric model of concurrent program execution. Zbl 1483.68086 Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg 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 Relational formalisations of compositions and liftings of multirelations. Zbl 1471.68124 Furusawa, Hitoshi; Kawahara, Yasuo; Struth, Georg; Tsumagari, Norihiro 2 2015 On the fine-structure of regular algebra. Zbl 1331.68128 Foster, Simon; Struth, Georg 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 3 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 46 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 72 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 9 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 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 cited Publications top 5 cited Publications all top 5 Cited by 201 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. 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 Zhu, Huibiao 4 Ziemiański, Krzysztof 3 Armstrong, Alasdair 3 Calk, Cameron 3 Cavalcanti, Ana 3 de Carufel, Jean-Lou 3 Glück, Roland 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 Jipsen, Peter 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 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 Braßel, Bernd 1 Brattka, Vasco 1 Brooke, Phillip J. ...and 101 more Authors all top 5 Cited in 30 Serials 36 Journal of Logical and Algebraic Methods in Programming 18 The Journal of Logic and Algebraic Programming 12 Formal Aspects of Computing 9 Logical Methods in Computer Science 8 Theoretical Computer Science 6 Journal of Automated Reasoning 4 Communications in Algebra 4 Information and Computation 4 MSCS. Mathematical Structures in Computer Science 4 ACM Transactions on Computational Logic 3 Semigroup Forum 3 International Journal of Algebra and Computation 2 Acta Informatica 2 Information Processing Letters 2 Algebra Universalis 2 Science of Computer Programming 1 Discrete Mathematics 1 Information Sciences 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Studia Logica 1 Synthese 1 International Journal of Computer Mathematics 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Soft Computing 1 Fundamenta Informaticae 1 Journal of Applied Logic all top 5 Cited in 16 Fields 203 Computer science (68-XX) 78 Mathematical logic and foundations (03-XX) 15 Associative rings and algebras (16-XX) 14 Category theory; homological algebra (18-XX) 14 Group theory and generalizations (20-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 11 General algebraic systems (08-XX) 8 Combinatorics (05-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 General topology (54-XX) 2 Systems theory; control (93-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year