default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMEMICS 2009: Znojmo, Czech Republic
- Petr Hlinený, Václav Matyás, Tomás Vojnar:
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic. OASIcs 13, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009 - 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
