sign in · help · news · about ·

BibSonomy :: author :: Kreowski ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(143)

<< < 1 | 2 | 3 > >>

Reading words in graphs generated by hyperedge replacement.
Frank Drewes, and Hans-Jörg Kreowski Where Mathematics, Computer Science, Linguistics and Biology Meet, page 243-252. Kluwer Academic Publishers, (2001)
to dblp by dblp on Dec 9, 2011, 12:00 AM
URL | BibTeX
Preface.
Andrea Corradini, and Hans-Jörg Kreowski Fundam. Inform. (2003)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Un-Decidability of Geometric Properties of Pictures Generated by Collage Grammars.
Frank Drewes, and Hans-Jörg Kreowski Fundam. Inform. 25(3):295-325 (1996)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
A Comparison of Compatible, Finite, and Inductive Graph Properties.
Annegret Habel, Hans-Jörg Kreowski, and Clemens Lautemann Theor. Comput. Sci. 110(1):145-168 (1993)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Characteristics of Graph Languages Generated by Edge Replacement.
Annegret Habel, and Hans-Jörg Kreowski Theor. Comput. Sci. (1987)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement.
Annegret Habel, Hans-Jörg Kreowski, and Walter Vogler Theor. Comput. Sci. 89(1):33-62 (1991)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Parameter Passing in Algebraic Specification Languages.
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, and Jesse B. Wright Theor. Comput. Sci. (1984)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Compatibility of Parameter Passing and Implementation of Parameterized Data Types.
Hartmut Ehrig, and Hans-Jörg Kreowski Theor. Comput. Sci. (1983)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Net Processes Correspond to Derivation Processes in Graph Grammars.
Hans-Jörg Kreowski, and Anne Wilharm Theor. Comput. Sci. (1986)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Criteria to disprove context freeness of collage languages.
Frank Drewes, Hans-Jörg Kreowski, and Denis Lapoire Theor. Comput. Sci. 290(3):1445-1458 (2003)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Algebraic Implementation of Abstract Data Types.
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, and Peter Padawitz Theor. Comput. Sci. (1982)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Graph Transformation for Specification and Programming.
Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer Sci. Comput. Program. 34(1):1-54 (1999)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Universal theory of automata - a categorial approach.
Hartmut Ehrig, Klaus-Dieter Kiermeier, Hans-Jörg Kreowski, and Wolfgang Kühnel Teubner Studienbücher Teubner, (1974)
to dblp by dblp on Aug 26, 2011, 12:00 AM
BibTeX
Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems.
Hartmut Ehrig, and Hans-Jörg Kreowski Inf. Syst. 5(3):225-238 (1980)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Typing of Graph Transformation Units.
Renate Klempien-Hinrichs, Hans-Jörg Kreowski, and Sabine Kuske ICGT, volume 3256 of Lecture Notes in Computer Science, page 112-127. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Main Concepts of Networks of Transformation Units with Interlinking Semantics.
Dirk Janssens, Hans-Jörg Kreowski, and Grzegorz Rozenberg Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 325-342. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Loose Semantics of Petri Nets.
Julia Padberg, and Hans-Jörg Kreowski Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 370-384. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Note on Node-Rewriting Graph Grammars.
Hans-Jörg Kreowski, and Grzegorz Rozenberg Inf. Process. Lett. 18(1):21-24 (1984)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams.
Björn Cordes, Karsten Hölscher, and Hans-Jörg Kreowski AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 275-291. Springer, (2003)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Systematic Approach to Reduction and Minimization in Automata and System Theory.
Hartmut Ehrig, and Hans-Jörg Kreowski J. Comput. Syst. Sci. 12(3):269-304 (1976)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper