Martin Wirsing

	2012
158		Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing: Stable Availability under Denial of Service Attacks through Formal Patterns. FASE 2012: 78-93
157		Andreas Schroeder, Martin Wirsing: Developing Physiological Computing Systems: Challenges and Solutions. Software Engineering 2012: 21-36
	2011
156		Martin Wirsing, Matthias M. Hölzl: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing Springer 2011
155		Partha Sampath, Martin Wirsing: Evaluation of Cost Based Best Practices in Business Processes. BMMDS/EMMSAD 2011: 61-74
154		Matthias M. Hölzl, Martin Wirsing: Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 241-261
153		Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer: Sensoria - Software Engineering for Service-Oriented Overlay Computers. Results of the SENSORIA Project 2011: 1-14
152		Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing: Sensoria Patterns. Results of the SENSORIA Project 2011: 719-736
151		Martin Wirsing, Ruqian Lu: Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. Int. J. Software and Informatics 5(1-2): 1-6 (2011)
150		Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5): 180-193 (2011)
149		Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011)
	2010
148		Martin Wirsing, Martin Hofmann, Axel Rauschmayer: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers Springer 2010
147		Mirco Tribastone, Philip Mayer, Martin Wirsing: Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) 2010: 51-65
146		Martin Wirsing: A Component-Based Approach to Adaptive User-Centric Pervasive Applications. QoSA 2010: 2
145		Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude RTRTS 2010: 1-25
144		Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki: A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484
143		Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12
142		M. Birna van Riemsdijk, Martin Wirsing: Comparing goal-oriented and procedural service orchestration. Multiagent and Grid Systems 6(2): 133-163 (2010)
	2009
141		Marsha Chechik, Martin Wirsing: 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 Springer 2009
140		Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432
139		Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing: A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469
138		Fernando Orejas, Martin Wirsing: On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161
137		Partha Sampath, Martin Wirsing: Computing the Cost of Business Processes. UNISCON 2009: 178-183
136		Matthias M. Hölzl, Max Meier, Martin Wirsing: Which Soft Constraints do you Prefer? Electr. Notes Theor. Comput. Sci. 238(3): 189-205 (2009)
	2008
135		Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer: Software-Intensive Systems and New Computing Paradigms - Challenges and Visions Springer 2008
134		M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder: Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406
133		María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402
132		Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
131		Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87
130		Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing: Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms 2008: 1-44
129		Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing: Software Engineering for Ensembles. Software-Intensive Systems and New Computing Paradigms 2008: 45-63
	2007
128		Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: Autonomous and Adaptive Web Services, 04.02. - 09.02.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
127		Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007
126		Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing: Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237
125		M. Birna van Riemsdijk, Martin Wirsing: Using Goals for Flexible Service Orchestration. SOCASE 2007: 31-48
124		Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister: A Rewriting Logic Framework for Soft Constraints. Electr. Notes Theor. Comput. Sci. 176(4): 181-197 (2007)
123		Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang: UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6(3): 5-12 (2007)
	2006
122		José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: Foundations of Global Computing, 20.-25. February 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
121		Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder: Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45
120		Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro: SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50
119		Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing: A Component Model for Architectural Programming. Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006)
118		Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe: Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (2006)
	2005
117		Dang Van Hung, Martin Wirsing: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings Springer 2005
116		José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005
115		Nora Koch, Piero Fraternali, Martin Wirsing: Editorial. J. Web Eng. 4(1): 1-2 (2005)
114		Dirk Pattinson, Martin Wirsing: A coordination approach to mobile components. Theor. Comput. Sci. 331(2-3): 457-483 (2005)
	2004
113		Martin Wirsing, Alexander Knapp, Simonetta Balsamo: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers Springer 2004
112		Nora Koch, Piero Fraternali, Martin Wirsing: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings Springer 2004
111		Alexander Knapp, Stephan Merz, Martin Wirsing: Refining Mobile UML State Machines. AMAST 2004: 274-288
110		Axel Rauschmayer, Alexander Knapp, Martin Wirsing: Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247
109		Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
108		Hubert Baumeister, Alexander Knapp, Martin Wirsing: Property-Driven Development. SEFM 2004: 96-102
	2003
107		Martin Wirsing, Dirk Pattinson, Rolf Hennicker: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers Springer 2003
106		Stephan Merz, Martin Wirsing, Júlia Zappe: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE 2003: 87-101
105		Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
104		Richard Krutisch, Philipp Meier, Martin Wirsing: The Agent Component Approach, Combining Agents, and Components. MATES 2003: 1-12
103		Philipp Meier, Martin Wirsing: Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features 2003: 175-188
	2002
102		Nora Koch, Martin Wirsing: The Munich Reference Model for Adaptive Hypermedia Applications. AH 2002: 213-222
101		Dirk Pattinson, Martin Wirsing: Making Components Move: A Separation of Concerns Approach. FMCO 2002: 487-507
100		Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing: Extending Activity Diagrams to Model Mobile Systems. NetObjectDays 2002: 278-293
99		Martin Wirsing, Alexander Knapp: View Consistency in Software Development. RISSEF 2002: 341-357
98		Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
97		Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117
96		Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002)
	2001
95		Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317
94		Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing: Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607
93		Iman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304
92		Mingsheng Ying, Martin Wirsing: Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001)
	2000
91		Mingsheng Ying, Martin Wirsing: Approximate Bisimilarity. AMAST 2000: 309-322
90		Manfred Broy, Martin Wirsing: Invited Talk: Algebraic State Machines. AMAST 2000: 89-188
	1999
89		Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200
88		Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina: Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems. German-Argentinian Workshop on Information Technology 1999: 95-
87		Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing: Correct Realization of Interface Constraints with OCL. UML 1999: 399-415
86		John N. Crossley, Iman Poernomo, Martin Wirsing: Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437
85		Piotr Kosiuczenko, Martin Wirsing: Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electr. Notes Theor. Comput. Sci. 25: 50-61 (1999)
	1998
84		Martin Wirsing, John N. Crossley, Hannes Peterreins: Proof Normalization of Structured Algebraic Specifications Is Convergent. WADT 1998: 326-340
	1997
83		Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90
82		Rolf Hennicker, Martin Wirsing: Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37
81		Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen: EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. GI Jahrestagung 1997: 446-455
80		Martin Wirsing, Josef Schneeberger, Rainer Lutze: Workshop: Software-Engineering für Multimedia-Systeme. GI Jahrestagung 1997: 631
79		Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, M. Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk: EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. IDMS 1997: 199-209
78		Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417
77		Piotr Kosiuczenko, Martin Wirsing: Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28(2-3): 225-246 (1997)
76		Rolf Hennicker, Martin Wirsing, Michel Bidoit: Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997)
	1996
75		Martin Wirsing, Maurice Nivat: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings Springer 1996
74		Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing: (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247
73		John N. Crossley, Luis Mandel, Martin Wirsing: First-Order Constrained Lambda Calculus. Frontiers of Combining Systems (FroCos) 1996: 339-356
72		Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Electr. Notes Theor. Comput. Sci. 4: 322-360 (1996)
	1995
71		Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402
70		Manfred Broy, Martin Wirsing: Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26
69		Peter Pepper, Martin Wirsing: A Method for the Development of Correct Software. KORSO Book 1995: 27-57
68		María Victoria Cengarle, Martin Wirsing: A Calculus of Higher-Order Parameterization for Algebraic Specifications. Logic Journal of the IGPL 3(4): 615-641 (1995)
67		Michel Bidoit, Rolf Hennicker, Martin Wirsing: Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995)
	1994
66		Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367
65		Martin Wirsing: Algebraic Specification Languages: An Overview. COMPASS/ADT 1994: 81-115
64		Michel Bidoit, Rolf Hennicker, Martin Wirsing: Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119
63		Martin Wirsing: Ist zuverlässige Software eine Utopie? GI Jahrestagung 1994: 531
	1993
62		Friederike Nickl, Martin Wirsing: A Formal Approach to Requirements Engineering (Invited Paper). Formal Methods in Programming and Their Applications 1993: 312-334
61		Manfred Broy, Martin Wirsing: Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43
	1992
60		Maurice Bruynooghe, Martin Wirsing: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings Springer 1992
59		María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: An Approach to the DIN Kernel Lisp Definition. Lisp and Symbolic Computation 4(4): 319-369 (1992)
58		María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider: Answer to Baker's Remarks of July 1991 on Version 1.0. Lisp and Symbolic Computation 4(4): 399-404 (1992)
	1991
57		Friedrich L. Bauer, Martin Wirsing: Elementare Aussagenlogik. Springer 1991: I-X, 1-228
56		Jan Maluszynski, Martin Wirsing: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings Springer 1991
55		Manfred Broy, Martin Wirsing: Method of Programming, Selected Papers on the CIP-Project Springer 1991
54		Rolf Hennicker, Martin Wirsing: A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming 1991: 49-75
53		Jacek Leszczylowski, Martin Wirsing: Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. STACS 1991: 1-15
52		María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider: Knowledge Representation in Kernel Lisp. Wissensbasierte Systeme 1991: 278-286
	1990
51		Thomas Streicher, Martin Wirsing: Dependent Types Considered Necessary for Specification Languages. ADT 1990: 323-340
50		Martin Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788
	1989
49		Martin Wirsing, Jan A. Bergstra: Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987] Springer 1989
48		Martin Wirsing, Rolf Hennicker, Robert Stabl: MENU - An Example for the Systematic Reuse of Specifications. ESEC 1989: 20-41
47		Martin Wirsing, Manfred Broy: A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73
	1988
46		Robert Cori, Martin Wirsing: STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings Springer 1988
45		Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148
44		Martin Wirsing, Rolf Hennicker, Ruth Breu: Reusable Specification Components. MFCS 1988: 121-137
43		Friedrich L. Bauer, Martin Wirsing: Crypt-Equivalent Algebraic Specifications. Acta Inf. 25(2): 111-153 (1988)
42		Manfred Broy, Martin Wirsing: Ultra-loose algebraic specifications. Bulletin of the EATCS 35: 117-127 (1988)
	1987
41		Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings Springer 1987
40		Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169
39		Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)
	1986
38		Martin Wirsing: Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 777-778
37		Egidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217
36		Martin Wirsing: Algebraic specification of the abstract data type "Continuum" without hidden operations. Bulletin of the EATCS 29: 46-54 (1986)
35		Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)
34		Martin Wirsing: Structured Algebraic Specifications: A Kernel Language. Theor. Comput. Sci. 42: 123-249 (1986)
	1985
33		Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Springer 1985
32		Andrzej Tarlecki, Martin Wirsing: Continuous abstract data types: basic machinery and results. FCT 1985: 431-441
31		Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358
	1984
30		Rolf Hennicker, Martin Wirsing: Observational Specification: A Birkhoff Theorem. ADT 1984: 119-135
29		Peter Padawitz, Martin Wirsing: Completeness of many-sorted equational logic revisited. Bulletin of the EATCS 24: 88-93 (1984)
28		Manfred Broy, Martin Wirsing, C. Pair: A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984)
	1983
27		Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation. ADT 1983
26		Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras. ADT 1983
25		Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34
24		Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427
23		Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
22		Manfred Broy, Martin Wirsing: Algebraic Definition of a Functional Programming Language and Its Semantic Models. ITA 17(2): 137-161 (1983)
	1982
21		Martin Wirsing: Implementation of Parameterized Hierarchical Specifications. ADT 1982
20		Donald Sannella, Martin Wirsing: Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488
19		Jacek Leszczylowski, Martin Wirsing: A system for reasoning within and about algebraic specifications. Symposium on Programming 1982: 257-282
18		Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
17		Manfred Broy, Martin Wirsing: Partial Abstract Types. Acta Inf. 18: 47-64 (1982)
16		Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)
	1981
15		Manfred Broy, Martin Wirsing: On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179
14		Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing: GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121
13		Manfred Broy, Martin Wirsing: On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251
12		Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing: On the Power of Algebraic Specifications. MFCS 1981: 193-204
11		Manfred Broy, Rupert Gnatz, Martin Wirsing: Nichtdeterminismus - Das aktuelle Schlagwort. Informatik Spektrum 4(2): 125-126 (1981)
10		Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner: Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981)
	1980
9		Manfred Broy, Martin Wirsing: Programming languages as abstract data types. CLAAP 1980: 160-177
8		Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari: Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung 1980: 306-320
7		Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
6		Martin Wirsing, Manfred Broy: Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685
5		Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78
4		Manfred Broy, Martin Wirsing: Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980)
	1979
3		Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
2		Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Remy: Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979)
	1978
1		Manfred Broy, Rupert Gnatz, Martin Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592

Coauthor Index

1	Lucia Acciai	[132]
2	Musab AlTurki	[158]
3	Luis Filipe Andrade	[98]
4	Egidio Astesiano	[31] [37]
5	Giorgio Ausiello	[8]
6	Paolo Baldan	[98]
7	Simonetta Balsamo	[113]
8	Jean-Pierre Banâtre	[135]
9	Federico Banti	[132]
10	Friedrich L. Bauer	[10] [16] [33] [43] [57]
11	Sebastian S. Bauer	[143] [145] [149] [150]
12	Hubert Baumeister	[94] [98] [100] [105] [108] [109] [119] [126]
13	Rudolf Berghammer	[33]
14	Jan A. Bergstra	[12] [49]
15	Michel Bidoit	[64] [67] [76] [87]
16	Artur Boronat	[131]
17	Heiner Brand	[52] [58] [59]
18	Franz-Josef Brandenburg	[41]
19	Ruth Breu	[44]
20	Linda Briesemeister	[124]
21	Manfred Broy	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [22] [25] [26] [28] [33] [35] [39] [42] [47] [55] [61] [70] [90]
22	Roberto Bruni	[98] [139]
23	Maurice Bruynooghe	[60]
24	Pietro Cenciarelli	[78] [83] [89]
25	María Victoria Cengarle	[52] [58] [59] [68] [133]
26	Marsha Chechik	[141]
27	Allan Clark	[121] [126] [132]
28	Patrick Closhen	[79] [81]
29	Robert Cori	[46]
30	Andrea Corradini	[98]
31	John N. Crossley	[73] [84] [86] [93]
32	Klaus Däßler	[52] [58] [59]
33	Grit Denker	[124] [140]
34	Walter Dosch	[3] [8] [10] [14] [16] [18] [23] [33]
35	J. Duckeck	[79]
36	Jonas Eckhardt	[158]
37	Alessandro Fantechi	[132]
38	José Luiz Fiadeiro	[98] [116] [122]
39	Jean-Pierre Finance	[2]
40	Piero Fraternali	[112] [115]
41	M. Frisch	[79]
42	Hartmut Fritzsche	[79] [81]
43	Fabio Gadducci	[98]
44	Bernd Gaede	[79]
45	Alejandra Garrido	[88]
46	Franz Geiselbrechtinger	[33]
47	Stephen Gilmore (Stephen T. Gilmore)	[120] [121] [126] [132]
48	Rupert Gnatz	[1] [10] [11] [33]
49	Stefania Gnesi	[98] [132]
50	László Gönczy	[132]
51	Florian Hacklinger	[119] [126]
52	E. Hangel	[33]
53	Alfred Helmerich	[88]
54	Rolf Hennicker	[30] [44] [48] [54] [64] [67] [76] [82] [87] [94] [95] [107] [119] [126] [134] [143] [149]
55	Wolfgang Hesse	[33]
56	Piotr Hoffman	[98]
57	Hans-Jürgen Hoffmann	[79]
58	Martin Hofmann	[148]
59	Matthias M. Hölzl	[120] [121] [129] [130] [132] [135] [136] [139] [140] [152] [153] [154] [156]
60	Dang Van Hung	[117]
61	Dieter Hutter	[97]
62	Stephan Janisch	[126]
63	Alexander Knapp	[72] [78] [79] [83] [89] [94] [96] [99] [108] [110] [111] [113] [118] [119] [121] [123] [126] [131] [133] [144]
64	Nora Koch	[79] [81] [88] [98] [100] [102] [105] [112] [115] [121] [123] [132] [139] [152] [153]
65	Jana Koehler (Jana Köhler)	[127] [128]
66	Piotr Kosiuczenko	[71] [77] [85] [98] [100] [105]
67	Bernd Krieg-Brückner	[10] [33] [97]
68	Richard Krutisch	[104]
69	Alessandro Lapadula	[98] [132]
70	Diego Latella	[98] [109]
71	Alfred Laut	[10] [33]
72	Ulrike Lechner	[66] [74]
73	Christian Lengauer	[66] [74]
74	Jacek Leszczylowski	[19] [53]
75	Arne Lindow	[97]
76	Alberto Lluch-Lafuente	[139]
77	Antónia Lopes	[98]
78	Michele Loreti	[98]
79	Ruqian Lu	[151]
80	Roberto Lucchi	[120]
81	M. Luckmann	[10]
82	Christoph Lüth	[97]
83	Rainer Lutze	[79] [80] [81]
84	Achim Mahnke	[97]
85	Jan Maluszynski	[56]
86	Luis Mandel	[52] [58] [59] [73] [88]
87	Grzegorz Marczynski	[144]
88	Gianfranco Mascari	[8] [18] [31]
89	Mieke Massink	[98] [109]
90	Thomas Matzner	[10] [33]
91	Philip Mayer	[132] [139] [147] [152] [153]
92	Franco Mazzanti	[98] [132]
93	Max Meier	[136] [140]
94	Philipp Meier	[97] [103] [104]
95	Erica Melis	[97]
96	Stephan Merz	[106] [111] [118]
97	José Meseguer	[131] [158]
98	Bernhard Möller	[10] [14] [33] [35] [40] [45]
99	Ugo Montanari	[98] [116] [122] [139]
100	Tobias Mühlbauer	[158]
101	Friederike Nickl	[33] [62] [74]
102	Rocco De Nicola	[98] [120]
103	Maurice Nivat	[75]
104	Cristóvão Oliveira	[98]
105	Luis Olsina	[88]
106	Peter Csaba Ölveczky	[71]
107	Fernando Orejas	[138]
108	Peter Padawitz	[29]
109	C. Pair	[28]
110	Helmuth Partsch	[3] [7] [10] [16] [23] [33]
111	Dirk Pattinson	[101] [107] [114]
112	Peter Pepper	[3] [5] [7] [10] [16] [23] [33] [35] [39] [69]
113	Hannes Peterreins	[84]
114	Marco Pistore	[127] [128]
115	Iman Poernomo	[86] [93]
116	Arnd Poetzsch-Heffter	[97]
117	Andy Poggio	[124]
118	Rosario Pugliese	[98] [132]
119	Alain Quéré	[2]
120	Axel Rauschmayer	[110] [129] [130] [135] [148]
121	Gianna Reggio	[31] [37]
122	Jean-Luc Remy	[2]
123	Bernhard Reus	[78] [83] [89] [95]
124	M. Birna van Riemsdijk (Birna van Riemsdijk)	[125] [134] [142]
125	Markus Roggenbach	[97]
126	Gustavo Rossi	[88]
127	George Russell	[97]
128	Klaus Samelson	[10] [33]
129	Partha Sampath	[137] [155]
130	Donald Sannella	[20] [24] [27]
131	Josef Schneeberger	[79] [80] [81]
132	Thekla Schneider	[52] [58] [59]
133	Andreas Schroeder	[121] [132] [134] [139] [145] [150] [157]
134	Amit P. Sheth	[127] [128]
135	Jan-Georg Smaus	[97]
136	Robert Stabl	[48]
137	Ralf Steinbrüggen	[10]
138	Perdita Stevens	[105]
139	Herbert Stoyan	[79]
140	Thomas Streicher	[51]
141	Carolyn L. Talcott	[124]
142	Andrzej Tarlecki	[32] [40] [45] [98] [133]
143	Francesco Tiezzi	[132]
144	D. Timm	[79]
145	Françoise Tort	[87]
146	Paolo Traverso	[127] [128]
147	Mirco Tribastone	[120] [132] [147]
148	J. V. Tucker (John V. Tucker)	[12]
149	Andreas Turk	[79] [81]
150	Dániel Varró	[132]
151	Guy Vidal-Naquet	[41]
152	Michel Wermelinger	[98]
153	Hans Wössner	[10] [33]
154	Mingsheng Ying	[91] [92]
155	Júlia Zappe	[106] [118]
156	Gianluigi Zavattaro	[120]
157	Artur Zawlocki	[98] [144]
158	Gefei Zhang	[123]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page