Michael Löwe - RankMe

67 papers B 9Journal 17Unranked 34

Year	Rank	Type	Title / Venue / Authors
2019	B	`conf`	Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence. ICGT Michael Löwe
2018	B	`conf`	Characterisation of Parallel Independence in AGREE-Rewriting. ICGT Michael Löwe
2018	—	`conf`	Double-Pushout Rewriting in Context. STAF Workshops Michael Löwe
2018	—	`conf`	Model Transformations as Free Constructions. Graph Transformation, Specifications, and Nets Michael Löwe
2018	—	`conf`	On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
2016	—	`conf`	SPO-Rewriting of Constrained Partial Algebras. STAF Workshops Michael Löwe
2016	B	`conf`	Sesqui-Pushout Rewriting with Type Refinements. ICGT Michael Löwe
2015	J	`jnl`	Algebraic graph transformations with inheritance and abstraction. Sci. Comput. Program. Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
2015	J	`jnl`	On Single-Pushout Rewriting of Partial Algebras. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael Löwe, Marius Tempelmeier
2015	B	`conf`	Polymorphic Sesqui-Pushout Graph Rewriting. ICGT Michael Löwe
2015	—	`conf`	Single-Pushout Rewriting of Partial Algebras. GCM@ICGT Michael Löwe, Marius Tempelmeier
2014	B	`conf`	Polymorphic Single-Pushout Graph Transformation. FASE Michael Löwe, Harald König, Christoph Schulz
2014	B	`conf`	Van Kampen Squares for Graph Transformation. ICGT Harald König, Michael Löwe, Christoph Schulz, Uwe Wolter
2013	—	`conf`	Algebraic Graph Transformations with Inheritance. SBMF Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen
2012	—	`conf`	Characterizing Van Kampen Squares via Descent Data ACCAT Harald König, Uwe Wolter, Michael Löwe
2012	—	`conf`	Composition of Model Transformations: A Categorical Framework. SBMF Christoph Schulz, Michael Löwe, Harald König
2012	B	`conf`	Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. ICGT Michael Löwe
2011	J	`jnl`	A categorical framework for the transformation of object-oriented systems: Models and data. J. Symb. Comput. Christoph Schulz, Michael Löwe, Harald König
2011	—	`conf`	Model Transformation and Induced Instance Migration: A Universal Framework. SBMF Harald König, Michael Löwe, Christoph Schulz
2011	J	`jnl`	Refactoring information systems: association folding and unfolding. ACM SIGSOFT Softw. Eng. Notes Michael Löwe
2010	J	`jnl`	Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christoph Schulz, Michael Löwe, Harald König
2010	B	`conf`	Graph Rewriting in Span-Categories. ICGT Michael Löwe
2010	J	`jnl`	Position Paper: Formal Methods in Agile Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael Löwe
2006	J	`jnl`	Refactoring Informations Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael Löwe, Harald König, Michael Peters, Christoph Schulz
2005	—	`conf`	Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling Michael Löwe, Harald König, Christoph Schulz
2002	J	`jnl`	The Component Dilemma: handicaps of Component Architectures in Commercial Information Systems. Trans. SDPS Michael Löwe
1997	—	`ch.`	Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach. Handbook of Graph Grammars Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, Michael Löwe
1997	—	`ch.`	Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
1997	—	`conf`	Formal Methods. CSMR Michael Löwe
1996	—	`ch.`	Framework-orientiertes Reengineering: Ein strategisches Reengineering von Softwaresystemen und ihrer Entwicklungsprozesse. Softwarewartung und Reengineering Rainer Gastner, Michael Löwe
1996	J	`jnl`	Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Math. Struct. Comput. Sci. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
1996	—	`ch.`	Verstehen von Software: Leistungsanforderungen an CARE-Werkzeuge für ein praktikables (industrielles) Reengineering von Anwendungssystemen. Softwarewartung und Reengineering Reiner Witschurke, Michael Löwe
1995	J	`jnl`	Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. Math. Struct. Comput. Sci. Michael Löwe, Uwe Wolter
1995	—	`ch.`	The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. KORSO Book Felix Cornelius, Heinrich Hußmann, Michael Löwe
1994	—	`conf`	An Event Structure Semantics for Graph Grammars with Parallel Productions. TAGT Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994	—	`conf`	An Event Structure Semantics for Safe Graph Grammars. PROCOMET Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1994	—	`conf`	Dynamic Abstract Data Types Based on Algebraic Graph Transformations. COMPASS/ADT Hartmut Ehrig, Michael Löwe, Fernando Orejas
1994	—	`conf`	Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods. GI Jahrestagung Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann
1994	—	`conf`	The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
1993	—	`conf`	AGG - An Implementation of Algebraic Graph Rewriting. RTA Michael Löwe, Martin Beyer
1993	—	`conf`	Abstract Graph Derivations in the Double Pushout Approach. Dagstuhl Seminar on Graph Transformations in Computer Science Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993	J	`jnl`	Algebraic Approach to Single-Pushout Graph Transformation. Theor. Comput. Sci. Michael Löwe
1993	J	`jnl`	Categorical principles, techniques and results for high-level-replacement systems in computer science. Appl. Categorical Struct. Hartmut Ehrig, Michael Löwe
1993	—	`conf`	Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine. Dagstuhl Seminar on Graph Transformations in Computer Science Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi
1993	J	`jnl`	Parallel and Distributed Derivations in the Single-Pushout Approach. Theor. Comput. Sci. Hartmut Ehrig, Michael Löwe
1993	J	`jnl`	The ESPRIT Basic Research Working Group COMPUGRAPH "Computing by Graph Transformation": A Survey. Theor. Comput. Sci. Hartmut Ehrig, Michael Löwe
1992	—	`conf`	Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. CAAP Uwe Wolter, Michael Löwe
1992	—	`conf`	From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. Informatik zwischen Wissenschaft und Gesellschaft Hartmut Ehrig, Michael Löwe
1991	—	`—`	Extended algebraic graph transformation. Michael Löwe
1991	—	`conf`	On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs
1990	B	`conf`	Algebraic Approach to Graph Transformation Based on Single Pushout Derivations. WG Michael Löwe, Hartmut Ehrig
1990	J	`jnl`	Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
1990	—	`conf`	Computing by Graph Transformation: Overall Aims and New Results. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Michael Löwe
1990	—	`conf`	Graph Grammars and Logic Programming. Graph-Grammars and Their Application to Computer Science Andrea Corradini, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Michael Löwe
1990	J	`jnl`	Implementing Algebraic Specifications by Graph Transformation Systems. J. Inf. Process. Cybern. Michael Löwe
1990	—	`conf`	Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. Graph-Grammars and Their Application to Computer Science Hartmut Ehrig, Martin Korff, Michael Löwe
1989	—	`conf`	Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). Software-Entwicklung Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe
1989	—	`conf`	Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
1989	J	`jnl`	Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
1988	—	`conf`	Algebraic Theory of Modular Specification Development. ADT Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
1988	—	`conf`	Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
1988	—	`conf`	Modular Algebraic Specifications. ALP Horst Hansen, Michael Löwe
1987	—	`conf`	Risiken polizeilicher Datenverarbeitung. FIFF Jahrestagung Michael Löwe, Rudolf Wilhelm
1987	—	`ed.`	Umdenken in der Informatik [2. Jahrestagung des Forums Informatiker für Frieden und gesellschaftliche Verantwortung e.V., Oktober 1986, Berlin] FIFF Jahrestagung Michael Löwe, Gerhard Schmidt, Rudolf Wilhelm
1986	—	`conf`	Towards distributed graph grammars. Graph-Grammars and Their Application to Computer Science Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe
1983	—	`conf`	Suggestions on the Interpretation of Algebraic Specifications. ADT Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin
1982	—	`conf`	An Interpreter for Algebraic Specifications with User Controlled Termination. ADT Klaus-Peter Hasler, Michael Löwe, Michaela Reisin