Peter Bokor

Efficient model checking of fault-tolerant distributed protocols

Neeraj Suri, Marco Serafini, Johannes Kinder, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).

DETECT, the Next Generation of DETER: Advancing the Science of Cyber Security Research and Experimentation

Peter Bokor, 2010 .

Model checking of an on-line diagnosis algorithm

Peter Bokor, 2005 .

Weighted multi-level deep learning analysis and framework for processing breast cancer WSIs pdf

Wanda Benesova, Peter Bokor, Lukas Hudec, 2021, ArXiv.