@Proceedings{hlineny_et_al:OASIcs.MEMICS.2009,
title = {{OASIcs, Volume 13, MEMICS'09, Complete Volume}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2012},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2009},
URN = {urn:nbn:de:0030-drops-35756},
doi = {10.4230/OASIcs.MEMICS.2009},
annote = {Keywords: Mathematics of Computing, Physical Sciences and Engineering}
}
@InProceedings{hlineny_et_al:OASIcs:2009:DROPS.MEMICS.2009.2342,
author = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
title = {{Preface -- Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {i--vi},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2342},
URN = {urn:nbn:de:0030-drops-23425},
doi = {10.4230/DROPS.MEMICS.2009.2342},
annote = {Keywords: MEMICS 2009}
}
@InProceedings{novotny:OASIcs:2009:DROPS.MEMICS.2009.2355,
author = {Novotn\'{y}, Mari\'{a}n},
title = {{A Privacy-Aware Protocol for Sociometric Questionnaires}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {1--9},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2355},
URN = {urn:nbn:de:0030-drops-23551},
doi = {10.4230/DROPS.MEMICS.2009.2355},
annote = {Keywords: Sociometry, sociogram, privacy, homomorphic encryption, security protocols}
}
@InProceedings{larsen_et_al:OASIcs:2009:DROPS.MEMICS.2009.2345,
author = {Larsen, Kim G. and Fahrenberg, Uli and Thrane, Claus},
title = {{A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {10--17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2345},
URN = {urn:nbn:de:0030-drops-23454},
doi = {10.4230/DROPS.MEMICS.2009.2345},
annote = {Keywords: Quantitative analysis, Kripke structures, characteristic formulae, bisimulation distance, weighted CTL}
}
@InProceedings{gaiser_et_al:OASIcs:2009:DROPS.MEMICS.2009.2349,
author = {Gaiser, Andreas and Schwoon, Stefan},
title = {{Comparison of Algorithms for Checking Emptiness on B\"{u}chi Automata}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {18--26},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2349},
URN = {urn:nbn:de:0030-drops-23494},
doi = {10.4230/DROPS.MEMICS.2009.2349},
annote = {Keywords: LTL Model checking, Depth first search}
}
@InProceedings{jirak_et_al:OASIcs:2009:DROPS.MEMICS.2009.2351,
author = {Jir\'{a}k, Ota and Kol\'{a}\v{r}, Du\v{s}an},
title = {{Derivation in Scattered Context Grammar via Lazy Function Evaluation}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {27--36},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2351},
URN = {urn:nbn:de:0030-drops-23517},
doi = {10.4230/DROPS.MEMICS.2009.2351},
annote = {Keywords: SCG, delayed execution, derivation, lazy evaluation}
}
@InProceedings{behalek_et_al:OASIcs:2009:DROPS.MEMICS.2009.2353,
author = {B\u{e}h\'{a}lek, Marek and \v{S}aloun, Petr},
title = {{Embedded Process Functional Language}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {37--44},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2353},
URN = {urn:nbn:de:0030-drops-23535},
doi = {10.4230/DROPS.MEMICS.2009.2353},
annote = {Keywords: Embedded systems, model, high abstraction level, functional programming}
}
@InProceedings{vasilieva:OASIcs:2009:DROPS.MEMICS.2009.2343,
author = {Vasilieva, Alina},
title = {{Exact Quantum Query Algorithm for Error Detection Code Verification}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {45--52},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2343},
URN = {urn:nbn:de:0030-drops-23434},
doi = {10.4230/DROPS.MEMICS.2009.2343},
annote = {Keywords: Quantum computing, quantum query algorithms, algorithm complexity, Boolean functions, algorithm design}
}
@InProceedings{chaloupka_et_al:OASIcs:2009:DROPS.MEMICS.2009.2348,
author = {Chaloupka, Jakub and Brim, Lubo\v{s}},
title = {{Faster Algorithm for Mean-Payoff Games}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {53--61},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2348},
URN = {urn:nbn:de:0030-drops-23481},
doi = {10.4230/DROPS.MEMICS.2009.2348},
annote = {Keywords: Mean-payoff games, randomized algorithms, computational complexity}
}
@InProceedings{stetsko_et_al:OASIcs:2009:DROPS.MEMICS.2009.2347,
author = {Stetsko, Andriy and Maty\'{a}\v{s}, V\'{a}clav},
title = {{One size does not fit all - how to approach intrusion detection in wireless sensor networks}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {62--69},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2347},
URN = {urn:nbn:de:0030-drops-23479},
doi = {10.4230/DROPS.MEMICS.2009.2347},
annote = {Keywords: Intrusion detection, wireless sensor networks}
}
@InProceedings{bouajjani_et_al:OASIcs:2009:DROPS.MEMICS.2009.2356,
author = {Bouajjani, Ahmed and Dr\u{a}goi, Cezara and Jurski, Yan and Sighireanu, Mihaela},
title = {{Rewriting Systems over Nested Data Words}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {70--79},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2356},
URN = {urn:nbn:de:0030-drops-23567},
doi = {10.4230/DROPS.MEMICS.2009.2356},
annote = {Keywords: Nested data words, rewriting systems, program verification, dynamic and parametrized systems, invariance checking}
}
@InProceedings{benes_et_al:OASIcs:2009:DROPS.MEMICS.2009.2354,
author = {Bene\v{s}, Nikola and K\v{r}iv\'{a}nek, Milan and \v{S}tefa\v{n}\'{a}k, Filip},
title = {{Space Effective Model Checking for Component-Interaction Automata}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {80--87},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2354},
URN = {urn:nbn:de:0030-drops-23549},
doi = {10.4230/DROPS.MEMICS.2009.2354},
annote = {Keywords: Model checking, component-based systems, partial order reduction}
}
@InProceedings{ganian:OASIcs:2009:DROPS.MEMICS.2009.2350,
author = {Ganian, Robert},
title = {{The Parameterized Complexity of Oriented Colouring}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {88--95},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2350},
URN = {urn:nbn:de:0030-drops-23500},
doi = {10.4230/DROPS.MEMICS.2009.2350},
annote = {Keywords: Oriented colouring, tree-width, rank-width, parameterized algorithms, graphs}
}
@InProceedings{jeitler_et_al:OASIcs:2009:DROPS.MEMICS.2009.2352,
author = {Jeitler, Marcus and Lechner, Jakob},
title = {{Towards Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {96--105},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2352},
URN = {urn:nbn:de:0030-drops-23529},
doi = {10.4230/DROPS.MEMICS.2009.2352},
annote = {Keywords: Four State Logic, Asynchronous Design, Fault Injection, Fault Tolerance}
}
@InProceedings{jacobsen_et_al:OASIcs:2009:DROPS.MEMICS.2009.2346,
author = {Jacobsen, Lasse and Jacobsen, Morten and M{\o}ller, Mikael H.},
title = {{Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {106--113},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2346},
URN = {urn:nbn:de:0030-drops-23461},
doi = {10.4230/DROPS.MEMICS.2009.2346},
annote = {Keywords: Timed-Arc Petri Nets, Undecidability, Coverability, Boundedness}
}
@InProceedings{wenner:OASIcs:2009:DROPS.MEMICS.2009.2344,
author = {Wenner, Alexander},
title = {{Weighted Dynamic Pushdown Networks}},
booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
pages = {114--121},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-15-6},
ISSN = {2190-6807},
year = {2009},
volume = {13},
editor = {Hlinen\'{y}, Petr and Maty\'{a}\v{s}, V\'{a}clav and Vojnar, Tom\'{a}\v{s}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DROPS.MEMICS.2009.2344},
URN = {urn:nbn:de:0030-drops-23440},
doi = {10.4230/DROPS.MEMICS.2009.2344},
annote = {Keywords: Program analysis, recursive procedures, dynamic process creation, dataflow analysis}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing