The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Wirsing: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Walter Dosch, Gianfranco Mascari, Martin Wirsing
    On the Algebraic Specification of Databases. [Citation Graph (5, 16)][DBLP]
    VLDB, 1982, pp:370-385 [Conf]
  2. Martin Wirsing
    Structured Algebraic Specifications: A Kernel Language. [Citation Graph (3, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:42, n:, pp:123-249 [Journal]
  3. Jacek Leszczylowski, Martin Wirsing
    Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. [Citation Graph (2, 0)][DBLP]
    STACS, 1991, pp:1-15 [Conf]
  4. Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
    On Hierarchies of Abstract Data Types. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:1-33 [Journal]
  5. Martin Wirsing, Rolf Hennicker, Robert Stabl
    MENU - An Example for the Systematic Reuse of Specifications. [Citation Graph (1, 0)][DBLP]
    ESEC, 1989, pp:20-41 [Conf]
  6. Donald Sannella, Martin Wirsing
    A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. [Citation Graph (1, 0)][DBLP]
    FCT, 1983, pp:413-427 [Conf]
  7. Rolf Hennicker, Martin Wirsing
    Observational Specification: A Birkhoff Theorem. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:119-135 [Conf]
  8. Manfred Broy, Martin Wirsing
    Generalized Heterogeneous Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  9. Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
    Algebraic Specifications of Reachable Higher-Order Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:154-169 [Conf]
  10. Donald Sannella, Martin Wirsing
    A Kernel Language for Algebraic Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  11. Thomas Streicher, Martin Wirsing
    Dependent Types Considered Necessary for Specification Languages. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:323-340 [Conf]
  12. Martin Wirsing
    Implementation of Parameterized Hierarchical Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1982, pp:- [Conf]
  13. Nora Koch, Martin Wirsing
    The Munich Reference Model for Adaptive Hypermedia Applications. [Citation Graph (0, 0)][DBLP]
    AH, 2002, pp:213-222 [Conf]
  14. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
    From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:75-90 [Conf]
  15. Manfred Broy, Martin Wirsing
    Invited Talk: Algebraic State Machines. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:89-188 [Conf]
  16. Alexander Knapp, Stephan Merz, Martin Wirsing
    Refining Mobile UML State Machines. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:274-288 [Conf]
  17. Mingsheng Ying, Martin Wirsing
    Approximate Bisimilarity. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:309-322 [Conf]
  18. Manfred Broy, Martin Wirsing
    On the Algebraic Specification of Nondeterministic Programming Languages. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:162-179 [Conf]
  19. Manfred Broy, Martin Wirsing
    Generalized Heterogeneous Algebras and Partial Interpretations. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:1-34 [Conf]
  20. Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
    Algebraic Specification with Built-in Domain Constructions. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:132-148 [Conf]
  21. Rolf Hennicker, Martin Wirsing
    A Formal Method for the Systematic Reuse of Specification Components. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:49-75 [Conf]
  22. Martin Wirsing
    Algebraic Specification Languages: An Overview. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:81-115 [Conf]
  23. Ulrike Lechner, Christian Lengauer, Martin Wirsing
    An Object-Oriented Airport: Specification and Refinement in Maude. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:351-367 [Conf]
  24. José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing
    05081 Abstracts Collection - Foundations of Global Computing. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  25. Philipp Meier, Martin Wirsing
    Towards a Formal Specification for the AgentComponent. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:175-188 [Conf]
  26. Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing
    An Object-Oriented Algebraic Steam-Boiler Control Specification. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:379-402 [Conf]
  27. Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing
    (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1996, pp:232-247 [Conf]
  28. Friederike Nickl, Martin Wirsing
    A Formal Approach to Requirements Engineering (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:312-334 [Conf]
  29. Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Characterizing Behavioural Semantics and Abstractor Semantics. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:105-119 [Conf]
  30. Stephan Merz, Martin Wirsing, Júlia Zappe
    A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:87-101 [Conf]
  31. Bernhard Reus, Martin Wirsing, Rolf Hennicker
    A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:300-317 [Conf]
  32. Rolf Hennicker, Martin Wirsing
    Proof Systems for Struvtured Algebraic Specifications: An Overview. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:19-37 [Conf]
  33. Andrzej Tarlecki, Martin Wirsing
    Continuous abstract data types: basic machinery and results. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:431-441 [Conf]
  34. Dirk Pattinson, Martin Wirsing
    Making Components Move: A Separation of Concerns Approach. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:487-507 [Conf]
  35. Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
    Semantic-Based Development of Service-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:24-45 [Conf]
  36. John N. Crossley, Luis Mandel, Martin Wirsing
    First-Order Constrained Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:339-356 [Conf]
  37. 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. [Citation Graph (0, 0)][DBLP]
    German-Argentinian Workshop on Information Technology, 1999, pp:95-0 [Conf]
  38. Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
    Mobile UML Statecharts with Localities. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:34-58 [Conf]
  39. Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
    GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:109-121 [Conf]
  40. Manfred Broy, Martin Wirsing
    Korrekte Software: Vom Experiment zur Anwendung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:29-43 [Conf]
  41. Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
    Polynomials - The Specification, Analysis and Development of an Abstract Data Type. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:306-320 [Conf]
  42. Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
    Specifying Component Invariants with OCL. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2001, pp:600-607 [Conf]
  43. Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen
    EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:446-455 [Conf]
  44. Martin Wirsing
    Ist zuverlässige Software eine Utopie? [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1994, pp:531- [Conf]
  45. Martin Wirsing, Josef Schneeberger, Rainer Lutze
    Workshop: Software-Engineering für Multimedia-Systeme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:631- [Conf]
  46. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
    UML for Global Computing. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:1-24 [Conf]
  47. Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Existential Quantifiers in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:73-87 [Conf]
  48. Donald Sannella, Martin Wirsing
    Implementation of Parameterised Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:473-488 [Conf]
  49. Manfred Broy, Martin Wirsing
    On the Algebraic Extensions of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:244-251 [Conf]
  50. 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. [Citation Graph (0, 0)][DBLP]
    IDMS, 1997, pp:199-209 [Conf]
  51. Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Semantic Relations in Programming Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:101-106 [Conf]
  52. Martin Wirsing
    Specification Languages versus Programming Languages (Panel). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:777-778 [Conf]
  53. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
    An Event-Based Structural Operational Semantics of Multi-Threaded Java. [Citation Graph (0, 0)][DBLP]
    Formal Syntax and Semantics of Java, 1999, pp:157-200 [Conf]
  54. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing
    Extending Activity Diagrams to Model Mobile Systems. [Citation Graph (0, 0)][DBLP]
    NetObjectDays, 2002, pp:278-293 [Conf]
  55. Axel Rauschmayer, Alexander Knapp, Martin Wirsing
    Consistency Checking in an Infrastructure for Large-Scale Generative. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:238-247 [Conf]
  56. Manfred Broy, Martin Wirsing
    Correct Software: From Experiments to Applications. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:1-26 [Conf]
  57. Peter Pepper, Martin Wirsing
    A Method for the Development of Correct Software. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:27-57 [Conf]
  58. Richard Krutisch, Philipp Meier, Martin Wirsing
    The Agent Component Approach, Combining Agents, and Components. [Citation Graph (0, 0)][DBLP]
    MATES, 2003, pp:1-12 [Conf]
  59. Egidio Astesiano, Gianna Reggio, Martin Wirsing
    Relational Specifications and Observational Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:209-217 [Conf]
  60. Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing
    On the Power of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:193-204 [Conf]
  61. Martin Wirsing, Manfred Broy
    Abstract Data Types as Lattices of Finitely Generated Models. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:673-685 [Conf]
  62. Martin Wirsing, Rolf Hennicker, Ruth Breu
    Reusable Specification Components. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:121-137 [Conf]
  63. Manfred Broy, Rupert Gnatz, Martin Wirsing
    Semantics of Nondeterministic and Noncontinuous Constructs. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:553-592 [Conf]
  64. Manfred Broy, Peter Pepper, Martin Wirsing
    On Relations Between Programs. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:59-78 [Conf]
  65. Jacek Leszczylowski, Martin Wirsing
    A system for reasoning within and about algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:257-282 [Conf]
  66. Martin Wirsing, Alexander Knapp
    View Consistency in Software Development. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:341-357 [Conf]
  67. Hubert Baumeister, Alexander Knapp, Martin Wirsing
    Property-Driven Development. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:96-102 [Conf]
  68. Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing
    On the Parameterized Algebraic Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:342-358 [Conf]
  69. Martin Wirsing, Manfred Broy
    A Modular Framework for Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:42-73 [Conf]
  70. Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Correct Realization of Interface Constraints with OCL. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:399-415 [Conf]
  71. 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. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  72. 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. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:82-117 [Conf]
  73. John N. Crossley, Iman Poernomo, Martin Wirsing
    Extraction of Structured Programs from Specification Proofs. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:419-437 [Conf]
  74. Iman Poernomo, John N. Crossley, Martin Wirsing
    Programs, Proofs and Parametrized Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:280-304 [Conf]
  75. Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
    Verifying a compiler optimization for Multi-Threaded Java. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:402-417 [Conf]
  76. Martin Wirsing, John N. Crossley, Hannes Peterreins
    Proof Normalization of Structured Algebraic Specifications Is Convergent. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:326-340 [Conf]
  77. María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider
    Knowledge Representation in Kernel Lisp. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1991, pp:278-286 [Conf]
  78. Friedrich L. Bauer, Martin Wirsing
    Crypt-Equivalent Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:25, n:2, pp:111-153 [Journal]
  79. Manfred Broy, Martin Wirsing
    Partial Abstract Types. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:47-64 [Journal]
  80. Manfred Broy, Martin Wirsing
    Ultra-loose algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:35, n:, pp:117-127 [Journal]
  81. Peter Padawitz, Martin Wirsing
    Completeness of many-sorted equational logic revisited. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1984, v:24, n:, pp:88-93 [Journal]
  82. Martin Wirsing
    Algebraic specification of the abstract data type "Continuum" without hidden operations. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1986, v:29, n:, pp:46-54 [Journal]
  83. Piotr Kosiuczenko, Martin Wirsing
    Formalizing and Executing Message Sequence Charts via Timed Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  84. Martin Wirsing, Alexander Knapp
    A formal approach to object-oriented software engineering. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  85. Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
    A Component Model for Architectural Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:75-96 [Journal]
  86. Manfred Broy, Rupert Gnatz, Martin Wirsing
    Nichtdeterminismus - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1981, v:4, n:2, pp:125-126 [Journal]
  87. Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
    Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1982, v:5, n:2, pp:107-119 [Journal]
  88. Manfred Broy, Martin Wirsing
    Program Development: From Enumeration to Backtracking. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:10, n:4/5, pp:193-197 [Journal]
  89. 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. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:8, n:5, pp:224-229 [Journal]
  90. Manfred Broy, Martin Wirsing
    Algebraic Definition of a Functional Programming Language and Its Semantic Models. [Citation Graph (0, 0)][DBLP]
    ITA, 1983, v:17, n:2, pp:137-161 [Journal]
  91. Nora Koch, Piero Fraternali, Martin Wirsing
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Web Eng., 2005, v:4, n:1, pp:1-2 [Journal]
  92. María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider
    An Approach to the DIN Kernel Lisp Definition. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1992, v:4, n:4, pp:319-369 [Journal]
  93. 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. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1992, v:4, n:4, pp:399-404 [Journal]
  94. Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Behavioural and Abstractor Specifications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:25, n:2-3, pp:149-186 [Journal]
  95. Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
    Algebraic Implementations Preserve Program Correctness. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:1, pp:35-53 [Journal]
  96. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal]
  97. Piotr Kosiuczenko, Martin Wirsing
    Timed Rewriting Logic with an Application to Object-Based Specification. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:225-246 [Journal]
  98. Manfred Broy, Martin Wirsing, C. Pair
    A Systematic Study of Models of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:33, n:, pp:139-174 [Journal]
  99. Rolf Hennicker, Martin Wirsing, Michel Bidoit
    Proof Systems for Structured Specifications with Observability Operators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:2, pp:393-443 [Journal]
  100. Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe
    Specification and refinement of mobile systems in MTLA and mobile UML. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:184-202 [Journal]
  101. Dirk Pattinson, Martin Wirsing
    A coordination approach to mobile components. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:457-483 [Journal]
  102. Martin Wirsing, Alexander Knapp
    A formal approach to object-oriented software engineering. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:519-560 [Journal]
  103. Mingsheng Ying, Martin Wirsing
    Recursive equations in higher-order process calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:839-852 [Journal]
  104. Manfred Broy, Martin Wirsing, Peter Pepper
    On the Algebraic Definition of Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:1, pp:54-99 [Journal]
  105. M. Birna van Riemsdijk, Martin Wirsing
    Using Goals for Flexible Service Orchestration. [Citation Graph (0, 0)][DBLP]
    SOCASE, 2007, pp:31-48 [Conf]
  106. Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister
    A Rewriting Logic Framework for Soft Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:181-197 [Journal]

  107. Service Specification and Matchmaking Using Description Logic. [Citation Graph (, )][DBLP]


  108. A Heterogeneous Approach to UML Semantics. [Citation Graph (, )][DBLP]


  109. On the Specification and Verification of Model Transformations. [Citation Graph (, )][DBLP]


  110. Programming languages as abstract data types. [Citation Graph (, )][DBLP]


  111. Constraint-Muse: A Soft-Constraint Based System for Music Therapy. [Citation Graph (, )][DBLP]


  112. 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. [Citation Graph (, )][DBLP]


  113. Modelling the CoCoME with the Java/AComponent Model. [Citation Graph (, )][DBLP]


  114. A Service-Oriented UML Profile with Formal Support. [Citation Graph (, )][DBLP]


  115. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]


  116. Computing the Cost of Business Processes. [Citation Graph (, )][DBLP]


  117. A heterogeneous approach to service-oriented systems specification. [Citation Graph (, )][DBLP]


  118. SensoriaProcess Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]


  119. What Is a Multi-modeling Language? [Citation Graph (, )][DBLP]


  120. A Component-Based Approach to Adaptive User-Centric Pervasive Applications. [Citation Graph (, )][DBLP]


  121. Which Soft Constraints do you Prefer? [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002