Additional Information Conference Website Copyright Search Publication Server Authors Bĕhálek, Marek Beneš, Nikola Bouajjani, Ahmed Brim, Luboš Chaloupka, Jakub Drăgoi, Cezara Fahrenberg, Uli Gaiser, Andreas Ganian, Robert Hlinený, Petr Jacobsen, Lasse Jacobsen, Morten Jeitler, Marcus Jirák, Ota Jurski, Yan Křivánek, Milan Kolář, Dušan Larsen, Kim G. Lechner, Jakob Matyáš, Václav Møller, Mikael H. Novotný, Marián Schwoon, Stefan Sighireanu, Mihaela Stetsko, Andriy Thrane, Claus Vasilieva, Alina Vojnar, Tomáš Wenner, Alexander Šaloun, Petr Štefaňák, Filip

Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) Authors: Hlinený, Petr ; Matyáš, Václav ; Vojnar, Tomáš Abstract | Document | BibTeX A Privacy-Aware Protocol for Sociometric Questionnaires Authors: Novotný, Marián Abstract | Document | BibTeX A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic Authors: Larsen, Kim G. ; Fahrenberg, Uli ; Thrane, Claus Abstract | Document | BibTeX Comparison of Algorithms for Checking Emptiness on Büchi Automata Authors: Gaiser, Andreas ; Schwoon, Stefan Abstract | Document | BibTeX Derivation in Scattered Context Grammar via Lazy Function Evaluation Authors: Jirák, Ota ; Kolář, Dušan Abstract | Document | BibTeX Embedded Process Functional Language Authors: Bĕhálek, Marek ; Šaloun, Petr Abstract | Document | BibTeX Exact Quantum Query Algorithm for Error Detection Code Verification Authors: Vasilieva, Alina Abstract | Document | BibTeX Faster Algorithm for Mean-Payoff Games Authors: Chaloupka, Jakub ; Brim, Luboš Abstract | Document | BibTeX One size does not fit all - how to approach intrusion detection in wireless sensor networks Authors: Stetsko, Andriy ; Matyáš, Václav Abstract | Document | BibTeX Rewriting Systems over Nested Data Words Authors: Bouajjani, Ahmed ; Drăgoi, Cezara ; Jurski, Yan ; Sighireanu, Mihaela Abstract | Document | BibTeX Space Effective Model Checking for Component-Interaction Automata Authors: Beneš, Nikola ; Křivánek, Milan ; Štefaňák, Filip Abstract | Document | BibTeX The Parameterized Complexity of Oriented Colouring Authors: Ganian, Robert Abstract | Document | BibTeX Towards Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection Authors: Jeitler, Marcus ; Lechner, Jakob Abstract | Document | BibTeX Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants Authors: Jacobsen, Lasse ; Jacobsen, Morten ; Møller, Mikael H. Abstract | Document | BibTeX Weighted Dynamic Pushdown Networks Authors: Wenner, Alexander Abstract | Document | BibTeX

---

DROPS-Home | Fulltext Search | Imprint