Martin Wirsing

发表

Martin Wirsing, Maurice Nivat, M. Nivat, 1995, Lecture Notes in Computer Science.
Franco Zambonelli, Martin Wirsing, Jane Hillston, 2014, Dagstuhl Reports.
Luis Mandel, Martin Wirsing, John Newsome Crossley, 1996, FroCoS.
Manfred Broy, Martin Wirsing, M. Broy, 1995, KORSO Book.
Martin Wirsing, M. Wirsing, 1979, Math. Log. Q..
Martin Wirsing, Piotr Kosiuczenko, M. Wirsing, 2001, Trans. SDPS.
Martin Wirsing, Piotr Kosiuczenko, 1999, Electron. Notes Theor. Comput. Sci..
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999 .
Friedrich L. Bauer, Manfred Broy, Thomas Matzner, 1988, Lecture Notes in Computer Science.
Friedrich L. Bauer, Manfred Broy, Thomas Matzner, 1981, Sci. Comput. Program..
Nora Koch, Piero Fraternali, Martin Wirsing, 2005, J. Web Eng..
Martin Wirsing, Peter Pepper, M. Wirsing, 1995, KORSO Book.
Martin Wirsing, Donald Sannella, 1999, Algebraic Foundations of Systems Specification.
Martin Wirsing, Alexander Knapp, Alexander Knapp, 2001, Softwaretechnik-Trends.
Martin Wirsing, Philipp Meier, 2003, Objects, Agents, and Features.
Manfred Broy, Martin Wirsing, M. Broy, 1983, CAAP.
Andreas Turk, Nora Koch, Martin Wirsing, 1997, GI Jahrestagung.
Stephan Merz, Martin Wirsing, Alexander Knapp, 2004, AMAST.
Martin Wirsing, Axel Rauschmayer, Matthias M. Hölzl, 2008, Software-Intensive Systems and New Computing Paradigms.
Franco Zambonelli, Nora Koch, Martin Wirsing, 2015, The ASCENS Approach.
Manfred Broy, Walter Dosch, Martin Wirsing, 1985 .
Martin Wirsing, Rolf Hennicker, R. Hennicker, 1991, Methods of Programming.
M. Birna van Riemsdijk, Martin Wirsing, M. Riemsdijk, 2007, SOCASE.
Martin Wirsing, Matthias M. Hölzl, Matthias Hölzl, 2015 .
Manfred Broy, Martin Wirsing, 1989, TAPSOFT, Vol.1.
Rocco De Nicola, Lenz Belzner, Martin Wirsing, 2014, Specification, Algebra, and Software.
Manfred Broy, Martin Wirsing, M. Broy, 1980, MFCS.
Luis Mandel, María Victoria Cengarle, Martin Wirsing, 1992, LISP and Symbolic Computation.
Martin Wirsing, Alexander Knapp, 2002, RISSEF.
Manfred Broy, Martin Wirsing, M. Broy, 1981, CAAP.
Friedrich L. Bauer, Martin Wirsing, F. L. Bauer, 1991, Mathematik für Informatiker.
Martin Wirsing, Alexander Knapp, Hubert Baumeister, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2012, FASE.
Stephen Gilmore, Rocco De Nicola, Martin Wirsing, 2008 .
Martin Wirsing, Donald Sannella, Rolf Hennicker, 2017 .
Manfred Broy, Martin Wirsing, Claude Pair, 1984, Theor. Comput. Sci..
Luis Mandel, Martin Wirsing, John N. Crossley, 2007 .
Artur Boronat, José Meseguer, Martin Wirsing, 2008, WADT.
Manfred Broy, Martin Wirsing, 1991, Method of Programming.
Marco Gribaudo, Rocco De Nicola, Lenz Belzner, 2015 .
Manfred Broy, Martin Wirsing, Rupert Gnatz, 1978, Program Construction.
Martin Wirsing, Piotr Kosiuczenko, M. Wirsing, 1997, Sci. Comput. Program..
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1997, AMAST.
Martin Wirsing, Rainer Lutze, Josef Schneeberger, 1997, GI Jahrestagung.
Allan Clark, Stephen Gilmore, Nora Koch, 2006, FORTE.
Friederike Nickl, Martin Wirsing, 1993, Formal Methods in Programming and Their Applications.
Manfred Broy, Martin Wirsing, M. Broy, 1983, RAIRO Theor. Informatics Appl..
Martin Wirsing, Partha Sampath, M. Wirsing, 2009, UNISCON.
Manfred Broy, Walter Dosch, Martin Wirsing, 1981, GI Jahrestagung.
Franco Zambonelli, Nora Koch, Rocco De Nicola, 2013, 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops.
Rocco De Nicola, Martin Wirsing, Stefan Jähnichen, 2020, ISoLA.
Martin Wirsing, M. Wirsing, 1994, GI Jahrestagung.
Jan A. Bergstra, Martin Wirsing, J. Bergstra, 1989, Lecture Notes in Computer Science.
Martin Wirsing, Stefan Jähnichen, 2016, ISoLA.
Martin Wirsing, John N. Crossley, M. Wirsing, 2000 .
J. van Leeuwen, Jan van Leeuwen, Martin Wirsing, 2002, Lecture Notes in Computer Science.
Martin Wirsing, Egidio Astesiano, E. Astesiano, 1989 .
Martin Wirsing, Bernhard Möller, Andrzej Tarlecki, 1987, ADT.
Lenz Belzner, Martin Wirsing, Thomas Gabor, 2018, ISoLA.
Martin Wirsing, Rolf Hennicker, 2018, ISoLA.
Ian Sommerville, Martin Wirsing, Frank Bott, 1989 .
Martin Wirsing, Ning Yu, M. Wirsing, 2014, WADT.
Stephen Gilmore, Rocco De Nicola, Martin Wirsing, 2006, TGC.
Martin Wirsing, John Newsome Crossley, Iman Poernomo, 2001, WADT.
Martin Wirsing, Marianne Busch, 2015, Int. J. Softw. Informatics.
Martin Wirsing, Alexander Knapp, Artur Zawlocki, 2010, SAC '10.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1995, Sci. Comput. Program..
Grit Denker, Martin Wirsing, Matthias M. Hölzl, 2009, CALCO.
Manfred Broy, Walter Dosch, Martin Wirsing, 1979, ICALP.
Martin Wirsing, Rolf Hennicker, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.
Luis Mandel, María Victoria Cengarle, Martin Wirsing, 1992, LISP Symb. Comput..
Allan Clark, Stephen Gilmore, Martin Wirsing, 2007, CoCoME.
Martin Wirsing, Dirk Pattinson, M. Wirsing, 2005, Theor. Comput. Sci..
Martin Wirsing, Matthias M. Hölzl, Max Meier, 2009, WRLA.
Diego Latella, Mieke Massink, Martin Wirsing, 2004, Global Computing.
Martin Wirsing, Alexander Knapp, Rolf Hennicker, 2006, Electron. Notes Theor. Comput. Sci..
María Victoria Cengarle, Martin Wirsing, M. V. Cengarle, 1995, Log. J. IGPL.
Martin Wirsing, John Newsome Crossley, Iman Poernomo, 1999, WADT.
Ruth Breu, Martin Wirsing, Rolf Hennicker, 1988, MFCS.
Markus Roggenbach, Dieter Hutter, Martin Wirsing, 2002, WADT.
Martin Wirsing, Partha Sampath, 2011, BMMDS/EMMSAD.
Martin Wirsing, Partha B. Sampathkumaran, 2013, Int. J. Inf. Syst. Model. Des..
Friedrich L. Bauer, Martin Wirsing, F. L. Bauer, 1988, Acta Informatica.
Martin Wirsing, Alexander Knapp, Axel Rauschmayer, 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Martin Wirsing, Alexander Knapp, Axel Rauschmayer, 2004 .
Manfred Broy, Martin Wirsing, M. Broy, 1980, CLAAP.
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1999, Formal Syntax and Semantics of Java.
María Victoria Cengarle, Martin Wirsing, Alexander Knapp, 2008, Concurrency, Graphs and Models.
Martin Wirsing, Mingsheng Ying, 2001, Theor. Comput. Sci..
Martin Wirsing, Jacek Leszczylowski, M. Wirsing, 1991, STACS.
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2015, Sci. Comput. Program..
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2012, WRLA.
Martin Wirsing, Andreas Schroeder, M. Wirsing, 2012, Software Engineering.
Martin Wirsing, Jacek Leszczylowski, 1982, Symposium on Programming.
Simonetta Balsamo, Martin Wirsing, Alexande Knapp, 2004, Lecture Notes in Computer Science.
Martin Wirsing, M. Wirsing, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Diego Latella, Mieke Massink, Roberto Bruni, 2002, WADT.
Nora Koch, Martin Wirsing, Marianne Busch, 2014, Modellierung.
Ugo Montanari, José Luiz Fiadeiro, Martin Wirsing, 2006, Foundations of Global Computing.
Gianna Reggio, Martin Wirsing, Egidio Astesiano, 1986, MFCS.
Fabio Gadducci, Martin Wirsing, Giacoma Valentina Monreale, 2013, MICAI.
Carolyn L. Talcott, Grit Denker, Martin Wirsing, 2006, WRLA.
M. Birna van Riemsdijk, Martin Wirsing, Rolf Hennicker, 2008, AMAST.
Manfred Broy, Martin Wirsing, M. Broy, 1991, Lecture Notes in Computer Science.
Ning Yu, Martin Wirsing, 2020 .
Friederike Nickl, Martin Wirsing, Ulrike Lechner, 1994 .
M. Birna van Riemsdijk, Martin Wirsing, M. Riemsdijk, 2010, Multiagent Grid Syst..
Stephan Merz, Martin Wirsing, Alexander Knapp, 2006, Theor. Comput. Sci..
Martin Wirsing, Stefan Jähnichen, Rocco Nicola, 2020, International Journal on Software Tools for Technology Transfer.
Martin Hofmann, Martin Wirsing, Axel Rauschmayer, 2010 .
Thomas Streicher, Martin Wirsing, T. Streicher, 1990, ADT.
Lenz Belzner, Martin Wirsing, Stefanie Neubert, 2015, Logic, Rewriting, and Concurrency.
Martin Wirsing, Andrzej Tarlecki, M. Wirsing, 1985, FCT.
Martin Wirsing, Alexander Knapp, Rolf Hennicker, 2014, FPS@ETAPS.
Marco Pistore, Amit P. Sheth, Paolo Traverso, 2007, Autonomous and Adaptive Web Services.
Martin Wirsing, Alexander Knapp, Rolf Hennicker, 2001, GI Jahrestagung.
Jan A. Bergstra, Manfred Broy, Martin Wirsing, 1981, MFCS.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1997, Theor. Comput. Sci..
Manfred Broy, Martin Wirsing, 1993, GI Jahrestagung.
Manfred Broy, Walter Dosch, Martin Wirsing, 1985 .
Martin Wirsing, M. Wirsing, 1989, Formal Description of Programming Concepts.
Martin Wirsing, Bernhard Reus, Rolf Hennicker, 2001, FASE.
Rocco De Nicola, Martin Wirsing, Stefan Jähnichen, 2018, ISoLA.
Martin Wirsing, Rolf Hennicker, Robert Stabl, 1989, ESEC.
Walter Dosch, Martin Wirsing, Gianfranco Mascari, 1982, VLDB.
Martin Wirsing, M. Wirsing, 1986, IFIP Congress.
Marco Pistore, Amit P. Sheth, Paolo Traverso, 2007, Autonomous and Adaptive Web Services.
Martin Wirsing, Dirk Pattinson, M. Wirsing, 2002, FMCO.
Carlos Delgado Kloos, Justin Reich, Martin Wirsing, 2019, Lecture Notes in Computer Science.
Martin Wirsing, Rolf Hennicker, Sebastian S. Bauer, 2010, WADT.
Fernando Orejas, Martin Wirsing, F. Orejas, 2009, Semantics and Algebraic Specification.
Rocco De Nicola, Martin Wirsing, Matthias M. Hölzl, 2014, ISoLA.
Peter Padawitz, Martin Wirsing, M. Wirsing, 1984, Bull. EATCS.
Manfred Broy, Martin Wirsing, M. Broy, 1980, Inf. Process. Lett..
Martin Wirsing, Matthias M. Hölzl, M. Wirsing, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
Walter Dosch, Martin Wirsing, Helmuth Partsch, 1983, Acta Informatica.
Marsha Chechik, Martin Wirsing, M. Chechik, 2009, Lecture Notes in Computer Science.
Martin Wirsing, John Newsome Crossley, Hannes Peterreins, 1998, WADT.
Martin Wirsing, Rolf Hennicker, Sebastian S. Bauer, 2011, Theor. Comput. Sci..
Rocco De Nicola, Martin Wirsing, Stefan Jähnichen, 2018, ISoLA.
Martin Wirsing, Egidio Astesiano, E. Astesiano, 1987 .
Martin Wirsing, Rolf Hennicker, R. Hennicker, 2020, ISoLA.
Martin Wirsing, Axel Rauschmayer, Jean-Pierre Banâtre, 2008, Software-Intensive Systems and New Computing Paradigms.
Martin Wirsing, M. Wirsing, 1986, Theor. Comput. Sci..
Manfred Broy, Martin Wirsing, M. Broy, 1982, Formal Description of Programming Concepts.
Martin Wirsing, Mirco Tribastone, Philip Mayer, 2010, ISoLA.
M. Birna van Riemsdijk, Martin Wirsing, 2007 .
Friedrich L. Bauer, Manfred Broy, Walter Dosch, 1985 .
Martin Gogolla, Tobias Nipkow, Hans-Jörg Kreowski, 2000, GI Jahrestagung.
Ugo Montanari, José Luiz Fiadeiro, Martin Wirsing, 2005, Foundations of Global Computing.
Martin Wirsing, Rolf Hennicker, Annabelle Klarl, 2015, Logic, Rewriting, and Concurrency.
Martin Wirsing, Philipp Meier, Richard Krutisch, 2003, MATES.
Peter Csaba Ölveczky, Martin Wirsing, Piotr Kosiuczenko, 1995, Formal Methods for Industrial Applications.
Martin Wirsing, Christian Lengauer, Ulrike Lechner, 1994, COMPASS/ADT.
Martin Wirsing, Matthias Hölzl, Allaithy Raed, 2013 .
Manfred Broy, Martin Wirsing, M. Broy, 2000, AMAST.
Martin Wirsing, Axel Rauschmayer, Matthias M. Hölzl, 2008, Software-Intensive Systems and New Computing Paradigms.
Nora Koch, Martin Wirsing, Philip Mayer, 2011, Results of the SENSORIA Project.
Friedrich L. Bauer, Manfred Broy, Walter Dosch, 1982, Inform. Spektrum.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1999, UML.
Martin Wirsing, Donald Sannella, D. Sannella, 1982, ICALP.
José Meseguer, Martin Wirsing, Jonas Eckhardt, 2012, WADT.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1994, ESOP.
Martin Wirsing, Matthias M. Hölzl, Allaithy Raed, 2013, eXamen.press.
Martin Wirsing, M. Wirsing, 1994, COMPASS/ADT.
Nora Koch, Martin Wirsing, Piotr Kosiuczenko, 2002, NetObjectDays.
Gustavo Rossi, Luis Olsina, Nora Koch, 1999, German-Argentinian Workshop on Information Technology.
Martin Wirsing, Rolf Hennicker, Andreas Schroeder, 2009, BNAIC 2009.
Lenz Belzner, Martin Wirsing, Rolf Hennicker, 2015, FACS.
Manfred Broy, Martin Wirsing, M. Broy, 1981, ICFPC.
Giorgio Ausiello, Walter Dosch, Martin Wirsing, 1980, GI Jahrestagung.
Martin Wirsing, Alexandre Madeira, Rolf Hennicker, 2018, Theor. Comput. Sci..
Martin Wirsing, Bernhard Reus, Alexander Knapp, 1997, WADT.
Luis Mandel, María Victoria Cengarle, Martin Wirsing, 1991, Wissensbasierte Systeme.
Claude Kirchner, Pierre Dillenbourg, Armando Fox, 2014, Dagstuhl Manifestos.
Manfred Broy, Martin Wirsing, Rupert Gnatz, 1981, Informatik-Spektrum.
Nora Koch, Martin Wirsing, Marianne Busch, 2014, Engineering Secure Future Internet Services and Systems.
Nora Koch, Martin Wirsing, Philip Mayer, 2011, Results of the SENSORIA Project.
Gianna Reggio, Martin Wirsing, Egidio Astesiano, 1985, TAPSOFT, Vol.1.
Andreas Turk, Herbert Stoyan, Nora Koch, 1997, IDMS.
Manfred Broy, Martin Wirsing, M. Broy, 1983, ADT.
Stephan Merz, Martin Wirsing, Alexander Knapp, 2001 .
Martin Wirsing, Andreas Schroeder, Sebastian S. Bauer, 2011, J. Log. Algebraic Methods Program..
Roberto Bruni, Andreas Schroeder, Nora Koch, 2009, ICSOC/ServiceWave.
Manfred Broy, Martin Wirsing, M. Broy, 1982, Acta Informatica.
Manfred Broy, Martin Wirsing, Peter Pepper, 1987, TOPL.
Roberto Bruni, Fabio Gadducci, Andrea Corradini, 2015, The ASCENS Approach.
Martin Wirsing, Mingsheng Ying, 2000, AMAST.
Franco Zambonelli, Martin Wirsing, Mirco Tribastone, 2011, FMCO.
Manfred Broy, Martin Wirsing, M. Broy, 1988, Bull. EATCS.
Manfred Broy, Martin Wirsing, Helmuth Partsch, 1980, IFIP Congress.
Nora Koch, Martin Wirsing, Philip Mayer, 2015, Lecture Notes in Computer Science.
Martin Wirsing, Bernhard Möller, Andrzej Tarlecki, 1988, CAAP.
Martin Wirsing, M. Wirsing, 2009 .
Martin Wirsing, M. Wirsing, 1991 .
Martin Wirsing, John Newsome Crossley, Iman Poernomo, 2005, Monographs in Computer Science.
Stephan Merz, Martin Wirsing, Júlia Zappe, 2003, FASE.
Manfred Broy, Martin Wirsing, Alain Quéré, 1979, Inf. Process. Lett..
Martin Wirsing, Andreas Schroeder, Sebastian S. Bauer, 2010, RTRTS.
Nora Koch, Lenz Belzner, Martin Wirsing, 2016, LNCS Trans. Found. Mastering Chang..
Nora Koch, Perdita Stevens, Martin Wirsing, 2003, Global Computing.
Claude Kirchner, Pierre Dillenbourg, John C. Mitchell, 2014, Dagstuhl Reports.
Manfred Broy, Martin Wirsing, Bernhard Möller, 1986, Sci. Comput. Program..
Martin Wirsing, Rolf Hennicker, 1984, ADT.
Martin Wirsing, Franz-Josef Brandenburg, Guy Vidal-Naquet, 1987 .
Manfred Broy, Martin Wirsing, M. Broy, 1982 .
Manfred Broy, Walter Dosch, Martin Wirsing, 1985 .
Dines Bjørner, Martin Wirsing, 2003 .
Martin Wirsing, Rolf Hennicker, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Manfred Broy, Martin Wirsing, Wolfgang Reif, 1994 .
Friederike Nickl, Martin Wirsing, Christian Lengauer, 1996, ECOOP.
Hartmut Ehrig, José Meseguer, Martin Wirsing, 2021 .
Martin Wirsing, Panagiotis Katsaros, Simon Bliudze, 2021, Int. J. Softw. Tools Technol. Transf..
Martin Wirsing, Stefan Jähnichen, Jacques Loeckx, 2021 .
Martin Wirsing, Stefan Jähnichen, Jacques Loeckx, 2021 .
Martin Wirsing, Alexander Knapp, Axel Rauschmayer, 2003 .
Martin Wirsing, Piotr Kosiuczenko, M. Wirsing, 1997 .
Stephen Gilmore, Rocco De Nicola, Martin Wirsing, 2006 .
Laura Bocchi, Stephen Gilmore, Nora Koch, 2007 .
Martin Wirsing, Peter Päppinghaus, M. Wirsing, 1983 .
Stephan Merz, Martin Wirsing, Alexander Knapp, 2004 .
Nora Koch, Martin Wirsing, Philip Mayer, 2008 .
Ugo Montanari, Nicola Bicocchi, Martin Wirsing, 2012 .
Marco Pistore, Amit P. Sheth, Paolo Traverso, 2007 .
M. Birna van Riemsdijk, Martin Wirsing, M. Riemsdijk, 2005 .