Search results for: Tomáš Brázdil
Performance Evaluation > 2017 > 116 > C > 84-100
Journal of Computer and System Sciences > 2017 > 84 > C > 144-170
Lecture Notes in Computer Science > STACS 2005 > Session 2B > 145-157
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B4: Probabilistic Systems > 332-343
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 8-Track B. Concurrency > 478-489
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 4. Automata > 230-242
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 9-Track B. Probabilistic Computation > 539-550
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B4: Probabilistic Systems > 319-331
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 372-383
Lecture Notes in Computer Science > CONCUR 2011 – Concurrency Theory > Probabilistic Systems > 140-155
Journal of Computer and System Sciences > 2015 > 81 > 1 > 288-310
Journal of Computer and System Sciences > 2014 > 80 > 1 > 139-156
Information and Computation > 2013 > 224 > Complete > 46-70
Formal Methods in System Design > 2013 > 43 > 2 > 124-163
Information and Computation > 2013 > 222 > Complete > 121-138