Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
264 Publications
2023 |Published| Conference Paper | IST-REx-ID: 13310 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 |Published| Journal Article | IST-REx-ID: 14261 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
2023 |Published| Thesis | IST-REx-ID: 12732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |Published| Journal Article | IST-REx-ID: 12349 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
2023 | Research Data | IST-REx-ID: 12370 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
[Published Version]
View
| Files available
| DOI
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
2023 |Published| Thesis | IST-REx-ID: 13331 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Exterior algebra and combinatorics
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.
2023 |Published| Journal Article | IST-REx-ID: 12680 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Erdős-Ko-Rado and Hilton-Milner theorems for two-forms
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Ivanov, S. Köse, Discrete Mathematics 346 (2023).
2023 |Published| Conference Paper | IST-REx-ID: 13221 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |Published| Journal Article | IST-REx-ID: 12406 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Density of the union of positive diagonal binary quadratic forms
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Diao, Acta Arithmetica 207 (2023) 1–17.
2023 |Published| Thesis | IST-REx-ID: 14422
Synapseek: Meta-learning synaptic plasticity rules
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B.J. Confavreux, Synapseek: Meta-Learning Synaptic Plasticity Rules, Institute of Science and Technology Austria, 2023.
2023 |Published| Thesis | IST-REx-ID: 14374 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boundary superconductivity in BCS theory
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.
2023 |Published| Journal Article | IST-REx-ID: 13207 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.
2023 |Published| Conference Paper | IST-REx-ID: 14485 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brief announcement: BatchBoost: Universal batching for concurrent data structures
V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Research Data | IST-REx-ID: 12869 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Research data for: A stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, (2023).
[Published Version]
View
| Files available
| DOI
F.R. Klausen, A.B. Lauritsen, (2023).
2023 |Published| Journal Article | IST-REx-ID: 12890 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14542 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Universality in low-dimensional BCS theory
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics (2023).
2023 |Published| Thesis | IST-REx-ID: 14506 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Advances in efficiency and privacy in payment channel network analysis
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
2023 |Published| Thesis | IST-REx-ID: 12726
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
2023 |Published| Thesis | IST-REx-ID: 14530 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Synchronization in collectively moving active matter
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.
[Updated Version]
View
| Files available
| DOI
M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.