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 | Conference Paper | IST-REx-ID: 12175 | 
History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
2022 | Conference Paper | IST-REx-ID: 14168 |
Neural attentive circuits
N. Rahaman, M. Weiss, F. Locatello, C. Pal, Y. Bengio, B. Schölkopf, L.E. Li, N. Ballas, in:, 36th Conference on Neural Information Processing Systems, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
N. Rahaman, M. Weiss, F. Locatello, C. Pal, Y. Bengio, B. Schölkopf, L.E. Li, N. Ballas, in:, 36th Conference on Neural Information Processing Systems, 2022.
2022 | Conference Paper | IST-REx-ID: 11185 |
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
2022 | Journal Article | IST-REx-ID: 10753 |
A familiar thought: Machines that replace us?
B.J. Confavreux, T.P. Vogels, Neuron 110 (2022) 361–362.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
B.J. Confavreux, T.P. Vogels, Neuron 110 (2022) 361–362.
2022 | Journal Article | IST-REx-ID: 11144
High thermoelectric performance realized through manipulating layered phonon-electron decoupling
L. Su, D. Wang, S. Wang, B. Qin, Y. Wang, Y. Qin, Y. Jin, C. Chang, L.D. Zhao, Science 375 (2022) 1385–1389.
View
| DOI
| WoS
| PubMed | Europe PMC
L. Su, D. Wang, S. Wang, B. Qin, Y. Wang, Y. Qin, Y. Jin, C. Chang, L.D. Zhao, Science 375 (2022) 1385–1389.
2022 | Thesis | IST-REx-ID: 10799 |
Robustness and fairness in machine learning
N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022.
2022 | Preprint | IST-REx-ID: 10792 |
WDFY3 cell autonomously controls neuronal migration
Z. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K. Zarbalis, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
Z. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K. Zarbalis, (n.d.).
2022 | Journal Article | IST-REx-ID: 11435 |
A quantitative Helly-type theorem: Containment in a homothet
G. Ivanov, M. Naszodi, SIAM Journal on Discrete Mathematics 36 (2022) 951–957.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Ivanov, M. Naszodi, SIAM Journal on Discrete Mathematics 36 (2022) 951–957.
2022 | Journal Article | IST-REx-ID: 11478 |
A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation
K. Bartalska, V. Hübschmann, M. Korkut, R.J. Cubero, A. Venturino, K. Rössler, T. Czech, S. Siegert, IScience 25 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
K. Bartalska, V. Hübschmann, M. Korkut, R.J. Cubero, A. Venturino, K. Rössler, T. Czech, S. Siegert, IScience 25 (2022).
2022 | Thesis | IST-REx-ID: 11626 |
Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana
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
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2022.
2022 | Conference Paper | IST-REx-ID: 12000 |
Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
2022 | Preprint | IST-REx-ID: 14600 |
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
2022 | Thesis | IST-REx-ID: 12358 |
Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting
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
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 10759 |
Analytic and machine learning approaches to composite quantum impurities
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
W. Rzadkowski, Analytic and Machine Learning Approaches to Composite Quantum Impurities, Institute of Science and Technology Austria, 2022.
2022 | Preprint | IST-REx-ID: 14597 |
Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
2022 | Journal Article | IST-REx-ID: 15203 |
The x-ray polarimetry view of the accreting pulsar Cen X-3
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
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.
2022 | Thesis | IST-REx-ID: 12368 |
Remodeling of E-cadherin-mediated contacts via cortical flows
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
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
2022 | Journal Article | IST-REx-ID: 10608 |
Coarse infinite-dimensionality of hyperspaces of finite subsets
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics 8 (2022) 335–355.
[Published Version]
View
| Files available
| DOI
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics 8 (2022) 335–355.
2022 | Preprint | IST-REx-ID: 17115 |
Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).
2022 | Conference Paper | IST-REx-ID: 11355 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
[Published Version]
View
| Files available
| DOI
| WoS
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.