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.
1952 Publications
2022 | Conference Paper | IST-REx-ID: 12175 | 
Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.” In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19135-0_5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Conference Paper | IST-REx-ID: 14168 |
Rahaman, Nasim, Martin Weiss, Francesco Locatello, Chris Pal, Yoshua Bengio, Bernhard Schölkopf, Li Erran Li, and Nicolas Ballas. “Neural Attentive Circuits.” In 36th Conference on Neural Information Processing Systems, Vol. 35, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 11185 |
Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.” In WALCOM 2022: Algorithms and Computation, 13174:383–95. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-96731-4_31.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 10802 |
Konstantinov, Nikola H, and Christoph Lampert. “Fairness-Aware PAC Learning from Corrupted Data.” Journal of Machine Learning Research. ML Research Press, 2022.
[Published Version]
View
| Files available
| arXiv
2022 | Journal Article | IST-REx-ID: 10753 |
Confavreux, Basile J, and Tim P Vogels. “A Familiar Thought: Machines That Replace Us?” Neuron. Elsevier, 2022. https://doi.org/10.1016/j.neuron.2022.01.014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11144
Su, Lizhong, Dongyang Wang, Sining Wang, Bingchao Qin, Yuping Wang, Yongxin Qin, Yang Jin, Cheng Chang, and Li Dong Zhao. “High Thermoelectric Performance Realized through Manipulating Layered Phonon-Electron Decoupling.” Science. American Association for the Advancement of Science, 2022. https://doi.org/10.1126/science.abn8997.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 10799 |
Konstantinov, Nikola H. “Robustness and Fairness in Machine Learning.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:10799.
[Published Version]
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 10792 |
Schaaf, Zachary, Lyvin Tat, Noemi Cannizzaro, Ralph Green, Thomas Rülicke, Simon Hippenmeyer, and K Zarbalis. “WDFY3 Cell Autonomously Controls Neuronal Migration.” Research Square, n.d. https://doi.org/10.21203/rs.3.rs-1316167/v1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11435 |
Ivanov, Grigory, and Marton Naszodi. “A Quantitative Helly-Type Theorem: Containment in a Homothet.” SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics, 2022. https://doi.org/10.1137/21M1403308.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11478 |
Bartalska, Katarina, Verena Hübschmann, Medina Korkut, Ryan J Cubero, Alessandro Venturino, Karl Rössler, Thomas Czech, and Sandra Siegert. “A Systematic Characterization of Microglia-like Cell Occurrence during Retinal Organoid Differentiation.” IScience. Elsevier, 2022. https://doi.org/10.1016/j.isci.2022.104580.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Thesis | IST-REx-ID: 11626 |
Gallei, Michelle C. “Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11626.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12000 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1_4.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 12358 |
Sperl, Georg. “Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12103.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 10759 |
Rzadkowski, Wojciech. “Analytic and Machine Learning Approaches to Composite Quantum Impurities.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:10759.
[Published Version]
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 14597 |
Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 15203 |
Tsygankov SS, Doroshenko V, Poutanen J, Heyl J, Mushtukov AA, Caiazzo I, Di Marco A, Forsblom SV, González-Caniulef D, Klawin M, La Monaca F, Malacaria C, Marshall HL, Muleri F, Ng M, Suleimanov VF, Sunyaev RA, Turolla R, Agudo I, Antonelli LA, Bachetti M, Baldini L, Baumgartner WH, Bellazzini R, Bianchi S, Bongiorno SD, Bonino R, Brez A, Bucciantini N, Capitanio F, Castellano S, Cavazzuti E, Ciprini S, Costa E, Rosa AD, Del Monte E, Gesu LD, Lalla ND, Donnarumma I, Dovčiak M, Ehlert SR, Enoto T, Evangelista Y, Fabiani S, Ferrazzoli R, Garcia JA, Gunji S, Hayashida K, Iwakiri W, Jorstad SG, Karas V, Kitaguchi T, Kolodziejczak JJ, Krawczynski H, Latronico L, Liodakis I, Maldera S, Manfreda A, Marin F, Marinucci A, Marscher AP, Matt G, Mitsuishi I, Mizuno T, Ng C-Y, O’Dell SL, Omodei N, Oppedisano C, Papitto A, Pavlov GG, Peirson AL, Perri M, Pesce-Rollins M, Petrucci P-O, Pilia M, Possenti A, Puccetti S, Ramsey BD, Rankin J, Ratheesh A, Romani RW, Sgrò C, Slane P, Soffitta P, Spandre G, Tamagawa T, Tavecchio F, Taverna R, Tawara Y, Tennant AF, Thomas NE, Tombesi F, Trois A, Vink J, Weisskopf MC, Wu K, Xie F, Zane S. 2022. The x-ray polarimetry view of the accreting pulsar Cen X-3. The Astrophysical Journal Letters. 941(1), L14.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 15210 |
Richer, Harvey B., Roger E. Cohen, Jeremy Heyl, Jason Kalirai, Ilaria Caiazzo, Matteo Correnti, Jeffrey Cummings, et al. “When Do Stars Go Boom?” The Astrophysical Journal Letters. American Astronomical Society, 2022. https://doi.org/10.3847/2041-8213/ac6585.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 12368 |
Arslan, Feyza N. “Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12153.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10608 |
Weighill, Thomas, Takamitsu Yamauchi, and Nicolò Zava. “Coarse Infinite-Dimensionality of Hyperspaces of Finite Subsets.” European Journal of Mathematics. Springer Nature, 2022. https://doi.org/10.1007/s40879-021-00515-3.
[Published Version]
View
| Files available
| DOI