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.
1621 Publications
2022 |Published| Conference Paper | IST-REx-ID: 12175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bose, Sougata, et al. “History-Deterministic Timed Automata Are Not Determinizable.” 16th International Conference on Reachability Problems, vol. 13608, Springer Nature, 2022, pp. 67–76, doi:10.1007/978-3-031-19135-0_5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 14168 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rahaman, Nasim, et al. “Neural Attentive Circuits.” 36th Conference on Neural Information Processing Systems, vol. 35, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11185 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arroyo Guevara, Alan M., and Stefan Felsner. “Approximating the Bundled Crossing Number.” WALCOM 2022: Algorithms and Computation, vol. 13174, Springer Nature, 2022, pp. 383–95, doi:10.1007/978-3-030-96731-4_31.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10753 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Confavreux, Basile J., and Tim P. Vogels. “A Familiar Thought: Machines That Replace Us?” Neuron, vol. 110, no. 3, Elsevier, 2022, pp. 361–62, doi:10.1016/j.neuron.2022.01.014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11144
Su, Lizhong, et al. “High Thermoelectric Performance Realized through Manipulating Layered Phonon-Electron Decoupling.” Science, vol. 375, no. 6587, American Association for the Advancement of Science, 2022, pp. 1385–89, doi:10.1126/science.abn8997.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 10799 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Konstantinov, Nikola H. Robustness and Fairness in Machine Learning. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:10799.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 10792 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schaaf, Zachary, et al. WDFY3 Cell Autonomously Controls Neuronal Migration. Research Square, doi:10.21203/rs.3.rs-1316167/v1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11435 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ivanov, Grigory, and Marton Naszodi. “A Quantitative Helly-Type Theorem: Containment in a Homothet.” SIAM Journal on Discrete Mathematics, vol. 36, no. 2, Society for Industrial and Applied Mathematics, 2022, pp. 951–57, doi:10.1137/21M1403308.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11478 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bartalska, Katarina, et al. “A Systematic Characterization of Microglia-like Cell Occurrence during Retinal Organoid Differentiation.” IScience, vol. 25, no. 7, 104580, Elsevier, 2022, doi:10.1016/j.isci.2022.104580.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Thesis | IST-REx-ID: 11626 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gallei, Michelle C. Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11626.
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” Proceedings of the 34th International Conference on Computer Aided Verification, vol. 13371, Springer, 2022, pp. 55–78, doi:10.1007/978-3-031-13185-1_4.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14600 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, doi:10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sperl, Georg. Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12103.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 10759 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rzadkowski, Wojciech. Analytic and Machine Learning Approaches to Composite Quantum Impurities. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:10759.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer, Julian L., and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” ArXiv, doi:10.48550/ARXIV.2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 15203 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Thesis | IST-REx-ID: 12368 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arslan, Feyza N. Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12153.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10608 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weighill, Thomas, et al. “Coarse Infinite-Dimensionality of Hyperspaces of Finite Subsets.” European Journal of Mathematics, vol. 8, no. 1, Springer Nature, 2022, pp. 335–55, doi:10.1007/s40879-021-00515-3.
[Published Version]
View
| Files available
| DOI
2022 |Published| Preprint | IST-REx-ID: 17115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
O’Brien, Roisin E., et al. “Modes of Inhibition Used by Phage Anti-CRISPRs to Evade Type I-C Cascade.” BioRxiv, Cold Spring Harbor Laboratory, 2022, doi:10.1101/2022.06.15.496202.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 11355 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bartocci, Ezio, et al. “Information-Flow Interfaces.” Fundamental Approaches to Software Engineering, vol. 13241, Springer Nature, 2022, pp. 3–22, doi:10.1007/978-3-030-99429-7_1.
[Published Version]
View
| Files available
| DOI
| WoS