@ARTICLE{ Hoelscher-Kreowski-Kuske:2009, author = {Karsten H{\"o}lscher and Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {Autonomous Units to Model Interacting Sequential and Parallel Processes}, journal = {Fundamenta Informaticae}, volume = {92}, number = {3}, pages = {233--257}, year = {2009} } @ARTICLE{ Kuske-Gogolla-Kreowski-etal:08, author = {Sabine Kuske and Martin Gogolla and Hans-J{\"o}rg Kreowski and Paul Ziemann}, title = {Towards an integrated graph-based semantics for UML}, journal = {Software and Systems Modeling}, volume = {8}, pages = {3}, year = {2009}, pages = {385--401}, publischer = {Springer}, doi = {10.1007/s10270-008-0101-4} } @INPROCEEDINGS{ Kreowski-Kuske-Toennies:2009, author = {Kreowski, Hans-J\"org and Kuske, Sabine and T{\"o}nnies, Hauke}, title = {Autonomous Units to Model Games}, pages = {447}, editor = {Stefan Fischer and Erik Maehle and R{\"u}diger Reischuk}, booktitle = {Informatik 2009, Im Focus das Leben}, series = {Lecture Notes in Informatics}, volume = {154}, year = {2009}, note = {Abstract. Full paper (8 pages) on CD-ROM of the Proc.} } @INPROCEEDINGS{ Kreowski-Kuske:2008b, author = {Kreowski, Hans-J\"org and Kuske, Sabine}, title = {Graph Multiset Transformation as a Framework for Massively Parallel Computation}, pages = {351--365}, editor = {}, booktitle = {Proc.\ 4th Intl. Conference on Graph Transformations (ICGT 2008)}, series = {Lecture Notes in Computer Science}, volume = {5214}, year = {2008} } @BOOK{ Kreowski:08, editor = {Kreowski, Hans-J\"org}, title = {{Informatik und Gesellschaft -- Verflechtungen und Perspektiven}}, year = {2008}, publisher = {LIT Verlag}, address = {Berlin} } @PROCEEDINGS{ Haasis-Kreowski-Scholz-Reiter:08, editor = {Hans-Dietrich Haasis and Hans-J{\"o}rg Kreowski and Bernd {Scholz-Reiter}}, title = {Dynamics in Logistics, Proc.\ First Intl. Conference ({LDIC})}, year = {2008}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski-Kuske:2008, editor = {Andy Sch{\"u}rr and Manfred Nagl and Albert Z{\"u}ndorf}, author = {Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {Communities of Autonomous Units for Pickup and Delivery Vehicle Routing}, booktitle = {Proc.\ 3rd Intl. Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07)}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5088}, year = {2008}, pages = {281--296} } @INCOLLECTION{ Kreowski-Kuske-Rozenberg:2008, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'e} Meseguer}, author = {Hans-J{\"o}rg Kreowski and Sabine Kuske and Grzegorz Rozenberg}, title = {Graph Transformation Units -- An Overview}, booktitle = {Concurrency, Graphs and Models}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5065}, year = {2008}, pages = {57--75} } @ARTICLE{ Babazadeh-Kreowski-Lang:2008, author = {Mehrdad Babazadeh and Hans-J{\"o}rg Kreowski and Walter Lang}, title = {Selective Predictors of Environmental Parameters in Wireless Sensor Networks}, journal = {INTERNATIONAL JOURNAL OF MATHEMATICAL MODELS AND METHODS IN APPLIED SCIENCES}, volume = {2}, issue = {3}, pages = {355--363}, year = {2008} } @ARTICLE{ Kreowski-Luderer:08, author = {Kreowski, Hans-J{\"o}rg and Luderer, Melanie}, title = {Modelling Logistic Processes -- The Termination Problem}, editor = {Scholz-Reiter, Bernd and R{\"u}gge, Ingrid}, journal = {LogDynamics Research Report 2007/08}, volume = {1}, pages = {38--39}, publisher = {Bremen Research Cluster for Dynamics in Logistics, Universit{\"a}t Bremen}, year = {2008} } @INPROCEEDINGS{ Kreowski-Kuske:2007, author = {Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {Autonomous Units and Their Semantics - The Parallel Case}, booktitle = {Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006}, editor = {J.L.\ Fiadeiro and P.Y. Schobbens}, series = {Lecture Notes in Computer Science}, volume = {4409}, year = {2007}, pages = {56--73} } @INPROCEEDINGS{ hoelscher-klempien-knirsch-kreowski-kuske:2007, editor = {Michael H\"ulsmann and Katja Windt}, author = {Karsten H\"olscher and Renate Klempien-Hinrichs and Peter Knirsch and Hans-J\"org Kreowski and Sabine Kuske}, title = {Autonomous Units: Basic Concepts and Semantic Foundation}, booktitle = {Understanding Autonomous Cooperation and Control in Logistics -- The Impact on Management, Information and Communication and Material Flow}, publisher = {Springer}, series = {}, volume = {}, year = {2007}, pages = {103--120} } @INPROCEEDINGS{ timm-kreowski-knirsch-timm:2007, editor = {Michael H\"ulsmann and Katja Windt}, author = {Ingo Timm and Hans-J\"org Kreowski and Peter Knirsch and Andreas Timm-Giel}, title = {Autonomy in Software Systems}, booktitle = {Understanding Autonomous Cooperation and Control in Logistics -- The Impact on Management, Information and Communication and Material Flow}, publisher = {Springer}, series = {}, volume = {}, year = {2007}, pages = {255--274} } @INPROCEEDINGS{ Hoelscher-Kreowski-Kuske:2006, author = {Karsten H{\"o}lscher and Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {Autonomous Units and their Semantics --- the Sequential Case}, editor = {A. Corradini and H. Ehrig and U. Montanari and L. Ribeiro and G. Rozenberg}, booktitle = {Proc.\ 3rd Intl.\ Conference on Graph Transformations (ICGT 2006)}, series = {Lecture Notes in Computer Science}, volume = {4178}, pages = {245--259}, year = {2006}, publisher = {Springer}, abstract = {In this paper, we introduce the notion of a community of autonomous units as a rule-based and graph-transformational device to model processes that run interactively but independently of each other in a common environment. The emphasis of the approach is laid on the study of the formal semantics of a community as a whole and of each of its member units separately. We concentrate on the sequential case where only one unit can act at a time and the rule applications of the involved units are interleaved with each other.} } @INCOLLECTION{ Kreowski-Klempien-Hinrichs-Kuske:2005, author = {Kreowski, Hans-J{\"o}rg and {Klempien-Hinrichs}, Renate and Kuske, Sabine}, title = {Some Essentials of Graph Transformation}, booktitle = {Recent Advances in Formal Languages and Applications}, volume = {25}, series = {Studies in Computational Intelligence}, pages = {229--254}, editor = {Z. Esik and C. Martin-Vide and V. Mitrana}, publisher = {Springer}, year = {2006} } @INPROCEEDINGS{ Kreowski-Hoelscher-Knirsch:2005, author = {Hans-J{\"o}rg Kreowski and Karsten H{\"o}lscher and Peter Knirsch}, title = {{Semantics of Visual Models in a Rule-based Setting}}, booktitle = {Proceedings of the School of {SegraVis} Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Dagstuhl}, series = {Electronic Notes in Theoretical Computer Science}, editor = {R. Heckel}, volume = {148}, pages = {75--88}, year = {2006}, publisher = {Elsevier Science}, abstract = {In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and rebated to the semantics of visual models. A rule-based system comprises a set of rules and some control conditions includin g descriptions of initial and terminal configurations. Semantically, the rules specify a binary relation on co nfigurations of some kind by means of rule applications which are restricted according to the control conditio ns. As visual models are usually represented by diagrams, graphs or similar configurations, the rule-based set ting can be employed to provide visual models with semantics.} } @INPROCEEDINGS{ Hoelscher-Kreowski-Knirsch:2005, author = {Karsten H{\"o}lscher and Peter Knirsch and Hans-J{\"o}rg Kreowski }, title = {{Modelling Transport Networks by Means of Autonomous Units}}, editor = {H.-D. Haasis and H. Kopfer and J. Sch{\"o}nberger}, booktitle = {Operations Research Proceedings 2005}, pages = {399--404}, year = {2006}, publisher = {Springer}, abstract = {The concept of autonomous units to model distributed logistic processes and their interactions in a transport network is introduced. Autonomous units provide a general approach with rigorous semantics that allow the visual modelling of logistic processes in the transport domain in a systematic and structured way. Differing from existing models it especially incorporates the specification of autonomous or self-controlled behaviour of the participating actors. It means that the respective actions are not always predefined but allow for autonomous choice. By example in this paper a negotiation based approach is introduced. Due to this approach being formal and well-defined it supports testing and verification of required properties of the modelled systems at the level of specification. } } @INPROCEEDINGS{ hoelscher-klempien-knirsch-kreowski-kuske:2006, author = {Karsten H\"olscher and Renate Klempien-Hinrichs and Peter Knirsch and Hans-J\"org Kreowski and Sabine Kuske}, editor = {M{\"u}ller, Egon and Spanner-Ulmer, Birgit}, title = {{Autonome Transformationseinheiten zur regelbasierten Modellierung vernetzter logistischer Prozesse}}, booktitle = {{Vernetzt planen und produzieren (VPP 2006)}}, pages = {113--118}, year = {2006} } @INPROCEEDINGS{ dediu-klempien-kreowski-nagy:2006, editor = {Oscar H. Ibarra and Zhe Dang}, author = {Adrian Horia Dediu and Renate Klempien-Hinrichs and Hans-J{\"o}rg Kreowski and Benedek Nagy}, title = {Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages}, booktitle = {Developments in Language Theory}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4036}, year = {2006}, pages = {327--338} } @ARTICLE{ Busatto-Kreowski-Kuske:04, author = {Giorgio Busatto and Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {Abstract Hierarchical Graph Transformation}, journal = {Mathematical Structures in Computer Science}, volume = {15}, pages = {773--819}, year = {2005} } @INCOLLECTION{ Klempien-Hinrichs-Kreowski-Kuske:04, author = {Renate {Klempien-Hinrichs} and Hans-J\"org Kreowski and Sabine Kuske}, title = {Rule-based transformation of graphs and the product type}, editor = {Patrick van Bommel}, booktitle = {Transformation of Knowledge, Information, and Data: Theory and Applications}, pages = {29--51}, publisher = {Idea Group Publishing}, address = {Hershey, Pennsylvania, USA}, year = {2005} } @BOOK{ Kreowski-etal:2005, editor = {Hans-J\"org Kreowski and Ugo Montanari and Fernado Orejas and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Formal Methods in Software and System Modeling}, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, volume = {3393}, year = {2005} } @INBOOK{ Janssens-Kreowski-Rozenberg:2005, author = {Dirk Janssens and Hans-J\"org Kreowski and Grzegorz Rozenberg}, editor = {Hans-J\"org Kreowski and Ugo Montanari and Fernado Orejas and Grzegorz Rozenberg and Gabriele Taentzer}, booktitle = {Formal Methods in Software and System Modeling}, title = {Main Concepts of Networks of Transformation Units with Interlinking Semantics}, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, volume = {3393}, pages = {325--342}, year = {2005} } @INBOOK{ Padberg-Kreowski:2005, author = {Julia Padberg and Hans-J\"org Kreowski}, editor = {Hans-J\"org Kreowski and Ugo Montanari and Fernado Orejas and Grzegorz Rozenberg and Gabriele Taentzer}, booktitle = {Formal Methods in Software and System Modeling}, title = {Loose Semantics of Petri Nets}, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, volume = {3393}, pages = {370--384}, year = {2005} } @INPROCEEDINGS{ Kreowski:2005, author = {Hans-J{\"o}rg Kreowski}, title = {{Autonomous Units to Model Cooperating Logistic Processes: Basic Features}}, booktitle = {Proceedings of the 10th International Symposium on Logistics (ISL 2005), Lisbon}, editor = {Palwar et al., K.S.}, pages = {377--380}, year = {2005}, abstract = {In this short paper, the concept of autonomous units is introduced as a device to model logistic pro-cesses and their interaction and cooperation within a logistic network. The aim is to provide a general approach with rigorous semantics that allows the visual model-ling of logistic processes in a systematic and structured way and supports the verification of required properties of the modelled systems.} } @TECHREPORT{ Hoelscher-Klempien-Kreowski-Knirsch-Kuske:2005, author = {Karsten H{\"o}lscher and Renate Klempien-Hinrichs and Peter Knirsch and Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {{Regelbasierte Modellierung mit autonomen Transformationseinheiten}}, number = {1}, year = {2005}, institution = {Universit{\"a}t Bremen, Fachbereich Mathematik & Informatik} } @INPROCEEDINGS{ Cordes-Hoelscher-Kreowski:04, author = {Bj\"orn Cordes and Karsten H\"olscher and Hans-J\"org Kreowski}, title = {{UML} Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams}, booktitle = {Proc.\ 2nd Intl.\ Workshop and Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE '03)}, editor = {M. Nagl and J. Pfaltz and B. B\"ohlen}, series = {Lecture Notes in Computer Science}, volume = {3062}, year = {2004}, publisher = {Springer}, pages = {275--291} } @INPROCEEDINGS{ Klempien-Hinrichs-Kreowski-Kuske:04b, author = {Renate {Klempien-Hinrichs} and Hans-J\"org Kreowski and Sabine Kuske}, title = {Typing of Graph Transformation Units}, editor = {H. Ehrig and G. Engels and F. {Parisi-Presicce} and G. Rozenberg}, booktitle = {Proc.\ 2nd Intl.\ Conference on Graph Transformations (ICGT 2004)}, series = {Lecture Notes in Computer Science}, volume = {3256}, pages = {112--127}, publisher = {Springer}, year = {2004} } @ARTICLE{ Drewes-Kreowski-Lapoire:03, author = {Drewes, Frank and Kreowski, Hans-J\"org and Lapoire, Denis}, title = {Criteria to disprove context freeness of collage languages}, journal = {Theoretical Computer Science}, volume = {290}, pages = {1445--1458}, year = {2003} } @INPROCEEDINGS{ Kreowski-Kuske:03, author = {Kreowski, Hans-J{\"o}rg and Kuske, Sabine}, title = {Approach-independent structuring concepts for rule-based systems}, pages = {299--311}, editor = {Martin Wirsing and Dirk Pattison and Rolf Hennicker}, booktitle = {Proc.\ 16th Int. Workshop on Algebraic Development Techniques (WADT 2002)}, series = {Lecture Notes in Computer Science}, volume = {2755}, year = {2003} } @ARTICLE{ Drewes-Klempien-Hinrichs-Kreowski:03, author = {Frank Drewes and Renate {Klempien-Hinrichs} and Hans-J\"org Kreowski}, title = {Table-driven and context-sensitive collage languages}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {8}, number = {1}, pages = {5--24}, year = {2003} } @ARTICLE{ Drewes-Ewert-Klempien-Hinrichs-Kreowski:03, author = {Frank Drewes and Sigrid Ewert and Renate {Klempien-Hinrichs} and Hans-J\"org Kreowski}, title = {Computing Raster Images from Grid Picture Grammars}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {8}, number = {3}, pages = {499--519}, year = {2003} } @INCOLLECTION{ Kreowski:03, author = {Hans-J{\"o}rg Kreowski}, title = {{Syntax, Semantik und ...}}, editor = {Karl-Heinz R{\"o}diger}, booktitle = {Algorithmik -- Kunst -- Semiotik -- Hommage f{\"u}r Frieder Nake}, pages = {75--88}, publisher = {Synchron Publishers}, year = {2003} } @INCOLLECTION{ Kreowski:02, author = {Hans-J{\"o}rg Kreowski}, title = {A Sight-seeing Tour of the Computational Landscape of Graph Transformation}, editor = {Brauer, W. and Ehrig, H. and Karhum\"aki, J. and Salomaa, A.}, booktitle = {Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg}, series = {Lecture Notes in Computer Science}, volume = {2300}, pages = {121--137}, publisher = {Springer}, year = {2002} } @INPROCEEDINGS{ Kreowski-Busatto-Klempien-Hinrichs.ea:02, author = {Hans-J\"org Kreowski and Giorgio Busatto and Renate Klempien-Hinrichs and Peter Knirsch and Sabine Kuske}, title = {Structured Modeling with {GRACE}}, editor = {M. Bauderon and A. Corradini}, booktitle = {Proc.\ GETGRATS Closing Workshop}, series = {Electronic Notes in Theoretical Computer Science}, volume = {51}, publisher = {Elsevier}, year = {2002}, note = {13 pages} } @PROCEEDINGS{ Kreowski-Knirsch:02, editor = {Hans-J\"org Kreowski and Peter Knirsch}, title = {Proc.\ Applied Graph Transformation (AGT'02)}, year = {2002}, note = {Satellite Event of ETAPS 2002} } @INPROCEEDINGS{ Kuske-Gogolla-Kreowski-etal:02, author = {Sabine Kuske and Martin Gogolla and Hans-J{\"o}rg Kreowski and Ralf Kollmann}, title = {An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation}, booktitle = {Proc.\ Third International Conference on Integrated Formal Methods (IFM 2002)}, editor = {Michael Butler and Luigia Petre and Kaisa Sere}, series = {Lecture Notes in Computer Science}, volume = {2335}, pages = {11--28}, year = {2002} } @PROCEEDINGS{ Corradini-Ehrig-etal:2002, editor = {Andrea Corradini and Hartmut Ehrig and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg}, title = {Proc.\ 1st Int. Conference on Graph Transformation (ICGT 2002)}, series = {Lecture Notes in Computer Science}, volume = {2505}, year = {2002} } @INCOLLECTION{ Drewes-Kreowski:01, author = {Frank Drewes and Hans-J{\"o}rg Kreowski}, title = {Reading Words in Graphs Generated by Hyperedge Replacement}, editor = {C.\ {Martin-Vide} and V.\ Mitrana}, booktitle = {Where Mathematics, Computer Science, Linguistics and Biology Meet}, chapter = {22}, pages = {243--252}, publisher = {Kluwer Academic Publishers}, year = {2001} } @INPROCEEDINGS{ Kreowski-Busatto-Kuske:00a, author = {Kreowski, Hans-J{\"o}rg and Busatto, Giorgio and Kuske, Sabine}, title = {{GRACE} as a unifying approach to graph-transformation-based specification}, editor = {Ehrig, H. and Ermel, C. and Padberg, J.}, booktitle = {Proc.\ Uniform Approaches to Graphical Process Specification Techniques}, series = {Electronic Notes in Theoretical Computer Science}, volume = {44/4}, note = {15 pages}, year = {2001}, publisher = {Elsevier Science} } @INPROCEEDINGS{ Drewes-Ewert-Klempien-Hinrichs.ea:01, author = {Frank Drewes and Sigrid Ewert and Renate {Klempien-Hinrichs} and Hans-J\"org Kreowski}, title = {Computing Raster Images from Grid Picture Grammars}, editor = {S. Yu and A. P\u{a}un}, booktitle = {Proc.\ 5th Intl.\ Conference on Implementation and Application of Automata (CIAA 2000)}, series = {Lecture Notes in Computer Science}, volume = {2088}, pages = {113--121}, publisher = {Springer}, year = {2001} } @ARTICLE{ Klempien-Hinrichs-Kreowski:01, author = {Renate Klempien-Hinrichs and Hans-J\"org Kreowski}, title = {Algebraic Specification goes multimedia -- A few tentative steps}, journal = {Bulletin of the EATCS}, volume = {75}, pages = {224--227}, year = {2001} } @TECHREPORT{ Busatto-Kreowski-Kuske:01, author = {Giorgio Busatto and Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {Abstract Hierarchical Graph Transformation}, number = {1/01}, institution = {Universit{\"a}t Bremen}, year = {2001} } @INPROCEEDINGS{ Drewes-Knirsch-Kreowski.ea:00, author = {Drewes, Frank and Knirsch, Peter and Kreowski, Hans-J\"org and Kuske, Sabine}, title = {Graph Transformation Modules and Their Composition}, editor = {Nagl, M. and Sch\"urr, A. and M\"unch, M.}, booktitle = {Proc.\ Applications of Graph Transformations with Industrial Relevance ({AGTIVE'99})}, series = {Lecture Notes in Computer Science}, volume = {1779}, pages = {15--30}, publisher = {Springer}, year = {2000}, added = {2000-01-03-13-38-19} } @INPROCEEDINGS{ Knirsch-Kreowski:00, author = {Knirsch, Peter and Kreowski, Hans-J\"org}, title = {A Note on Modeling Agent Systems by Graph Transformation}, editor = {Nagl, M. and Sch\"urr, A. and M\"unch, M.}, booktitle = {Proc.\ Applications of Graph Transformations with Industrial Relevance ({AGTIVE'99})}, series = {Lecture Notes in Computer Science}, volume = {1779}, pages = {79--86}, publisher = {Springer}, year = {2000} } @INPROCEEDINGS{ Drewes-Klempien-Hinrichs-Kreowski:00, author = {Frank Drewes and Renate {Klempien-Hinrichs} and Hans-J{\"o}rg Kreowski}, title = {Table-driven and context-sensitive collage languages}, editor = {G. Rozenberg and W. Thomas}, booktitle = {Proc.\ Developments in Language Theory ({DLT'99})}, pages = {326--337}, publisher = {World Scientific}, year = {2000} } @INPROCEEDINGS{ Kreowski-Kuske00afull, author = {Kreowski, Hans-J\"org and Kuske, Sabine}, title = {Note on approach-independent structuring concepts for rule-based systems}, pages = {41--49}, editor = {Ehrig, Hartmut and Taentzer, Gabi}, booktitle = {Proc.\ Joint Appligraph and GETGRATS Workshop on Graph Transformation Systems}, series = {Technical Report Nr. 2000-2, Technische Universit{\"a}t Berlin}, year = {2000} } @INPROCEEDINGS{ Drewes-Ewert-Klempien-Hinrichs.ea:00b, author = {Frank Drewes and Sigrid Ewert and Renate {Klempien-Hinrichs} and Hans-J\"org Kreowski}, title = {Computing Raster Images from Grid Picture Grammars}, editor = {M. Daley and M.G.\ Eramian and S. Yu}, booktitle = {Preproc.\ 5th Intl.\ Conference on Implementation and Application of Automata (CIAA 2000)}, pages = {79--85}, publisher = {University of Western Ontario, London, Canada}, year = {2000} } @TECHREPORT{ Drewes-Ewert-Klempien-Hinrichs.ea:00, author = {Frank Drewes and Renate {Klempien-Hinrichs} and Sigrid Ewert and Hans-J\"org Kreowski}, title = {Computing Raster Images from Grid Picture Grammars}, number = {2/00}, institution = {Universit\"at Bremen}, year = {2000} } @INPROCEEDINGS{ Kreowski-Kuske:00c, author = {Hans-J{\"o}rg Kreowski and Sabine Kuske}, title = {Suggestions on the Modularization of Rule-Based Systems}, editor = {Martin Wirsing and Martin Gogolla and Hans-J{\"o}rg Kreowski and Tobias Nipkow and Wolfgang Reif}, booktitle = {Proc. Rigorose Entwicklung software-intensiver Systeme}, series = {Technical Report 0005, Universit{\"a}t M{\"u}nchen}, pages = {73--82}, year = {2000} } @PROCEEDINGS{ Wirsing-Gogolla-Kreowski-etal:00, editor = {Martin Wirsing and Martin Gogolla and Hans-J{\"o}rg Kreowski and Tobias Nipkow and Wolfgang Reif}, title = {Proc.\ Rigorose Entwicklung software-intensiver Systeme}, series = {Technical Report 0005, Universit{\"a}t M{\"u}nchen}, year = {2000} } @INPROCEEDINGS{ Kreowski-Valiente:2000, author = {Hans-J{\"o}rg Kreowski and Gabriel Valiente}, title = {Redundancy and Subsumption in High-level Replacement Systems}, pages = {215--227}, editor = {Hartmut Ehrig and Gregor Engels and Hans-J{\"org} Kreowski and Grzegorz Rozenberg}, booktitle = {Proc.\ 6th Int. Workshop on Theory and Application of Graph Transformations}, series = {Lecture Notes in Computer Science}, volume = {1764}, year = {2000} } @PROCEEDINGS{ Kreowski:00, editor = {Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-J{\"o}rg and Rozenberg, Grzegorz}, title = {Proc.\ 6th International Workshop on Theory and Application of Graph Transformations {TAGT}'98}, series = {Lecture Notes in Computer Science}, volume = {1764}, year = {2000}, publisher = {Springer} } @INPROCEEDINGS{ Drewes-Klempien-Hinrichs-Kreowski:99, author = {Frank Drewes and Renate {Klempien-Hinrichs} and Hans-J{\"o}rg Kreowski}, title = {Table-Driven and Context-Sensitive Collage Languages {\normalfont(extended abstract)}}, editor = {Thomas, W.}, booktitle = {Prelim.\ Proc.\ Developments in Language Theory ({DLT'99})}, pages = {153--163}, year = {1999}, note = {{Aachener Informatik-Berichte 99-5}}, added = {1999-07-13-19-10-43} } @INCOLLECTION{ Drewes-Kreowski:99, author = {Drewes, Frank and Kreowski, Hans-J\"org}, title = {Picture generation by collage grammars}, editor = {Ehrig, H. and Engels, G. and Kreowski, H.-J. and Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation}, chapter = {11}, volume = {2}, pages = {397--457}, year = {1999}, publisher = {World Scientific}, added = {1998-09-07-14-50-18} } @INPROCEEDINGS{ Klempien-Hinrichs-Kreowski-Taubenberger:99, author = {Renate {Klempien-Hinrichs} and Hans-J\"org Kreowski and Stefan Taubenberger}, title = {Correct translation of mutually recursive function systems into {TOL} collage grammars}, editor = {G. Ciobanu and Gh.\ P\u{a}un}, booktitle = {Proc.\ 12th Intl.\ Symposium on Fundamentals of Computation Theory (FCT'99)}, series = {Lecture Notes in Computer Science}, volume = {1684}, pages = {350--361}, publisher = {Springer}, year = {1999} } @ARTICLE{ Andries-Engels-Habel-etal96b, author = {Marc Andries and Gregor Engels and Annegret Habel and Berthold Hoffmann and Hans-J{\"o}rg Kreowski and Sabine Kuske and Detlef Plump and Andy Sch{\"u}rr and Gabriele Taentzer}, title = {Graph Transformation for Specification and Programming}, journal = {Science of Computer Programming}, volume = {34}, number = {1}, pages = {1--54}, year = {1999} } @INCOLLECTION{ Kreowski-Kuske99afull, author = {Kreowski, Hans-J\"org and Kuske, Sabine}, title = {Graph Transformation Units and Modules}, pages = {607--638}, editor = {Hartmut Ehrig and Gregor Engels and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation, Vol.~2: Applications, Languages and Tools}, publisher = {World Scientific}, address = {Singapore}, year = {1999} } @ARTICLE{ Kreowski-Kuske00a, author = {Kreowski, Hans-J\"org and Kuske, Sabine}, title = {Graph Transformation Units with Interleaving Semantics}, journal = {Formal Aspects of Computing}, volume = {11}, number = {6}, pages = {690--723}, year = {1999} } @BOOK{ Ehrig-Kreowski.ea:99, editor = {Ehrig, Hartmut and Kreowski, Hans-J\"org and Montanari, Ugo and Rozenberg, Grzegorz}, title = {Handbook of Graph Grammars and Computing by Graph Transformation, Vol.~3: Concurrency, Parallelism, and Distribution}, year = {1999}, publisher = {World Scientific} } @BOOK{ Ehrig-Engels.ea:99, editor = {Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-J\"org and Rozenberg, Grzegorz}, title = {Handbook of Graph Grammars and Computing by Graph Transformation, Vol.~2: Applications, Languages and Tools}, year = {1999}, publisher = {World Scientific} } @BOOK{ Astesiano-Kreowski.ea:99, editor = {Astesiano, Egidio and Kreowski, Hans-J\"org and Krieg-Br\"uckner, Bernd}, title = {Algebraic Foundations of Systems Specification}, year = {1999}, publisher = {Springer} } @INCOLLECTION{ Ehrig-Kreowski:99, author = {Ehrig, Hartmut and Kreowski, Hans-J\"org}, title = {Refinement and Implementation}, editor = {Astesiano, E. and Kreowski, H.-J. and Krieg-Br\"uckner, B.}, booktitle = {Algebraic Foundations of Systems Specification}, pages = {201--242}, year = {1999}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski:98, author = {Hans-J{\"o}rg Kreowski}, title = {K{\"u}nstliche {I}ntelligenz und {G}ehirn}, booktitle = {Repr{\"a}sentation, Denken und Selbstbewusstsein}, editor = {H.J. Sandk{\"u}hler}, series = {Schriftenreihe des Zentrums Philosophische Grundlagen der Wissenschaften}, volume = {20}, pages = {193--204}, address = {Universit{\"a}t Bremen}, year = {1998} } @INCOLLECTION{ Drewes-Habel-Kreowski:97, author = {Drewes, Frank and Habel, Annegret and Kreowski, Hans-J\"org}, title = {Hyperedge Replacement Graph Grammars}, editor = {Rozenberg, G.}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation. Vol.\ 1: Foundations}, chapter = {2}, pages = {95--162}, year = {1997}, publisher = {World Scientific}, added = {1997-03-17-15-59-39} } @INPROCEEDINGS{ Drewes-Kreowski-Lapoire:97, author = {Drewes, Frank and Kreowski, Hans-J\"org and Lapoire, Denis}, title = {Criteria to Disprove Context-Freeness of Collage Languages}, editor = {Chlebus, B.S. and Czaja, L.}, booktitle = {Proc.\ Fundamentals of Computation Theory {XI}}, series = {Lecture Notes in Computer Science}, volume = {1279}, pages = {169--178}, year = {1997}, added = {1997-09-01-16-52-31} } @ARTICLE{ Kreowski-Kuske-Schuerr97a, author = {Kreowski, Hans-J\"org and Kuske, Sabine and Andy Sch{\"u}rr}, title = {Nested graph transformation units}, journal = {International Journal on Software Engineering and Knowledge Engineering}, volume = {7}, number = {4}, pages = {479--502}, year = {1997} } @ARTICLE{ Ehrig-Kreowski-Orejas:97, author = {Hartmut Ehrig and Hans-J{\"o}rg Kreowski and Fernando Orejas}, title = {Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors}, journal = {Revista Matematica}, volume = {10}, pages = {365--387}, year = {1997} } @INPROCEEDINGS{ Drewes-Kreowski-Schwabe:96, author = {Drewes, Frank and Kreowski, Hans-J{\"o}rg and Schwabe, Nils}, title = {{COLLAGE-ONE}: A System for Evaluation and Visualisation of Collage Grammars}, booktitle = {Proc. 4th International Conference on Computer Graphics \& Image Processing GKPO'96}, series = {Machine Graphics \& Vision}, volume = {5}, pages = {393--402}, year = {1996}, publisher = {Polish Academy of Sciences}, address = {Warsaw, Poland}, added = {1996-03-28-11-32-12} } @ARTICLE{ Drewes-Kreowski:96, author = {Drewes, Frank and Kreowski, Hans-J\"org}, title = {({U}n-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars}, journal = {Fundamenta Informaticae}, volume = {25}, pages = {295--325}, year = {1996}, added = {1996-06-06-09-01-45} } @INPROCEEDINGS{ Kreowski-Kuske95afull, author = {Kreowski, Hans-J\"org and Kuske, Sabine}, title = {On the Interleaving Semantics of Transformation Units --- A Step into {GRACE}}, pages = {89--108}, editor = {Cuny, Janice E. and Ehrig, Hartmut and Engels, Gregor and Rozenberg, Grzegorz}, booktitle = {Proc.\ Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {1073}, year = {1996} } @ARTICLE{ Drewes-Habel-Kreowski.ea:95, author = {Drewes, Frank and Habel, Annegret and Kreowski, Hans-J{\"o}rg and Taubenberger, Stefan}, title = {Generating self-affine fractals by collage grammars}, journal = {Theoretical Computer Science}, volume = {145}, pages = {159--187}, year = {1995}, added = {1996-03-28-11-32-12} } @BOOK{ Kreowski:95, editor = {Kreowski, Hans-J{\"o}rg and Risse, Thomas and Spillner, Andreas and Streibl, Ralf and Vosseberg, Karin}, title = {{Realit{\"a}t und Utopien der Informatik}}, year = {1995}, publisher = {Agenda Verlag}, address = {M{\"u}nster} } @ARTICLE{ Kreowski-Mossakowski:95, author = {Kreowski, Hans-J{\"o}rg and Mossakowski, Till}, title = {Equivalence and Difference of Institutions: Simulating Horn Clause Logic with Based Algebras}, journal = {Mathematical Structures in Computer Science}, volume = {5}, pages = {189--215}, year = {1995} } @INPROCEEDINGS{ Kreowski:95b, author = {Kreowski, Hans-J{\"o}rg}, editor = {Corradini, Andrea and Montanari, Ugo}, title = {Specification and Programming (by Graph Transformation)}, booktitle = {Proc.\ Joint Workshop on Graph Rewriting and Computation {COMPUGRAPH/SEMAGRAPH}}, series = {Electronic Notes in Computer Science}, volume = {2}, year = {1995}, publisher = {Springer} } @INCOLLECTION{ Kreowski:95a, author = {Kreowski, Hans-J\"org}, title = {Graph Grammars for Software Specification and Programming: An Eulogy in Praise of {GRACE}}, editor = {Rossell{\'o} Llompart, Francesco and Gabriel Valiente}, booktitle = {Colloquium on Gaph Transformation and its Application in Computer Science}, pages = {55--61}, year = {1995} } @INPROCEEDINGS{ Drewes-Habel-Kreowski.ea:94, author = {Drewes, Frank and Habel, Annegret and Kreowski, Hans-J{\"o}rg and Taubenberger, Stefan}, title = {Generating self-affine fractals by collage grammars}, editor = {Rozenberg, G. and Salomaa, A.}, booktitle = {Proc. Developments in Language Theory 93. At the Crossroads of Mathematics, Computer Science and Biology}, pages = {278--289}, year = {1994}, publisher = {World Scientific}, note = {Long version appeared in \emph{Theoretical Computer Science}}, added = {1996-03-28-11-32-12} } @INPROCEEDINGS{ Kreowski:94, author = {Kreowski, Hans-J{\"o}rg}, title = {An Axiomatic Approach to Canonical Derivations}, booktitle = {Proc.\ IFIP World Computer Congress}, series = {IFIP-Transactions}, volume = {A-51}, pages = {348--353}, year = {1994}, publisher = {North-Holland} } @INPROCEEDINGS{ David-Drewes-Kreowski:93, author = {David, Gnanamalar and Drewes, Frank and Kreowski, Hans-J{\"o}rg}, title = {Hyperedge replacement with Rendezvous}, editor = {Jouannaud, J.P.}, booktitle = {Proc.\ CAAP'93}, series = {Lecture Notes in Computer Science}, volume = {668}, pages = {167--181}, year = {1993}, publisher = {Springer}, added = {1996-03-28-11-32-12} } @ARTICLE{ Drewes-Habel-Kreowski.ea:93, author = {Drewes, Frank and Habel, Annegret and Kreowski, Hans-J{\"o}rg and Taubenberger, Stefan}, title = {A sketch of collage grammars}, journal = {Bulletin of the {EATCS}}, volume = {50}, year = {1993}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes-Habel-Kreowski.ea:93b, author = {Drewes, Frank and Habel, Annegret and Kreowski, Hans-J{\"o}rg and Taubenberger, Stefan}, title = {Generating self-affine fractals by collage grammars}, number = {3/93}, year = {1993}, institution = {Univ.\ Bremen}, type = {Report}, note = {Revised version appeared in \emph{Theoretical Computer Science}}, added = {1996-03-28-11-32-12} } @ARTICLE{ Habel-Kreowski-Lautemann:93, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Lautemann, Clemens}, title = {A Comparison of Compatible, Finite and Inductive Graph Properties}, journal = {Theoretical Computer Science}, volume = {110}, pages = {145--168}, year = {1993} } @ARTICLE{ Habel-Kreowski-Taubenberger:93, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Taubenberger, Stefan}, title = {Collages and Patterns Generated by Hyperedge Replacement}, journal = {Languages of Design}, volume = {1}, pages = {125--145}, year = {1993} } @INPROCEEDINGS{ Kreowski:93, author = {Kreowski, Hans-J{\"o}rg}, editor = {{\'E}sik, Zoltan}, title = {Five Facets of Hyperedge Replacement beyond Context-Freeness}, booktitle = {Proc.\ Fundamentals of Computation Theory}, series = {Lecture Notes in Computer Science}, volume = {710}, pages = {69--86}, year = {1993}, publisher = {Springer} } @INCOLLECTION{ Kreowski:93a, author = {Kreowski, Hans-J\"org}, title = {Translations into the Graph Grammar Machine}, editor = {Sleep, Roman M. and Plasmeijer, Rinus and van Eekelen, Marko}, booktitle = {Term Graph Rewriting: Theory and Practice}, chapter = {13}, pages = {171--183}, year = {1993}, publisher = {John Wiley} } @INCOLLECTION{ Kreowski:93b, author = {Kreowski, Hans-J{\"o}rg}, title = {Some Initial Sections of the Algebraic Specification Tale}, editor = {Rozenberg, Grzegorz and Salomaa, Arto}, booktitle = {Current Trends in Theoretical Computer Science -- Essays and Tutorials}, pages = {54--75}, year = {1993}, publisher = {World Scientific Press} } @INPROCEEDINGS{ Drewes-Kreowski-Kuske:92, author = {Drewes, Frank and Kreowski, Hans-J{\"o}rg and Kuske, S.}, title = {Hyperedge Replacement: A Basis for Efficient Graph Algorithms}, editor = {Beyer, M. and Ehrig, H. and L{\"o}we, M.}, booktitle = {Computing by Graph Transformation ({COMPUGRAPH}) --- Survey, Results, and Applications}, year = {1992}, note = {Project brochure}, added = {1996-03-28-11-32-12} } @BOOK{ Kreowski:92, editor = {Kreowski, Hans-J{\"o}rg}, title = {Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck}, publisher = {Springer}, series = {Informatik-Fachberichte}, volume = {309}, year = {1992}, isbn = {3-540-55389-4} } @ARTICLE{ Ehrig-Habel-Kreowski:92, author = {Ehrig, Hartmut and Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {Introduction to Graph Grammars with Application to Semantic Networks}, journal = {Computers and Mathematics with Applications}, volume = {23}, number = {6-9}, pages = {557--572}, year = {1992} } @INPROCEEDINGS{ Drewes-Kreowski:91, author = {Drewes, Frank and Kreowski, H.-J.}, title = {A Note on Hyperedge Replacement}, editor = {Ehrig, H. and Kreowski, H.-J. and Rozenberg, G.}, booktitle = {Proc. Fourth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {1--11}, year = {1991}, publisher = {Springer}, added = {1996-03-28-11-32-12} } @BOOK{ Kreowski:91, author = {Kreowski, Hans-J{\"o}rg}, title = {Logische Grundlagen der Informatik -- Handbuch der Informatik 1.1}, year = {1991}, publisher = {Oldenbourg-Verlag, M\"unchen}, note = {165 Seiten} } @PROCEEDINGS{ Kreowski:91a, editor = {Bidoit, Michel and Kreowski, Hans-J{\"o}rg and Lescanne, Pierre and Orejas, Fernando and Sannella, Donald}, title = {Algebraic System Specification and Development --- A Survey and Annotated Bibliography}, series = {Lecture Notes in Computer Science}, volume = {501}, year = {1991}, publisher = {Springer} } @PROCEEDINGS{ Kreowski:91b, editor = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Rozenberg, Grzegorz}, title = {Proc.\ 4th International Workshop on Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, year = {1991}, publisher = {Springer} } @ARTICLE{ Habel-Kreowski-Plump:91, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Plump, Detlef}, title = {Jungle Evalutation}, journal = {Fundamenta Informaticae}, volume = {15}, number = {1}, pages = {37--60}, year = {1991} } @ARTICLE{ Habel-Kreowski-Vogler:91, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Vogler, Walter}, title = {Dedicable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement}, journal = {Theoretical Computer Science}, volume = {89}, pages = {33--62}, year = {1991} } @ARTICLE{ Ehrig-Habel-Kreowski-Parisi-Presicce:91, author = {Ehrig, Hartmut and Habel, Annegret and Kreowski, Hans-J{\"o}rg and Parisi-Presicce, Francesco}, title = {Parallelism and Concurrency in High-level Replacement Systems}, journal = {Journal of Mathematical Structures in Computer Science}, volume = {1}, pages = {361--404}, year = {1991} } @INPROCEEDINGS{ Ehrig-Habel-Kreowski-Parisi-Presicce:91a, author = {Ehrig, Hartmut and Habel, Annegret and Kreowski, Hans-J{\"o}rg and Parisi-Presicce, Francesco}, title = {From Graph Grammars to High-Level Replacement Systems}, editor = {Ehrig et al., Hartmut}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {269--291}, year = {1991}, publisher = {Springer} } @INPROCEEDINGS{ Habel-Kreowski:91, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {Collage Grammars}, editor = {Ehrig et al., Hartmut}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {411--429}, year = {1991}, publisher = {Springer} } @INPROCEEDINGS{ Jeltsch-Kreowski:91, author = {Jeltsch, Eric and Kreowski, Hans-J{\"o}rg}, title = {Grammatical Inference Based on Hyperedge Replacement}, editor = {Ehrig et al., Hartmut}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {461--474}, year = {1991}, publisher = {Springer} } @ARTICLE{ Kreowski-Rozenberg:90, author = {Kreowski, Hans-J{\"o}rg and Rozenberg, Grzegorz}, title = {On Structured Graph Grammars -- {P}art {I}}, journal = {Information Sciences}, volume = {52}, pages = {185--210}, year = {1990} } @ARTICLE{ Kreowski-Rozenberg:90a, author = {Kreowski, Hans-J{\"o}rg and Rozenberg, Grzegorz}, title = {On Structured Graph Grammars -- {P}art {II}}, journal = {Information Sciences}, volume = {52}, pages = {211--246}, year = {1990} } @INPROCEEDINGS{ Habel-Kreowski:90, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {Filtering Hyperedge-Replacement Languages Through Compatible Properties}, editor = {Nagl, Manfred}, booktitle = {Proc. Workshop on Graphtheoretical Concepts in Computer Science {WG'89}}, series = {Lecture Notes in Computer Science}, volume = {411}, pages = {107--120}, year = {1990}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski-Qian:90, author = {Kreowski, Hans-J{\"o}rg and Quian, Zhenyu}, title = {Relation-Sorted Specifications with Built-in Coercers: Basic Notions and Results}, booktitle = {Proc.\ Symposium on Theoretical Aspects of Computer Science {STACS'90}}, series = {Lecture Notes in Computer Science}, volume = {415}, pages = {165--175}, year = {1990}, publisher = {Springer} } @BOOK{ Kreowski:89, editor = {Ehrig, Hartmut and Herrlich, Horst and Kreowski, Hans-J{\"o}rg and Preu\ss , Gerhard}, title = {Categorical Methods in Computer Science}, series = {Lecture Notes in Computer Science}, volume = {393}, year = {1989}, publisher = {Springer} } @ARTICLE{ Habel-Kreowski-Vogler:89, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Vogler, Walter}, title = {Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages}, journal = {Acta Informatica}, volume = {26}, pages = {657--677}, year = {1989} } @INPROCEEDINGS{ Habel-Kreowski-Vogler:89a, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Vogler, Walter}, title = {Dedicable Boundedness Problems for Hyperedge Replacement Graph Grammars}, booktitle = {Proc.\ Joint Conference on Theory and Practice of Software Development {TAPSOFT'89}, Vol.\ 1}, series = {Lecture Notes in Computer Science}, volume = {351}, pages = {275--289}, year = {1989}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski:89b, author = {Kreowski, Hans-J{\"o}rg}, title = {Colimits as Parametrerized Data Types}, booktitle = {Proc.\ Workshop on Categorial Methods in Computer Science -- with Aspects from Topology}, series = {Lecture Notes in Computer Science}, volume = {393}, pages = {36--49}, year = {1989}, publisher = {Springer} } @INCOLLECTION{ Kreowski:89a, author = {Kreowski, Hans-J{\"o}rg}, title = {{Informationstechnische Grundbildung f{\"u}r alle ist Unfug}}, editor = {Rauner, Felix and Ruth, Julie K.}, booktitle = {Informationstechnische Grundbildung zwischen Affirmation und Gestaltungskompetenz}, pages = {27--38}, year = {1989}, publisher = {Leuchtturm-Verlag}, address = {Alsbach} } @INPROCEEDINGS{ Habel-Kreowski:88, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {Pretty Patterns Produced by Hyperedge Replacement}, booktitle = {Proc.\ Workshop on Graphtheoretical Concepts in Computer Science {WG'87}}, series = {Lecture Notes in Computer Science}, volume = {314}, pages = {32--45}, year = {1988}, publisher = {Springer} } @INPROCEEDINGS{ Habel-Kreowski-Plump:88, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Plump, Detlef}, title = {Jungle Evalutation}, booktitle = {Proc.\ International Workshop on Abstract Data Types {ADT'87}}, series = {Lecture Notes in Computer Science}, volume = {332}, pages = {92--112}, year = {1988}, publisher = {Springer} } @ARTICLE{ Habel-Kreowski:87, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {Characteristics of Graph Languages Generated by Edge Replacement}, journal = {Theoretical Computer Science}, volume = {51}, number = {1/2}, pages = {81--115}, year = {1987} } @INPROCEEDINGS{ Habel-Kreowski:87b, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement}, booktitle = {Proc.\ Symposium on Theoretical Aspects of Computer Science {STACS'87}(Passau)}, series = {Lecture Notes in Computer Science}, volume = {247}, pages = {207--219}, year = {1987}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski:87b, author = {Kreowski, Hans-J{\"o}rg}, title = {Partial Algebras Flow from Algebraic Specification}, booktitle = {Proc.\ International Conference on Automata, Languages and Programming {ICALP'87}}, series = {Lecture Notes in Computer Science}, volume = {267}, pages = {521--530}, year = {1987}, publisher = {Springer} } @INPROCEEDINGS{ Habel-Kreowski:87a, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {May We Introduce to You: Hyperedge Replacement}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science {GRAGRA'86}}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {15--26}, year = {1987}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski:87a, author = {Kreowski, Hans-J{\"o}rg}, title = {Is Parallelism Already Concurrency? {P}art 1: Derivations in Graph Grammars}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science {GRAGRA'86}}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {343--360}, year = {1987}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski-Wilharm:87, author = {Kreowski, Hans-J{\"o}rg and Wilharm, Anne}, title = {Is Parallelism Already Concurrency? {P}art 2: Non-sequential Processes in Graph Grammars}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science {GRAGRA'86}}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {361--377}, year = {1987}, publisher = {Springer} } @INCOLLECTION{ Kreowski:87, author = {Kreowski, Hans-J\"org}, title = {{Informatik und Milit{\"a}r: Zusammen in den Abgrund}}, editor = {L{\"o}we, Michael and Schmidt, Manfred and Wilhelm, Reinhard}, booktitle = {Umdenken in der Informatik}, pages = {37--42}, year = {1987}, publisher = {Verlag f{\"u}r Ausbildung und Studium in der Elefanten Press}, address = {Berlin} } @TECHREPORT{ Franck-Gerloff-Hardt-Kreowski.ea:87, author = {Franck, Reinhold and Gerloff, Brian J. and Hardt, Roland and Isle, Rainer and Kreowski, Hans-J{\"o}rg and Kuhlmann, Inger and L{\"o}hr, Klaus-Peter and Voet, Richard and Wilharm, Anne}, title = {{Informatik 2000, Kampf um M{\"a}rkte und Vorherrschaft}}, year = {1987}, institution = {Universit{\"a}t Bremen}, type = {Informatik-Bericht}, number = {5}, note = {41 Seiten} } @ARTICLE{ Kreowski-Wilharm:86, author = {Kreowski, Hans-J{\"o}rg and Wilharm, Anne}, title = {Net Processes Correspond to Derivation Processes in Graph Grammars}, journal = {Theoretical Computer Science}, volume = {44}, pages = {275--305}, year = {1986} } @INCOLLECTION{ Kreowski:86, author = {Kreowski, Hans-J{\"o}rg}, title = {Rule Trees Represent Derivations in Edge Replacement Systems}, editor = {Rozenberg, Grzegorz and Salomaa, Arto}, booktitle = {The book of L}, pages = {217--232}, year = {1986}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski-Wilharm:85, author = {Kreowski, Hans-J{\"o}rg and Wilharm, Anne}, title = {Solving Conflicts in Graph Grammars Derivation Processes}, booktitle = {Proc.\ Workshop Graphtheoretical Concepts in Computer Science {WG'85} (W\"urzburg, June 1985)}, pages = {161--179}, year = {1985}, publisher = {Trauner Verlag}, address = {Linz} } @PROCEEDINGS{ Kreowski:85, editor = {Kreowski, Hans-J{\"o}rg}, title = {Recent Trends in Data Type Specification -- Selected Papers of the 3rd Workshop on Theory and Applications on Abstract Data Types}, series = {Informatik-Fachberichte}, volume = {116}, year = {1985} } @ARTICLE{ Kreowski-Rozenberg:84, author = {Kreowski, Hans-J{\"o}rg and Rozenberg, Grzegorz}, title = {Note on Node-rewriting Graph Grammars}, journal = {Information Processing Letters}, volume = {18}, pages = {21--24}, year = {1984} } @INPROCEEDINGS{ Kreowski-Wilharm:84, author = {Kreowski, Hans-J{\"o}rg and Wilharm, Anne}, title = {Processes on Petri Nets and Graph Grammars: A Summary}, booktitle = {Proc.\ Workshop on Graphtheoretical Concepts in Computer Science {WG'84} (Berlin, 1984)}, pages = {189--200}, year = {1984}, publisher = {Trauner Verlag}, address = {Linz} } @ARTICLE{ Kreowski-Schmidt:84, author = {Kreowski, Hans-J{\"o}rg and Schmidt, Heinz-Wilhelm}, title = {Some Algebraic Concepts of the Specification Language {SEGRAS} and Their Initial Semantics}, journal = {GMD-Studien}, volume = {93}, year = {Okt. 1984} } @INPROCEEDINGS{ Habel-Kreowski:83, author = {Habel, Annegret and Kreowski, Hans-J{\"o}rg}, title = {On Context-free Graph Languages Generated by Edge Replacement}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science (Osnabr{\"u}ck, Oct.\ 1982)}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {143--158}, year = {1983}, publisher = {Springer} } @ARTICLE{ Ehrig-Kreowski:83, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Compatability of Parameter Passing and Implementation of Parameterized Data Types}, journal = {Theoretical Computer Science}, volume = {27}, pages = {255--286}, year = {1983} } @INPROCEEDINGS{ Kreowski:83, author = {Kreowski, Hans-J{\"o}rg}, title = {Graph Grammar Derivation Processes}, booktitle = {Proc.\ Workshop on Graphtheoretical Concepts in Computer Science {WG'83} (Osnabr{\"u}ck, June 1983)}, pages = {136--150}, year = {1983}, publisher = {Trauner Verlag}, address = {Linz} } @INPROCEEDINGS{ Ehrig-Kreowski-Thatcher-Wagner.ea:82, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Thatcher, James and Wagner, Eric and Wright, Jesse}, title = {Parameter Passing in Algebraic Specification Languages}, booktitle = {Proc.\ Workshop on Program Specification (Aarhus, 1981)}, series = {Lecture Notes in Computer Science}, volume = {134}, pages = {322--369}, year = {1982}, publisher = {Springer}, note = {(Draft version) also appeared in: \emph{Theoretical Computer Science} Vol.\ 28, 45--81, 1984} } @ARTICLE{ Ehrig-Kreowski-Mahr-Padawitz:82, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Mahr, Bernd and Padawitz, Peter}, title = {Algebraic Implementation of Abstract Data Types}, journal = {Theoretical Computer Science}, volume = {20}, number = {3}, pages = {209--263}, year = {1982} } @INPROCEEDINGS{ Ehrig-Kreowski:82, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Keywords in Context: An Algebraic Specification}, booktitle = {Proc.\ Workshop on Program Specification (Aarhus, 1981)}, series = {Lecture Notes in Computer Science}, volume = {134}, pages = {73--83}, year = {1982}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski:82a, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Parameter Passing Commutes with Implementation of Parameterized Data Types}, booktitle = {Proc.\ International Conference on Automata, Languages and Programming {ICALP'}82 (Aarhus)}, series = {Lecture Notes in Computer Science}, volume = {140}, pages = {197--211}, year = {1982}, publisher = {Springer} } @ARTICLE{ Ehrig-Kreowski-Maggiolo.ea:81, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Maggiolo-Schettini, Andrea and Rosen, Barry K. and Winkowski, Jozef}, title = {Transformations of Structures: An Algebraic Approach}, journal = {Math.\ Systems Theory}, volume = {14}, pages = {305--334}, year = {1981} } @INPROCEEDINGS{ Kreowski:81, author = {Kreowski, Hans-J{\"o}rg}, title = {A Comparision Between Petri-Nets and Graph Grammars}, booktitle = {Proc.\ Workshop {WG'80} on Graphtheoretic Concepts in Computer Science (Bad Honnef, June 1980)}, series = {Lecture Notes in Computer Science}, volume = {100}, pages = {306--317}, year = {1981}, publisher = {Springer} } @INPROCEEDINGS{ Kreowski:81a, author = {Kreowski, Hans-J{\"o}rg}, title = {{Algebraische Spezifikation von Softwaresystemen}}, booktitle = {{Proc.\ {GACM}-Konferenz Software Engineering -- Entwurf und Spezifikation (Berlin, Sept. 1980)}}, series = {Berichte des German Chapter of the {ACM}}, pages = {46--74}, volume = {5}, year = {1981}, publisher = {Teubner}, address = {Stuttgart} } @INPROCEEDINGS{ Ehrig-Fey-Kreowski:81, author = {Ehrig, Hartmut and Fey, Werner and Kreowski, Hans-J{\"o}rg}, title = {{Algebraische Spezifikation eines St\"ucklistensystems -- eine Fallstudie}}, booktitle = {Proc.\ {GACM}-Konferenz Software Engineering -- Entwurf und Spezifikation (Berlin, Sept.\ 1980)}, series = {Berichte des German Chapter of the {ACM}}, pages = {75--90}, volume = {5}, year = {1981}, publisher = {Teubner}, address = {Stuttgart} } @INPROCEEDINGS{ Kreowski-Rozenberg:81, author = {Kreowski, Hans-J{\"o}rg and Rozenberg, Grzegorz}, title = {On the Constructive Description of Graph Languages Accepted by Finite Automata}, booktitle = {Proc.\ Conference {MFCS'81} (Strbske Pleso, Aug./Sept.\ 1981)}, series = {Lecture Notes in Computer Science}, volume = {118}, pages = {398--409}, year = {1981}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski:80, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {A Graph Grammar Approach to Optimal and Consistent Schedules in Data Base Systems}, booktitle = {Proc.\ Workshop {WG'79} Graphentheoretische Konzepte in der Informatik (Berlin 1979}, editor = {Pape, Uwe}, series = {Discrete Structures and Algorithms}, pages = {223--240}, year = {1980}, publisher = {Hanser} } @INPROCEEDINGS{ Ehrig-Kreowski-Padawitz:80, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Padawitz, Peter}, title = {Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness}, booktitle = {Proc.\ International Conference on Automata, Languages and Programming (Noordwijkerhout, July 1980)}, series = {Lecture Notes in Computer Science}, volume = {85}, pages = {142--156}, year = {1980}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski-Mahr-Padawitz:80, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Mahr, Bernd and Padawitz, Peter}, title = {Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems}, booktitle = {Proc.\ Conference Math. Foundations of Computer Science (Rydzyna, Sept.\ 1980)}, series = {Lecture Notes in Computer Science}, volume = {88}, pages = {231--245}, year = {1980}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski-Padawitz:80a, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Padawitz, Peter}, title = {A Case Study of Abstract Implementations and Their Correctness}, booktitle = {Proc.\ Symposium on Programming (Paris, April 1980)}, series = {Lecture Notes in Computer Science}, volume = {83}, pages = {108--122}, year = {1980}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski-Thatcher-Wagner.ea:80, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Thatcher, James W. and Wagner, Eric and Wright, Jesse}, title = {Parameterized Data Types in Algebraic Specification Languages}, booktitle = {Proc.\ International Conference on Automata, Languages and Programming (Noordwijkerhout, July 1980)}, series = {Lecture Notes in Computer Science}, volume = {85}, pages = {157--168}, year = {1980}, publisher = {Springer} } @ARTICLE{ Ehrig-Kreowski:80a, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems}, journal = {Information Systems}, volume = {5}, pages = {225--238}, year = {1980} } @ARTICLE{ Ehrig-Kreowski:79, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {The Skeleton of Minimal Realization}, journal = {Studien zur Algebra und ihre Anwendungen}, volume = {7}, pages = {137--154}, year = {1979} } @ARTICLE{ Ehrig-Kreowski:79b, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Pushout-Properties: An Analysis of Gluing Constructions for Graphs}, journal = {Mathematische Nachrichten}, volume = {91}, pages = {135--149}, year = {1979} } @INPROCEEDINGS{ Ehrig-Kreowski:79c, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Algebraic Theory of Graph Grammars Applied to Consistency and Synchronization in Data Base Systems}, booktitle = {Proc.\ Workshop {WG'78} Graphentheoretische Konzepte in der Informatik (Feuerstein 1978)}, series = {Applied Computer Science}, volume = {13}, pages = {227--244}, year = {1979}, publisher = {Hanser} } @INPROCEEDINGS{ Kreowski:78, author = {Kreowski, Hans-J{\"o}rg}, title = {A Pumping Lemma for Context-free Graph Languages}, booktitle = {Proc.\ International Workshop on Graph Grammars and Their Application to Computer Science and Biology (Bad Honnef, 1978)}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {270--283}, year = {1979}, publisher = {Springer} } @ARTICLE{ Ehrig-Kreowski-Padawitz:79, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Padawitz, Peter}, title = {Algebraic Implementation of Abstract Data Types: An Announcement}, journal = {{SIGACT} News}, volume = {11}, number = {2}, pages = {25--29}, year = {1979} } @INPROCEEDINGS{ Ehrig-Kreowski-Weber:79, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Weber, Herbert}, title = {{Neue Aspekte algebraischer Spezifikationsschemata f{\"u}r Datenbanksysteme}}, booktitle = {{Proc.\ {GI}-Fachtagung Formale Modelle f{\"u}r Informationssysteme (Tutzing 1979)}}, series = {Informatik-Fachberichte}, volume = {21}, pages = {181--198}, year = {1979}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski-Padawitz:78, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Padawitz, Peter}, title = {Stepwise Specification and Implementation of Abstract Data Types}, booktitle = {Proc.\ International Conference on Automata, Languages and Programming (Udine, July 1978)}, series = {Lecture Notes in Computer Science}, volume = {62}, pages = {205--226}, year = {1978}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski-Maggiolo.ea:78, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Maggiolo-Schettini, Andrea and Rosen, Barry K. and Winkowski, Jozef}, title = {Deriving Structures from Structures}, booktitle = {Proc.\ 7th International Symposium on Math. Foundations of Computer Science (Zakopane, 1978)}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {177--190}, year = {1978}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski-Weber:78, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Weber, Herbert}, title = {Algebraic Specification Schemes for Data Base Systems}, booktitle = {Proc.\ 4th International Conference on Very Large Data Bases (Berlin, Sept.\ 1978)}, pages = {427--440}, year = {1978} } @PHDTHESIS{ Kreowski:78a, author = {Kreowski, Hans-J{\"o}rg}, title = {{Manipulationen von Graphmanipulationen}}, year = {1978}, school = {Univ.\ Berlin}, note = {Dissertation, Fachbereich Informatik} } @INPROCEEDINGS{ Kreowski:77, author = {Kreowski, Hans-J{\"o}rg}, title = {Transformation of Derivation Sequences in Graph Grammars}, booktitle = {Proc.\ Conference Fundamentals of Computation Theory (Poznan-Kornik, Sept. 1977)}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {275--286}, year = {1977}, publisher = {Springer} } @ARTICLE{ Ehrig-Kreowski:76, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Systematic Approach of Reduction and Minimization in Automata and Systems Theory}, journal = {Computer Systems Science}, volume = {12}, number = {3}, pages = {269--304}, year = {1976} } @INPROCEEDINGS{ Ehrig-Kreowski:76a, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Parallel Graph Grammars}, editor = {Lindenmayer, Aristid and Rozenberg, Grzegorz}, booktitle = {Proc.\ Automata, Languages, Development }, pages = {425--442}, year = {1976}, publisher = {North-Holland}, address = {Amsterdam} } @INPROCEEDINGS{ Ehrig-Kreowski:76b, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg }, title = {Categorial Approach to Graphic Systems and Graph Grammars}, booktitle = {Proc.\ Algebraic System Theory (Udine, 1975)}, series = {Lecture Notes in Econ. Math. Systems}, volume = {131}, pages = {323--351}, year = {1976}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski:76c, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Minimization Concepts of Automata in Pseudoclosed Categories}, booktitle = {Proc.\ Algebraic System Theory (Udine, 1975)}, series = {Lecture Notes in Econ. Math. Systems}, volume = {131}, pages = {359--374}, year = {1976}, publisher = {Springer} } @INPROCEEDINGS{ Ehrig-Kreowski:76d, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Parallelism of Manipulations in Multidimensional Information Structures}, booktitle = {Proc.\ Conference Math. Foundations of Computer Science (Gdansk)}, series = {Lecture Notes in Computer Science}, volume = {45}, pages = {284--293}, year = {1976}, publisher = {Springer} } @ARTICLE{ Ehrig-Kreowski-Pfender:74, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg and Pfender, Michael}, title = {{Kategorielle Theorie der Reduktion, Minimierung und {\"A}quivalenz von Automaten}}, journal = {Mathematische Nachrichten}, volume = {59}, pages = {105--124}, year = {1974} } @INPROCEEDINGS{ Ehrig-Kreowski:74, author = {Ehrig, Hartmut and Kreowski, Hans-J{\"o}rg}, title = {Power and Initial Automata in Pseudoclosed Categories}, booktitle = {Proc.\ First International Symposium Category Theory Applied to Computation and Control (San Francisco)}, series = {Lecture Notes in Computer Science}, volume = {25}, pages = {144--150}, year = {1974}, publisher = {Springer} } @BOOK{ Ehrig-Kiermeier-Kreowski-Kuehnel:74, editor = {Ehrig, Hartmut and Kiermeier, Klaus-Dieter and Kreowski, Hans-J{\"o}rg and K{\"u}hnel, Wolfgang}, title = {Universal Theory of Automata: A Categorical Approach}, year = {1974}, publisher = {Teubner}, address = {Stuttgart} }