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.
406 Publications
2023 | Published | Thesis | IST-REx-ID: 13286 | 
Valentini, Marco. Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13286.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14374 |
Roos, Barbara. Boundary Superconductivity in BCS Theory. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14374.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Hainzl, Christian, et al. “Boundary Superconductivity in the BCS Model.” Journal of Spectral Theory, vol. 12, no. 4, EMS Press, 2023, pp. 1507–1540, doi:10.4171/JST/439.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio, Alice. Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14587.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14651 |
Arathoon, Louise S. Investigating Inbreeding Depression and the Self-Incompatibility Locus of Antirrhinum Majus. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14651.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12726
Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12726.
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14530 |
Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/14530.
[Updated Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12762 |
Lombardi, Fabrizio, et al. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” Nature Computational Science, vol. 3, Springer Nature, 2023, pp. 254–63, doi:10.1038/s43588-023-00410-9.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13331 |
Köse, Seyda. Exterior Algebra and Combinatorics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13331.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12680 |
Ivanov, Grigory, and Seyda Köse. “Erdős-Ko-Rado and Hilton-Milner Theorems for Two-Forms.” Discrete Mathematics, vol. 346, no. 6, 113363, Elsevier, 2023, doi:10.1016/j.disc.2023.113363.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12890 |
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Stochastic Cellular Automaton Model of Culture Formation.” Physical Review E, vol. 108, no. 5, 054307, American Physical Society, 2023, doi:10.1103/PhysRevE.108.054307.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Research Data | IST-REx-ID: 12869 |
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. Research Data for: A Stochastic Cellular Automaton Model of Culture Formation. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12869.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13314 |
Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13262 |
Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–71, doi:10.1145/3558481.3591082.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14260 |
Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 14506 |
Yeo, Michelle X. Advances in Efficiency and Privacy in Payment Channel Network Analysis. Institute of Science and Technology Austria, 2023, doi:10.15479/14506.
[Published Version]
View
| Files available
| DOI