 |
Veröffentlichungen / Publications
2007
On first-order fragments for Mazurkiewicz traces
Volker Diekert, Martin Horsch, Manfred Kufleitner
Fundamenta Informaticae, 80(1-3):1-29, 2007.
pdf File
(© IOS Press).
On first-order fragments for words and Mazurkiewicz traces: A survey
Volker Diekert, Manfred Kufleitner
DLT 2007.
In Tero Harju, Juhani Karhumäki, and Arto Lepistö, editors,
Proceedings Developments in Language Theory, 11th International Conference, DLT 2007,
Turku, Finland, July 3-6, 2007,
Lecture Notes in Computer Science, Vol 4588 (2007) 1-19.
pdf File
(© Springer-Verlag).
Computer Science - Theory and Applications. Proceedings
Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007.
Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (editors)
Lecture Notes in Computer Science, Vol. 4649, Springer-Verlag (2007)
Springer-Verlag
On the Complexity of Reasoning about Dynamic Policies
Stefan Göller
Computer Science Logic 2007, to appear
ps
File
pdf
File
(© Springer-Verlag).
PDL with Intersection and Converse is 2EXP-complete
Stefan Göller, Markus Lohrey, Carsten Lutz
FoSSaCS, LNCS 4423, pp.198-212, 2007.
ps
File
pdf
File
(© Springer-Verlag).
Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture
Tero Harju, Dirk Nowotka
Journal of the ACM, 54(4):20, 2007.
pdf File
(© ACM).
Conference version: STACS 2004
Maximal Intersection Queries in Randomized Graph Models
Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka
2nd International Computer Science Symposium in Russia 2007, LNCS 4649
ps
File
pdf
File
(© Springer-Verlag).
Polynomials, fragments of temporal logic and the variety DA over traces
Manfred Kufleitner
Theoretical Computer Science, 376:89-100, 2007. Special issue DLT 2006.
A Proof of the Factorization Forest Theorem
Manfred Kufleitner
Technical report Nr. 2007/05, Formale Methoden der Informatik, Universität Stuttgart, Germany, 4 pages, October 2007.
pdf File
Estimation of the Click Volume by Large Scale Regression Analysis
Yury Lifshits, Dirk Nowotka
2nd International Computer Science Symposium in Russia 2007, LNCS 4649
pdf
File
(© Springer-Verlag).
Inverse monoids: decidability and complexity of algebraic questions
Markus Lohrey, Nicole Ondrusch
Information and Computation 205(8), 1212-1234, 2007
pdf File
(© Elsevier).
Height-Deterministic Pushdown Automata
Dirk Nowotka, Jiri Srba
MFCS 2007, LNCS 4708, 125-134, 2007.
pdf File
(© Springer-Verlag).
String Matching with Simple Devices
Holger Petersen
IPL 105 (2007), 32 -- 34.
|
|
