Maciej Szreter

Maciej Szreter

Institute of Computer Science Polish Academy of Sciences - Warsaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 4483746
Instytut Informatyki Polskiej Akademii Nauk
person_outline Maciej Szreter's MOST POPULAR ARTICLES
1-) Verics 2007-a model checker for knowledge and real-time - M Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Półrola, ...
2-) √ erics: a tool for verifying timed automata and estelle specifications - P Dembiński, A Janowska, P Janowski, W Penczek, A Półrola, M Szreter, ...
3-) Comparing BDD and SAT based techniques for model checking Chaum\\\\\\\'s dining cryptographers protocol - M Kacprzak, A Lomuscio, A Niewiadomski, W Penczek, F Raimondi, ...
4-) Improving partial order reductions for universal branching time propertiesW Penczek, M Szreter, R Gerth, R KuiperFundamenta Informaticae 43 (1-4), 245-267, 2000472000
5-) BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performanceA Mȩski, W Penczek, M Szreter, B Woźna-Szcześniak, A ZbrzeznyAutonomous Agents and Multi-Agent Systems 28, 558-604, 2014462014