MEMICS 2009 November 13-15, 2009, Znojmo, Czech Republic

Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)



Petr Hlinený and Václav Matyáš and Tomáš Vojnar (Eds.)
ISBN 978-3-939897-15-6, OASICS Vol. 13 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Authors
  • Šaloun, Petr
  • Štefaňák, Filip
  • 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
  • Mřller, Mikael H.
  • Matyáš, Václav
  • Novotný, Marián
  • Schwoon, Stefan
  • Sighireanu, Mihaela
  • Stetsko, Andriy
  • Thrane, Claus
  • Vasilieva, Alina
  • Vojnar, Tomáš
  • Wenner, Alexander

  •   
    Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
    Authors: Hlinený, Petr ; Matyáš, Václav ; Vojnar, Tomáš

    Abstract | Document (198 KB) | BibTeX

    A Privacy-Aware Protocol for Sociometric Questionnaires
    Authors: Novotný, Marián

    Abstract | Document (367 KB) | BibTeX

    A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
    Authors: Larsen, Kim G. ; Fahrenberg, Uli ; Thrane, Claus

    Abstract | Document (574 KB) | BibTeX

    Comparison of Algorithms for Checking Emptiness on Büchi Automata
    Authors: Gaiser, Andreas ; Schwoon, Stefan

    Abstract | Document (352 KB) | BibTeX

    Derivation in Scattered Context Grammar via Lazy Function Evaluation
    Authors: Jirák, Ota ; Kolář, Dušan

    Abstract | Document (633 KB) | BibTeX

    Embedded Process Functional Language
    Authors: Bĕhálek, Marek ; Šaloun, Petr

    Abstract | Document (306 KB) | BibTeX

    Exact Quantum Query Algorithm for Error Detection Code Verification
    Authors: Vasilieva, Alina

    Abstract | Document (549 KB) | BibTeX

    Faster Algorithm for Mean-Payoff Games
    Authors: Chaloupka, Jakub ; Brim, Luboš

    Abstract | Document (422 KB) | BibTeX

    One size does not fit all - how to approach intrusion detection in wireless sensor networks
    Authors: Stetsko, Andriy ; Matyáš, Václav

    Abstract | Document (374 KB) | BibTeX

    Rewriting Systems over Nested Data Words
    Authors: Bouajjani, Ahmed ; Drăgoi, Cezara ; Jurski, Yan ; Sighireanu, Mihaela

    Abstract | Document (407 KB) | BibTeX

    Space Effective Model Checking for Component-Interaction Automata
    Authors: Beneš, Nikola ; Křivánek, Milan ; Štefaňák, Filip

    Abstract | Document (339 KB) | BibTeX

    The Parameterized Complexity of Oriented Colouring
    Authors: Ganian, Robert

    Abstract | Document (458 KB) | BibTeX

    Towards Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection
    Authors: Jeitler, Marcus ; Lechner, Jakob

    Abstract | Document (432 KB) | BibTeX

    Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants
    Authors: Jacobsen, Lasse ; Jacobsen, Morten ; Mřller, Mikael H.

    Abstract | Document (462 KB) | BibTeX

    Weighted Dynamic Pushdown Networks
    Authors: Wenner, Alexander

    Abstract | Document (433 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI