Barna Zajzon

According to our database, Barna Zajzon authored at least 4 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Passing the Message: Representation Transfer in Modular Balanced Networks.

Barna Zajzon, Sepehr Mahmoudian, Abigail Morrison, Renato Carlos Farinha Duarte

Frontiers Comput. Neurosci., 2019

2018

Transferring State Representations in Hierarchical Spiking Neural Networks.

Barna Zajzon, Renato C. Duarte, Abigail Morrison

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

2014

Symbolic counterexample generation for large discrete-time Markov chains.

Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster

Sci. Comput. Program., 2014

2012

Symbolic Counterexample Generation for Discrete-Time Markov Chains.

Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012