Rolf Hennicker

发表

Alexander Kurz, Michel Bidoit, Rolf Hennicker, 2003, Theor. Comput. Sci..
Rolf Hennicker, Annabelle Klarl, Lucia Cichella, 2014, FACS.
Michel Bidoit, Rolf Hennicker, Thanh-Son Dang, 2016, COORDINATION.
Rolf Hennicker, Dorsaf Elhog-Benzina, Serge Haddad, 2010, ACSD/Petri Nets Workshops.
Alexander Knapp, Rolf Hennicker, Hubert Baumeister, 2004, OCL 2.0 @ UML.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1994, ALP.
Heinrich Hußmann, Michel Bidoit, Rolf Hennicker, 2002, Object Modeling with the OCL.
Rocco De Nicola, Rolf Hennicker, R. Nicola, 2015, Software, Services, and Systems.
Alexander Knapp, Alexandre Madeira, Rolf Hennicker, 2019, FASE.
Axel Legay, Rolf Hennicker, Sebastian S. Bauer, 2014, Sci. Comput. Program..
Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, 2010, Electron. Notes Theor. Comput. Sci..
Martin Wirsing, Rolf Hennicker, R. Hennicker, 1991, Methods of Programming.
Bernhard Bauer, Rolf Hennicker, R. Hennicker, 1993, DISCO.
Martin Wirsing, Donald Sannella, Rolf Hennicker, 2017 .
Axel Legay, Andrzej Wasowski, Sebastian Bauer, 2012, FASE.
Josep Carmona, Maurice H. ter Beek, Jetty Kleijn, 2017, COORDINATION.
Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, 2010 .
Nora Koch, Rolf Hennicker, Andreas Kraus, 2000 .
Michel Bidoit, Rolf Hennicker, 1998, Acta Informatica.
Rolf Hennicker, Christoph Schmitz, 1996, AMAST.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1994, COMPASS/ADT.
Bernhard Bauer, Rolf Hennicker, 1992, LPAR.
Rolf Hennicker, 2005, Acta Informatica.
Rolf Hennicker, Annabelle Klarl, Philip Mayer, 2014, ISoLA.
J. van Leeuwen, Jan van Leeuwen, Martin Wirsing, 2002, Lecture Notes in Computer Science.
Matthias Jarke, Rolf Hennicker, Patrick Shicheng Chen, 1993, [1993] Proceedings Advances in Software Reuse.
Martin Wirsing, Rolf Hennicker, 2018, ISoLA.
Francesco Tiezzi, Rolf Hennicker, Rosario Pugliese, 2013, 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops.
Alexander Knapp, Rolf Hennicker, Stephan Janisch, 2007 .
María Victoria Cengarle, Michel Bidoit, Rolf Hennicker, 1999, Algebraic Foundations of Systems Specification.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1993, TAPSOFT.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2016, ICTAC.
Rolf Hennicker, Annabelle Klarl, Lucia Cichella, 2015 .
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1995, Sci. Comput. Program..
Alexandre Madeira, Rolf Hennicker, R. Hennicker, 2016, WADT.
Nora Koch, Rolf Hennicker, R. Hennicker, 2001, Unified Modeling Language: Systems Analysis, Design and Development Issues.
Martin Wirsing, Rolf Hennicker, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.
Allan Clark, Stephen Gilmore, Martin Wirsing, 2007, CoCoME.
Martin Wirsing, Alexander Knapp, Rolf Hennicker, 2006, Electron. Notes Theor. Comput. Sci..
Ruth Breu, Martin Wirsing, Rolf Hennicker, 1988, MFCS.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1996, Theor. Comput. Sci..
Matthias Jarke, Rolf Hennicker, Patrick Shicheng Chen, 1995 .
Alexander Knapp, Rolf Hennicker, 2007, FASE.
Rolf Hennicker, Andreas Kraus, Michael N. Barth, 2004, Cybern. Syst..
Rolf Hennicker, Matthias Ludwig, R. Hennicker, 2012, Monterey Workshop.
Michel Bidoit, Rolf Hennicker, 2005, ICTAC.
Rocco De Nicola, Rolf Hennicker, 2015, Lecture Notes in Computer Science.
Rolf Hennicker, Ugo de'Liguoro, Franco Barbanera, 2018, ICE.
Alexander Knapp, Rolf Hennicker, Stephan Janisch, 2008, Monterey Workshop.
M. Birna van Riemsdijk, Martin Wirsing, Rolf Hennicker, 2008, AMAST.
Michel Bidoit, Rolf Hennicker, 2006, J. Log. Algebraic Methods Program..
Michel Bidoit, Rolf Hennicker, Sebastian S. Bauer, 2010, SBMF.
Martin Wirsing, Alexander Knapp, Rolf Hennicker, 2014, FPS@ETAPS.
Francesco Tiezzi, Tomás Bures, Rolf Hennicker, 2015, The ASCENS Approach.
Rolf Hennicker, Dorsaf Elhog-Benzina, Serge Haddad, 2012, Trans. Petri Nets Other Model. Concurr..
Martin Wirsing, Alexander Knapp, Rolf Hennicker, 2001, GI Jahrestagung.
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1997, Theor. Comput. Sci..
Rolf Hennicker, R. Hennicker, 1989, TAPSOFT, Vol.1.
Martin Wirsing, Bernhard Reus, Rolf Hennicker, 2001, FASE.
Rolf Hennicker, R. Hennicker, 1989, STACS.
Martin Wirsing, Rolf Hennicker, Robert Stabl, 1989, ESEC.
Rolf Hennicker, Annabelle Klarl, R. Hennicker, 2014, 2014 23rd Australian Software Engineering Conference.
Michel Bidoit, Rolf Hennicker, 2018, Log. Methods Comput. Sci..
Martin Wirsing, Rolf Hennicker, Sebastian S. Bauer, 2010, WADT.
Nora Koch, Rolf Hennicker, R. Hennicker, 2000, UML.
Nora Koch, Rolf Hennicker, R. Hennicker, 2001, pUML.
Maurice H. ter Beek, Jetty Kleijn, Rolf Hennicker, 2020, ICTAC.
Rolf Hennicker, Sebastian S. Bauer, 2009, CALCO.
Rolf Hennicker, R. Hennicker, 1992, Theor. Comput. Sci..
Martin Wirsing, Rolf Hennicker, Sebastian S. Bauer, 2011, Theor. Comput. Sci..
Martin Wirsing, Rolf Hennicker, R. Hennicker, 2020, ISoLA.
Alexander Kurz, Michel Bidoit, Rolf Hennicker, 2001, FoSSaCS.
Rolf Hennicker, Matthias Ludwig, 2006, Modellierung.
Michel Bidoit, Rolf Hennicker, 2006, Essays Dedicated to Joseph A. Goguen.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2014, Formal Aspects of Computing.
Martin Wirsing, Rolf Hennicker, Annabelle Klarl, 2015, Logic, Rewriting, and Concurrency.
Rolf Hennicker, Ugo de'Liguoro, Franco Barbanera, 2019, J. Log. Algebraic Methods Program..
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1999, UML.
Rolf Hennicker, R. Hennicker, 1991, Formal Aspects of Computing.
Rolf Hennicker, Philip Mayer, Andreas Schroeder, 2010, TACAS.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2018, Theor. Comput. Sci..
Martin Wirsing, Michel Bidoit, Rolf Hennicker, 1994, ESOP.
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1992, Larch.
Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2012, FASE.
Martin Wirsing, Rolf Hennicker, Andreas Schroeder, 2009, BNAIC 2009.
Lenz Belzner, Martin Wirsing, Rolf Hennicker, 2015, FACS.
Michel Bidoit, Rolf Hennicker, 2002, FoSSaCS.
Martin Wirsing, Alexandre Madeira, Rolf Hennicker, 2018, Theor. Comput. Sci..
Michel Bidoit, Rolf Hennicker, M. Bidoit, 1995, AMAST.
Alexander Knapp, Rolf Hennicker, 2015, Acta Informatica.
Axel Legay, Rolf Hennicker, Sebastian S. Bauer, 2012, FACS.
Alexander Kurz, Rolf Hennicker, 2002, Theor. Comput. Sci..
Maurice H. ter Beek, Jetty Kleijn, Rolf Hennicker, 2020, COORDINATION.
Michel Bidoit, Rolf Hennicker, 2008, AMAST.
Alexander Knapp, Rolf Hennicker, Stephan Janisch, 2010, Electron. Notes Theor. Comput. Sci..
Rolf Hennicker, Stefan Gastinger, Robert Stabl, 1995, KORSO Book.
Alexander Knapp, Michel Bidoit, Rolf Hennicker, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Friederike Nickl, Rolf Hennicker, R. Hennicker, 1992, COMPASS/ADT.
Martin Wirsing, Rolf Hennicker, 1984, ADT.
Michel Bidoit, Rolf Hennicker, 1998, AMAST.
Rolf Hennicker, Serge Haddad, Mikael H. Møller, 2013, TGC.
Rolf Hennicker, Serge Haddad, Mikael H. Møller, 2013, Petri Nets.
Rolf Hennicker, Sebastian S. Bauer, Stephan Janisch, 2010, FIT.
Martin Wirsing, Rolf Hennicker, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Maurice H. ter Beek, Rolf Hennicker, José Proença, 2021, FM.
Alexander Knapp, Alexandre Madeira, Rolf Hennicker, 2021, Formal Aspects Comput..
Alexandre Madeira, Rolf Hennicker, Alexander Knapp, 2021, J. Log. Algebraic Methods Program..
Alexandre Madeira, Rolf Hennicker, 2017, ICTAC.
Rolf Hennicker, Annabelle Klarl, Lucia Cichella, 2014 .