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

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

DBLP keys2009
122Electronic 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)
121Electronic 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
120Electronic 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
119Electronic 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
118Electronic 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
117Electronic 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
116Electronic 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
115Electronic 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
114Electronic 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
113Electronic 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
112no 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
111Electronic 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
110Electronic 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
109Electronic 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
108Electronic 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
107Electronic 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
106Electronic 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
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Corradini, Hans-Jörg Kreowski: Preface. Fundam. Inform. 58(1): (2003)
104no 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)
103no 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)
102no EE 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
101no 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
100Electronic 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
99Electronic 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
98Electronic 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
97no 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
96Electronic 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): (2001)
95Electronic 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: (2001)
2000
94no 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
93Electronic 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
92Electronic 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
91Electronic 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
90no 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
89Electronic 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
88Electronic 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)
87no EE 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
86no EE 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
85no EE 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
84no 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
83no 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
82no 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)
81Electronic 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
80no EE 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
79no 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
78no 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)
77Electronic 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: (1995)
76no EE 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)
75Electronic 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
74no 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
73no EE 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
72no EE 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
71no 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
70no EE 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
69Electronic 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
68no 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)
67no EE 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
66no 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
65no 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
64no 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
63no EE 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
62no 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
61no 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)
60no 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)
59no EE 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)
58no EE 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
57no EE 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
56no EE 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
55no EE 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
54no EE 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
53no 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
52Electronic 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
51Electronic 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)
50Electronic 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
49no 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
48Electronic 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
47Electronic 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
46no EE 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
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Complexity in Algebraic Specifications: An Upper Bound Result. ADT 1988
44no 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
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle Evaluation. ADT 1987: 92-112
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Partial Algebras Flow From Algebraic Specifications. ICALP 1987: 521-530
41Electronic 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
40Electronic 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
39no 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)
38no EE 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Based Algebras. ADT 1986
36no 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
35no EE 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
34no EE 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
33no EE 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
32no EE 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
31no 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
30no EE 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)
29no EE 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
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Specification of Partial Functions - Only a Tentative Suggestion. ADT 1983
27no 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
26no EE 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
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: An Algebraic Implementation Concept for Abstract Data Types. ADT 1982
24no EE 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
23no EE 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
22Electronic 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
21Electronic 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
20no 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
19no EE 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
18Electronic 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
17Electronic 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
16Electronic 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
15no 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jörg Kreowski: Algebraische Spezifikation von Softwaresystemen. Software Engineering 1980: 46-74
13no 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
12no EE 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
11Electronic 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
10no EE 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
9no 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
8no EE 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
7Electronic 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
6Electronic 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
5Electronic 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
4no EE 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
3Electronic 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
2no EE 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
1no EE 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 [20]
2Marc Andries [87]
3Michel Bidoit [63]
4Giorgio Busatto [95] [96] [108]
5Derek Coleman [20]
6Björn Cordes [106]
7Andrea Corradini [82] [97] [101] [105]
8Gnanamalar David [69]
9Adrian Horia Dediu [117]
10Frank Drewes [57] [68] [69] [71] [75] [80] [83] [85] [90] [92] [93] [102] [103] [104]
11Hartmut Ehrig [1] [2] [3] [5] [6] [7] [9] [10] [12] [13] [16] [17] [18] [19] [20] [21] [23] [26] [29] [49] [56] [59] [62] [72] [78] [94] [101]
12Gregor Engels [87] [94]
13Sigrid Ewert [93] [103]
14Werner Fey [13]
15Robin M. Gallimore [20]
16Martin Gogolla [99] [121]
17Joseph A. Goguen [20]
18Annegret Habel [24] [35] [38] [39] [40] [41] [43] [46] [47] [48] [55] [56] [58] [59] [60] [67] [68] [71] [75] [83] [87]
19Klaus-Peter Hasler [27]
20Horst Herrlich [49]
21Berthold Hoffmann [87]
22Karsten Hölscher [106] [109] [113] [116] [122]
23Jane W. Hughes [20]
24Dirk Janssens [111]
25Eric Jeltsch [54]
26Renate Klempien-Hinrichs [89] [90] [93] [95] [103] [104] [107] [114] [117]
27Peter Knirsch [91] [92] [95] [109] [113]
28Ralf Kollmann [99]
29Sabine Kuske [73] [81] [87] [88] [92] [95] [96] [98] [99] [107] [108] [114] [115] [116] [118] [119] [120] [121] [122]
30Denis Lapoire [85] [102]
31Clemens Lautemann [67]
32Pierre Lescanne [63]
33Michael Löwe [27]
34Andrea Maggiolo-Schettini [6] [19]
35Bernd Mahr [16] [23]
36Ugo Montanari [112]
37Till Mossakowski [76]
38Benedek Nagy [117]
39Leif Sandegaard Nielsen [20]
40Veronika Oechtering [84]
41Fernando Orejas [63] [78] [112]
42Peter Padawitz [7] [12] [16] [18] [23]
43Julia Padberg [110]
44Francesco Parisi-Presicce [56] [59]
45Detlef Plump [43] [60] [87]
46Malcolm S. Powell [20]
47Gerhard Preuß [49]
48Zhenyu Qian [52]
49Michaela Reisin [27]
50Thomas Risse [79]
51Barry K. Rosen [6] [19]
52Grzegorz Rozenberg [22] [30] [50] [51] [62] [94] [101] [111] [112] [120]
53Ingrid Rügge [84]
54Donald Sannella [63]
55Andy Schürr [81] [87]
56Ib Holm Sørensen [20]
57Andreas Spillner [79]
58Jørgen Steensgaard-Madsen [20]
59Ralf E. Streibl [79]
60Gabriele Taentzer [72] [87] [112]
61Stefan Taubenberger [71] [75] [89]
62James W. Thatcher [17] [21] [29]
63S. Traubenberger [68]
64Gabriel Valiente [86]
65Walter Vogler [39] [46] [48] [58]
66Karin Vosseberg [79]
67Eric G. Wagner [17] [21] [29]
68Herbert Weber [5] [9]
69Anne Wilharm [32] [33]
70Józef Winkowski [6] [19]
71Jesse B. Wright [17] [21] [29]
72Paul Ziemann [121]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)