×
Compute Distance To:
Author ID: broy.manfred Recent zbMATH articles by "Broy, Manfred"
Published as: Broy, Manfred; Broy, M.
all top 5

Co-Authors

70 single-authored
29 Wirsing, Martin
14 Pepper, Peter
9 Bauer, Friedrich Ludwig
9 Partsch, Helmut A.
6 Dosch, Walter
6 Gnatz, Rupert
5 Krieg-Brückner, Bernd
4 Bjørner, Dines
4 Steinbrüggen, Ralf
3 Hoare, C. A. R. Tony
3 Möller, Bernhard
3 Rumpe, Bernhard
3 Schieder, Birgit
3 Wössner, H.
3 Zamulin, Aleksandr Vasil’evich
2 Luqi
2 Streicher, Thomas
2 Tucker, John V.
1 Astesiano, Egidio
1 Belinfante, Axel
1 Berg, Therese
1 Bergstra, Jan A.
1 Berkenkötter, Kirsten
1 Björklund, Henrik
1 Botaschanjan, Jewgenij
1 Boullier, Pierre
1 Breu, Ruth
1 Briones, Laura Brandán
1 Bruda, Stefan D.
1 Cerone, Antonio
1 Colin, Séverine
1 Dai, Zhen Ru
1 Denert, Ernst
1 Deransart, Pierre
1 Dijkstra, Edsger Wybe
1 Din, George
1 El-Ramly, Mohammad
1 Finance, Jean-Pierre
1 Frantzen, Lars
1 Gargantini, Angelo
1 Gaston, Christophe
1 Gaudel, Marie-Claude
1 Gruler, Alexander
1 Grünbauer, Johannes
1 Harhurin, Alexander
1 Herzberg, Dominikus
1 Hinkel, Ursula
1 Horstmann, Marc
1 Huber, Franz
1 Jones, Neil D.
1 Jonsson, Bengt
1 Kastens, Uwe
1 Katoen, Joost-Pieter
1 Kirner, Raimund
1 Knapp, Steffen
1 Kof, Leonid
1 Kotov, Vadim E.
1 Krichen, Moez
1 Krüger, Ingolf H.
1 Laut, Alfred
1 Lengauer, Christian
1 Leucker, Martin
1 Lúcio, Levi
1 Luckmann, M.
1 Mariani, Leonardo
1 Matzner, T.
1 Merz, Stephan
1 Nipkow, Tobias
1 Olderog, Ernst-Rüdiger
1 Pair, Claude
1 Paul, Wolfgang Jakob
1 Peureux, Fabien
1 Philipps, Jan
1 Pizka, M.
1 Pottosin, Igor V.
1 Prehofer, Christian
1 Prenninger, Wolfgang
1 Pretschner, Alexander
1 Quere, A.
1 Raffelt, Harald
1 Raskovsky, Martin
1 Reggio, Gianna
1 Remy, Jean-Luc
1 Ripken, Knut
1 Roggenbach, Markus
1 Röhl, Mathias
1 Samelson, Klaus
1 Samer, Marko
1 Sandberg, Sven
1 Schallhart, Christian
1 Schlingloff, Bernd-Holger
1 Schmidt, David A.
1 Schmidt, Gunther
1 Schneider, Gerardo
1 Schwerin, Wolfgang
1 Seifert, Dirk
1 Shaikh, Siraj Ahmed
1 Slotosch, Oscar
1 Spaniol, Otto
1 Spichkova, Maria
...and 8 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 369 times in 224 Documents Cited by Year
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
34
1982
Specification and development of interactive systems. Focus on streams, interfaces, and refinement. Zbl 0981.68115
Broy, Manfred; Stølen, Ketil
29
2001
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
23
2005
A theory for nondeterminism, parallelism, communication, and concurrency. Zbl 0601.68022
Broy, Manfred
17
1986
Semantics of nondeterministic and noncontinuous constructs. Zbl 0406.03059
Broy, M.; Gnatz, R.; Wirsing, M.
15
1979
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
14
1983
On the power of algebraic specifications. Zbl 0462.68001
Bergstra, J. A.; Broy, M.; Tucker, J. V.; Wirsing, M.
13
1981
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
13
1987
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
11
1979
On the algebraic specification of nondeterministic programming languages. Zbl 0462.68063
Broy, M.; Wirsing, M.
11
1981
Nondeterministic data flow programs: How to avoid the merge anomaly. Zbl 0632.68016
Broy, Manfred
11
1988
Programming languages as abstract data types. Zbl 0433.68014
Broy, M.; Wirsing, M.
10
1980
Abstract data types as lattices of finitely generated models. Zbl 0441.68014
Wirsing, M.; Broy, M.
10
1980
The algebra of stream processing functions. Zbl 0973.68172
Broy, M.; Ştefănescu, G.
9
2001
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.
9
1981
A systematic study of models of abstract data types. Zbl 0552.68010
Broy, M.; Wirsing, M.; Pair, C.
9
1984
Semantics of finite and infinite networks of concurrent communicating agents. Zbl 0621.68012
Broy, Manfred
8
1987
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
Predicative specifications for functional programs describing communicating networks. Zbl 0625.68007
Broy, Manfred
5
1987
Systematics of transformation rules. Zbl 0399.68009
Bauer, F. L.; Broy, M.; Partsch, H.; Pepper, P.; Wössner, H.
4
1979
Examples for change of types and object structures. Zbl 0399.68030
Partsch, H.; Broy, M.
4
1979
On relations between programs. Zbl 0435.68017
Broy, M.; Pepper, P.; Wirsing, M.
4
1980
Semantics of communicating processes. Zbl 0591.68030
Broy, Manfred
4
1984
On the algebraic specification of finitary infinite communicating sequential processes. Zbl 0512.68021
Broy, Manfred; Wirsing, Martin
4
1983
Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017
Broy, Manfred; Wirsing, Martin
4
1983
Towards a wide spectrum language to support program specification and program development. Zbl 0409.68003
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.; Partsch, H.; Pepper, P.; Wössner, H.
3
1979
Transformational semantics for concurrent programs. Zbl 0444.68017
Broy, M.
3
1980
Program development as a formal activity. Zbl 0447.68005
Broy, Manfred; Pepper, Peter
3
1981
Derivation of invariant assertions during program development by transformation. Zbl 0468.68016
Broy, Manfred; Krieg-Brückner, Bernd
3
1980
Transformation parallel ablaufender Programme. Zbl 0461.68013
Broy, Manfred
3
1980
A fixed point approach to applicative multiprogramming. Zbl 0508.68012
Broy, Manfred
3
1982
Algebraic specification of concurrent systems. Zbl 0973.68150
Astesiano, Egidio; Broy, Manfred; Reggio, Gianna
2
1999
A logical basis for modular systems engineering. Zbl 1012.68055
Broy, Manfred
2
1999
Trace-oriented models of concurrency. Zbl 1021.68040
Broy, Manfred; Olderog, Ernst-Rüdiger
2
2001
Program. construction. International summer school. Zbl 0396.00016
2
1979
Semantic relations in programming languages. Zbl 0443.68005
Broy, M.; Partsch, H.; Pepper, P.; Wirsing, M.
2
1980
Requirement and design specification for distributed systems. Zbl 0663.68029
Broy, Manfred
2
1988
Views of queues. Zbl 0665.68014
Broy, Manfred
2
1988
Refinement of time. Zbl 0954.68097
Broy, M.
2
2001
Equational specification of partial higher order algebras. Zbl 0625.68022
Broy, Manfred
2
1987
Specification and top down design of distributed systems. Zbl 0563.68020
Broy, Manfred
2
1985
Extensional behaviour of concurrent, nondeterministic, communicating systems. Zbl 0566.68019
Broy, Manfred
2
1985
A theory of system interaction: components, interfaces, and services. Zbl 1266.68113
Broy, Manfred
2
2006
Compositional refinement of interactive systems. Zbl 0904.68002
Broy, Manfred
2
1997
Service-oriented systems engineering: modeling services and layered architectures. Zbl 1279.68063
Broy, Manfred
2
2003
Interaction and realizability. Zbl 1132.68031
Broy, Manfred
2
2007
Modeling layered distributed communication systems. Zbl 1101.68383
Herzberg, Dominikus; Broy, Manfred
2
2005
Denotational semantics of communicating processes based on a language for applicative multiprogramming. Zbl 0509.68019
Broy, Manfred
2
1983
Fixed point theory for communication and concurrency. Zbl 0512.68024
Broy, Manfred
2
1983
A systematic approach to language constructs for concurrent programs. Zbl 0536.68013
Broy, Manfred; Bauer, Friedrich L.
2
1984
A model of dynamic systems. Zbl 1417.68022
Broy, Manfred
2
2014
Adapting calculational logic to the undefined. Zbl 0941.03031
Schieder, Birgit; Broy, Manfred
1
1999
Specification and refinement of a buffer of length one. Zbl 0847.68062
Broy, Manfred
1
1996
Towards a wide spectrum language to support program specification and program development. Zbl 0375.68012
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.
1
1978
A wide spectrum language for program development. Zbl 0405.68003
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.
1
1978
Problemspezifikation - eine Grundlage für Programmentwicklung. Zbl 0407.68005
Broy, M.; Gnatz, R.; Wirsing, M.
1
1979
Mathematical methods in system and software engineering. Zbl 0884.68037
Broy, Manfred
1
1997
Formal stystems specification. The RPC-memory specification case study. Zbl 1060.68504
1
1996
A semantic and methodological essence of message sequence charts. Zbl 1085.68011
Broy, Manfred
1
2005
Denotational semantics of communicating sequential programs. Zbl 0612.68024
Broy, Manfred
1
1986
Specification and top-down design of distributed systems. Zbl 0619.68020
Broy, Manfred
1
1987
Views of distributed systems. Zbl 0626.68012
Broy, Manfred; Streicher, Thomas
1
1987
Equational specification of partial higher-order algebras. Zbl 0644.68031
Broy, Manfred
1
1988
Specification and design of shared resource arbitration. Zbl 0741.68034
Broy, Manfred; Streicher, Thomas
1
1991
Programming concepts and methods. Proceedings of the IFIP working group 2.2/2.3 working conference, Sea of Galilee, Israel, 2-5 April 1990. Zbl 0744.68016
1
1990
Algebraic and functional specification of an interactive serializable database interface. Zbl 0748.68011
Broy, Manfred
1
1992
Operational and denotational semantics with explicit concurrency. Zbl 0762.68041
Broy, Manfred
1
1992
Methods of programming. Selected papers on the CIP-project. Zbl 0875.00050
1
1991
Algebraic methods for program construction: The project CIP. Zbl 0547.68011
Broy, Manfred
1
1984
On the Herbrand Kleene universe for nondeterministic computations. Zbl 0553.68026
Broy, Manfred
1
1984
On the Herbrand-Kleene universe for nondeterministic computations. Zbl 0567.68024
Broy, Manfred
1
1985
On the role of logic and algebra in software engineering. Zbl 1315.68083
Broy, Manfred
1
2013
On the correctness of upper layers of automotive systems. Zbl 1165.68047
Botaschanjan, Jewgenij; Broy, Manfred; Gruler, Alexander; Harhurin, Alexander; Knapp, Steffen; Kof, Leonid; Paul, Wolfgang; Spichkova, Maria
1
2008
Computability and realizability for interactive computations. Zbl 1309.68064
Broy, Manfred
1
2015
Combining algebraic and algorithmic reasoning: an approach to the Schorr- Waite algorithm. Zbl 0483.68035
Broy, Manfred; Pepper, Peter
1
1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Zbl 0488.68024
Pepper, P.; Broy, M.; Bauer, F. L.; Partsch, H.; Dosch, W.; Wirsing, M.
1
1982
On the algebraic extensions of abstract data types. Zbl 0492.68024
Broy, Manfred; Wirsing, Martin
1
1981
Theoretical foundations of programming methodology. Lecture Notes of an International Summer School (Marktoberdorf, Germany 1981), directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare. Zbl 0507.00015
1
1982
Program construction by transformations: A family tree of sorting programs. Zbl 0518.68018
Broy, Manfred
1
1983
Software pioneers. Contributions to software engineering. Incl. 4 DVD. Zbl 0997.68001
1
2002
Computability and realizability for interactive computations. Zbl 1309.68064
Broy, Manfred
1
2015
A model of dynamic systems. Zbl 1417.68022
Broy, Manfred
2
2014
On the role of logic and algebra in software engineering. Zbl 1315.68083
Broy, Manfred
1
2013
On the correctness of upper layers of automotive systems. Zbl 1165.68047
Botaschanjan, Jewgenij; Broy, Manfred; Gruler, Alexander; Harhurin, Alexander; Knapp, Steffen; Kof, Leonid; Paul, Wolfgang; Spichkova, Maria
1
2008
Interaction and realizability. Zbl 1132.68031
Broy, Manfred
2
2007
A theory of system interaction: components, interfaces, and services. Zbl 1266.68113
Broy, Manfred
2
2006
Model-based testing of reactive systems. Advanced lectures. Zbl 1070.68088
23
2005
Modeling layered distributed communication systems. Zbl 1101.68383
Herzberg, Dominikus; Broy, Manfred
2
2005
A semantic and methodological essence of message sequence charts. Zbl 1085.68011
Broy, Manfred
1
2005
Service-oriented systems engineering: modeling services and layered architectures. Zbl 1279.68063
Broy, Manfred
2
2003
Software pioneers. Contributions to software engineering. Incl. 4 DVD. Zbl 0997.68001
1
2002
Specification and development of interactive systems. Focus on streams, interfaces, and refinement. Zbl 0981.68115
Broy, Manfred; Stølen, Ketil
29
2001
The algebra of stream processing functions. Zbl 0973.68172
Broy, M.; Ştefănescu, G.
9
2001
Trace-oriented models of concurrency. Zbl 1021.68040
Broy, Manfred; Olderog, Ernst-Rüdiger
2
2001
Refinement of time. Zbl 0954.68097
Broy, M.
2
2001
Algebraic specification of concurrent systems. Zbl 0973.68150
Astesiano, Egidio; Broy, Manfred; Reggio, Gianna
2
1999
A logical basis for modular systems engineering. Zbl 1012.68055
Broy, Manfred
2
1999
Adapting calculational logic to the undefined. Zbl 0941.03031
Schieder, Birgit; Broy, Manfred
1
1999
Compositional refinement of interactive systems. Zbl 0904.68002
Broy, Manfred
2
1997
Mathematical methods in system and software engineering. Zbl 0884.68037
Broy, Manfred
1
1997
Specification and refinement of a buffer of length one. Zbl 0847.68062
Broy, Manfred
1
1996
Formal stystems specification. The RPC-memory specification case study. Zbl 1060.68504
1
1996
Algebraic and functional specification of an interactive serializable database interface. Zbl 0748.68011
Broy, Manfred
1
1992
Operational and denotational semantics with explicit concurrency. Zbl 0762.68041
Broy, Manfred
1
1992
Specification and design of shared resource arbitration. Zbl 0741.68034
Broy, Manfred; Streicher, Thomas
1
1991
Methods of programming. Selected papers on the CIP-project. Zbl 0875.00050
1
1991
Programming concepts and methods. Proceedings of the IFIP working group 2.2/2.3 working conference, Sea of Galilee, Israel, 2-5 April 1990. Zbl 0744.68016
1
1990
Nondeterministic data flow programs: How to avoid the merge anomaly. Zbl 0632.68016
Broy, Manfred
11
1988
Requirement and design specification for distributed systems. Zbl 0663.68029
Broy, Manfred
2
1988
Views of queues. Zbl 0665.68014
Broy, Manfred
2
1988
Equational specification of partial higher-order algebras. Zbl 0644.68031
Broy, Manfred
1
1988
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
13
1987
Semantics of finite and infinite networks of concurrent communicating agents. Zbl 0621.68012
Broy, Manfred
8
1987
Predicative specifications for functional programs describing communicating networks. Zbl 0625.68007
Broy, Manfred
5
1987
Equational specification of partial higher order algebras. Zbl 0625.68022
Broy, Manfred
2
1987
Specification and top-down design of distributed systems. Zbl 0619.68020
Broy, Manfred
1
1987
Views of distributed systems. Zbl 0626.68012
Broy, Manfred; Streicher, Thomas
1
1987
A theory for nondeterminism, parallelism, communication, and concurrency. Zbl 0601.68022
Broy, Manfred
17
1986
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
Denotational semantics of communicating sequential programs. Zbl 0612.68024
Broy, Manfred
1
1986
Specification and top down design of distributed systems. Zbl 0563.68020
Broy, Manfred
2
1985
Extensional behaviour of concurrent, nondeterministic, communicating systems. Zbl 0566.68019
Broy, Manfred
2
1985
On the Herbrand-Kleene universe for nondeterministic computations. Zbl 0567.68024
Broy, Manfred
1
1985
A systematic study of models of abstract data types. Zbl 0552.68010
Broy, M.; Wirsing, M.; Pair, C.
9
1984
Semantics of communicating processes. Zbl 0591.68030
Broy, Manfred
4
1984
A systematic approach to language constructs for concurrent programs. Zbl 0536.68013
Broy, Manfred; Bauer, Friedrich L.
2
1984
Algebraic methods for program construction: The project CIP. Zbl 0547.68011
Broy, Manfred
1
1984
On the Herbrand Kleene universe for nondeterministic computations. Zbl 0553.68026
Broy, Manfred
1
1984
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
14
1983
On the algebraic specification of finitary infinite communicating sequential processes. Zbl 0512.68021
Broy, Manfred; Wirsing, Martin
4
1983
Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017
Broy, Manfred; Wirsing, Martin
4
1983
Denotational semantics of communicating processes based on a language for applicative multiprogramming. Zbl 0509.68019
Broy, Manfred
2
1983
Fixed point theory for communication and concurrency. Zbl 0512.68024
Broy, Manfred
2
1983
Program construction by transformations: A family tree of sorting programs. Zbl 0518.68018
Broy, Manfred
1
1983
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
34
1982
A fixed point approach to applicative multiprogramming. Zbl 0508.68012
Broy, Manfred
3
1982
Combining algebraic and algorithmic reasoning: an approach to the Schorr- Waite algorithm. Zbl 0483.68035
Broy, Manfred; Pepper, Peter
1
1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Zbl 0488.68024
Pepper, P.; Broy, M.; Bauer, F. L.; Partsch, H.; Dosch, W.; Wirsing, M.
1
1982
Theoretical foundations of programming methodology. Lecture Notes of an International Summer School (Marktoberdorf, Germany 1981), directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare. Zbl 0507.00015
1
1982
On the power of algebraic specifications. Zbl 0462.68001
Bergstra, J. A.; Broy, M.; Tucker, J. V.; Wirsing, M.
13
1981
On the algebraic specification of nondeterministic programming languages. Zbl 0462.68063
Broy, M.; Wirsing, M.
11
1981
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.
9
1981
Program development as a formal activity. Zbl 0447.68005
Broy, Manfred; Pepper, Peter
3
1981
On the algebraic extensions of abstract data types. Zbl 0492.68024
Broy, Manfred; Wirsing, Martin
1
1981
Programming languages as abstract data types. Zbl 0433.68014
Broy, M.; Wirsing, M.
10
1980
Abstract data types as lattices of finitely generated models. Zbl 0441.68014
Wirsing, M.; Broy, M.
10
1980
On relations between programs. Zbl 0435.68017
Broy, M.; Pepper, P.; Wirsing, M.
4
1980
Transformational semantics for concurrent programs. Zbl 0444.68017
Broy, M.
3
1980
Derivation of invariant assertions during program development by transformation. Zbl 0468.68016
Broy, Manfred; Krieg-Brückner, Bernd
3
1980
Transformation parallel ablaufender Programme. Zbl 0461.68013
Broy, Manfred
3
1980
Semantic relations in programming languages. Zbl 0443.68005
Broy, M.; Partsch, H.; Pepper, P.; Wirsing, M.
2
1980
Semantics of nondeterministic and noncontinuous constructs. Zbl 0406.03059
Broy, M.; Gnatz, R.; Wirsing, M.
15
1979
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
11
1979
Systematics of transformation rules. Zbl 0399.68009
Bauer, F. L.; Broy, M.; Partsch, H.; Pepper, P.; Wössner, H.
4
1979
Examples for change of types and object structures. Zbl 0399.68030
Partsch, H.; Broy, M.
4
1979
Towards a wide spectrum language to support program specification and program development. Zbl 0409.68003
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.; Partsch, H.; Pepper, P.; Wössner, H.
3
1979
Program. construction. International summer school. Zbl 0396.00016
2
1979
Problemspezifikation - eine Grundlage für Programmentwicklung. Zbl 0407.68005
Broy, M.; Gnatz, R.; Wirsing, M.
1
1979
Towards a wide spectrum language to support program specification and program development. Zbl 0375.68012
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.
1
1978
A wide spectrum language for program development. Zbl 0405.68003
Bauer, F. L.; Broy, M.; Gnatz, R.; Hesse, W.; Krieg-Brückner, B.
1
1978
all top 5

Cited by 274 Authors

22 Broy, Manfred
9 Wirsing, Martin
7 Hennicker, Rolf
7 Meseguer Guaita, José
6 Bergstra, Jan A.
6 Tarlecki, Andrzej
5 Sannella, Donald T.
4 Back, Ralph-Johan
4 Guttmann, Walter
4 Jonsson, Bengt
4 Kreowski, Hans-Jörg
4 Meyer, John-Jules Charles
4 Owe, Olaf
4 Roşu, Grigore
3 Bidoit, Michel
3 de Vink, Erik P.
3 Ehrig, Hartmut
3 Howar, Falk
3 Kaplan, Stéphane
3 Möller, Bernhard
3 Orejas, Fernando
3 Steffen, Bernhard
3 Talcott, Carolyn L.
3 Tucker, John V.
3 Yenigun, Husnu
2 Astesiano, Egidio
2 Bernot, Gilles
2 Cassel, Sofia
2 Cerioli, Maura
2 Choppy, Christine
2 Costa, José Félix
2 Coto, Alex
2 Din, Crystal Chang
2 Dosch, Walter
2 Ehrich, Hans-Dieter
2 Fiadeiro, José Luiz
2 Gavilanes-Franco, Antonio
2 Gleirscher, Mario
2 Gold, Robert
2 Guanciale, Roberto
2 Guerra, Hélia
2 Höfner, Peter
2 Julliand, Jacques
2 Kramosil, Ivan
2 Leavens, Gary T.
2 Lucio-Carrasco, Francisca
2 Lucio, Paqui
2 Majster-Cederbaum, Mila E.
2 Mancini, Toni
2 Mari, Federico
2 Marmsoler, Diego
2 Massini, Annalisa
2 Masson, Pierre-Alain
2 Melatti, Igor
2 Moschovakis, Yiannis Nicholas
2 Olderog, Ernst-Rüdiger
2 Padawitz, Peter
2 Pair, Claude
2 Ponse, Alban
2 Refsdal, Atle
2 Runde, Ragnhild Kobro
2 Smith, Douglas R.
2 Ştefănescu, Gheorghe
2 Stølen, Ketil
2 Tripakis, Stavros
2 Tronci, Enrico
2 Tuosto, Emilio
2 Türker, Uraz Cengiz
2 Vaandrager, Frits W.
2 Zhang, Minghua
1 Aarts, Fides
1 Aiguier, Marc
1 Andova, Suzana
1 Avron, Arnon
1 Bachmair, Leo
1 Baier, Christel
1 Barringer, Howard
1 Bauer, Friedrich Ludwig
1 Beohar, Harsh
1 Berghammer, Rudolf
1 Bolotov, Alexander
1 Börger, Egon
1 Boronat, Artur
1 Borrione, Dominique
1 Brookes, Stephen D.
1 Bué, Pierre-Christophe
1 Burmeister, Peter
1 Burstall, Rod M.
1 Calinescu, Radu C.
1 Chen, Zhizhong
1 Costa, Gerardo
1 Cousot, Patrick
1 Dang, Zhe
1 de Bakker, Jacobus W.
1 de Bruin, Arie
1 De Nicola, Rocco
1 Defoort, Michael
1 Degano, Pierpaolo
1 Delahaye, Benoît
1 Dershowitz, Nachum
...and 174 more Authors
all top 5

Cited in 41 Serials

53 Theoretical Computer Science
18 Acta Informatica
18 Formal Aspects of Computing
10 Journal of Computer and System Sciences
9 Information Processing Letters
9 The Journal of Logic and Algebraic Programming
9 Journal of Logical and Algebraic Methods in Programming
7 Information and Computation
7 Distributed Computing
5 MSCS. Mathematical Structures in Computer Science
4 Formal Methods in System Design
3 Artificial Intelligence
2 Algebra Universalis
2 Programming and Computer Software
2 Science of Computer Programming
2 International Journal of Parallel Programming
2 International Journal of Computer Mathematics
2 Diagrammes
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 Applied Mathematics and Computation
1 Journal of Soviet Mathematics
1 RAIRO, Informatique Théorique
1 Studia Logica
1 Cybernetics
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Journal of Automated Reasoning
1 Machine Learning
1 Applicable Algebra in Engineering, Communication and Computing
1 Applied Categorical Structures
1 Journal of Mathematical Sciences (New York)
1 Journal of Functional Programming
1 Journal of Combinatorial Optimization
1 Fundamenta Informaticae
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Journal of Applied Mathematics
1 Natural Computing
1 Logical Methods in Computer Science
1 Frontiers of Computer Science in China

Citations by Year