EEMCS

Ballarini, P. and Barnat, J. and Weber, Michael (2010) Preface. In: Proceedings of the 9th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC) and the 2nd International Workshop on High Performance Computational Systems Biology (HiBi), 30 Sep - 1 Oct 2010, Enschede, the Netherlands. vii-viii. IEEE Computer Society. ISBN 978-0-7695-4265-2

Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, 21 (1). pp. 23-44. ISSN 0955-792X *** ISI Impact 0,586 ***

Barnat, J. and Brim, L. and Šimeček, P. and Weber, Michael (2008) Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, 29 Mar - 06 Apr 2008, Budapest, Hungary. pp. 48-62. Lecture Notes in Computer Science 4963. Springer Verlag. ISBN 978-3-540-78799-0

Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2008) Improved Distributed Algorithms for SCC Decomposition. In: Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 8 Jul 2007, Berlin. pp. 63-77. Electronic Notes in Theoretical Computer Science 198 (1). Elsevier. ISSN 1571-0661