OASIcs, Volume 13, MEMICS 2009

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