@INPROCEEDINGS{ Corradini-Drewes:11, author = {Corradini, Andrea and Drewes, Frank}, title = {Term Graph Rewriting and Parallel Term Rewriting}, booktitle = {Proc.\ 6th Intl.\ Workshop on Computing with Terms and Graphs (TERMGRAPH~2011)}, series = {Electronic Proceedings in Theoretical Computer Science}, year = {2011}, note = {To appear}, added = {2011-02-09-12-55-21} } @INPROCEEDINGS{ Bensch-Bjoerklund-Drewes:10, author = {Bensch, Suna and Bj{\"o}rklund, Henrik and Drewes, Frank}, title = {Algorithmic Properties of Millstream Systems}, editor = {Gao, Y. and Lu, H. and Seki, S. and Yu, S.}, booktitle = {Proc.\ 14th Intl.\ Conf.\ on Developments in Language Theory (DLT~2010)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {6224}, pages = {54--65}, year = {2010}, publisher = {Springer}, added = {"2010-04-09-13-55-10"} } @INPROCEEDINGS{ Bensch-Drewes:10, author = {Bensch, Suna and Drewes, Frank}, title = {Millstream Systems -- a Formal Model for Linking Language Modules by Interfaces}, editor = {Drewes, F. and Kuhlmann, M.}, booktitle = {Proc.\ ACL 2010 Workshop on Applications of Tree Automata in Natural Language Processing (ATANLP~2010)}, year = {2010}, publisher = {The Association for Computer Linguistics}, added = {"2010-05-19-11-01-00"} } @INPROCEEDINGS{ Berglund-Drewes:10, author = {Berglund, Martin and Drewes, Frank}, title = {On the Complexity of Variants of the $k$ Best Strings Problem}, editor = {Holub, J. and \u{Z}d'\'arek}, booktitle = {Proc.\ Prague Stringology Conference 2010 (PSC~2010)}, pages = {76--88}, year = {2010}, added = {2010-06-29-10-48-49} } @ARTICLE{ Drewes-Hoffmann-Janssens.ea:10, author = {Drewes, Frank and Hoffmann, Berthold and Janssens, Dirk and Minas, Mark}, title = {Adaptive Star Grammars and Their Languages}, journal = {Theoretical Computer Science}, year = {2010}, note = {To appear}, added = {"2009-09-25-15-36-03"} } @ARTICLE{ Drewes:10, author = {Drewes, Frank}, title = {Towards the Tree Automata Workbench \textsc{Marbles}}, journal = {Electronic Communications of the {EASST}}, volume = {16}, pages = {16 pages}, year = {2010}, added = {"2010-04-09-13-49-58"} } @TECHREPORT{ Bensch-Drewes:09, author = {Bensch, Suna and Drewes, Frank}, title = {Millstream Systems}, number = {UMINF~09.21}, year = {2009}, institution = {Ume\aa{} University}, type = {Report}, added = {"2009-12-03-12-40-52"} } @BOOK{ Drewes-Habel-Hoffmann.ea:09, title = {Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday}, editor = {Drewes, Frank and Habel, Annegret and Hoffmann, Berthold and Plump, Detlef}, year = {2009}, added = {"2009-09-25-15-36-03"} } @TECHREPORT{ Drewes-Hoegberg-Maletti:09, author = {Drewes, Frank and H\"ogberg, Johanna and Maletti, Andreas}, title = {{MAT} Learners for Tree Series -- an Abstract Data Type and Two Realizations}, number = {UMINF~09.22}, year = {2009}, institution = {Ume\aa{} University}, type = {Report}, added = {"2009-12-17-11-36-37"} } @ARTICLE{ Drewes:09, author = {Drewes, Frank}, title = {MAT Learners for Recognizable Tree Languages and Tree Series}, journal = {Acta Cybernetica}, volume = {19}, pages = {249--274}, year = {2009}, added = {"2009-04-14-13-53-44"} } @INCOLLECTION{ Drewes:09b, author = {Drewes, Frank}, title = {Towards the Tree Automata Workbench \textsc{Marbles}}, editor = {Drewes, Frank and Habel, Annegret and Hoffmann, Berthold and Plump, Detlef}, booktitle = {Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday}, pages = {83--98}, year = {2009}, added = {"2009-09-25-15-36-03"} } @INPROCEEDINGS{ Drewes-Eetvelde-Hoffmann.ea:08, author = {Drewes, Frank and Eetvelde, Niels and Hoffmann, Berthold and Janssens, Dirk and Minas, Mark}, title = {Shaped Generic Graph Transformation}, editor = {Sch\"urr, A. and Nagl, M. and Z\"undorf, A.}, booktitle = {Proc.\ 3rd Intl.\ Symp.\ Applications of Graph Transformation with Industrial Relevance (AGTIVE~2007)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {5088}, pages = {201--216}, year = {2008}, publisher = {Springer}, added = {"2008-02-11-09-16-33"} } @ARTICLE{ Drewes-Ewert-Merwe.ea:08, author = {Drewes, Frank and Ewert, Sigrid and van der Merwe, Brink and du Toit, Christine and van der Walt, Andries}, title = {Bag Context Tree Grammars}, journal = {Fundamenta Informaticae}, volume = {86}, pages = {459--480}, year = {2008}, added = {2008-04-10-17-35-44} } @TECHREPORT{ Drewes-Hoffmann-Janssens.ea:08, author = {Drewes, Frank and Hoffmann, Berthold and Janssens, Dirk and Minas, Mark}, title = {Adaptive Star Grammars and Their Languages}, number = {2008-01}, year = {2008}, institution = {Departement Wiskunde-Informatica, Universiteit Antwerpen}, type = {Technical Report}, added = {2008-08-01-10-37-33} } @INPROCEEDINGS{ Drewes-Hoffmann-Minas:08, author = { Drewes, Frank and Hoffmann, Berthold and Minas, Mark}, title = {Adaptive Star Grammars for Graph Models}, editor = {Heckel, R. and Taentzer, G.}, booktitle = {Proc.\ 4th International Conference on Graph Transformation (ICGT 2008)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {5214}, pages = {442--457}, year = {2008}, publisher = {Springer}, added = {2008-08-01-10-29-04} } @ARTICLE{ Drewes-Merwe:08, author = {Drewes, Frank and van der Merwe, Brink}, title = {Path Languages of rpc Tree Grammars are Regular}, journal = {Fundamenta Informaticae}, volume = {82}, pages = {47--60}, year = {2008}, added = {"2007-06-14-16-49-07"} } @INPROCEEDINGS{ Drewes-Eetvelde-Hoffmann.ea:07, author = {Drewes, Frank and Eetvelde, Niels and Hoffmann, Berthold and Janssens, Dirk and Minas, Mark}, title = {Shaped Generic Graph Transformation}, editor = {Sch\"urr, A. and Nagl, M. and Z\"undorf, A.}, booktitle = {Preproceedings 3rd Intl.\ Symp.\ Applications of Graph Transformation with Industrial Relevance (AGTIVE~2007)}, pages = {197--212}, year = {2007}, added = {"2007-06-14-16-49-07"} } @ARTICLE{ Drewes-Hoegberg:07, author = {Drewes, Frank and H\"ogberg, Johanna}, title = {Query Learning of Regular Tree Languages: How to Avoid Dead States}, journal = {Theory of Computing Systems}, volume = {40}, pages = {163--185}, year = {2007}, added = {2005-02-28-13-07-21} } @INPROCEEDINGS{ Drewes-Hoegberg:07b, author = {Drewes, Frank and H\"ogberg, Johanna}, title = {An Algebra for Tree-Based Music Generation}, editor = {S. Bozapalidis and G. Rahonis}, booktitle = {Proc.\ 2nd International Conference on Algebraic Informatics (CAI 2007)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {4728}, pages = {172--188}, year = {2007}, added = {2007-02-28-19-08-42} } @UNPUBLISHED{ Drewes-Totth:07, author = {Drewes, Frank and Totth, Carolina von}, title = {Constraint-Based Design Grammars}, year = {2007}, note = {Unpublished manuscript}, added = {"2007-06-14-16-52-09"} } @ARTICLE{ Drewes-Vogler:07, author = {Drewes, Frank and Vogler, Heiko}, title = {Learning Deterministically Recognizable Tree Series}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {12}, pages = {333--354}, year = {2007}, added = {2006-12-29-08-24-54} } @ARTICLE{ Drewes:07, author = {Drewes, Frank}, title = {Links}, journal = {International Journal of Foundations of Computer Science}, volume = {18}, pages = {1187--1196}, year = {2007}, added = {2006-12-29-08-24-54} } @TECHREPORT{ Drewes:07b, author = {Drewes, Frank}, title = {Delegation Networks}, number = {UMINF~07.04}, year = {2007}, institution = {Ume\aa{} University}, type = {Report}, added = {2007-02-20-15-39-03} } @INPROCEEDINGS{ Drewes:07c, author = {Drewes, Frank}, title = {From Tree-Based Generation to Delegation Networks}, editor = {S. Bozapalidis and G. Rahonis}, booktitle = {Proc.\ 2nd International Conference on Algebraic Informatics (CAI 2007)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {4728}, pages = {48--72}, year = {2007}, added = {"2007-06-25-13-33-59"} } @TECHREPORT{ Drewes-Ewert-Hoegberg.ea:06, author = {Drewes, Frank and Ewert, Sigrid and H\"ogberg, Johanna and van der Merwe, Brink and du Toit, Christine and van der Walt, Andries}, title = {Bag Context Tree Grammars}, number = {UMINF~06.03}, year = {2006}, institution = {Ume\aa{} University}, type = {Report}, added = {2006-02-13-12-59-35} } @INPROCEEDINGS{ Drewes-Ewert-Merwe.ea:06, author = {Drewes, Frank and Ewert, Sigrid and van der Merwe, Brink and du Toit, Christine and van der Walt, Andries}, title = {Bag Context Tree Grammars}, editor = {Z. Dang and O.H. Ibarra}, booktitle = {Proc.\ 10th Intl.\ Conf.\ on Developments in Language Theory (DLT 2006)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {4036}, pages = {226--237}, year = {2006}, added = {2006-03-24-16-26-58} } @INPROCEEDINGS{ Drewes-Hoegberg:06, author = {Drewes, Frank and H\"ogberg, Johanna}, title = {Extensions of a {MAT} Learner for Regular Tree Languages}, editor = {Minock, M.J. and Eklund, P. and Lindgren, H.}, booktitle = {Proc.\ 23rd Annual Workshop of the Swedish Artificial Intelligence Society (SAIS~2006)}, pages = {35--44}, year = {2006}, added = {2006-04-21-16-23-49} } @INPROCEEDINGS{ Drewes-Hoffmann-Janssens.ea:06, author = { Drewes, Frank and Hoffmann, Berthold and Janssens, Dirk and Minas, Mark and Eetvelde, Niels Van}, title = {Adaptive Star Grammars}, editor = {Corradini and Ehrig and Montanari and Ribeiro and Rozenberg}, booktitle = {Proc.\ 3rd International Conference on Graph Transformation (ICGT 2006)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {4178}, pages = {77--91}, year = {2006}, publisher = {Springer}, added = {2006-06-11-16-35-55} } @TECHREPORT{ Drewes-Vogler:06, author = {Drewes, Frank and Vogler, Heiko}, title = {Learning Deterministically Recognizable Tree Series}, number = {UMINF~06.27}, year = {2006}, institution = {Ume\aa{} University}, type = {Report}, note = {To appear in JALC}, added = {2006-06-14-20-30-49} } @BOOK{ Drewes:06, author = {Drewes, Frank}, title = {Grammatical Picture Generation -- A Tree-Based Approach}, series = {Texts in Theoretical Computer Science. An {EATCS} Series}, year = {2006}, publisher = {Springer}, added = {2004-04-09-15-52-24} } @TECHREPORT{ Drewes-Ewert-Hoegberg.ea:05, author = {Drewes, Frank and Ewert, Sigrid and H\"ogberg, Johanna and van der Merwe, Brink and du Toit, Christine and van der Walt, Andries}, title = {Random Context Tree Grammars and Tree Transducers}, number = {UMINF~05.02}, year = {2005}, institution = {Ume\aa{} University}, type = {Report}, added = {2005-02-28-12-59-35} } @ARTICLE{ Drewes-Ewert-Hoegberg.ea:05b, author = {Drewes, Frank and Ewert, Sigrid and H\"ogberg, Johanna and van der Merwe, Brink and du Toit, Christine and Walt, Andries P.J. van der}, title = {Random Context Tree Grammars and Tree Transducers}, journal = {South African Computer Journal}, volume = {34}, pages = {11--25}, year = {2005}, added = {2005-07-17-12-59-35} } @INPROCEEDINGS{ Drewes-Hoffmann-Klein.ea:05, author = {Drewes, Frank and Hoffmann, Berthold and Klein, Raimund and Minas, Mark}, title = {Rule-Based Programming with Diaplan}, editor = {T. Mens and A. Sch\"urr and G. Taentzer}, booktitle = {Proceedings of the Workshop on Graph Based Tools}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, pages = {15--26}, year = {2005}, added = {2004-09-24-10-46-30} } @TECHREPORT{ Drewes-Merwe:05, author = {Drewes, Frank and van der Merwe, Brink}, title = {Path Languages of rpc Tree Grammars are Regular}, number = {UMINF~05.23}, year = {2005}, institution = {Ume\aa{} University}, type = {Report}, added = {2005-09-04-22-15-09} } @ARTICLE{ Drewes-Engelfriet:04, author = {Drewes, Frank and Engelfriet, Joost}, title = {Branching Synchronization Grammars with Nested Tables}, journal = {Journal of Computer and System Sciences}, volume = {68}, pages = {611--656}, year = {2004}, added = {2003-10-14-12-58-14} } @INPROCEEDINGS{ Drewes-Engelfriet:03, author = {Drewes, Frank and Engelfriet, Joost}, title = {Branching Grammars: A Generalization of {ET0L} Systems}, editor = {\'Esik, Z. and F\"ul\"op, Z.}, booktitle = {Proc.\ Developments in Language Theory 2003}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {2710}, pages = {266--278}, year = {2003}, publisher = {Springer}, added = {2003-04-08-16-04-21} } @ARTICLE{ Drewes-Ewert-Klempien-Hinrichs.ea:03, author = {Drewes, Frank and Ewert, Sigrid and {Klempien-Hinrichs}, Renate and Kreowski, Hans-J\"org}, title = {Computing Raster Images from Grid Picture Grammars}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {8}, pages = {499--519}, year = {2003}, note = {Short version in Proc.\ CIAA 2000}, added = {2003-03-07-15-00-00} } @INPROCEEDINGS{ Drewes-Hoegberg:03, author = {Drewes, Frank and H{\"o}gberg, Johanna}, title = {Learning a Regular Tree Language from a Teacher}, editor = {\'Esik, Z. and F\"ul\"op, Z.}, booktitle = {Proc.\ Developments in Language Theory 2003}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {2710}, pages = {279--291}, year = {2003}, publisher = {Springer}, added = {2003-04-22-12-56-35} } @TECHREPORT{ Drewes-Hoegberg:03b, author = {Drewes, Frank and H\"ogberg, Johanna}, title = {Learning a Regular Tree Language from a Teacher even more Efficiently}, number = {UMINF~03.11}, year = {2003}, institution = {Ume\aa{} University}, type = {Report}, added = {2003-08-27-12-37-20} } @ARTICLE{ Drewes-Hoffmann-Minas:03, author = {Drewes, Frank and Hoffmann, Berthold and Minas, Mark}, title = {Context-Exploiting Shapes for Diagram Transformation}, journal = {Machine {GRAPHICS \& VISION}}, volume = {12}, pages = {117--132}, year = {2003}, added = {2003-04-22-11-43-37} } @ARTICLE{ Drewes-Klempien-Hinrichs-Kreowski:03, author = {Drewes, Frank and {Klempien-Hinrichs}, Renate and Kreowski, Hans-J\"org}, title = {Table-Driven and Context-Sensitive Collage Languages}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {8}, pages = {5--24}, year = {2003}, added = {2002-12-31-17-02-04} } @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}, pages = {1445--1458}, year = {2003}, added = {2001-10-31-18-29-26} } @TECHREPORT{ Drewes-Engelfriet:02, author = {Drewes, Frank and Engelfriet, Joost}, title = {Branching Synchronization Grammars with Nested Tables}, number = {UMINF 02.22}, year = {2002}, institution = {Ume\aa{} University}, type = {Report}, added = {2002-12-27-16-20-43} } @INPROCEEDINGS{ Drewes-Hoffmann-Minas:02, author = {Drewes, Frank and Hoffmann, Berthold and Minas, Mark}, title = {Constructing Shapely Nested Graph Transformations}, editor = {H.-J.\ Kreowski}, booktitle = {Proc.\ Workshop on Applied Graph Transformation}, pages = {107--118}, year = {2002}, added = {2002-02-25-14-25-12} } @ARTICLE{ Drewes-Hoffmann-Plump:02, author = {Drewes, Frank and Hoffmann, Berthold and Plump, Detlef}, title = {Hierarchical Graph Transformation}, journal = {Journal of Computer and System Sciences}, volume = {64}, pages = {249--283}, year = {2002}, note = {Short version in Proc.\ \emph{FOSSACS 2000}, LNCS~1784}, added = {2001-07-25-13-19-01} } @INPROCEEDINGS{ Drewes-Ewert-Klempien-Hinrichs.ea:01, author = {Drewes, Frank and Ewert, Sigrid and {Klempien-Hinrichs}, Renate and Kreowski, Hans-J\"org }, title = {Computing Raster Images from Grid Picture Grammars}, editor = {S. Yu and A. Paun}, booktitle = {Proc.\ 5th Intl.\ Conference on Implementation and Application of Automata (CIAA 2000)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {2088}, pages = {113--121}, year = {2001}, added = {2002-03-18-09-34-44} } @INPROCEEDINGS{ Drewes-Klempien-Hinrichs:01, author = {Frank Drewes and Renate {Klempien-Hinrichs}}, title = {TREEBAG}, editor = {S. Yu and A. Paun}, booktitle = {Proc.\ 5th Intl.\ Conference on Implementation and Application of Automata (CIAA 2000)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {2088}, pages = {329--330}, year = {2001}, added = {2001-03-06-15-27-36} } @INCOLLECTION{ Drewes-Kreowski:01, author = {Drewes, Frank and Kreowski, Hans-J\"org}, title = {Reading Words in Graphs Generated by Hyperedge Replacement}, editor = {{Martin-Vide}, C. and Mitrana, V.}, booktitle = {Where Mathematics, Computer Science, Linguistics and Biology meet}, pages = {243--252}, year = {2001}, publisher = {Kluwer Academic Publishers}, added = {2001-01-22-14-03-00} } @ARTICLE{ Drewes:01, author = {Drewes, Frank}, title = {Tree-Based Generation of Languages of Fractals}, journal = {Theoretical Computer Science}, volume = {262}, pages = {377--414}, year = {2001}, added = {2000-05-09-16-49-14} } @ARTICLE{ Drewes:01b, author = {Drewes, Frank}, title = {The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers}, journal = {Information and Computation}, volume = {169}, pages = {264--283}, year = {2001}, added = {2001-10-30-18-24-30} } @TECHREPORT{ Drewes-Ewert-Klempien-Hinrichs.ea:00, author = {Drewes, Frank and Ewert, Sigrid and {Klempien-Hinrichs}, Renate and Kreowski, Hans-J\"org}, title = {Computing Raster Images from Grid Picture Grammars}, number = {2/00}, year = {2000}, institution = {Univ.\ Bremen}, type = {Report}, note = {Short version appeared in Proc.\ CIAA 2000}, added = {2000-06-14-14-55-46} } @INPROCEEDINGS{ Drewes-Hoffmann-Plump:00, author = {Drewes, Frank and Hoffmann, Berthold and Plump, Detlef}, title = {Hierarchical Graph Transformation}, editor = {Tiuryn, Jerzy}, booktitle = {Proc. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000)}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {1784}, pages = {98--113}, year = {2000}, added = {2000-01-03-12-16-18} } @TECHREPORT{ Drewes-Hoffmann-Plump:00b, author = {Drewes, Frank and Hoffmann, Berthold and Plump, Detlef}, title = {Hierarchical Graph Transformation}, number = {1/00}, year = {2000}, institution = {Univ.\ Bremen}, type = {Report}, note = {Short version in Proc.\ \emph{FOSSACS 2000}, LNCS~1784}, added = {2000-06-14-14-55-46} } @INPROCEEDINGS{ Drewes-Klempien-Hinrichs-Kreowski:00, author = {Drewes, Frank and {Klempien-Hinrichs}, Renate and Kreowski, Hans-J{\"o}rg}, title = {Table-Driven and Context-Sensitive Collage Languages}, editor = {Rozenberg, G. and Thomas, W.}, booktitle = {Proc.\ Developments in Language Theory ({DLT'99})}, pages = {326--337}, year = {2000}, publisher = {World Scientific}, added = {2000-01-03-12-16-18} } @TECHREPORT{ Drewes-Klempien-Hinrichs:00, author = {Drewes, Frank and {Klempien-Hinrichs}, Renate}, title = {Picking Knots from Trees. {T}he Syntactic Structure of Celtic Knotwork}, number = {4/00}, year = {2000}, institution = {Univ.\ Bremen}, type = {Report}, note = {Short version in Proc.\ \emph{Diagrams 2000}, LNAI~1889}, added = {2000-06-14-14-55-46} } @INPROCEEDINGS{ Drewes-Klempien-Hinrichs:00b, author = {Drewes, Frank and {Klempien-Hinrichs}, Renate}, title = {Picking Knots from Trees. {T}he Syntactic Structure of Celtic Knotwork}, editor = {Anderson, M. and Cheng, P. and Haarslev, V.}, booktitle = {Proc.\ Diagrams 2000}, series = {{\upshape Lecture Notes in Artificial Intelligence}}, volume = {1889}, pages = {89--104}, year = {2000}, added = {2000-06-14-14-55-46} } @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.}, booktitle = {Proc.\ Applications of Graph Transformation with Industrial Relevance ({AGTIVE'99})}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {1779}, pages = {15--30}, year = {2000}, added = {2000-01-03-13-38-19} } @INPROCEEDINGS{ Drewes-Knirsch:00, author = {Drewes, Frank and Knirsch, Peter}, title = {TREEBAG -- A Short Presentation}, editor = {Nagl, M. and Sch\"urr, A.}, booktitle = {Proc.\ Applications of Graph Transformation with Industrial Relevance ({AGTIVE'99})}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {1779}, pages = {411--417}, year = {2000}, added = {2000-01-03-12-16-18} } @ARTICLE{ Drewes:00, author = {Drewes, Frank}, title = {Tree-Based Picture Generation}, journal = {Theoretical Computer Science}, volume = {246}, pages = {1--51}, year = {2000}, added = {1999-12-20-15-31-52} } @INPROCEEDINGS{ Drewes:00b, author = {Drewes, Frank}, title = {Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars}, editor = {Ehrig, H. and Engels, G. and Kreowski, H.-J. and Rozenberg, G.}, booktitle = {Proc.\ Sixth Intl.\ Workshop on Theory and Application of Graph Transformations ({TAGT'98})}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {1764}, pages = {1--14}, year = {2000}, added = {2000-01-03-12-16-18} } @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{ Drewes:99, author = {Drewes, Frank}, title = {The Complexity of the Exponential Output Size Problem for Top-Down Tree Transducers}, editor = {Ciobanu, G. and Paun, Gh.}, booktitle = {Proc.\ Fundamentals of Computation Theory ({FCT'99})}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {1684}, pages = {234--245}, year = {1999}, note = {Revised version appeared in \emph{Information and Computation}}, added = {1999-06-04-18-37-20} } @TECHREPORT{ Drewes:99b, author = {Drewes, Frank}, title = {Tree-Based Generation of Languages of Fractals}, number = {2/99}, year = {1999}, institution = {Univ.\ Bremen}, type = {Report}, note = {Revised version appeared in \emph{Theoretical Computer Science}}, added = {2000-01-03-12-16-18} } @TECHREPORT{ Drewes:99c, author = {Drewes, Frank}, title = {The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers}, number = {4/99}, year = {1999}, institution = {Univ.\ Bremen}, type = {Report}, note = {Revised version appeared in \emph{Information and Computation}}, added = {2000-01-26-18-30-16} } @ARTICLE{ Drewes-Engelfriet:98, author = {Drewes, Frank and Engelfriet, Joost}, title = {Decidability of the Finiteness of Ranges of Tree Transductions}, journal = {Information and Computation}, volume = {145}, pages = {1--50}, year = {1998}, added = {1997-12-02-11-38-12} } @ARTICLE{ Drewes:98, author = {Drewes, Frank}, title = {A Characterization of the Sets of Hypertrees Generated by Hyperedge-Replacement Graph Grammars}, journal = {Theory of Computing Systems}, volume = {32}, pages = {159--208}, year = {1998}, added = {1998-03-13-14-52-22} } @INPROCEEDINGS{ Drewes:98b, author = {Drewes, Frank}, title = {Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars}, editor = {Engels, G. and Rozenberg, G.}, booktitle = {Preliminary Proc.\ Sixth Intl.\ Workshop on Theory and Application of Graph Transformations (TAGT '98)}, pages = {425--432}, year = {1998}, note = {Technical Report tr-ri-98-201, University of Paderborn; revised version appeared in LNCS}, added = {1998-06-15-14-59-47} } @TECHREPORT{ Drewes:98c, author = {Drewes, Frank}, title = {\textsc{TREEBAG}---a Tree-Based Generator for Objects of Various Types}, number = {1/98}, year = {1998}, institution = {Univ.\ Bremen}, type = {Report}, added = {1998-06-15-18-54-29} } @TECHREPORT{ Drewes:98d, author = {Drewes, Frank}, title = {Tree-Based Picture Generation}, number = {7/98}, year = {1998}, institution = {Univ.\ Bremen}, type = {Report}, note = {Revised version appeared in \emph{Theoretical Computer Science} 246:1--51}, added = {1998-09-04-15-21-37} } @INPROCEEDINGS{ Drewes:98e, author = {Drewes, Frank}, title = {{\textsc{Treebag} -- Baum-basierte Generierung und Transformation von Objekten}}, editor = {Dassow, J. and Kruse, R.}, booktitle = {Proc.\ Informatik '98}, series = {Informatik Aktuell}, pages = {47--56}, year = {1998}, note = {In German}, added = {1998-09-04-15-21-37} } @TECHREPORT{ Corradini-Drewes:97, author = {Corradini, Andrea and Drewes, Frank}, title = {({C}yclic) Term Graph Rewriting is Adequate for Rational Parallel Term Rewriting}, number = {TR-97-14}, year = {1997}, institution = {Dipartimento di Informatica, Pisa}, added = {1997-09-02-14-32-32} } @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 = {{\upshape Lecture Notes in Computer Science}}, volume = {1279}, pages = {169--178}, year = {1997}, added = {1997-09-01-16-52-31} } @TECHREPORT{ Drewes:97, author = {Drewes, Frank }, title = {A Characterization of the Sets of Hypertrees Generated by Hyperedge-Replacement Graph Grammars}, number = {3/97}, year = {1997}, institution = {Univ.\ Bremen}, type = {Report}, note = {Revised version appeared in \emph{Theory of Computing Systems}}, added = {1997-06-05-10-45-24} } @INPROCEEDINGS{ Drewes:97b, author = {Drewes, Frank}, title = {On the Generation of Trees by Hyperedge Replacement}, editor = {Pr\'{\i}vara, I. and Ru\v{z}i\v{c}ka, P.}, booktitle = {Proc.\ Mathematical Foundations of Computer Science 1997}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {1295}, pages = {229--238}, year = {1997}, note = {Long version appeared in \emph{Theory of Computing Systems}}, added = {1997-09-01-16-52-31} } @TECHREPORT{ Drewes-Engelfriet:96, author = {Drewes, Frank and Engelfriet, Joost}, title = {Decidability of the Finiteness of Ranges of Tree Transductions}, number = {9/96}, year = {1996}, institution = {Univ.\ Bremen}, type = {Report}, note = {Revised version appeared in \emph{Information and Computation}}, added = {1997-02-20-18-26-54} } @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} } @TECHREPORT{ Drewes-Pirr:96, author = {Drewes, Frank and Pirr, Uwe}, title = {{Abstrakte Objekte dreidimensional und interaktiv}}, number = {3/96}, year = {1996}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-07-30-15-47-19} } @ARTICLE{ Drewes:96, author = {Drewes, Frank}, title = {A lower bound on the growth of functions computed by tree transducers}, journal = {Fundamenta Informaticae}, volume = {26}, pages = {267--286}, year = {1996}, note = {Short version in {LNCS} 787 ({CAAP} 94)}, added = {1996-03-28-11-32-12} } @ARTICLE{ Drewes:96b, author = {Drewes, Frank}, title = {Language Theoretic and Algorithmic Properties of $d$-di\-men\-si\-onal Collages and Patterns in a Grid}, journal = {Journal of Computer and System Sciences}, volume = {53}, pages = {33--60}, year = {1996}, added = {1996-03-28-11-32-12} } @INPROCEEDINGS{ Drewes:96c, author = {Drewes, Frank}, title = {On the Connectedness of Pictures Defined by Iterated Function Systems}, editor = {Dassow, J. and Rozenberg, G. and Salomaa, A.}, booktitle = {Proc.\ 2nd Intl.\ Conference on Developments in Language Theory---{A}t the Crossroads of Mathematics, Computer Science and Biology}, pages = {289--298}, year = {1996}, publisher = {World Scientific}, address = {Singapore}, added = {1996-03-28-11-32-12} } @INPROCEEDINGS{ Drewes:96d, author = {Drewes, Frank}, title = {The Use of Tree Transducers to Compute Translations Between Graph Algebras}, editor = {Cuny, J. and Ehrig, H. and Engels, G. and Rozenberg, G.}, booktitle = {Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci.}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {1073}, pages = {196--210}, year = {1996}, publisher = {Springer}, added = {1996-03-28-11-32-12} } @BOOKLET{ Drewes:96e, author = {Drewes, Frank}, title = {Computation by Tree Transductions}, year = {1996}, address = {University of Bremen, Germany}, howpublished = {Doctoral dissertation}, added = {1996-06-10-15-40-37} } @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} } @INPROCEEDINGS{ Drewes:95, author = {Drewes, Frank}, title = {Semirings and Tree-to-Graph-to-Tree Transductions}, editor = {Corradini, A. and Montanari, U.}, booktitle = {Proc.\ Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation ({SEGRAGRA '95})}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, year = {1995}, publisher = {Elsevier Science}, added = {1996-03-28-11-32-12} } @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{ Drewes:94, author = {Drewes, Frank}, title = {A lower bound on the growth of functions computed by tree transductions}, editor = {Tison, S.}, booktitle = {Proc. {CAAP} 94}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {787}, pages = {100--114}, year = {1994}, publisher = {Springer}, note = {Revised version in {\it Fundamenta Informaticae} 26}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes:94b, author = {Drewes, Frank}, title = {The Use of Tree Transducers to Compute Translations Between Graph Algebras}, number = {8/94}, year = {1994}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} } @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 = {{\upshape 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} } @TECHREPORT{ Drewes:93, author = {Drewes, Frank}, title = {A lower bound on the growth of functions computed by tree transducers}, number = {4/93}, year = {1993}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes:93b, author = {Drewes, Frank}, title = {An optimal term rewrite implementation of queues}, number = {5/93}, year = {1993}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} } @ARTICLE{ Drewes:93c, author = {Drewes, Frank}, title = {{NP}-completeness of $k$-connected hyperedge-replacement languages of order $k$}, journal = {Information Processing Letters}, volume = {45}, pages = {89--94}, year = {1993}, added = {1996-03-28-11-32-12} } @ARTICLE{ Drewes:93d, author = {Drewes, Frank}, title = {Recognising $k$--connected hypergraphs in cubic time}, journal = {Theoretical Computer Science}, volume = {109}, pages = {83--122}, year = {1993}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes:93e, author = {Drewes, Frank}, title = {Transducibility---symbolic computation by tree-transductions}, number = {2/93}, year = {1993}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} } @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} } @ARTICLE{ Buntrock-Drewes-Lautemann.ea:91, author = {Buntrock, Gerhard and Drewes, Frank and Lautemann, Clemens and Mossakowski, Till}, title = {Some Modifications of Auxiliary Pushdown Automata}, journal = {{RAIRO} Theoretical Informatics and Applications}, volume = {25}, number = {6}, pages = {545--556}, year = {1991}, added = {1996-03-28-11-32-12} } @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 = {{\upshape Lecture Notes in Computer Science}}, volume = {532}, pages = {1--11}, year = {1991}, publisher = {Springer}, added = {1996-03-28-11-32-12} } @INPROCEEDINGS{ Drewes-Lautemann:91, author = {Drewes, Frank and Lautemann, Clemens}, title = {Incremental termination proofs and the length of derivations}, booktitle = {Proc. {RTA}--91}, series = {{\upshape Lecture Notes in Computer Science}}, volume = {488}, pages = {49--61}, year = {1991}, publisher = {Springer}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes:91, author = {Drewes, Frank}, title = {Recognising $k$--connected hypergraphs in cubic time}, number = {3/91}, year = {1991}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes-Lautemann:90, author = {Drewes, Frank and Lautemann, C.}, title = {Incremental termination proofs and the length of derivations}, number = {7/90}, year = {1990}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes:90, author = {Drewes, Frank}, title = {Parsing ordered graphs generated by hyperedge replacement}, number = {10/90}, year = {1990}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} } @TECHREPORT{ Drewes:90b, author = {Drewes, Frank}, title = {Unique decompositions of hypergraphs}, number = {14/90}, year = {1990}, institution = {Univ.\ Bremen}, type = {Report}, added = {1996-03-28-11-32-12} }