MEMICS 2009: Znojmo, Czech Republic

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

Last update Fri May 25 08:26:20 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page