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.
1790 Publications
2022 |Published| Conference Paper | IST-REx-ID: 12175 | 
S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 14168 |
N. Rahaman et al., “Neural attentive circuits,” in 36th Conference on Neural Information Processing Systems, New Orleans, United States, 2022, vol. 35.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 11185 |
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” in WALCOM 2022: Algorithms and Computation, Jember, Indonesia, 2022, vol. 13174, pp. 383–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10753 |
B. J. Confavreux and T. P. Vogels, “A familiar thought: Machines that replace us?,” Neuron, vol. 110, no. 3. Elsevier, pp. 361–362, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11144
L. Su et al., “High thermoelectric performance realized through manipulating layered phonon-electron decoupling,” Science, vol. 375, no. 6587. American Association for the Advancement of Science, pp. 1385–1389, 2022.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 10799 |
N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 10792 |
Z. Schaaf et al., “WDFY3 cell autonomously controls neuronal migration.” Research Square.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11435 |
G. Ivanov and M. 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, pp. 951–957, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11478 |
K. Bartalska et al., “A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation,” iScience, vol. 25, no. 7. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Thesis | IST-REx-ID: 11626 |
M. C. Gallei, “Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Sound and complete certificates for auantitative termination analysis of probabilistic programs,” in Proceedings of the 34th International Conference on Computer Aided Verification, Haifa, Israel, 2022, vol. 13371, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14600 |
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12358 |
G. Sperl, “Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 10759 |
W. Rzadkowski, “Analytic and machine learning approaches to composite quantum impurities,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| 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 |Published| Thesis | IST-REx-ID: 12368 |
F. N. Arslan, “Remodeling of E-cadherin-mediated contacts via cortical flows,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 8538 |
A. Akopyan, R. Schwartz, and S. Tabachnikov, “Billiards in ellipses revisited,” European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1313–1327, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 8286 |
D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” Algorithmica, vol. 84, no. 4. Springer Nature, pp. 1007–1029, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv