dblp.uni-trier.dewww.uni-trier.de

Martin Wirsing Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
137EEMarsha 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
136EEMatthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432
135EEFernando Orejas, Martin Wirsing: On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161
134EEPartha Sampath, Martin Wirsing: Computing the Cost of Business Processes. UNISCON 2009: 178-183
133EEMatthias M. Hölzl, Max Meier, Martin Wirsing: Which Soft Constraints do you Prefer? Electr. Notes Theor. Comput. Sci. 238(3): 189-205 (2009)
2008
132 Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer: Software-Intensive Systems and New Computing Paradigms - Challenges and Visions Springer 2008
131EEM. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder: Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406
130EEMaría Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402
129EEMartin 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
128EEMatthias 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
127EEMatthias M. Hölzl, Axel Rauschmayer, Martin Wirsing: Software Engineering for Ensembles. Software-Intensive Systems and New Computing Paradigms 2008: 45-63
2007
126 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
125EEJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing: 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007
124EEAlexander 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
123EEM. Birna van Riemsdijk, Martin Wirsing: Using Goals for Flexible Service Orchestration. SOCASE 2007: 31-48
122EEMartin 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)
2006
121 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
120EEMartin 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
119EEMartin 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
118EEHubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing: A Component Model for Architectural Programming. Electr. Notes Theor. Comput. Sci. 160: 75-96 (2006)
117EEAlexander 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
116 Dang Van Hung, Martin Wirsing: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings Springer 2005
115EEJosé Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005
114 Nora Koch, Piero Fraternali, Martin Wirsing: Editorial. J. Web Eng. 4(1): 1-2 (2005)
113EEDirk Pattinson, Martin Wirsing: A coordination approach to mobile components. Theor. Comput. Sci. 331(2-3): 457-483 (2005)
2004
112 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
111 Nora Koch, Piero Fraternali, Martin Wirsing: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings Springer 2004
110EEAlexander Knapp, Stephan Merz, Martin Wirsing: Refining Mobile UML State Machines. AMAST 2004: 274-288
109EEAxel Rauschmayer, Alexander Knapp, Martin Wirsing: Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247
108EEDiego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
107EEHubert Baumeister, Alexander Knapp, Martin Wirsing: Property-Driven Development. SEFM 2004: 96-102
2003
106 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
105EEStephan Merz, Martin Wirsing, Júlia Zappe: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE 2003: 87-101
104EEHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
103EERichard Krutisch, Philipp Meier, Martin Wirsing: The Agent Component Approach, Combining Agents, and Components. MATES 2003: 1-12
102EEPhilipp Meier, Martin Wirsing: Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features 2003: 175-188
2002
101EENora Koch, Martin Wirsing: The Munich Reference Model for Adaptive Hypermedia Applications. AH 2002: 213-222
100EEDirk Pattinson, Martin Wirsing: Making Components Move: A Separation of Concerns Approach. FMCO 2002: 487-507
99EEHubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing: Extending Activity Diagrams to Model Mobile Systems. NetObjectDays 2002: 278-293
98EEMartin Wirsing, Alexander Knapp: View Consistency in Software Development. RISSEF 2002: 341-357
97EELuis 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
96EEBernd 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
95EEMartin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002)
2001
94EEBernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317
93 Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing: Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607
92EEIman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304
91EEMingsheng Ying, Martin Wirsing: Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001)
2000
90EEMingsheng Ying, Martin Wirsing: Approximate Bisimilarity. AMAST 2000: 309-322
89EEManfred Broy, Martin Wirsing: Invited Talk: Algebraic State Machines. AMAST 2000: 89-188
1999
88EEPietro 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
87 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-
86 Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing: Correct Realization of Interface Constraints with OCL. UML 1999: 399-415
85 John N. Crossley, Iman Poernomo, Martin Wirsing: Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437
84EEPiotr Kosiuczenko, Martin Wirsing: Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electr. Notes Theor. Comput. Sci. 25: (1999)
1998
83EEMartin Wirsing, John N. Crossley, Hannes Peterreins: Proof Normalization of Structured Algebraic Specifications Is Convergent. WADT 1998: 326-340
1997
82 Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90
81 Rolf Hennicker, Martin Wirsing: Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37
80 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
79 Martin Wirsing, Josef Schneeberger, Rainer Lutze: Workshop: Software-Engineering für Multimedia-Systeme. GI Jahrestagung 1997: 631
78 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
77 Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417
76 Piotr Kosiuczenko, Martin Wirsing: Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28(2-3): 225-246 (1997)
75EERolf Hennicker, Martin Wirsing, Michel Bidoit: Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997)
1996
74 Martin Wirsing, Maurice Nivat: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings Springer 1996
73EEUlrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing: (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247
72 John N. Crossley, Luis Mandel, Martin Wirsing: First-Order Constrained Lambda Calculus. Frontiers of Combining Systems (FroCos) 1996: 339-356
71EEMartin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Electr. Notes Theor. Comput. Sci. 4: (1996)
1995
70 Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402
69 Manfred Broy, Martin Wirsing: Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26
68 Peter Pepper, Martin Wirsing: A Method for the Development of Correct Software. KORSO Book 1995: 27-57
67EEMaría Victoria Cengarle, Martin Wirsing: A Calculus of Higher-Order Parameterization for Algebraic Specifications. Logic Journal of the IGPL 3(4): 615-641 (1995)
66 Michel Bidoit, Rolf Hennicker, Martin Wirsing: Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995)
1994
65 Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367
64 Martin Wirsing: Algebraic Specification Languages: An Overview. COMPASS/ADT 1994: 81-115
63EEMichel Bidoit, Rolf Hennicker, Martin Wirsing: Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119
62 Martin Wirsing: Ist zuverlässige Software eine Utopie? GI Jahrestagung 1994: 531
1993
61EEFriederike Nickl, Martin Wirsing: A Formal Approach to Requirements Engineering (Invited Paper). Formal Methods in Programming and Their Applications 1993: 312-334
60 Manfred Broy, Martin Wirsing: Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43
1992
59 Maurice Bruynooghe, Martin Wirsing: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings Springer 1992
58 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)
57 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
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
53EEJacek 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
47EEMartin 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
45EEBernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148
44EEMartin 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
39EEManfred 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
37EEEgidio 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
31EEEgidio 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
25EEManfred 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
20EEDonald 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
18EEWalter 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
15EEManfred 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
12EEJan 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
6EEMartin 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
3EEManfred 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)