Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Martin Wirsing
2010 – today
- 2013
[j38]Partha B. Sampathkumaran, Martin Wirsing: Financial Evaluation and Optimization of Business Processes. IJISMD 4(2): 91-120 (2013)- 2012
- [c100]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
- [c99]Andreas Schroeder, Martin Wirsing: Developing Physiological Computing Systems: Challenges and Solutions. Software Engineering 2012: 21-36
- [c98]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing: Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160
- [c97]Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer: Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012: 54-82
- 2011
- [j37]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)
- [j36]Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing: A contract-based approach to adaptivity. J. Log. Algebr. Program. 80(3-5): 180-193 (2011)
- [j35]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011)
- [c96]Matthias M. Hölzl, Martin Wirsing: Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 241-261
- [c95]Partha Sampath, Martin Wirsing: Evaluation of Cost Based Best Practices in Business Processes. BMMDS/EMMSAD 2011: 61-74
- [c94]Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli: ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO 2011: 1-24
- [p6]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
- [p5]Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing: Sensoria Patterns. Results of the SENSORIA Project 2011: 719-736
- [e17]Martin Wirsing, Matthias M. Hölzl (Eds.): Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, ISBN 978-3-642-20400-5
- 2010
- [j34]M. Birna van Riemsdijk, Martin Wirsing: Comparing goal-oriented and procedural service orchestration. Multiagent and Grid Systems 6(2): 133-163 (2010)
- [c93]Mirco Tribastone, Philip Mayer, Martin Wirsing: Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) 2010: 51-65
- [c92]Martin Wirsing: A Component-Based Approach to Adaptive User-Centric Pervasive Applications. QoSA 2010: 2
- [c91]Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki: A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484
- [c90]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing: Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12
- [c89]Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder: Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. RTRTS 2010: 1-25
- [e16]Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.): Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6084, Springer 2010, ISBN 978-3-642-15639-7
2000 – 2009
- 2009
- [j33]Matthias M. Hölzl, Max Meier, Martin Wirsing: Which Soft Constraints do you Prefer? Electr. Notes Theor. Comput. Sci. 238(3): 189-205 (2009)
- [c88]Fernando Orejas, Martin Wirsing: On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161
- [c87]Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing: Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432
- [c86]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
- [c85]
- [e15]Marsha Chechik, Martin Wirsing (Eds.): 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. Lecture Notes in Computer Science 5503, Springer 2009, ISBN 978-3-642-00592-3
- 2008
- [c84]M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder: Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406
- [c83]María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing: A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402
- [c82]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
- [c81]Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing: What Is a Multi-modeling Language? WADT 2008: 71-87
- [p4]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
- [p3]Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing: Software Engineering for Ensembles. Software-Intensive Systems and New Computing Paradigms 2008: 45-63
- [e14]Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer (Eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0
- 2007
- [j32]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)
- [j31]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)
- [c80]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
- [c79]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
- [c78]M. Birna van Riemsdijk, Martin Wirsing: Using Goals for Flexible Service Orchestration. SOCASE 2007: 31-48
- [e13]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing (Eds.): Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j30]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)
- [j29]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)
- [c77]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
- [c76]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
- [e12]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing (Eds.): Foundations of Global Computing, 20.-25. February 2005. Dagstuhl Seminar Proceedings 05081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j28]
- [j27]Dirk Pattinson, Martin Wirsing: A coordination approach to mobile components. Theor. Comput. Sci. 331(2-3): 457-483 (2005)
- [c75]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing: 05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005
- [e11]Dang Van Hung, Martin Wirsing (Eds.): Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Lecture Notes in Computer Science 3722, Springer 2005, ISBN 3-540-29107-5
- 2004
- [c74]Alexander Knapp, Stephan Merz, Martin Wirsing: Refining Mobile UML State Machines. AMAST 2004: 274-288
- [c73]Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing: Mobile UML Statecharts with Localities. Global Computing 2004: 34-58
- [c72]Axel Rauschmayer, Alexander Knapp, Martin Wirsing: Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247
- [c71]
- [e10]Nora Koch, Piero Fraternali, Martin Wirsing (Eds.): Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings. Lecture Notes in Computer Science 3140, Springer 2004, ISBN 3-540-22511-0
- [e9]Martin Wirsing, Alexander Knapp, Simonetta Balsamo (Eds.): Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, ISBN 3-540-21179-9
- 2003
- [c70]Philipp Meier, Martin Wirsing: Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features 2003: 175-188
- [c69]Stephan Merz, Martin Wirsing, Júlia Zappe: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE 2003: 87-101
- [c68]Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing: UML for Global Computing. Global Computing 2003: 1-24
- [c67]Richard Krutisch, Philipp Meier, Martin Wirsing: The Agent Component Approach, Combining Agents, and Components. MATES 2003: 1-12
- [e8]Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.): Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2755, Springer 2003, ISBN 3-540-20537-3
- 2002
- [j26]Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002)
- [c66]
- [c65]Dirk Pattinson, Martin Wirsing: Making Components Move: A Separation of Concerns Approach. FMCO 2002: 487-507
- [c64]Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing: Extending Activity Diagrams to Model Mobile Systems. NetObjectDays 2002: 278-293
- [c63]
- [c62]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
- [c61]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
- 2001
- [j25]Mingsheng Ying, Martin Wirsing: Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001)
- [c60]Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317
- [c59]Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing: Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607
- [c58]Iman Poernomo, John N. Crossley, Martin Wirsing: Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304
- 2000
- [c57]
- [c56]
1990 – 1999
- 1999
- [j24]Piotr Kosiuczenko, Martin Wirsing: Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electr. Notes Theor. Comput. Sci. 25: 50-61 (1999)
- [c55]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-
- [c54]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
- [c53]Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing: Correct Realization of Interface Constraints with OCL. UML 1999: 399-415
- [c52]John N. Crossley, Iman Poernomo, Martin Wirsing: Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437
- [p2]Donald Sannella, Martin Wirsing: Specification Languages. Algebraic Foundations of Systems Specification 1999: 243-272
- 1998
- [c51]Martin Wirsing, John N. Crossley, Hannes Peterreins: Proof Normalization of Structured Algebraic Specifications Is Convergent. WADT 1998: 326-340
- 1997
- [j23]Piotr Kosiuczenko, Martin Wirsing: Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28(2-3): 225-246 (1997)
- [j22]Rolf Hennicker, Martin Wirsing, Michel Bidoit: Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997)
- [c50]Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90
- [c49]Rolf Hennicker, Martin Wirsing: Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37
- [c48]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
- [c47]Martin Wirsing, Josef Schneeberger, Rainer Lutze: Workshop: Software-Engineering für Multimedia-Systeme. GI Jahrestagung 1997: 631
- [c46]Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, Markus 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
- [c45]Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417
- 1996
- [j21]Martin Wirsing, Alexander Knapp: A formal approach to object-oriented software engineering. Electr. Notes Theor. Comput. Sci. 4: 322-360 (1996)
- [c44]Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing: (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247
- [c43]John N. Crossley, Luis Mandel, Martin Wirsing: First-Order Constrained Lambda Calculus. FroCoS 1996: 339-356
- [e7]Martin Wirsing, Maurice Nivat (Eds.): Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Lecture Notes in Computer Science 1101, Springer 1996, ISBN 3-540-61463-X
- 1995
- [j20]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)
- [j19]Michel Bidoit, Rolf Hennicker, Martin Wirsing: Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995)
- [c42]Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing: An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402
- [c41]Manfred Broy, Martin Wirsing: Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26
- [c40]Peter Pepper, Martin Wirsing: A Method for the Development of Correct Software. KORSO Book 1995: 27-57
- 1994
- [c39]
- [c38]Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367
- [c37]Michel Bidoit, Rolf Hennicker, Martin Wirsing: Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119
- [c36]
- 1993
- [c35]Friederike Nickl, Martin Wirsing: A Formal Approach to Requirements Engineering (Invited Paper). Formal Methods in Programming and Their Applications 1993: 312-334
- [c34]Manfred Broy, Martin Wirsing: Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43
- 1992
- [j18]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)
- [j17]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)
- [e6]Maurice Bruynooghe, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings. Lecture Notes in Computer Science 631, Springer 1992, ISBN 3-540-55844-6
- 1991
- [b2]Friedrich L. Bauer, Martin Wirsing: Elementare Aussagenlogik. Mathematik für Informatiker, Springer 1991, ISBN 978-3-540-52974-3, pp. I-X, 1-228
- [c33]Rolf Hennicker, Martin Wirsing: A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming 1991: 49-75
- [c32]Jacek Leszczylowski, Martin Wirsing: Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. STACS 1991: 1-15
- [c31]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
- [e5]Manfred Broy, Martin Wirsing (Eds.): Method of Programming, Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544, Springer 1991, ISBN 3-540-54576-X
- [e4]Jan Maluszynski, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings. Lecture Notes in Computer Science 528, Springer 1991, ISBN 3-540-54444-5
- 1990
- [c30]Thomas Streicher, Martin Wirsing: Dependent Types Considered Necessary for Specification Languages. ADT 1990: 323-340
- [p1]Martin Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788
1980 – 1989
- 1989
- [c29]Martin Wirsing, Rolf Hennicker, Robert Stabl: MENU - An Example for the Systematic Reuse of Specifications. ESEC 1989: 20-41
- [c28]Martin Wirsing, Manfred Broy: A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73
- [e3]Martin Wirsing, Jan A. Bergstra (Eds.): Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394, Springer 1989, ISBN 3-540-51698-0
- 1988
- [j16]Friedrich L. Bauer, Martin Wirsing: Crypt-Equivalent Algebraic Specifications. Acta Inf. 25(2): 111-153 (1988)
- [j15]Manfred Broy, Martin Wirsing: Ultra-loose algebraic specifications. Bulletin of the EATCS 35: 117-127 (1988)
- [c27]Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148
- [c26]
- [e2]Robert Cori, Martin Wirsing (Eds.): STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Lecture Notes in Computer Science 294, Springer 1988, ISBN 3-540-18834-7
- 1987
- [j14]Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)
- [c25]Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169
- [e1]Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing (Eds.): STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings. Lecture Notes in Computer Science 247, Springer 1987, ISBN 3-540-17219-X
- 1986
- [j13]Martin Wirsing: Algebraic specification of the abstract data type "Continuum" without hidden operations. Bulletin of the EATCS 29: 46-54 (1986)
- [j12]Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)
- [j11]Martin Wirsing: Structured Algebraic Specifications: A Kernel Language. Theor. Comput. Sci. 42: 123-249 (1986)
- [c24]Martin Wirsing: Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 777-778
- [c23]Egidio Astesiano, Gianna Reggio, Martin Wirsing: Relational Specifications and Observational Semantics. MFCS 1986: 209-217
- 1985
- [b1]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. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7
- [c22]Andrzej Tarlecki, Martin Wirsing: Continuous abstract data types: basic machinery and results. FCT 1985: 431-441
- [c21]Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358
- 1984
- [j10]Peter Padawitz, Martin Wirsing: Completeness of many-sorted equational logic revisited. Bulletin of the EATCS 24: 88-93 (1984)
- [j9]Manfred Broy, Martin Wirsing, C. Pair: A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984)
- [c20]
- 1983
- [j8]Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
- [j7]Manfred Broy, Martin Wirsing: Algebraic Definition of a Functional Programming Language and Its Semantic Models. ITA 17(2): 137-161 (1983)
- [c19]
- [c18]Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation. ADT 1983
- [c17]Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34
- [c16]Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427
- 1982
- [j6]
- [j5]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)
- [c15]
- [c14]Donald Sannella, Martin Wirsing: Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488
- [c13]Jacek Leszczylowski, Martin Wirsing: A system for reasoning within and about algebraic specifications. Symposium on Programming 1982: 257-282
- [c12]Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
- 1981
- [j4]Manfred Broy, Rupert Gnatz, Martin Wirsing: Nichtdeterminismus - Das aktuelle Schlagwort. Informatik Spektrum 4(2): 125-126 (1981)
- [j3]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)
- [c11]Manfred Broy, Martin Wirsing: On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179
- [c10]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
- [c9]Manfred Broy, Martin Wirsing: On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251
- [c8]Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing: On the Power of Algebraic Specifications. MFCS 1981: 193-204
- 1980
- [j2]Manfred Broy, Martin Wirsing: Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980)
- [c7]
- [c6]Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari: Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung 1980: 306-320
- [c5]Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106
- [c4]Martin Wirsing, Manfred Broy: Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685
- [c3]Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78
1970 – 1979
- 1979
- [j1]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)
- [c2]Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
- 1978
- [c1]Manfred Broy, Rupert Gnatz, Martin Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team