MEMICS 2010

Tomáš Babiak, Vojtěch Řehák and Jan Strejček. Almost Linear Büchi Automata
Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska. Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jan Bouda, Matej Pivoluska, Libor Caha, Paulo Mateus and Nikola Paunkovic. Quantum Simultaneous Contract Signing
Jonathan Cederberg. Automated Analysis of Data-Dependent Programs with Dynamic Memory
Antoine Durand-gasselin and Peter Habermehl. On the Use of Non-deterministic Automata for Presburger Arithmetic
Ivan Fialík. Unitary Noise and the Mermin-GHZ Game
Robert Ganian, Petr Hlineny, Jan Obdrzalek, Joachim Kneis, Peter Rossmanith, Somnath Sikdar and Daniel Meister. Are there any good digraph width measures?
Radim Hatlapatka and Petr Sojka. Document Engineering for a Digital Library
Lukas Holik, Tomas Vojnar, Richard Mayr, Parosh A. Abdulla and Yu-Fang Chen. When Simulation Meets Antichains
Dalibor Klusacek and Hana Rudová. The Use of Incremental Schedule-based Approach for Efficient Job Scheduling
Filip Konecny, Radu Iosif and Marius Bozga. Fast Acceleration of Ultimately Periodic Relations
Jan Krcal and Jan Kretinsky. Timed Automata Objectives in Stochastic Real-Time Games
Bohuslav Křena, Zdenek Letko, Tomas Vojnar and Shmuel Ur. A Platform for Search-Based Testing of Concurrent Software
Silvie Luisa Brazdilova and Michal Kozubek. Image division technique in automated fluorescence microscopy
Vladislav Martinek and Michal Žemlička. Remarks on Complex Navigation Systems
Petr Pospíchal. Simple genetic algorithm running on GPU
Michal Procházka, Daniel Kouřil and Luděk Matyska. User Centric Authentication for Web Applications
Jan Samek and František Zbořil. Hierarchical Model of Trust in Contexts
Andriy Stetsko, Lukáš Folkman and Vashek Matyáš. Neighbor-based Intrusion Detection for Wireless Sensor Networks

•

Photos and Design