Symbolic Counterexample Generation for Discrete-Time Markov Chains. - Nils Jansen 001; Erika Ábrahám; Barna Zajzon; Ralf Wimmer 001; Johann Schuster; Joost-Pieter Katoen; Bernd Becker 001 (FACS, 2012)

Symbolic counterexample generation for large discrete-time Markov chains. - Nils Jansen 001; Ralf Wimmer 001; Erika Ábrahám; Barna Zajzon; Joost-Pieter Katoen; Bernd Becker 001; Johann Schuster (Sci. Comput. Program., 2014)

Transferring State Representations in Hierarchical Spiking Neural Networks. - Barna Zajzon; Renato C. Duarte; Abigail Morrison (IJCNN, 2018)

Passing the Message: Representation Transfer in Modular Balanced Networks. - Barna Zajzon; Sepehr Mahmoudian; Abigail Morrison; Renato Carlos Farinha Duarte (Frontiers Comput. Neurosci., 2019)

Sequential information processing in modular spiking networks. - Barna Zajzon (Shaker, 2025)