dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Hans-Jörg Kreowski Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Hans-Jörg Kreowski: Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers Springer 2012
2011
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Modeling production networks with discrete processes by means of communities of autonomous units. Logistics Research 3(2-3): 159-175 (2011)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing. Natural Computing 10(2): 961-986 (2011)
2010
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Concurrent Case. Graph Transformations and Model-Driven Engineering 2010: 102-120
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske, Robert Wille: Graph Transformation Units Guided by a SAT Solver. ICGT 2010: 27-42
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Jabbari, Hans-Jörg Kreowski, Walter Lang: Application of bio-inspired data processing in intelligent transportation systems. IEEE Conf. of Intelligent Systems 2010: 315-320
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Combining Graph Transformation and Algebraic Specification into Model Transformation. WADT 2010: 193-208
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske, Caroline von Totth: Stepping from Graph Transformation Units to Model Transformation Units. ECEASST 30: (2010)
2009
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske, Hauke Tönnies: Autonomous Units to Model Games. GI Jahrestagung 2009: 3465-3472
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundam. Inform. 92(3): 233-257 (2009)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann: Towards an integrated graph-based semantics for UML. Software and System Modeling 8(3): 403-422 (2009)
2008
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg: Graph Transformation Units - An Overview. Concurrency, Graphs and Models 2008: 57-75
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: Graph Multiset Transformation as a Framework for Massively Parallel Computation. ICGT 2008: 351-365
2007
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. AGTIVE 2007: 281-296
2006
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrian Horia Dediu, Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Benedek Nagy: Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages. Developments in Language Theory 2006: 327-338
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Sequential Case. ICGT 2006: 245-259
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Parallel Case. WADT 2006: 56-73
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske: Some Essentials of Graph Transformation. Recent Advances in Formal Languages and Applications 2006: 229-254
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch: Semantics of Visual Models in a Rule-based Setting. Electr. Notes Theor. Comput. Sci. 148(1): 75-88 (2006)
2005
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday Springer 2005
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg: Main Concepts of Networks of Transformation Units with Interlinking Semantics. Formal Methods in Software and Systems Modeling 2005: 325-342
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Padberg, Hans-Jörg Kreowski: Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling 2005: 370-384
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Hölscher, Peter Knirsch, Hans-Jörg Kreowski: Modelling Transport Networks by Means of Autonomous Units. OR 2005: 399-404
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract hierarchical graph transformation. Mathematical Structures in Computer Science 15(4): 773-819 (2005)
2004
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Typing of Graph Transformation Units. ICGT 2004: 112-127
2003
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Cordes, Karsten Hölscher, Hans-Jörg Kreowski: UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. AGTIVE 2003: 275-291
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hans-Jörg Kreowski: Preface. Fundam. Inform. 58(1): (2003)
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-Driven and Context-Sensitive Collage Languages. Journal of Automata, Languages and Combinatorics 8(1): 5-24 (2003)
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. Journal of Automata, Languages and Combinatorics 8(3): 499-519 (2003)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to disprove context freeness of collage languages. Theor. Comput. Sci. 290(3): 1445-1458 (2003)
2002
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings Springer 2002
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: A Sight-seeing Tour of the Computational Landscape of Graph Transformation. Formal and Natural Computing 2002: 119-137
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. IFM 2002: 11-28
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: Approach-Independent Structuring Concepts for Rule-Based Systems. WADT 2002: 299-311
2001
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Hans-Jörg Kreowski: Reading words in graphs generated by hyperedge replacement. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 243-252
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hans-Jörg Kreowski: GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Current Trends in Theoretical Computer Science 2001: 164-170
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske: GRACE as a unifying approach to graph-transformation-based specification. Electr. Notes Theor. Comput. Sci. 44(4): 1-15 (2001)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Structured Modeling with GRACE. Electr. Notes Theor. Comput. Sci. 51: 233-245 (2001)
2000
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers Springer 2000
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Sigrid Ewert, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Computing Raster Images from Grid Picture Grammars. CIAA 2000: 113-121
1999
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Peter Knirsch, Hans-Jörg Kreowski, Sabine Kuske: Graph Transformation Modules and Their Composition. AGTIVE 1999: 15-30
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Knirsch, Hans-Jörg Kreowski: A Note on Modeling Agent Systems by Graph Transformation. AGTIVE 1999: 79-86
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Renate Klempien-Hinrichs, Hans-Jörg Kreowski: Table-driven and context-sensitive collage languages. Developments in Language Theory 1999: 326-337
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate Klempien-Hinrichs, Hans-Jörg Kreowski, Stefan Taubenberger: Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars. FCT 1999: 350-361
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: Graph Transformation Units with Interleaving Semantics. Formal Asp. Comput. 11(6): 690-723 (1999)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, Gabriele Taentzer: Graph Transformation for Specification and Programming. Sci. Comput. Program. 34(1): 1-54 (1999)
1998
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Gabriel Valiente: Redundancy and Subsumption in High-Level Replacement Systems. TAGT 1998: 215-227
1997
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Hans-Jörg Kreowski, Denis Lapoire: Criteria to Disprove Context-Freeness of Collage Languages. FCT 1997: 169-178
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Veronika Oechtering, Ingrid Rügge: Frauen auf dem Weg, das Image der Informatik zu verändern. GI Jahrestagung 1997: 345-354
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Hans-Jörg Kreowski, Annegret Habel: Hyperedge Replacement, Graph Grammars. Handbook of Graph Grammars 1997: 95-162
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hans-Jörg Kreowski: GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Bulletin of the EATCS 63: (1997)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske, Andy Schürr: Nested Graph Transformation Units. International Journal of Software Engineering and Knowledge Engineering 7(4): 479-502 (1997)
1996
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Hans-Jörg Kreowski: (Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. Fundam. Inform. 25(3): 295-325 (1996)
1995
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Thomas Risse, Andreas Spillner, Ralf E. Streibl, Karin Vosseberg: Realität und Utopien der Informatik [ausgewählte Beiträge der 10. Jahrestagung des Forums Informatikerinnen und Informatiker für Frieden und gesellschaftliche Verantwortung e.V., 7.-9. Oktober 1994, Bremen] agenda Verlag 1995
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas: Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bulletin of the EATCS 56: (1995)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Specification and programming (by graph transformation). Electr. Notes Theor. Comput. Sci. 2: 187-190 (1995)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Till Mossakowski: Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. Mathematical Structures in Computer Science 5(2): 189-215 (1995)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating Self-Affine Fractals by Collage Grammars. Theor. Comput. Sci. 145(1&2): 159-187 (1995)
1994
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: An Axiomatic Approach to Canonical Derivations. IFIP Congress (1) 1994: 348-353
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Sabine Kuske: On the Interleaving Sematics of Transformation Units - A Step into GRACE. TAGT 1994: 89-106
1993
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Gabriele Taentzer: Canonical Derivaitons for High-Level Replacement Systems. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 153-169
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Annegret Habel, Hans-Jörg Kreowski, Stefan Taubenberger: Generating Self-Affine Fractals by Collage Grammars. Developments in Language Theory 1993: 278-289
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Five Facets of Hyperedge Replacement Beyond Context-Freeness. FCT 1993: 69-86
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGnanamalar David, Frank Drewes, Hans-Jörg Kreowski: Hyperedge Replacement with Rendevous. TAPSOFT 1993: 167-181
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Annegret Habel, Hans-Jörg Kreowski, S. Traubenberger: A scetch of Collage Grammars. Bulletin of the EATCS 50: 209-219 (1993)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Clemens Lautemann: A Comparison of Compatible, Finite, and Inductive Graph Properties. Theor. Comput. Sci. 110(1): 145-168 (1993)
1992
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck Springer 1992
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Eine konkrete Utopie von korrekter Software. Informatik zwischen Wissenschaft und Gesellschaft 1992: 108-124
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. Testen, Analysieren und Verifizieren von Software 1992: 130-142
1991
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella: Algebraic System Specification and Development - A Survey and Annotated Bibliography Springer 1991
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg: Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings Springer 1991
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Aspects of Systems of Logic Programming. Bulletin of the EATCS 44: 144-146 (1991)
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle evaluation. Fundam. Inform. 15(1): 37-60 (1991)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: Parallelism and Concurrency in High-Level Replacement Systems. Mathematical Structures in Computer Science 1(3): 361-404 (1991)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Walter Vogler: Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. Theor. Comput. Sci. 89(1): 33-62 (1991)
1990
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Hans-Jörg Kreowski: A Note on Hyperedge Replacement. Graph-Grammars and Their Application to Computer Science 1990: 1-12
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: From Graph Grammars to High Level Replacement Systems. Graph-Grammars and Their Application to Computer Science 1990: 269-291
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski: Collage Grammars. Graph-Grammars and Their Application to Computer Science 1990: 411-429
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Jeltsch, Hans-Jörg Kreowski: Grammatical Inference Based on Hyperedge Replacement. Graph-Grammars and Their Application to Computer Science 1990: 461-474
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Applied Graph Transformation. Graph-Grammars and Their Application to Computer Science 1990: 51-52
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Zhenyu Qian: Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. STACS 1990: 165-175
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Grzegorz Rozenberg: On structured graph grammars. I. Inf. Sci. 52(2): 185-210 (1990)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Grzegorz Rozenberg: On structured graph grammars. II. Inf. Sci. 52(3): 221-246 (1990)
1989
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß: Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany] Springer 1989
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Walter Vogler: Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar. TAPSOFT, Vol.1 1989: 275-289
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski: Filtering Hyperedge-Replacement Through Compatible Properties. WG 1989: 107-120
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Walter Vogler: Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. Acta Inf. 26(7): 657-677 (1989)
1988
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Complexity in Algebraic Specifications: An Upper Bound Result. ADT 1988
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Colimits as Parameterized Data Types. Categorial Methods in Computer Science 1988: 36-49
1987
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle Evaluation. ADT 1987: 92-112
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Partial Algebras Flow From Algebraic Specifications. ICALP 1987: 521-530
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski: Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. STACS 1987: 207-219
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski: Pretty Patterns Produced by Hyperedge Replacement. WG 1987: 32-45
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Walter Vogler: Complativle graph properties are decidable for hypergraph replacement graph languages. Bulletin of the EATCS 33: 55-61 (1987)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski: Characteristics of Graph Languages Generated by Edge Replacement. Theor. Comput. Sci. 51: 81-115 (1987)
1986
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Based Algebras. ADT 1986
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Informatik und Militär: Zusammen in den Abgrund? FIFF Jahrestagung 1986: 37-42
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski: May we introduce to you: hyperedge replacement. Graph-Grammars and Their Application to Computer Science 1986: 15-26
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Is parallelism already concurrency? Part 1: Derivations in graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 343-360
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Anne Wilharm: Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 361-377
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Anne Wilharm: Net Processes Correspond to Derivation Processes in Graph Grammars. Theor. Comput. Sci. 44: 275-305 (1986)
1985
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers Springer 1985
1984
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Grzegorz Rozenberg: Note on Node-Rewriting Graph Grammars. Inf. Process. Lett. 18(1): 21-24 (1984)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameter Passing in Algebraic Specification Languages. Theor. Comput. Sci. 28: 45-81 (1984)
1983
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Specification of Partial Functions - Only a Tentative Suggestion. ADT 1983
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin: Suggestions on the Interpretation of Algebraic Specifications. ADT 1983
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Compatibility of Parameter Passing and Implementation of Parameterized Data Types. Theor. Comput. Sci. 27: 255-286 (1983)
1982
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: An Algebraic Implementation Concept for Abstract Data Types. ADT 1982
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski: On context-free gragh languages generated by edge replacement. Graph-Grammars and Their Application to Computer Science 1982: 143-158
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Algebraic Implementation of Abstract Data Types. Theor. Comput. Sci. 20: 209-263 (1982)
1981
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski, Grzegorz Rozenberg: On the Constructive Description of Graph Languages Accepted by Finite Automata. MFCS 1981: 398-409
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameter Passing in Algebraic Specification Languages. Program Specification 1981: 322-369
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen: KWIC-index generation. Program Specification 1981: 47-117
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Transformations of Structures: an Algebraic Approach. Mathematical Systems Theory 14: 305-334 (1981)
1980
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. ICALP 1980: 142-156
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameterized Data Types in Algebraic Specification Languages (Short Version). ICALP 1980: 157-168
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. MFCS 1980: 231-245
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? Software Engineering 1980: 281-283
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Algebraische Spezifikation von Softwaresystemen. Software Engineering 1980: 46-74
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Werner Fey, Hans-Jörg Kreowski: Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. Software Engineering 1980: 75-90
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: A Case Study of Abstract Implementations and Their Correctness. Symposium on Programming 1980: 108-122
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: A Comparison Between Petri-Nets and Graph Grammars. WG 1980: 306-317
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. Inf. Syst. 5(3): 225-238 (1980)
1979
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. Formale Modelle für Informationssysteme 1979: 181-198
1978
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: A Pumping Lemma for Context-Free Graph Languages. Graph-Grammars and Their Application to Computer Science and Biology 1978: 270-283
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Stepwise Specification and Implementation of Abstract Data Types. ICALP 1978: 205-226
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski: Deriving Structures from Structures. MFCS 1978: 177-190
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440
1977
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Transformationas of Derivation Sequences in Graph Grammars. FCT 1977: 275-286
1976
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Parallelism of Manipulations in Multidimensional Information Structures. MFCS 1976: 284-293
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Systematic Approach to Reduction and Minimization in Automata and System Theory. J. Comput. Syst. Sci. 12(3): 269-304 (1976)
1974
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, Wolfgang Kühnel: Universal theory of automata - a categorial approach. Teubner 1974: 1-240
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Hans-Jörg Kreowski: Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control 1974: 144-150

Coauthor Index

1Jean-Raymond Abrial [21]
2Marc Andries [88]
3Michel Bidoit [64]
4Giorgio Busatto [96] [97] [110]
5Derek Coleman [21]
6Björn Cordes [108]
7Andrea Corradini [83] [98] [103] [107]
8Gnanamalar David [70]
9Adrian Horia Dediu [119]
10Frank Drewes [58] [69] [70] [72] [76] [81] [84] [86] [91] [93] [94] [99] [104] [105] [106]
11Hartmut Ehrig [1] [2] [3] [4] [6] [7] [8] [10] [11] [13] [14] [17] [18] [19] [20] [21] [22] [24] [27] [30] [50] [57] [60] [63] [73] [79] [95] [103]
12Gregor Engels [88] [95]
13Sigrid Ewert [94] [105]
14Werner Fey [14]
15Robin M. Gallimore [21]
16Martin Gogolla [101] [123]
17Joseph A. Goguen [21]
18Annegret Habel [25] [36] [39] [40] [41] [42] [44] [47] [48] [49] [56] [57] [59] [60] [61] [68] [69] [72] [76] [84] [88]
19Klaus-Peter Hasler [28]
20Horst Herrlich [50]
21Berthold Hoffmann [88]
22Karsten Hölscher [108] [111] [115] [118] [124]
23Jane W. Hughes [21]
24Amir Jabbari [128]
25Dirk Janssens [113]
26Eric Jeltsch [55]
27Klaus-Dieter Kiermeier [2]
28Renate Klempien-Hinrichs [90] [91] [94] [96] [105] [106] [109] [116] [119]
29Peter Knirsch [92] [93] [96] [111] [115]
30Ralf Kollmann [101]
31Wolfgang Kühnel [2]
32Sabine Kuske [74] [82] [88] [89] [93] [96] [97] [100] [101] [109] [110] [116] [117] [118] [120] [121] [122] [123] [124] [125] [126] [127] [129] [130] [131] [132]
33Walter Lang [128]
34Denis Lapoire [86] [104]
35Clemens Lautemann [68]
36Pierre Lescanne [64]
37Michael Löwe [28]
38Andrea Maggiolo-Schettini [7] [20]
39Bernd Mahr [17] [24]
40Ugo Montanari [114]
41Till Mossakowski [77] [133]
42Benedek Nagy [119]
43Leif Sandegaard Nielsen [21]
44Veronika Oechtering [85]
45Fernando Orejas [64] [79] [114]
46Peter Padawitz [8] [13] [17] [19] [24]
47Julia Padberg [112]
48Francesco Parisi-Presicce [57] [60]
49Detlef Plump [44] [61] [88]
50Malcolm S. Powell [21]
51Gerhard Preuß [50]
52Zhenyu Qian [53]
53Michaela Reisin [28]
54Thomas Risse [80]
55Barry K. Rosen [7] [20]
56Grzegorz Rozenberg [23] [31] [51] [52] [63] [95] [103] [113] [114] [122]
57Ingrid Rügge [85]
58Donald Sannella [64]
59Andy Schürr [82] [88]
60Ib Holm Sørensen [21]
61Andreas Spillner [80]
62Jørgen Steensgaard-Madsen [21]
63Ralf E. Streibl [80]
64Gabriele Taentzer [73] [88] [114]
65Stefan Taubenberger [72] [76] [90]
66James W. Thatcher [18] [22] [30]
67Hauke Tönnies [125]
68Caroline von Totth [126] [127] [132]
69S. Traubenberger [69]
70Gabriel Valiente [87]
71Walter Vogler [40] [47] [49] [59]
72Karin Vosseberg [80]
73Eric G. Wagner [18] [22] [30]
74Herbert Weber [6] [10]
75Anne Wilharm [33] [34]
76Robert Wille [129]
77Józef Winkowski [7] [20]
78Jesse B. Wright [18] [22] [30]
79Paul Ziemann [123]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page