×

zbMATH — the first resource for mathematics

Broy, Manfred

Compute Distance To:
Author ID: broy.manfred Recent zbMATH articles by "Broy, Manfred"
Published as: Broy, M.; Broy, Manfred
Documents Indexed: 145 Publications since 1978, including 37 Books

Publications by Year

Citations contained in zbMATH Open

85 Publications have been cited 379 times in 224 Documents Cited by Year
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
33
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
Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.)
17
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.
16
1979
On the power of algebraic specifications. Zbl 0462.68001
Bergstra, J. A.; Broy, M.; Tucker, J. V.; Wirsing, M.
14
1981
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
13
1983
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
12
1987
On the algebraic specification of nondeterministic programming languages. Zbl 0462.68063
Broy, M.; Wirsing, M.
11
1981
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
11
1979
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.
10
1981
Abstract data types as lattices of finitely generated models. Zbl 0441.68014
Wirsing, M.; Broy, M.
10
1980
Programming languages as abstract data types. Zbl 0433.68014
Broy, M.; Wirsing, M.
10
1980
The algebra of stream processing functions. Zbl 0973.68172
Broy, M.; Ştefănescu, G.
9
2001
A systematic study of models of abstract data types. Zbl 0552.68010
Broy, M.; Wirsing, M.; Pair, C.
9
1984
Nondeterministic data flow programs: How to avoid the merge anomaly. Zbl 0632.68016
Broy, Manfred
8
1988
Semantics of finite and infinite networks of concurrent communicating agents. Zbl 0621.68012
Broy, Manfred
7
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
Compositional refinement of interactive systems. Zbl 0904.68002
Broy, Manfred
4
1997
Specification and top down design of distributed systems. Zbl 0563.68020
Broy, Manfred
4
1985
Semantics of communicating processes. Zbl 0591.68030
Broy, Manfred
4
1984
Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017
Broy, Manfred; Wirsing, Martin
4
1983
On the algebraic specification of finitary infinite communicating sequential processes. Zbl 0512.68021
Broy, Manfred; Wirsing, Martin
4
1983
A fixed point approach to applicative multiprogramming. Zbl 0508.68012
Broy, Manfred
4
1982
On relations between programs. Zbl 0435.68017
Broy, M.; Pepper, P.; Wirsing, M.
4
1980
Examples for change of types and object structures. Zbl 0399.68030
Partsch, H.; Broy, M.
4
1979
Systematics of transformation rules. Zbl 0399.68009
Bauer, F. L.; Broy, M.; Partsch, H.; Pepper, P.; Wössner, H.
4
1979
A logical basis for modular systems engineering. Zbl 1012.68055
Broy, Manfred
3
1999
Generalized heterogeneous algebras and partial interpretations. Zbl 0522.08001
Broy, Manfred; Wirsing, Martin
3
1983
Fixed point theory for communication and concurrency. Zbl 0512.68024
Broy, Manfred
3
1983
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
Transformational semantics for concurrent programs. Zbl 0444.68017
Broy, M.
3
1980
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
A model of dynamic systems. Zbl 1417.68022
Broy, Manfred
2
2014
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
Modeling layered distributed communication systems. Zbl 1101.68383
Herzberg, Dominikus; Broy, Manfred
2
2005
Service-oriented systems engineering: modeling services and layered architectures. Zbl 1279.68063
Broy, Manfred
2
2003
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
Views of queues. Zbl 0665.68014
Broy, Manfred
2
1988
Requirement and design specification for distributed systems. Zbl 0663.68029
Broy, Manfred
2
1988
Equational specification of partial higher order algebras. Zbl 0625.68022
Broy, Manfred
2
1987
Denotational semantics of communicating sequential programs. Zbl 0612.68024
Broy, Manfred
2
1986
Extensional behaviour of concurrent, nondeterministic, communicating systems. Zbl 0566.68019
Broy, Manfred
2
1985
Denotational semantics of concurrent programs with shared memory. Zbl 0558.68021
Broy, Manfred
2
1984
Algebraic methods for program construction: The project CIP. Zbl 0547.68011
Broy, Manfred
2
1984
A systematic approach to language constructs for concurrent programs. Zbl 0536.68013
Broy, Manfred; Bauer, Friedrich L.
2
1984
Program construction by transformations: A family tree of sorting programs. Zbl 0518.68018
Broy, Manfred
2
1983
Denotational semantics of communicating processes based on a language for applicative multiprogramming. Zbl 0509.68019
Broy, Manfred
2
1983
An analysis of semantic models for algebraic specifications. Zbl 0508.68006
Wirsing, Martin; Broy, Manfred
2
1982
On the algebraic extensions of abstract data types. Zbl 0492.68024
Broy, Manfred; Wirsing, Martin
2
1981
Semantic relations in programming languages. Zbl 0443.68005
Broy, M.; Partsch, H.; Pepper, P.; Wirsing, M.
2
1980
Program. construction. International summer school. Zbl 0396.00016
Bauer, F. L. (ed.); Broy, M. (ed.)
2
1979
Computability and realizability for interactive computations. Zbl 1309.68064
Broy, Manfred
1
2015
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
A semantic and methodological essence of message sequence charts. Zbl 1085.68011
Broy, Manfred
1
2005
Software pioneers. Contributions to software engineering. Incl. 4 DVD. Zbl 0997.68001
Broy, Manfred (ed.); Denert, Ernst (ed.)
1
2002
Adapting calculational logic to the undefined. Zbl 0941.03031
Schieder, Birgit; Broy, Manfred
1
1999
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
Broy, Manfred (ed.); Merz, Stephan (ed.); Spies, Katharina (ed.)
1
1996
Specification and refinement of a buffer of length one. Zbl 0847.68062
Broy, Manfred
1
1996
Operational and denotational semantics with explicit concurrency. Zbl 0762.68041
Broy, Manfred
1
1992
Algebraic and functional specification of an interactive serializable database interface. Zbl 0748.68011
Broy, Manfred
1
1992
Methods of programming. Selected papers on the CIP-project. Zbl 0875.00050
Broy, Manfred (ed.); Wirsing, Martin (ed.)
1
1991
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
Broy, M. (ed.); Jones, C. B. (ed.)
1
1990
Views of distributed systems. Zbl 0626.68012
Broy, Manfred; Streicher, Thomas
1
1987
Specification and top-down design of distributed systems. Zbl 0619.68020
Broy, Manfred
1
1987
Partial interpretations of higher order algebraic types. Zbl 0609.68019
Broy, Manfred
1
1986
On the Herbrand-Kleene universe for nondeterministic computations. Zbl 0567.68024
Broy, Manfred
1
1985
On the Herbrand Kleene universe for nondeterministic computations. Zbl 0553.68026
Broy, Manfred
1
1984
On the coherence of programming language and programming methodology. Zbl 0521.68008
Broy, Manfred; Pepper, Peter
1
1983
On hierarchies of abstract data types. Zbl 0506.68024
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
1
1983
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
Broy, Manfred (ed.); Schmidt, Gunther (ed.)
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
Combining algebraic and algorithmic reasoning: an approach to the Schorr- Waite algorithm. Zbl 0483.68035
Broy, Manfred; Pepper, Peter
1
1982
Problemspezifikation - eine Grundlage für Programmentwicklung. Zbl 0407.68005
Broy, M.; Gnatz, R.; Wirsing, M.
1
1979
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
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
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
Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.)
17
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
Broy, Manfred (ed.); Denert, Ernst (ed.)
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
A logical basis for modular systems engineering. Zbl 1012.68055
Broy, Manfred
3
1999
Algebraic specification of concurrent systems. Zbl 0973.68150
Astesiano, Egidio; Broy, Manfred; Reggio, Gianna
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
4
1997
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
Broy, Manfred (ed.); Merz, Stephan (ed.); Spies, Katharina (ed.)
1
1996
Specification and refinement of a buffer of length one. Zbl 0847.68062
Broy, Manfred
1
1996
Operational and denotational semantics with explicit concurrency. Zbl 0762.68041
Broy, Manfred
1
1992
Algebraic and functional specification of an interactive serializable database interface. Zbl 0748.68011
Broy, Manfred
1
1992
Methods of programming. Selected papers on the CIP-project. Zbl 0875.00050
Broy, Manfred (ed.); Wirsing, Martin (ed.)
1
1991
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
Broy, M. (ed.); Jones, C. B. (ed.)
1
1990
Nondeterministic data flow programs: How to avoid the merge anomaly. Zbl 0632.68016
Broy, Manfred
8
1988
Views of queues. Zbl 0665.68014
Broy, Manfred
2
1988
Requirement and design specification for distributed systems. Zbl 0663.68029
Broy, Manfred
2
1988
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
12
1987
Semantics of finite and infinite networks of concurrent communicating agents. Zbl 0621.68012
Broy, Manfred
7
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
Views of distributed systems. Zbl 0626.68012
Broy, Manfred; Streicher, Thomas
1
1987
Specification and top-down design of distributed systems. Zbl 0619.68020
Broy, Manfred
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
2
1986
Partial interpretations of higher order algebraic types. Zbl 0609.68019
Broy, Manfred
1
1986
Specification and top down design of distributed systems. Zbl 0563.68020
Broy, Manfred
4
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
Denotational semantics of concurrent programs with shared memory. Zbl 0558.68021
Broy, Manfred
2
1984
Algebraic methods for program construction: The project CIP. Zbl 0547.68011
Broy, Manfred
2
1984
A systematic approach to language constructs for concurrent programs. Zbl 0536.68013
Broy, Manfred; Bauer, Friedrich L.
2
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
13
1983
Algebraic definition of a functional programming language and its semantic models. Zbl 0515.68017
Broy, Manfred; Wirsing, Martin
4
1983
On the algebraic specification of finitary infinite communicating sequential processes. Zbl 0512.68021
Broy, Manfred; Wirsing, Martin
4
1983
Generalized heterogeneous algebras and partial interpretations. Zbl 0522.08001
Broy, Manfred; Wirsing, Martin
3
1983
Fixed point theory for communication and concurrency. Zbl 0512.68024
Broy, Manfred
3
1983
Program construction by transformations: A family tree of sorting programs. Zbl 0518.68018
Broy, Manfred
2
1983
Denotational semantics of communicating processes based on a language for applicative multiprogramming. Zbl 0509.68019
Broy, Manfred
2
1983
On the coherence of programming language and programming methodology. Zbl 0521.68008
Broy, Manfred; Pepper, Peter
1
1983
On hierarchies of abstract data types. Zbl 0506.68024
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
1
1983
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
33
1982
A fixed point approach to applicative multiprogramming. Zbl 0508.68012
Broy, Manfred
4
1982
An analysis of semantic models for algebraic specifications. Zbl 0508.68006
Wirsing, Martin; Broy, Manfred
2
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
Broy, Manfred (ed.); Schmidt, Gunther (ed.)
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
Combining algebraic and algorithmic reasoning: an approach to the Schorr- Waite algorithm. Zbl 0483.68035
Broy, Manfred; Pepper, Peter
1
1982
On the power of algebraic specifications. Zbl 0462.68001
Bergstra, J. A.; Broy, M.; Tucker, J. V.; Wirsing, M.
14
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.
10
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
2
1981
Abstract data types as lattices of finitely generated models. Zbl 0441.68014
Wirsing, M.; Broy, M.
10
1980
Programming languages as abstract data types. Zbl 0433.68014
Broy, M.; Wirsing, M.
10
1980
On relations between programs. Zbl 0435.68017
Broy, M.; Pepper, P.; Wirsing, M.
4
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
Transformational semantics for concurrent programs. Zbl 0444.68017
Broy, M.
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.
16
1979
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
11
1979
Examples for change of types and object structures. Zbl 0399.68030
Partsch, H.; Broy, M.
4
1979
Systematics of transformation rules. Zbl 0399.68009
Bauer, F. L.; Broy, M.; Partsch, H.; Pepper, P.; Wössner, H.
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
Bauer, F. L. (ed.); Broy, M. (ed.)
2
1979
Problemspezifikation - eine Grundlage für Programmentwicklung. Zbl 0407.68005
Broy, M.; Gnatz, R.; Wirsing, M.
1
1979
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
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
all top 5

Cited by 279 Authors

26 Broy, Manfred
10 Wirsing, Martin
7 Hennicker, Rolf
7 Meseguer Guaita, José
6 Owe, Olaf
6 Tarlecki, Andrzej
5 Bergstra, Jan A.
5 Meyer, John-Jules Charles
5 Sannella, Donald T.
4 Back, Ralph-Johan
4 Guttmann, Walter
4 Kaplan, Stéphane
4 Kreowski, Hans-Jörg
4 Roşu, Grigore
3 Bidoit, Michel
3 Choppy, Christine
3 de Vink, Erik P.
3 Din, Crystal Chang
3 Dovland, Johan
3 Ehrig, Hartmut
3 Howar, Falk
3 Johnsen, Einar Broch
3 Jonsson, Bengt
3 Möller, Bernhard
3 Orejas, Fernando
3 Steffen, Bernhard
3 Talcott, Carolyn L.
3 Yenigun, Husnu
2 Astesiano, Egidio
2 Bernot, Gilles
2 Cassel, Sofia
2 Cerioli, Maura
2 Costa, José Félix
2 De Nicola, Rocco
2 Degano, Pierpaolo
2 Dosch, Walter
2 Ehrich, Hans-Dieter
2 Fiadeiro, José Luiz
2 Guerra, Hélia
2 Höfner, Peter
2 Jones, Cliff B.
2 Julliand, Jacques
2 Kramosil, Ivan
2 Leavens, Gary T.
2 Lee, Edward Ashford
2 Majster-Cederbaum, Mila E.
2 Marmsoler, Diego
2 Mascari, Gianfranco
2 Masson, Pierre-Alain
2 Montanari, Ugo G.
2 Moschovakis, Yiannis Nicholas
2 Olderog, Ernst-Rüdiger
2 Padawitz, Peter
2 Pair, Claude
2 Ponse, Alban
2 Refsdal, Atle
2 Reggio, Gianna
2 Runde, Ragnhild Kobro
2 Smith, Douglas R.
2 Ştefănescu, Gheorghe
2 Stølen, Ketil
2 Tucker, John V.
2 Türker, Uraz Cengiz
2 Vaandrager, Frits W.
2 Zhang, Minghua
1 Aarts, Fides
1 Abrusci, Vito Michele
1 Aiguier, Marc
1 Andova, Suzana
1 Avron, Arnon
1 Bachmair, Leo
1 Baier, Christel
1 Banach, Richard
1 Barringer, Howard
1 Bauer, Friedrich Ludwig
1 Bauer, Sebastian S.
1 Beohar, Harsh
1 Berghammer, Rudolf
1 Biermann, Alan W.
1 Börger, Egon
1 Boronat, Artur
1 Borrione, Dominique
1 Bozzano, Marco
1 Brookes, Stephen D.
1 Bué, Pierre-Christophe
1 Burmeister, Peter
1 Burstall, Rod M.
1 Chen, Riqing
1 Chen, Zhizhong
1 Cheng, Junheng
1 Costa, Gerardo
1 Cousot, Patrick
1 Damm, Werner
1 Dang, Zhe
1 de Bakker, Jacobus W.
1 de Bruin, Arie
1 Defoort, Michael
1 Delahaye, Benoît
1 Dershowitz, Nachum
1 Dignum, F. P. M.
...and 179 more Authors

Citations by Year