Droste, Manfred; Kuske, Dietrich Almost every domain is universal. (English) Zbl 1316.68066 Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 103-119 (2007). MSC: 68Q55 06B35 68Q87 PDFBibTeX XMLCite \textit{M. Droste} and \textit{D. Kuske}, Electron. Notes Theor. Comput. Sci. 173, 103--119 (2007; Zbl 1316.68066) Full Text: DOI
Kuske, Dietrich Weighted asynchronous cellular automata. (English) Zbl 1164.68023 Theor. Comput. Sci. 374, No. 1-3, 127-148 (2007). MSC: 68Q80 68Q45 PDFBibTeX XMLCite \textit{D. Kuske}, Theor. Comput. Sci. 374, No. 1--3, 127--148 (2007; Zbl 1164.68023) Full Text: DOI
Gastin, Paul; Kuske, Dietrich Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. (English) Zbl 1137.68446 Penczek, Wojciech (ed.) et al., Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press (ISBN 978-1-58603-805-2/pbk). 169-197 (2007). MSC: 68Q85 03B44 68Q25 PDFBibTeX XMLCite \textit{P. Gastin} and \textit{D. Kuske}, in: Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press. 169--197 (2007; Zbl 1137.68446)
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca On communicating automata with bounded channels. (English) Zbl 1137.68447 Penczek, Wojciech (ed.) et al., Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press (ISBN 978-1-58603-805-2/pbk). 147-167 (2007). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{B. Genest} et al., in: Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press. 147--167 (2007; Zbl 1137.68447)
Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar Propositional dynamic logic for message-passing systems. (English) Zbl 1135.03335 Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12–14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 303-315 (2007). MSC: 03B70 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Bollig} et al., Lect. Notes Comput. Sci. 4855, 303--315 (2007; Zbl 1135.03335) Full Text: DOI arXiv
Gastin, Paul; Kuske, Dietrich Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. (English) Zbl 1128.68061 Fundam. Inform. 80, No. 1-3, 169-197 (2007). MSC: 68Q85 03B44 68Q25 PDFBibTeX XMLCite \textit{P. Gastin} and \textit{D. Kuske}, Fundam. Inform. 80, No. 1--3, 169--197 (2007; Zbl 1128.68061)
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca On communicating automata with bounded channels. (English) Zbl 1128.68062 Fundam. Inform. 80, No. 1-3, 147-167 (2007). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{B. Genest} et al., Fundam. Inform. 80, No. 1--3, 147--167 (2007; Zbl 1128.68062)