MEMICS

Keyphrases

Publications

2016

Lukás Charvát, Ales Smrcka, Tomás Vojnar
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. MEMICS (2016)
Matús Bezek
Characterizing DAG-depth of Directed Graphs. MEMICS (2016)
Martin Ukrop, Petr Svenda
Avalanche Effect in Improperly Initialized CAESAR Candidates. MEMICS (2016)
Pavel Dvorák, Dusan Knop, Tomás Masarík
Anti-Path Cover on Sparse Graph Classes. MEMICS (2016)
Ladislav Peska
Using the Context of User Feedback in Recommender Systems. MEMICS (2016)
Michal Zima
Sending Money Like Sending E-mails: Cryptoaddresses, The Universal Decentralised Identities. MEMICS (2016)
Dirk Beyer, Karlheinz Friedberger
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. MEMICS (2016)
Vojtech Havlena, Dana Hlinená
A Note on One Less Known Class of Generated Residual Implications. MEMICS (2016)
Ricardo Manuel de Oliveira Almeida
Reducing Nondeterministic Tree Automata by Adding Transitions. MEMICS (2016)

volume 9548, 2016

Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers MEMICS 9548 (2016)

volume 233, 2016

Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016. MEMICS 233 (2016)

2015

2014

volume 8934, 2014

Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers MEMICS 8934 (2014)

volume 7721, 2013

Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers MEMICS 7721 (2013)

2012

volume 7119, 2012

Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers MEMICS 7119 (2012)