by Cagáň, Ľudovít, Bokor, Peter, Skoková Habuštová, Oxana
Published in Toxins (19.07.2022)

by TÓTHOVÁ, Monika, BOKOR, Peter, CAGÁŇ, Ľudovít
Published in Plant protection science (01.01.2015)

by Ľudovit Cagan, Anna Plackova, Peter Bokor
Published in Acta Protozoologica (01.01.2012)

by Serafini, M, Bokor, P, Dobre, D, Majuntke, M, Suri, N
Published in 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) (01.06.2010)

by Bagosi, Zsolt, Palotai, Miklós, Simon, Balázs, Bokor, Péter, Buzás, András, Balangó, Beáta, Pintér, Dávid, Jászberényi, Miklós, Csabafi, Krisztina, Szabó, Gyula
Published in Brain research (01.12.2016)

by Buzás, András, Bokor, Péter, Balangó, Beáta, Pintér, Dávid, Palotai, Miklós, Simon, Balázs, Csabafi, Krisztina, Telegdy, Gyula, Szabó, Gyula, Bagosi, Zsolt
Published in Brain research (01.03.2019)

by Simon, Balázs, Buzás, András, Bokor, Péter, Csabafi, Krisztina, Ibos, Katalin Eszter, Bodnár, Éva, Török, László, Földesi, Imre, Siska, Andrea, Bagosi, Zsolt
Published in Biomedicines (27.04.2023)

by Bokor, P, DiNardo, S
Published in Development (Cambridge) (01.04.1996)

by Metzler, Patrick, Saissi, Habib, Bokor, Peter, Suri, Neeraj
Published in 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.10.2017)

by Sakurai, K., Bokor, P., Suri, N.
Published in 2008 11th IEEE High Assurance Systems Engineering Symposium (01.12.2008)

by Bokor, Peter, Tancik, Ján, Habán, Miroslav, Marinkovic, Branko, Polácek, Milan
Published in Zbornik Matice Srpske za Prirodne Nauke (2008)

by Tasser, Christian, Jackson, Dave, Kairouz, Khalil, Bokor, Peter
Published in Water practice and technology (01.09.2020)

by Metzler, Patrick, Saissi, Habib, Bokor, Péter, Hesse, Robin, Suri, Neeraj
Published in Automated Technology for Verification and Analysis

by Bokor, Peter
Published in Biológia (01.04.2007)

by Serafini, M, Bokor, Péter, Suri, N, Vinter, J, Ademaj, A, Brandstätter, Wolfgang, Tagliabò, Fulvio, Koch, J
Published in IEEE transactions on dependable and secure computing (01.03.2011)

by Peter Bokor, Ľudovít Cagáň
Published in Plant protection science (31.03.1999)

by Bokor, P., Kinder, J., Serafini, M., Suri, N.
Published in 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) (01.06.2011)

by Bečka, David, Prokinová, Evženie, Šimka, Jiří, Cihlář, Pavel, Bečková, Lucie, Bokor, Peter, Vašák, Jan
Published in Crop protection (01.02.2016)

by Saissi, Habib, Bokor, Péter, Suri, Neeraj
Published in Automated Technology for Verification and Analysis (2015)

by Bokor, Péter, Serafini, Marco, Suri, Neeraj
Published in Formal Techniques for Distributed Systems