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.
370 Publications
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. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13331 |
Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14261 |
Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. 2023. 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. Journal of Physical Chemistry Letters. 14(33), 7395–7403.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14485 |
Aksenov V, Anoprenko M, Fedorov A, Spear M. 2023. Brief announcement: BatchBoost: Universal batching for concurrent data structures. 37th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 281, 35.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12406 |
Diao Y. 2023. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 207, 1–17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Research Data | IST-REx-ID: 12497 |
Becker LM, Schanda P. 2023. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12497.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12675 |
Becker LM, Berbon M, Vallet A, Grelard A, Morvan E, Bardiaux B, Lichtenecker R, Ernst M, Loquet A, Schanda P. 2023. The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. 62(19), e202219314.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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. 346(6), 113363.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12724 |
Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov A, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Effective model for studying optical properties of lead halide perovskites. Physical Review B. 107(12), 125201.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Poster | IST-REx-ID: 12736 |
Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Abstract | IST-REx-ID: 14863 |
Polesello A, Muller CJ, Pasquero C, Meroni AN. 2023. Intensification mechanisms of tropical cyclones. EGU General Assembly 2023. EGU General Assembly, EGU23-6157.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12890 |
Klausen FR, Lauritsen AB. 2023. Stochastic cellular automaton model of culture formation. Physical Review E. 108(5), 054307.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Research Data | IST-REx-ID: 12869 |
Klausen FR, Lauritsen AB. 2023. Research data for: A stochastic cellular automaton model of culture formation, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12869.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12545 |
Rojas Vega MN, De Castro P, Soto R. 2023. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 107(1), 014608.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13310 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12467 |
Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12716 |
Burnett L. 2023. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation, ACM,p.
View
| Files available
| DOI