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.
405 Publications
2023 | Published | Thesis | IST-REx-ID: 14374 | 
Roos, B. (2023). Boundary superconductivity in BCS theory. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14374
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Hainzl, C., Roos, B., & Seiringer, R. (2023). Boundary superconductivity in the BCS model. Journal of Spectral Theory. EMS Press. https://doi.org/10.4171/JST/439
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14539 |
Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14587 |
Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14651 |
Arathoon, L. S. (2023). Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14651
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12726
Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12726
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14530 |
Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/14530
[Updated Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/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, F., Pepic, S., Shriki, O., Tkačik, G., & De Martino, D. (2023). Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. Springer Nature. https://doi.org/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, S. (2023). Exterior algebra and combinatorics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13331
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12680 |
Ivanov, G., & Köse, S. (2023). Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. Elsevier. https://doi.org/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, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12890 |
Klausen, F. R., & Lauritsen, A. B. (2023). Stochastic cellular automaton model of culture formation. Physical Review E. American Physical Society. https://doi.org/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, F. R., & Lauritsen, A. B. (2023). Research data for: A stochastic cellular automaton model of culture formation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12869
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/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, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/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, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14260 |
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Thesis | IST-REx-ID: 14506 |
Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/14506
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Makatura, L., Wang, B., Chen, Y.-L., Deng, B., Wojtan, C., Bickel, B., & Matusik, W. (2023). Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3605389
[Published Version]
View
| Files available
| DOI
| WoS