Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
692 Publications
2023 | Research Data | IST-REx-ID: 12945 | 
Data from: "Dynamic pathogen detection and social feedback shape collective hygiene in ants"
S. Cremer, (2023).
View
| Files available
| DOI
S. Cremer, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14314 |
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 13142 |
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 | Published | Journal Article | IST-REx-ID: 14778 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14242 |
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
2023 | Published | Journal Article | IST-REx-ID: 13229 |
Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, C.-P.J. Heisenberg, PLoS Biology 21 (2023) e3002146.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, C.-P.J. Heisenberg, PLoS Biology 21 (2023) e3002146.
2023 | Published | Thesis | IST-REx-ID: 12826 |
Neural control of optic flow-based navigation in Drosophila melanogaster
Pokusaeva, Victoria, Neural control of optic flow-based navigation in Drosophila melanogaster. 2023
[Published Version]
View
| Files available
| DOI
Pokusaeva, Victoria, Neural control of optic flow-based navigation in Drosophila melanogaster. 2023
2023 | Published | Conference Paper | IST-REx-ID: 13053 |
CrAM: A Compression-Aware Minimizer
A. Krumes, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , OpenReview, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
A. Krumes, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , OpenReview, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14518 |
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
2023 | Published | Conference Paper | IST-REx-ID: 14490 |
Lightning creation games
Z. Avarikioti, T. Lizurej, T. Michalak, M.X. Yeo, in:, 43rd International Conference on Distributed Computing Systems, IEEE, 2023, pp. 603–613.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
Z. Avarikioti, T. Lizurej, T. Michalak, M.X. Yeo, in:, 43rd International Conference on Distributed Computing Systems, IEEE, 2023, pp. 603–613.
2023 | Published | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
2023 | Research Data | IST-REx-ID: 13173 |
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14425 |
Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
2023 | Published | Journal Article | IST-REx-ID: 14239 |
Homological Bondal-Orlov localization conjecture for rational singularities
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14658 |
Spin-charge correlations in finite one-dimensional multiband Fermi systems
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14319 |
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).