×

zbMATH — the first resource for mathematics

Wirsing, Martin

Compute Distance To:
Author ID: wirsing.martin Recent zbMATH articles by "Wirsing, Martin"
Published as: Wirsing, M.; Wirsing, Martin
Homepage: https://www.sosy-lab.org/people/wirsing/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 107 Publications since 1977, including 16 Books
Biographic References: 4 Publications
all top 5

Co-Authors

8 single-authored
28 Broy, Manfred
12 Hennicker, Rolf
9 Pepper, Peter
7 Knapp, Alexander
6 Dosch, Walter
6 Partsch, Helmut A.
5 Crossley, John Newsome
5 Möller, Bernhard
5 Tarlecki, Andrzej
4 Bauer, Friedrich Ludwig
3 Bauer, Sebastian S.
3 Gnatz, Rupert
3 Kosiuczenko, Piotr
3 Merz, Stephan
3 Pattinson, Dirk
3 Poernomo, Iman Hafiz
3 Sannella, Donald T.
2 Astesiano, Egidio
2 Baumeister, Hubert
2 Bergstra, Jan A.
2 Bidoit, Michel
2 Cengarle, María Victoria
2 Hölzl, Matthias M.
2 Koch, Nora
2 Leszczylowski, Jacek
2 Małuszyński, Jan
2 Meseguer Guaita, José
2 Rauschmayer, Axel
2 Reggio, Gianna
2 Schroeder, Andreas
2 van Riemsdijk, M. Birna
2 Ying, Mingsheng
2 Zappe, Júlia
1 Balsamo, Simonetta
1 Banatre, Jean-Pierre
1 Belzner, Lenz
1 Boronat, Artur
1 Brandenburg, Franz-Josef
1 Briesemeister, Linda
1 Chechik, Marsha
1 Cori, Robert
1 Dang Van Hung
1 Denker, Grit
1 Eckhardt, Jonas
1 Eye, A.
1 Finance, Jean-Pierre
1 Frühwirth, Thom
1 Hofmann, Martin
1 Klarl, Annabelle
1 Krieg-Brückner, Bernd
1 Latella, Diego
1 Laut, Alfred
1 Luckmann, M.
1 Madeira, Alexandre
1 Mandel, Luis
1 Mascari, Giovanni Francesco
1 Massink, Mieke
1 Matzner, T.
1 Meier, Max
1 Meier, Philipp
1 Mühlbauer, Tobias
1 Neubert, Stefanie
1 Nickl, Friederike
1 Nivat, Maurice
1 Orejas, Fernando
1 Pair, Claude
1 Päppinghaus, Peter
1 Peterreins, Hannes
1 Poggio, Andy
1 Quere, A.
1 Remy, Jean-Luc
1 Reus, Bernhard
1 Samelson, Klaus
1 Steinbrüggen, Ralf
1 Talcott, Carolyn L.
1 Tucker, John V.
1 Vidal-Naquet, Guy
1 von Eye, Alexander
1 Wössner, H.
1 Yu, Ning

Publications by Year

Citations contained in zbMATH Open

77 Publications have been cited 501 times in 263 Documents Cited by Year
Algebraic specification. Zbl 0900.68309
Wirsing, Martin
65
1990
A kernel language for algebraic specification and implementation. Extended abstract. Zbl 0517.68043
Sannella, Donald; Wirsing, Martin
35
1983
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
33
1982
Structured algebraic specifications: A kernel language. Zbl 0599.68021
Wirsing, Martin
24
1986
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
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
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
12
2009
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
12
1987
Implementation of parameterised specifications (extended abstract). Zbl 0492.68023
Sannella, Donald; Wirsing, Martin
12
1982
A formal approach to object-oriented software engineering. Zbl 1001.68024
Wirsing, Martin; Knapp, Alexander
11
2002
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
A rewriting logic framework for soft constraints. Zbl 1279.68124
Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda
9
2007
Approximate bisimilarity. Zbl 0983.68131
Ying, Mingsheng; Wirsing, Martin
9
2000
A systematic study of models of abstract data types. Zbl 0552.68010
Broy, M.; Wirsing, M.; Pair, C.
9
1984
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
2008
A spatio-temporal logic for the specification and refinement of mobile systems. Zbl 1032.03028
Merz, Stephan; Wirsing, Martin; Zappe, Júlia
7
2003
Proof systems for structured specifications with observability operators. Zbl 0901.68116
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel
7
1997
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
7
1988
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
Which soft constraints do you prefer? Zbl 1347.68197
Hölzl, Matthias; Meier, Max; Wirsing, Martin
5
2009
A Hoare calculus for verifying Java realizations of OCL-constrained design models. Zbl 0977.68858
Reus, Bernhard; Wirsing, Martin; Hennicker, Rolf
5
2001
Timed rewriting logic with an application to object-based specification. Zbl 0877.68071
Kosiuczenko, Piotr; Wirsing, Martin
5
1997
Structured algebraic specifications. Zbl 0514.68024
Wirsing, Martin
5
1982
Statistical model checking for composite actor systems. Zbl 1394.68228
Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin
4
2013
Specification and refinement of mobile systems in MTLA and mobile UML. Zbl 1086.68016
Knapp, Alexander; Merz, Stephan; Wirsing, Martin; Zappe, Júlia
4
2006
Adapting proofs-as-programs. The Curry-Howard protocol. Zbl 1095.68025
Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin
4
2005
Continuous abstract data types. Zbl 0624.68024
Tarlecki, Andrzej; Wirsing, Martin
4
1986
On the parameterized algebraic specification of concurrent systems. Zbl 0563.68018
Astesiano, E.; Mascari, G. F.; Reggio, G.; Wirsing, M.
4
1985
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
On relations between programs. Zbl 0435.68017
Broy, M.; Pepper, P.; Wirsing, M.
4
1980
Extending activity diagrams to model mobile systems. Zbl 1021.68558
Baumeister, Hubert; Koch, Nora; Kosiuczenko, Piotr; Wirsing, Martin
3
2003
Behavioural specifications. Zbl 0831.68061
Hennicker, Rolf; Wirsing, Martin
3
1995
Elementare Aussagenlogik. Zbl 0721.68001
Bauer, Friedrich L.; Wirsing, Martin
3
1991
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
3
1988
Observational specification: A Birkhoff-theorem. Zbl 0584.68039
Hennicker, Rolf; Wirsing, Martin
3
1985
Continuous abstract data types: basic machinery and results. Zbl 0571.68014
Tarlecki, Andrzej; Wirsing, Martin
3
1985
Generalized heterogeneous algebras and partial interpretations. Zbl 0522.08001
Broy, Manfred; Wirsing, Martin
3
1983
Assembly theories for communication-safe component systems. Zbl 1310.68057
Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin
2
2014
A contract-based approach to adaptivity. Zbl 1213.68208
Schroeder, Andreas; Bauer, Sebastian S.; Wirsing, Martin
2
2011
Mobile UML statecharts with localities. Zbl 1111.68353
Latella, Diego; Massink, Mieke; Baumeister, Hubert; Wirsing, Martin
2
2005
The Munich reference model for adaptive hypermedia applications. Zbl 1047.68813
Koch, Nora; Wirsing, Martin
2
2002
Specification languages. Zbl 0979.68555
Sannella, Donald; Wirsing, Martin
2
1999
Timed rewriting logic for the specification of time-sensitive-systems. Zbl 0876.03015
Kosiuczenko, Piotr; Wirsing, Martin
2
1997
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
Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten. Zbl 0365.02035
Wirsing, Martin
2
1977
Model-checking Helena ensembles with Spin. Zbl 1321.68346
Hennicker, Rolf; Klarl, Annabelle; Wirsing, Martin
1
2015
Interface theories for concurrency and data. Zbl 1216.68187
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin
1
2011
Comparing goal-oriented and procedural service orchestration. Zbl 1205.68117
van Riemsdijk, M. Birna; Wirsing, Martin
1
2010
On the specification and verification of model transformations. Zbl 1253.68232
Orejas, Fernando; Wirsing, Martin
1
2009
Fundamental approaches to software engineering. 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Zbl 1157.68300
Chechik, Marsha (ed.); Wirsing, Martin (ed.)
1
2009
Software-intensive systems and new computing paradigms. Challenges and visions. Zbl 1153.68313
Wirsing, Martin (ed.); Banâtre, Jean-Pierre (ed.); Hölzl, Matthias (ed.); Rauschmayer, Axel (ed.)
1
2008
Towards a formal specification for the agentComponent. Zbl 1082.68535
Meier, Philipp; Wirsing, Martin
1
2004
Making components move: a separation of concerns approach. Zbl 1254.68124
Pattinson, Dirk; Wirsing, Martin
1
2003
Recursive equations in higher-order process calculi. Zbl 0992.68147
Ying, M.; Wirsing, M.
1
2001
Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Zbl 0851.00082
Wirsing, Martin (ed.); Nivat, Maurice (ed.)
1
1996
A calculus of higher-order parameterization for algebraic specifications. Zbl 0832.68072
Cengarle, María Victoria; Wirsing, Martin
1
1995
Polymorphism, parametrization and typing: An algebraic specification perspective. Zbl 0788.68098
Leszczylowski, Jacek; Wirsing, Martin
1
1991
Methods of programming. Selected papers on the CIP-project. Zbl 0875.00050
Broy, Manfred (ed.); Wirsing, Martin (ed.)
1
1991
Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. Zbl 0745.68019
Wirsing, Martin (ed.); Bergstra, Jan A. (ed.)
1
1989
Crypt-equivalent algebraic specifications. Zbl 0632.68024
Bauer, F. L.; Wirsing, M.
1
1988
Relational specifications and observational semantics. Zbl 0637.68012
Astesiano, Egidio; Reggio, Gianna; Wirsing, Martin
1
1986
Denotational semantics of algebraic specification languages. Zbl 0594.68015
Wirsing, Martin
1
1986
On hierarchies of abstract data types. Zbl 0506.68024
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
1
1983
A system for reasoning within and about algebraic specifications. Zbl 0496.68016
Leszczylowski, Jacek; Wirsing, Martin
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
Small universal Post systems. Zbl 0467.03035
Wirsing, Martin
1
1979
Problemspezifikation - eine Grundlage für Programmentwicklung. Zbl 0407.68005
Broy, M.; Gnatz, R.; Wirsing, M.
1
1979
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Zbl 0398.03005
Wirsing, Martin
1
1978
Model-checking Helena ensembles with Spin. Zbl 1321.68346
Hennicker, Rolf; Klarl, Annabelle; Wirsing, Martin
1
2015
Assembly theories for communication-safe component systems. Zbl 1310.68057
Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin
2
2014
Statistical model checking for composite actor systems. Zbl 1394.68228
Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José; Wirsing, Martin
4
2013
A contract-based approach to adaptivity. Zbl 1213.68208
Schroeder, Andreas; Bauer, Sebastian S.; Wirsing, Martin
2
2011
Interface theories for concurrency and data. Zbl 1216.68187
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin
1
2011
Comparing goal-oriented and procedural service orchestration. Zbl 1205.68117
van Riemsdijk, M. Birna; Wirsing, Martin
1
2010
What is a multi-modeling language? Zbl 1253.68225
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin
12
2009
Which soft constraints do you prefer? Zbl 1347.68197
Hölzl, Matthias; Meier, Max; Wirsing, Martin
5
2009
On the specification and verification of model transformations. Zbl 1253.68232
Orejas, Fernando; Wirsing, Martin
1
2009
Fundamental approaches to software engineering. 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Zbl 1157.68300
Chechik, Marsha (ed.); Wirsing, Martin (ed.)
1
2009
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
2008
Software-intensive systems and new computing paradigms. Challenges and visions. Zbl 1153.68313
Wirsing, Martin (ed.); Banâtre, Jean-Pierre (ed.); Hölzl, Matthias (ed.); Rauschmayer, Axel (ed.)
1
2008
A rewriting logic framework for soft constraints. Zbl 1279.68124
Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda
9
2007
Specification and refinement of mobile systems in MTLA and mobile UML. Zbl 1086.68016
Knapp, Alexander; Merz, Stephan; Wirsing, Martin; Zappe, Júlia
4
2006
Adapting proofs-as-programs. The Curry-Howard protocol. Zbl 1095.68025
Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin
4
2005
Mobile UML statecharts with localities. Zbl 1111.68353
Latella, Diego; Massink, Mieke; Baumeister, Hubert; Wirsing, Martin
2
2005
Towards a formal specification for the agentComponent. Zbl 1082.68535
Meier, Philipp; Wirsing, Martin
1
2004
A spatio-temporal logic for the specification and refinement of mobile systems. Zbl 1032.03028
Merz, Stephan; Wirsing, Martin; Zappe, Júlia
7
2003
Extending activity diagrams to model mobile systems. Zbl 1021.68558
Baumeister, Hubert; Koch, Nora; Kosiuczenko, Piotr; Wirsing, Martin
3
2003
Making components move: a separation of concerns approach. Zbl 1254.68124
Pattinson, Dirk; Wirsing, Martin
1
2003
A formal approach to object-oriented software engineering. Zbl 1001.68024
Wirsing, Martin; Knapp, Alexander
11
2002
The Munich reference model for adaptive hypermedia applications. Zbl 1047.68813
Koch, Nora; Wirsing, Martin
2
2002
A Hoare calculus for verifying Java realizations of OCL-constrained design models. Zbl 0977.68858
Reus, Bernhard; Wirsing, Martin; Hennicker, Rolf
5
2001
Recursive equations in higher-order process calculi. Zbl 0992.68147
Ying, M.; Wirsing, M.
1
2001
Approximate bisimilarity. Zbl 0983.68131
Ying, Mingsheng; Wirsing, Martin
9
2000
Specification languages. Zbl 0979.68555
Sannella, Donald; Wirsing, Martin
2
1999
Proof systems for structured specifications with observability operators. Zbl 0901.68116
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel
7
1997
Timed rewriting logic with an application to object-based specification. Zbl 0877.68071
Kosiuczenko, Piotr; Wirsing, Martin
5
1997
Timed rewriting logic for the specification of time-sensitive-systems. Zbl 0876.03015
Kosiuczenko, Piotr; Wirsing, Martin
2
1997
Algebraic methodology and software technology. 5th international conference, AMAST ’96, Munich, Germany, July 1-5, 1996. Proceedings. Zbl 0851.00082
Wirsing, Martin (ed.); Nivat, Maurice (ed.)
1
1996
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
Behavioural specifications. Zbl 0831.68061
Hennicker, Rolf; Wirsing, Martin
3
1995
A calculus of higher-order parameterization for algebraic specifications. Zbl 0832.68072
Cengarle, María Victoria; Wirsing, Martin
1
1995
Elementare Aussagenlogik. Zbl 0721.68001
Bauer, Friedrich L.; Wirsing, Martin
3
1991
Polymorphism, parametrization and typing: An algebraic specification perspective. Zbl 0788.68098
Leszczylowski, Jacek; Wirsing, Martin
1
1991
Methods of programming. Selected papers on the CIP-project. Zbl 0875.00050
Broy, Manfred (ed.); Wirsing, Martin (ed.)
1
1991
Algebraic specification. Zbl 0900.68309
Wirsing, Martin
65
1990
Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. Zbl 0745.68019
Wirsing, Martin (ed.); Bergstra, Jan A. (ed.)
1
1989
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
7
1988
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
3
1988
Crypt-equivalent algebraic specifications. Zbl 0632.68024
Bauer, F. L.; Wirsing, M.
1
1988
On the algebraic definition of programming languages. Zbl 0627.68009
Broy, Manfred; Wirsing, Martin; Pepper, Peter
12
1987
Structured algebraic specifications: A kernel language. Zbl 0599.68021
Wirsing, Martin
24
1986
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin
7
1986
Continuous abstract data types. Zbl 0624.68024
Tarlecki, Andrzej; Wirsing, Martin
4
1986
Relational specifications and observational semantics. Zbl 0637.68012
Astesiano, Egidio; Reggio, Gianna; Wirsing, Martin
1
1986
Denotational semantics of algebraic specification languages. Zbl 0594.68015
Wirsing, Martin
1
1986
On the parameterized algebraic specification of concurrent systems. Zbl 0563.68018
Astesiano, E.; Mascari, G. F.; Reggio, G.; Wirsing, M.
4
1985
Observational specification: A Birkhoff-theorem. Zbl 0584.68039
Hennicker, Rolf; Wirsing, Martin
3
1985
Continuous abstract data types: basic machinery and results. Zbl 0571.68014
Tarlecki, Andrzej; Wirsing, Martin
3
1985
A systematic study of models of abstract data types. Zbl 0552.68010
Broy, M.; Wirsing, M.; Pair, C.
9
1984
A kernel language for algebraic specification and implementation. Extended abstract. Zbl 0517.68043
Sannella, Donald; Wirsing, Martin
35
1983
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
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
Implementation of parameterised specifications (extended abstract). Zbl 0492.68023
Sannella, Donald; Wirsing, Martin
12
1982
Structured algebraic specifications. Zbl 0514.68024
Wirsing, Martin
5
1982
An analysis of semantic models for algebraic specifications. Zbl 0508.68006
Wirsing, Martin; Broy, Manfred
2
1982
A system for reasoning within and about algebraic specifications. Zbl 0496.68016
Leszczylowski, Jacek; Wirsing, Martin
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 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
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
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
Small universal Post systems. Zbl 0467.03035
Wirsing, Martin
1
1979
Problemspezifikation - eine Grundlage für Programmentwicklung. Zbl 0407.68005
Broy, M.; Gnatz, R.; Wirsing, M.
1
1979
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Zbl 0398.03005
Wirsing, Martin
1
1978
Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten. Zbl 0365.02035
Wirsing, Martin
2
1977
all top 5

Cited by 317 Authors

20 Wirsing, Martin
18 Tarlecki, Andrzej
16 Sannella, Donald T.
15 Hennicker, Rolf
14 Bergstra, Jan A.
14 Meseguer Guaita, José
13 Broy, Manfred
9 Orejas, Fernando
8 Bidoit, Michel
8 Ehrig, Hartmut
8 Middelburg, Cornelis A.
8 Mossakowski, Till
7 Knapp, Alexander
6 Martins, Manuel António
6 Rabe, Florian
6 Talcott, Carolyn L.
5 Meinke, Karl
5 Roşu, Grigore
5 Tucker, John V.
4 Astesiano, Egidio
4 Bernot, Gilles
4 Kaplan, Stéphane
4 Kreowski, Hans-Jörg
4 Oriat, C.
4 Parisi-Presicce, Francesco
3 Aiguier, Marc
3 Back, Ralph-Johan
3 Guttmann, Walter
3 Horozal, Fulya
3 Khoussainov, Bakhadyr M.
3 Klarl, Annabelle
3 Madeira, Alexandre
3 Marmsoler, Diego
3 Navarro, Marisa
3 Olveczky, Peter Csaba
3 Padawitz, Peter
3 Ying, Mingsheng
2 Bauer, Sebastian S.
2 Belzner, Lenz
2 Boronat, Artur
2 Cerioli, Maura
2 Choppy, Christine
2 De Nicola, Rocco
2 Dosch, Walter
2 Ehrich, Hans-Dieter
2 Grant, John R.
2 Große-Rhode, Martin
2 Harman, N. A.
2 Hofmann, Martin
2 Hölzl, Matthias M.
2 Kohlhase, Michael
2 Kurz, Alexander
2 Latella, Diego
2 Le Gall, Pascale
2 Liu, Si
2 Ma, Yanfang
2 Mascari, Gianfranco
2 Massink, Mieke
2 Merz, Stephan
2 Möller, Bernhard
2 Mosses, Peter D.
2 Pair, Claude
2 Parisi, Francesco
2 Pigozzi, Don Leonard
2 Pino, Elvira
2 Ponse, Alban
2 Reggio, Gianna
2 Roggenbach, Markus
2 Rus, Teodor
2 Rusinowitch, Michaël
2 Sánchez, Ana M.
2 Ţuţu, Ionuţ
2 Wagner, Eric G.
2 Zhang, Minghua
2 Zhou, Chunlai
2 Zucca, Elena
1 Ábrahám, Erika
1 Abrusci, Vito Michele
1 Adámek, Jiří
1 Albert, Elvira
1 Anders, Gerrit
1 Anureev, Igor S.
1 Arbab, Farhad
1 Areces, Carlos
1 Arnould, Agnès
1 Autexier, Serge
1 Babenyshev, Sergey
1 Bachmair, Leo
1 Barbosa, L. S.
1 Barbosa, Luís Soares
1 Barringer, Howard
1 Batory, Don S.
1 Bauer, Friedrich Ludwig
1 Baumeister, Hubert
1 Berardi, Daniela
1 Berghammer, Rudolf
1 Bettaz, Mohamed
1 Blum, Edward Kenneth
1 Boehm, Paul
1 Boin, Clément
...and 217 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.