@inproceedings{conf/gg/KreowskiK08,
	title = {Graph Multiset Transformation as a Framework for Massively Parallel Computation.},
	author = {Hans-Jörg Kreowski and Sabine Kuske},
	booktitle = {ICGT},
	crossref = {conf/gg/2008},
	editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer},
	pages = {351-365},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/gg/icgt2008.html#KreowskiK08},
	volume = {5214},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/21130de8b11b5b59a5ae1329f5c471db4/dblp},
	description = {dblp},
	date = {2008-09-22}, ee = {http://dx.doi.org/10.1007/978-3-540-87405-8_24}, isbn = {978-3-540-87404-1},
	keywords = {dblp }
}

@inproceedings{conf/ifipTCS/KuskeL08,
	title = {Hamiltonicity of automatic graphs.},
	author = {Dietrich Kuske and Markus Lohrey},
	booktitle = {IFIP TCS},
	crossref = {conf/ifipTCS/2008},
	editor = {Giorgio Ausiello and Juhani Karhumäki and Giancarlo Mauri and C.-H. Luke Ong},
	pages = {445-459},
	publisher = {Springer},
	series = {IFIP},
	url = {http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2008.html#KuskeL08},
	volume = {273},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/21f89892b79d090b8bfcf33e9244bae14/dblp},
	description = {dblp},
	date = {2008-09-15}, ee = {http://dx.doi.org/10.1007/978-0-387-09680-3_30}, isbn = {978-0-387-09679-7},
	keywords = {dblp }
}

@inproceedings{conf/dlt/KuskeM08,
	title = {Construction of Tree Automata from Regular Expressions.},
	author = {Dietrich Kuske and Ingmar Meinecke},
	booktitle = {Developments in Language Theory},
	crossref = {conf/dlt/2008},
	editor = {Masami Ito and Masafumi Toyama},
	pages = {491-503},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/dlt/dlt2008.html#KuskeM08},
	volume = {5257},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/20b2c1ae462702dc3e516f9b206c8235f/dblp},
	description = {dblp},
	date = {2008-09-12}, ee = {http://dx.doi.org/10.1007/978-3-540-85780-8_39}, isbn = {978-3-540-85779-2},
	keywords = {dblp }
}

@article{journals/tcs/Kuske08,
	title = {Schützenberger's theorem on formal power series follows from Kleene's theorem.},
	author = {Dietrich Kuske},
	journal = {Theor. Comput. Sci.},
	number = {1-3},
	pages = {243-248},
	url = {http://dblp.uni-trier.de/db/journals/tcs/tcs401.html#Kuske08},
	volume = {401},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/272d51be23f1d2f4852a7b8e4743f509f/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.tcs.2008.04.041}, date = {2008-08-21},
	keywords = {dblp }
}

@article{journals/fuin/GastinK07,
	title = {Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces.},
	author = {Paul Gastin and Dietrich Kuske},
	journal = {Fundam. Inform.},
	number = {1-3},
	pages = {169-197},
	url = {http://dblp.uni-trier.de/db/journals/fuin/fuin80.html#GastinK07},
	volume = {80},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2f186a416b95e6fe63dd8c2ced941488f/dblp},
	description = {dblp},
	ee = {http://iospress.metapress.com/content/tn420q6884156753/}, date = {2008-08-06},
	keywords = {dblp }
}

@article{journals/fuin/GenestKM07,
	title = {On Communicating Automata with Bounded Channels.},
	author = {Blaise Genest and Dietrich Kuske and Anca Muscholl},
	journal = {Fundam. Inform.},
	number = {1-3},
	pages = {147-167},
	url = {http://dblp.uni-trier.de/db/journals/fuin/fuin80.html#GenestKM07},
	volume = {80},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2101ee21186519bad4bb56194305af360/dblp},
	description = {dblp},
	ee = {http://iospress.metapress.com/content/220h1674013213j1/}, date = {2008-08-06},
	keywords = {dblp }
}

@article{Kreowski&Kuske1999,
	title = {Graph Transformation Units and Modules},
	author = { {Hans-J\"org Kreowski} and Sabine Kuske},
	journal = {Handbook of Graph Grammars and Computing by Graph Transformation},
	pages = {607--638},
	publisher = {World Scientific},
	volume = {2},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/241575f32963097b9d8320287c63b3ef9/pdeleenh},
	timestamp = {2008.05.15}, owner = {pdeleenh},
	keywords = {imported }
}

@inproceedings{conf/birthday/KreowskiKR08,
	title = {Graph Transformation Units - An Overview.},
	author = {Hans-Jörg Kreowski and Sabine Kuske and Grzegorz Rozenberg},
	booktitle = {Concurrency, Graphs and Models},
	crossref = {conf/birthday/2008montanari},
	editor = {Pierpaolo Degano and Rocco De Nicola and José Meseguer},
	pages = {57-75},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/birthday/montanari2008.html#KreowskiKR08},
	volume = {5065},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/27523b4bd141e656ea7a3dd5010816209/dblp},
	description = {dblp},
	date = {2008-06-16}, ee = {http://dx.doi.org/10.1007/978-3-540-68679-8_5}, isbn = {978-3-540-68676-7},
	keywords = {dblp }
}

@inproceedings{conf/dagstuhl/Lohrey07,
	title = {Application of verification techniques to inverse monoids.},
	author = {Markus Lohrey},
	booktitle = {Algorithmic-Logical Theory of Infinite Structures},
	crossref = {conf/dagstuhl/2007P7441},
	editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#Lohrey07},
	volume = {07441},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2ce55caec42614b0e69877e0c362d6ff3/dblp},
	description = {dblp},
	date = {2008-05-15}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1410},
	keywords = {dblp }
}

@inproceedings{conf/dagstuhl/Cachat07,
	title = {Tree Automata Make Ordinal Theory Easy.},
	author = {Thierry Cachat},
	booktitle = {Algorithmic-Logical Theory of Infinite Structures},
	crossref = {conf/dagstuhl/2007P7441},
	editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#Cachat07},
	volume = {07441},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/228dc07ae5aee251e342be6419858f18b/dblp},
	description = {dblp},
	date = {2008-05-15}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1408},
	keywords = {dblp }
}