MEMICS 2011:
Lednice, Czech Republic
Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos (Eds.):
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers.
Lecture Notes in Computer Science 7119 Springer 2012, ISBN 978-3-642-25928-9 
- Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis:
Rigorous System Design: The BIP Approach.
1-19
- Peter J. Bentley:
Natural Born Computing.
20-36
- Krishnendu Chatterjee, Laurent Doyen:
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives.
37-46
- Görschwin Fey:
Assessing System Vulnerability Using Formal Verification Techniques.
47-56
- Renato Renner:
Information Security in a Quantum World.
57-62
- Vlastimil Babka, Petr Tuma:
Computer Memory: Why We Should Care What Is under the Hood.
63-75
- Kaspars Balodis, Ilja Kucevalovs, Rusins Freivalds:
Frequency Prediction of Functions.
76-83
- Jiri Barnat, Ivana Cerná, Jana Tumova:
Timed Automata Approach to Verification of Systems with Degradation.
84-93
- Roland Cmorik, Galina Jirásková:
Basic Operations on Binary Suffix-Free Languages.
94-102
- Dalibor Klusácek, Hana Rudová:
Efficient Data Representation of Large Job Schedules.
103-113
- Monika Krausová:
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient.
114-122
- Bohuslav Krena, Zdenek Letko, Tomás Vojnar:
Noise Injection Heuristics for Concurrency Testing.
123-135
- Jiri Matela, Martin Srom, Petr Holub:
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000.
136-145
- Jakub Mazgut, Martina Paulinyová, Peter Tino:
Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis.
146-154
- Petr Hlinený, Ondrej Moris:
Generalized Maneuvers in Route Planning.
155-166
- Jan Obdrzálek, Jiri Slaby, Marek Trtík:
STANSE: Bug-Finding Framework for C Programs.
167-178
- Christos Sakellariou, Peter J. Bentley:
Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS).
179-190
- Steven van der Vegt, Alfons Laarman:
A Parallel Compact Hash Table.
191-204
- Roman Zilka, Vashek Matyás, Libor Kyncl:
Four Authorization Protocols for an Electronic Payment System.
205-214
Last update Tue May 21 17:43:33 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
