×
Edit Profile (opens in new tab)

Möller, Bernhard

Co-Author Distance
Author ID: moller.bernhard Recent zbMATH articles by "Möller, Bernhard"
Published as: Möller, Bernhard; Moeller, Bernhard; Möller, B.; Möller, Bernhard B.; Moeller, B.
External Links: MGP
Documents Indexed: 83 Publications since 1981, including 2 Books
12 Contributions as Editor
Co-Authors: 55 Co-Authors with 77 Joint Publications
854 Co-Co-Authors
all top 5

Co-Authors

17 single-authored
18 Struth, Georg
13 Höfner, Peter
11 Desharnais, Jules
9 Hoare, Charles Antony Richard
7 Dang, Han-Hing
5 Berghammer, Rudolf
5 Glück, Roland
5 Wirsing, Martin
4 Dosch, Walter
4 Partsch, Helmut A.
4 Roocks, Patrick
3 Broy, Manfred
3 Guttmann, Walter
3 O’Hearn, Peter W.
3 Pepper, Peter
3 Russling, Martin
3 Wehrman, Ian
3 Zelend, Andreas
2 Apel, Sven
2 Bauer, Friedrich Ludwig
2 Boiten, Eerke A.
2 Heering, Jan
2 Jaoua, Ali Mohamed
2 Kästner, Christian
2 Lengauer, Christian
2 Meinke, Karl
2 Sintzoff, Michel
2 Tarlecki, Andrzej
2 Tchier, Fairouz
2 van Staden, Stephan
2 Zhu, Huibiao
1 Batory, Don S.
1 Brunn, Thomas
1 Dowek, Gilles
1 Ehm, Thorsten
1 Endres, Markus
1 Ertel, Jessica
1 Gnatz, Rupert
1 Grinenko, Anastasiya
1 Hussain, Akbar
1 Köppl, Dominik
1 Krieg-Brückner, Bernd
1 Laut, Alfred
1 Luckmann, M.
1 Matzner, T.
1 Müller, Martin Eric
1 Nipkow, Tobias
1 Petersen, Rasmus Lerchedahl
1 Samelson, Klaus
1 Schumann, Steve
1 Solin, Kim
1 Steinbrüggen, Ralf
1 Villard, Jules
1 Winter, Michael
1 Wössner, H.
all top 5

Serials

8 Science of Computer Programming
8 Journal of Logical and Algebraic Methods in Programming
7 The Journal of Logic and Algebraic Programming
7 Lecture Notes in Computer Science
2 Acta Informatica
2 Information Sciences
2 Theoretical Computer Science
1 Computational Mechanics
1 Formal Aspects of Computing
1 IEEE Transactions on Software Engineering
1 Higher-Order and Symbolic Computation
1 ACM Transactions on Computational Logic
1 Logical Methods in Computer Science
all top 5

Fields

88 Computer science (68-XX)
31 Mathematical logic and foundations (03-XX)
11 General and overarching topics; collections (00-XX)
5 Order, lattices, ordered algebraic structures (06-XX)
5 General algebraic systems (08-XX)
4 Associative rings and algebras (16-XX)
2 Combinatorics (05-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Systems theory; control (93-XX)
1 History and biography (01-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Mechanics of deformable solids (74-XX)
1 Operations research, mathematical programming (90-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

72 Publications have been cited 569 times in 273 Documents Cited by ▼ Year ▼
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
76
2006
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
52
2011
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
32
2009
Algebras of modal operators and partial correctness. Zbl 1086.68082
Möller, Bernhard; Struth, Georg
31
2006
Fuzzy structural analysis using \(\alpha\)-level optimization. Zbl 1009.74053
Möller, B.; Graf, W.; Beer, M.
28
2000
Kleene getting lazy. Zbl 1109.68060
Möller, Bernhard
20
2007
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
15
2011
Characterizing determinacy in Kleene algebras. Zbl 1004.68105
Desharnais, Jules; Möller, Bernhard
15
2001
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
14
2011
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
14
2011
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg
13
2006
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
13
1988
Lazy Kleene algebra. Zbl 1106.68065
Möller, Bernhard
12
2004
wp is wlp. Zbl 1185.68227
Möller, Bernhard; Struth, Georg
11
2006
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H.
11
1981
Termination in modal Kleene algebra. Zbl 1088.68619
Desharnais, Jules; Möller, Bernhard; Struth, Georg
11
2004
Dijkstra, Floyd and Warshall meet Kleene. Zbl 1259.68243
Höfner, Peter; Möller, Bernhard
10
2012
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
10
2009
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
10
2009
Towards pointer algebra. Zbl 0780.68090
Möller, Bernhard
10
1993
Formal program development. IFIP TC2/WG 2.1 state-of-the-art report. Zbl 0825.00043
9
1993
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
9
2014
Relational style laws and constructs of linear algebra. Zbl 1434.15016
Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard
7
2014
An algebraic calculus of database preferences. Zbl 1358.68087
Möller, Bernhard; Roocks, Patrick; Endres, Markus
7
2012
Omega algebra, demonic refinement algebra and commands. Zbl 1134.68409
Höfner, Peter; Möller, Bernhard; Solin, Kim
7
2006
Kleene under a modal demonic star. Zbl 1086.68080
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz
7
2006
On the algebraic specification of infinite objects - ordered and continuous models of algebraic types. Zbl 0563.68030
Möller, Bernhard
7
1985
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
Normal design algebra. Zbl 1184.68179
Guttmann, Walter; Möller, Bernhard
7
2010
An algebraic foundation for automatic feature-based program synthesis. Zbl 1209.68129
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian
6
2010
The linear algebra of UTP. Zbl 1235.68057
Möller, Bernhard
6
2006
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
6
2016
Reverse exchange for concurrency and local reasoning. Zbl 1358.68063
Dang, Han-Hing; Möller, Bernhard
5
2012
Kleene under a demonic star. Zbl 0983.68039
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz
5
2000
Calculating with acyclic and cyclic lists. Zbl 0943.68038
Möller, Bernhard
5
1999
A semiring approach to equivalences, bisimulations and control. Zbl 1267.68142
Glück, Roland; Möller, Bernhard; Sintzoff, Michel
4
2009
On algebra of program correctness and incorrectness. Zbl 07670527
Möller, Bernhard; O’Hearn, Peter; Hoare, Tony
4
2021
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
4
1988
Least reflexive points of relations. Zbl 1081.06001
Desharnais, Jules; Möller, Bernhard
4
2005
Model refinement using bisimulation quotients. Zbl 1308.68040
Glück, Roland; Möller, Bernhard; Sintzoff, Michel
4
2011
Towards an algebra of hybrid systems. Zbl 1185.68431
Höfner, Peter; Möller, Bernhard
4
2006
An algebra of database preferences. Zbl 1329.68094
Möller, Bernhard; Roocks, Patrick
4
2015
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg
4
2017
Modal Kleene algebra and partial correctness. Zbl 1108.68403
Möller, Bernhard; Struth, Georg
4
2004
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony
4
2015
An algebra for features and feature composition. Zbl 1170.68424
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian
3
2008
Transitive separation logic. Zbl 1330.03070
Dang, Han-Hing; Möller, Bernhard
3
2012
An algebra of layered complex preferences. Zbl 1330.68057
Möller, Bernhard; Roocks, Patrick
3
2012
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter
3
1989
On the algebraic specification of domains. Zbl 0584.68038
Möller, Bernhard; Dosch, Walter
3
1985
Unendliche Objekte und Geflechte. Zbl 0565.68012
Möller, Bernhard
3
1982
Layered graph traversals and Hamiltonian path problems—an algebraic approach. Zbl 0907.05052
Brunn, Thomas; Möller, Bernhard; Russling, Martin
3
1998
Kleene modules. Zbl 1088.03052
Ehm, Thorsten; Möller, Bernhard; Struth, Georg
3
2004
Exploring modal worlds. Zbl 1434.03146
Dang, Han-Hing; Glück, Roland; Möller, Bernhard; Roocks, Patrick; Zelend, Andreas
2
2014
Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. Zbl 0744.68025
2
1991
Lazy semiring neighbours and some applications. Zbl 1134.68408
Höfner, Peter; Möller, Bernhard
2
2006
Modal design algebra. Zbl 1186.68112
Guttmann, Walter; Möller, Bernhard
2
2006
Shorter paths to graph algorithms. Zbl 0813.68144
Möller, Bernhard; Russling, Martin
2
1994
Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA ’93, Amsterdam, the Netherlands, September 23–24, 1993. Selected papers. Zbl 0825.00070
2
1994
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
2
2004
Modal algebra and Petri nets. Zbl 1410.68249
Dang, Han-Hing; Möller, Bernhard
2
2015
Fuzzifying modal algebra. Zbl 1405.03086
Desharnais, Jules; Möller, Bernhard
1
2014
Fixing Zeno gaps. Zbl 1227.68079
Höfner, Peter; Möller, Bernhard
1
2011
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. Zbl 1177.68003
1
2009
Foundations of coloring algebra with consequences for feature-oriented programming. Zbl 1364.68137
Höfner, Peter; Möller, Bernhard; Zelend, Andreas
1
2012
Knowledge and games in modal semirings. Zbl 1139.03048
Möller, Bernhard
1
2008
Algebraic neighbourhood logic. Zbl 1142.03036
Höfner, Peter; Möller, Bernhard
1
2008
Algebraic derivation of until rules and application to timer verification. Zbl 1518.68205
Ertel, Jessica; Glück, Roland; Möller, Bernhard
1
2018
Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Zbl 0851.00044
1
1996
Extended transitive separation logic. Zbl 1330.03071
Dang, Han-Hing; Möller, Bernhard B.
1
2015
Structured document algebra in action. Zbl 1454.68023
Batory, Don; Höfner, Peter; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas
1
2015
Non-associative Kleene algebra and temporal logics. Zbl 1486.68099
Desharnais, Jules; Möller, Bernhard
1
2017
On algebra of program correctness and incorrectness. Zbl 07670527
Möller, Bernhard; O’Hearn, Peter; Hoare, Tony
4
2021
Algebraic derivation of until rules and application to timer verification. Zbl 1518.68205
Ertel, Jessica; Glück, Roland; Möller, Bernhard
1
2018
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg
4
2017
Non-associative Kleene algebra and temporal logics. Zbl 1486.68099
Desharnais, Jules; Möller, Bernhard
1
2017
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
6
2016
An algebra of database preferences. Zbl 1329.68094
Möller, Bernhard; Roocks, Patrick
4
2015
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony
4
2015
Modal algebra and Petri nets. Zbl 1410.68249
Dang, Han-Hing; Möller, Bernhard
2
2015
Extended transitive separation logic. Zbl 1330.03071
Dang, Han-Hing; Möller, Bernhard B.
1
2015
Structured document algebra in action. Zbl 1454.68023
Batory, Don; Höfner, Peter; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas
1
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
9
2014
Relational style laws and constructs of linear algebra. Zbl 1434.15016
Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard
7
2014
Exploring modal worlds. Zbl 1434.03146
Dang, Han-Hing; Glück, Roland; Möller, Bernhard; Roocks, Patrick; Zelend, Andreas
2
2014
Fuzzifying modal algebra. Zbl 1405.03086
Desharnais, Jules; Möller, Bernhard
1
2014
Dijkstra, Floyd and Warshall meet Kleene. Zbl 1259.68243
Höfner, Peter; Möller, Bernhard
10
2012
An algebraic calculus of database preferences. Zbl 1358.68087
Möller, Bernhard; Roocks, Patrick; Endres, Markus
7
2012
Reverse exchange for concurrency and local reasoning. Zbl 1358.68063
Dang, Han-Hing; Möller, Bernhard
5
2012
Transitive separation logic. Zbl 1330.03070
Dang, Han-Hing; Möller, Bernhard
3
2012
An algebra of layered complex preferences. Zbl 1330.68057
Möller, Bernhard; Roocks, Patrick
3
2012
Foundations of coloring algebra with consequences for feature-oriented programming. Zbl 1364.68137
Höfner, Peter; Möller, Bernhard; Zelend, Andreas
1
2012
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
52
2011
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
15
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
14
2011
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg
14
2011
Model refinement using bisimulation quotients. Zbl 1308.68040
Glück, Roland; Möller, Bernhard; Sintzoff, Michel
4
2011
Fixing Zeno gaps. Zbl 1227.68079
Höfner, Peter; Möller, Bernhard
1
2011
Normal design algebra. Zbl 1184.68179
Guttmann, Walter; Möller, Bernhard
7
2010
An algebraic foundation for automatic feature-based program synthesis. Zbl 1209.68129
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian
6
2010
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
32
2009
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
10
2009
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
10
2009
A semiring approach to equivalences, bisimulations and control. Zbl 1267.68142
Glück, Roland; Möller, Bernhard; Sintzoff, Michel
4
2009
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. Zbl 1177.68003
1
2009
An algebra for features and feature composition. Zbl 1170.68424
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian
3
2008
Knowledge and games in modal semirings. Zbl 1139.03048
Möller, Bernhard
1
2008
Algebraic neighbourhood logic. Zbl 1142.03036
Höfner, Peter; Möller, Bernhard
1
2008
Kleene getting lazy. Zbl 1109.68060
Möller, Bernhard
20
2007
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
76
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
Omega algebra, demonic refinement algebra and commands. Zbl 1134.68409
Höfner, Peter; Möller, Bernhard; Solin, Kim
7
2006
Kleene under a modal demonic star. Zbl 1086.68080
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz
7
2006
The linear algebra of UTP. Zbl 1235.68057
Möller, Bernhard
6
2006
Towards an algebra of hybrid systems. Zbl 1185.68431
Höfner, Peter; Möller, Bernhard
4
2006
Lazy semiring neighbours and some applications. Zbl 1134.68408
Höfner, Peter; Möller, Bernhard
2
2006
Modal design algebra. Zbl 1186.68112
Guttmann, Walter; Möller, Bernhard
2
2006
Least reflexive points of relations. Zbl 1081.06001
Desharnais, Jules; Möller, Bernhard
4
2005
Lazy Kleene algebra. Zbl 1106.68065
Möller, Bernhard
12
2004
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
4
2004
Kleene modules. Zbl 1088.03052
Ehm, Thorsten; Möller, Bernhard; Struth, Georg
3
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
2
2004
Characterizing determinacy in Kleene algebras. Zbl 1004.68105
Desharnais, Jules; Möller, Bernhard
15
2001
Fuzzy structural analysis using \(\alpha\)-level optimization. Zbl 1009.74053
Möller, B.; Graf, W.; Beer, M.
28
2000
Kleene under a demonic star. Zbl 0983.68039
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz
5
2000
Calculating with acyclic and cyclic lists. Zbl 0943.68038
Möller, Bernhard
5
1999
Layered graph traversals and Hamiltonian path problems—an algebraic approach. Zbl 0907.05052
Brunn, Thomas; Möller, Bernhard; Russling, Martin
3
1998
Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Zbl 0851.00044
1
1996
Shorter paths to graph algorithms. Zbl 0813.68144
Möller, Bernhard; Russling, Martin
2
1994
Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA ’93, Amsterdam, the Netherlands, September 23–24, 1993. Selected papers. Zbl 0825.00070
2
1994
Towards pointer algebra. Zbl 0780.68090
Möller, Bernhard
10
1993
Formal program development. IFIP TC2/WG 2.1 state-of-the-art report. Zbl 0825.00043
9
1993
Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. Zbl 0744.68025
2
1991
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter
3
1989
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
13
1988
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
4
1988
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
On the algebraic specification of infinite objects - ordered and continuous models of algebraic types. Zbl 0563.68030
Möller, Bernhard
7
1985
On the algebraic specification of domains. Zbl 0584.68038
Möller, Bernhard; Dosch, Walter
3
1985
Unendliche Objekte und Geflechte. Zbl 0565.68012
Möller, Bernhard
3
1982
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H.
11
1981
all cited Publications top 5 cited Publications
all top 5

Cited by 247 Authors

36 Möller, Bernhard
35 Struth, Georg
16 Guttmann, Walter
14 Höfner, Peter
13 Desharnais, Jules
12 Hoare, Charles Antony Richard
10 Stokes, Timothy E.
9 Hayes, Ian J.
8 Pous, Damien
7 Foster, Simon
7 Glück, Roland
7 Jackson, Marcel G.
6 Berghammer, Rudolf
6 Colvin, Robert J.
6 Kappé, Tobias
6 McIver, Annabelle K.
6 Meinicke, Larissa A.
6 Rot, Jurriaan
6 Silva, Alexandra
6 Solin, Kim
6 van Staden, Stephan
6 Woodcock, James C. P.
6 Zanasi, Fabio
5 Brunet, Paul
5 Dang, Han-Hing
5 Fahrenberg, Uli
5 Furusawa, Hitoshi
5 Johansen, Christian
5 Kahl, Wolfram
5 Meinke, Karl
5 Oliveira, José Nuno
5 Roocks, Patrick
5 Zhu, Huibiao
4 Barbosa, Luís Soares
4 Dongol, Brijesh
4 Hennicker, Rolf
4 Hirsch, Robin
4 O’Hearn, Peter W.
4 Rabehaja, Tahiry M.
4 Wagemaker, Jana
4 Wirsing, Martin
3 Broy, Manfred
3 Calk, Cameron
3 Cavalcanti, Ana
3 de Carufel, Jean-Lou
3 Doumane, Amina
3 Gomes, Leandro G.
3 Jipsen, Peter
3 Khedri, Ridha
3 Luttik, Bas
3 Madeira, Alexandre
3 Mikulás, Szabolcs
3 Sannella, Donald T.
3 Sedlár, Igor
3 Zelend, Andreas
3 Zeyda, Frank
3 Ziemiański, Krzysztof
2 Bannister, Callum
2 Cranch, James
2 Docherty, Simon
2 Doherty, Simon
2 Ehrig, Hartmut
2 Fischer, Sebastian
2 Gomes, Victor B. F.
2 Goncharov, Sergeĭ Savost’yanovich
2 Goubault, Eric
2 Haxthausen, Anne Elisabeth
2 Hussain, Akbar
2 Jones, Cliff B.
2 Kozen, Dexter C.
2 Lorenz, Robert G.
2 Malbos, Philippe
2 Morgan, Carroll C.
2 Naumann, David A.
2 Petersen, Rasmus Lerchedahl
2 Piedeleu, Robin
2 Pym, David J.
2 Rodríguez-Artalejo, Mario
2 Steggles, L. Jason
2 Tarlecki, Andrzej
2 Tchier, Fairouz
2 Wehrman, Ian
2 Xie, Wanling
2 Ye, Kangfeng
1 Abe, Tatsuya
1 Aboul-Hosn, Kamal
1 Aghili Ashtiani, Arya
1 Alabbad, Mohammed
1 Alain, Mathieu
1 Alcolei, Aurore
1 Apel, Sven
1 Armstrong, Alasdair
1 Astesiano, Egidio
1 Barioni, Maria Camila N.
1 Barnes, Janet
1 Batory, Don S.
1 Bauer, Friedrich Ludwig
1 Benevides, Mario R. F.
1 Bidoit, Michel
1 Birkedal, Lars
...and 147 more Authors
all top 5

Cited in 31 Serials

33 Journal of Logical and Algebraic Methods in Programming
25 Theoretical Computer Science
23 The Journal of Logic and Algebraic Programming
12 Formal Aspects of Computing
10 Logical Methods in Computer Science
7 Acta Informatica
5 Information Sciences
4 Science of Computer Programming
4 Information and Computation
4 Mathematical Structures in Computer Science
4 ACM Transactions on Computational Logic
3 Information Processing Letters
3 Semigroup Forum
3 International Journal of Algebra and Computation
2 Communications in Algebra
2 Algebra Universalis
2 Higher-Order and Symbolic Computation
1 Journal of Computer and System 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 Journal of Applied Non-Classical Logics
1 Journal of Functional Programming
1 Soft Computing
1 Fundamenta Informaticae
1 Logica Universalis
1 Discrete and Continuous Dynamical Systems. Series S
1 IET Control Theory & Applications
1 Modelirovanie i Analiz Informatsionnykh Sistem
all top 5

Cited in 17 Fields

249 Computer science (68-XX)
81 Mathematical logic and foundations (03-XX)
23 Order, lattices, ordered algebraic structures (06-XX)
16 General algebraic systems (08-XX)
13 Associative rings and algebras (16-XX)
12 Category theory; homological algebra (18-XX)
10 Group theory and generalizations (20-XX)
8 Combinatorics (05-XX)
3 History and biography (01-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
2 Systems theory; control (93-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 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year