 | 2009 |
|---|
| 139 |       | 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 |
| 138 | | Matthias M. Hölzl,
Grit Denker,
Max Meier,
Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
CALCO 2009: 423-432 |
| 137 | | 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 |
| 136 | | Fernando Orejas,
Martin Wirsing:
On the Specification and Verification of Model Transformations.
Semantics and Algebraic Specification 2009: 140-161 |
| 135 | | Partha Sampath,
Martin Wirsing:
Computing the Cost of Business Processes.
UNISCON 2009: 178-183 |
| 134 | | 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 |
|---|
| 133 |  | Martin Wirsing,
Jean-Pierre Banâtre,
Matthias M. Hölzl,
Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Springer 2008 |
| 132 | | M. Birna van Riemsdijk,
Rolf Hennicker,
Martin Wirsing,
Andreas Schroeder:
Service Specification and Matchmaking Using Description Logic.
AMAST 2008: 392-406 |
| 131 | | María Victoria Cengarle,
Alexander Knapp,
Andrzej Tarlecki,
Martin Wirsing:
A Heterogeneous Approach to UML Semantics.
Concurrency, Graphs and Models 2008: 383-402 |
| 130 | | 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 |
| 129 | | Artur Boronat,
Alexander Knapp,
José Meseguer,
Martin Wirsing:
What Is a Multi-modeling Language?
WADT 2008: 71-87 |
| 128 | | 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 |
| 127 | | Matthias 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 |
| 125 | | 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 |
| 124 | | 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 |
| 123 | | M. Birna van Riemsdijk,
Martin Wirsing:
Using Goals for Flexible Service Orchestration.
SOCASE 2007: 31-48 |
| 122 | | 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) |
| 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 |
| 120 | | 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 |
| 119 | | 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 |
| 118 | | 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) |
| 117 | | 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 |
|---|
| 116 | | Dang Van Hung,
Martin Wirsing:
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
Springer 2005 |
| 115 | | José 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) |
| 113 | | Dirk 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 |
| 110 | | Alexander Knapp,
Stephan Merz,
Martin Wirsing:
Refining Mobile UML State Machines.
AMAST 2004: 274-288 |
| 109 | | Axel Rauschmayer,
Alexander Knapp,
Martin Wirsing:
Consistency Checking in an Infrastructure for Large-Scale Generative.
ASE 2004: 238-247 |
| 108 | | Diego Latella,
Mieke Massink,
Hubert Baumeister,
Martin Wirsing:
Mobile UML Statecharts with Localities.
Global Computing 2004: 34-58 |
| 107 | | Hubert 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 |
| 105 | | Stephan Merz,
Martin Wirsing,
Júlia Zappe:
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
FASE 2003: 87-101 |
| 104 | | Hubert Baumeister,
Nora Koch,
Piotr Kosiuczenko,
Perdita Stevens,
Martin Wirsing:
UML for Global Computing.
Global Computing 2003: 1-24 |
| 103 | | Richard Krutisch,
Philipp Meier,
Martin Wirsing:
The Agent Component Approach, Combining Agents, and Components.
MATES 2003: 1-12 |
| 102 | | Philipp Meier,
Martin Wirsing:
Towards a Formal Specification for the AgentComponent.
Objects, Agents, and Features 2003: 175-188 |
| 2002 |
|---|
| 101 | | Nora Koch,
Martin Wirsing:
The Munich Reference Model for Adaptive Hypermedia Applications.
AH 2002: 213-222 |
| 100 | | Dirk Pattinson,
Martin Wirsing:
Making Components Move: A Separation of Concerns Approach.
FMCO 2002: 487-507 |
| 99 | | Hubert Baumeister,
Nora Koch,
Piotr Kosiuczenko,
Martin Wirsing:
Extending Activity Diagrams to Model Mobile Systems.
NetObjectDays 2002: 278-293 |
| 98 | | Martin Wirsing,
Alexander Knapp:
View Consistency in Software Development.
RISSEF 2002: 341-357 |
| 97 | | 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 |
| 96 | | 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 |
| 95 | | Martin Wirsing,
Alexander Knapp:
A formal approach to object-oriented software engineering.
Theor. Comput. Sci. 285(2): 519-560 (2002) |
| 2001 |
|---|
| 94 | | Bernhard 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 |
| 92 | | Iman Poernomo,
John N. Crossley,
Martin Wirsing:
Programs, Proofs and Parametrized Specifications.
WADT 2001: 280-304 |
| 91 | | Mingsheng Ying,
Martin Wirsing:
Recursive equations in higher-order process calculi.
Theor. Comput. Sci. 266(1-2): 839-852 (2001) |
| 2000 |
|---|
| 90 | | Mingsheng Ying,
Martin Wirsing:
Approximate Bisimilarity.
AMAST 2000: 309-322 |
| 89 | | Manfred Broy,
Martin Wirsing:
Invited Talk: Algebraic State Machines.
AMAST 2000: 89-188 |
| 1999 |
|---|
| 88 | | 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 |
| 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 |
| 84 | | Piotr Kosiuczenko,
Martin Wirsing:
Formalizing and Executing Message Sequence Charts via Timed Rewriting.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 1998 |
|---|
| 83 | | Martin 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) |
| 75 | | Rolf 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 |
| 73 | | Ulrike 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 |
| 71 | | Martin 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 |
| 67 | | 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) |
| 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 |
| 63 | | Michel 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 |
|---|
| 61 | | Friederike 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 |
| 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 |
