Login / Signup
Barna Zajzon
ORCID
Publication Activity (10 Years)
Years Active: 2012-2019
Publications (10 Years): 2
Top Topics
Sample Path
Monte Carlo Method
Transition Matrix
Spiking Neural Networks
Top Venues
Sci. Comput. Program.
FACS
Frontiers Comput. Neurosci.
IJCNN
</>
Publications
</>
Barna Zajzon
,
Sepehr Mahmoudian
,
Abigail Morrison
,
Renato Carlos Farinha Duarte
Passing the Message: Representation Transfer in Modular Balanced Networks.
Frontiers Comput. Neurosci.
13 (2019)
Barna Zajzon
,
Renato C. Duarte
,
Abigail Morrison
Transferring State Representations in Hierarchical Spiking Neural Networks.
IJCNN
(2018)
Nils Jansen
,
Ralf Wimmer
,
Erika Ábrahám
,
Barna Zajzon
,
Joost-Pieter Katoen
,
Bernd Becker
,
Johann Schuster
Symbolic counterexample generation for large discrete-time Markov chains.
Sci. Comput. Program.
91 (2014)
Nils Jansen
,
Erika Ábrahám
,
Barna Zajzon
,
Ralf Wimmer
,
Johann Schuster
,
Joost-Pieter Katoen
,
Bernd Becker
Symbolic Counterexample Generation for Discrete-Time Markov Chains.
FACS
(2012)