BibTeX records: Barna Zajzon

• > Home > Persons > Barna Zajzon

@article{DBLP:journals/ficn/ZajzonMMD19,
  author       = {Barna Zajzon and
                  Sepehr Mahmoudian and
                  Abigail Morrison and
                  Renato Carlos Farinha Duarte},
  title        = {Passing the Message: Representation Transfer in Modular Balanced Networks},
  journal      = {Frontiers Comput. Neurosci.},
  volume       = {13},
  pages        = {79},
  year         = {2019},
  url          = {https://doi.org/10.3389/fncom.2019.00079},
  doi          = {10.3389/FNCOM.2019.00079},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ficn/ZajzonMMD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcnn/ZajzonDM18,
  author       = {Barna Zajzon and
                  Renato C. Duarte and
                  Abigail Morrison},
  title        = {Transferring State Representations in Hierarchical Spiking Neural
                  Networks},
  booktitle    = {2018 International Joint Conference on Neural Networks, {IJCNN} 2018,
                  Rio de Janeiro, Brazil, July 8-13, 2018},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/IJCNN.2018.8489135},
  doi          = {10.1109/IJCNN.2018.8489135},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcnn/ZajzonDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/JansenWAZKBS14,
  author       = {Nils Jansen and
                  Ralf Wimmer and
                  Erika {\'{A}}brah{\'{a}}m and
                  Barna Zajzon and
                  Joost{-}Pieter Katoen and
                  Bernd Becker and
                  Johann Schuster},
  title        = {Symbolic counterexample generation for large discrete-time Markov
                  chains},
  journal      = {Sci. Comput. Program.},
  volume       = {91},
  pages        = {90--114},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.02.001},
  doi          = {10.1016/J.SCICO.2014.02.001},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/JansenWAZKBS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/JansenAZWSKB12,
  author       = {Nils Jansen and
                  Erika {\'{A}}brah{\'{a}}m and
                  Barna Zajzon and
                  Ralf Wimmer and
                  Johann Schuster and
                  Joost{-}Pieter Katoen and
                  Bernd Becker},
  editor       = {Corina S. Pasareanu and
                  Gwen Sala{\"{u}}n},
  title        = {Symbolic Counterexample Generation for Discrete-Time Markov Chains},
  booktitle    = {Formal Aspects of Component Software, 9th International Symposium,
                  {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7684},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35861-6\_9},
  doi          = {10.1007/978-3-642-35861-6\_9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/JansenAZWSKB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}