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.
236 Publications
2023 | Conference Paper | IST-REx-ID: 13221 | 
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12406 |
Diao, Yijie. “Density of the Union of Positive Diagonal Binary Quadratic Forms.” Acta Arithmetica. Instytut Matematyczny, 2023. https://doi.org/10.4064/aa210830-24-11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14422
Confavreux, Basile J. “Synapseek: Meta-Learning Synaptic Plasticity Rules.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14422.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14374 |
Roos, Barbara. “Boundary Superconductivity in BCS Theory.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14374.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13207 |
Hainzl, Christian, Barbara Roos, and Robert Seiringer. “Boundary Superconductivity in the BCS Model.” Journal of Spectral Theory. EMS Press, 2023. https://doi.org/10.4171/JST/439.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14485 |
Aksenov, Vitaly, Michael Anoprenko, Alexander Fedorov, and Michael Spear. “Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures.” In 37th International Symposium on Distributed Computing, Vol. 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.DISC.2023.35.
[Published Version]
View
| Files available
| DOI
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. https://doi.org/10.15479/AT:ISTA:12869.
[Published Version]
View
| Files available
| DOI
2023 | 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. American Physical Society, 2023. https://doi.org/10.1103/PhysRevE.108.054307.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14543 |
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Journal Article | IST-REx-ID: 14542 |
Henheik, Sven Joscha, Asbjørn Bækgaard Lauritsen, and Barbara Roos. “Universality in Low-Dimensional BCS Theory.” Reviews in Mathematical Physics. World Scientific Publishing, 2023. https://doi.org/10.1142/s0129055x2360005x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | 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. https://doi.org/10.15479/14506.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12726
Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12726.
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14530 |
Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14530.
[Updated Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14547 |
Phan, Duc T. “Resonant Microwave Spectroscopy of Al-InAs.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14547.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14628 |
Makatura, Liane, Bohan Wang, Yi-Lu Chen, Bolei Deng, Chris Wojtan, Bernd Bickel, and Wojciech Matusik. “Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3605389.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14653 |
Kluibenschedl, Florian, Anna Ploner, Christina Meisenbichler, Robert Konrat, and Thomas Müller. “Advanced Motion Tracking for Interactive Mass Spectrometry Imaging (IMSI).” International Journal of Mass Spectrometry. Elsevier, 2023. https://doi.org/10.1016/j.ijms.2023.117168.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13274 |
Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur, and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.131.034002.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14058 |
Puixeu Sala, Gemma. “The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14058.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14077 |
Puixeu Sala, Gemma, Ariana Macon, and Beatriz Vicoso. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” G3: Genes, Genomes, Genetics. Oxford University Press, 2023. https://doi.org/10.1093/g3journal/jkad121.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data | IST-REx-ID: 12933 |
Puixeu Sala, Gemma. “Data from: Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12933.
[Published Version]
View
| Files available
| DOI