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.
2037 Publications
2020 |
Published |
Journal Article |
IST-REx-ID: 7909 |
J. Damiano-Guercio et al., “Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion,” eLife, vol. 9. eLife Sciences Publications, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 8669 |
M. K. Sznurkowska et al., “Tracing the cellular basis of islet specification in mouse pancreas,” Nature Communications, vol. 11. Springer Nature, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 8788
A. Pavlogiannis, N. Schaumberger, U. Schmid, and K. Chatterjee, “Precedence-aware automated competitive analysis of real-time scheduling,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11. IEEE, pp. 3981–3992, 2020.
View
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 7563 |
G. Yalniz and N. B. Budanur, “Inferring symbolic dynamics of chaotic flows from persistence,” Chaos, vol. 30, no. 3. AIP Publishing, 2020.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 8135 |
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, and P. Synak, “Radius functions on Poisson–Delaunay mosaics and related complexes experimentally,” in Topological Data Analysis, 2020, vol. 15, pp. 181–218.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 8705 |
K. Mysliwy and R. Seiringer, “Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit,” Annales Henri Poincare, vol. 21, no. 12. Springer Nature, pp. 4003–4025, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7944 |
Z. Masárová, “Reconfiguration problems,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8574 |
E. Szep, “Local adaptation in metapopulations,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8032 |
K. Huszár, “Combinatorial width parameters for 3-dimensional manifolds,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 8195 |
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8589 |
H. Han, “Novel insights into PIN polarity regulation during Arabidopsis development,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8366 |
R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8358 |
P. R. Dos Santos Caldas, “Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8390 |
A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Book Chapter |
IST-REx-ID: 8092 |
A. Royer et al., “XGAN: Unsupervised image-to-image translation for many-to-many mappings,” in Domain Adaptation for Visual Understanding, R. Singh, M. Vatsa, V. M. Patel, and N. Ratha, Eds. Springer Nature, 2020, pp. 33–49.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 8272 |
K. Chatterjee, J. P. Katoen, M. Weininger, and T. Winkler, “Stochastic games with lexicographic reachability-safety objectives,” in International Conference on Computer Aided Verification, 2020, vol. 12225, pp. 398–420.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 8339 |
N. Genise, D. Micciancio, C. Peikert, and M. Walter, “Improved discrete Gaussian and subgaussian analysis for lattice cryptography,” in 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Edinburgh, United Kingdom, 2020, vol. 12110, pp. 623–651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8987 |
K. Z. Pietrzak, “Delayed authentication: Preventing replay and relay attacks in private contact tracing,” in Progress in Cryptology, Bangalore, India, 2020, vol. 12578, pp. 3–15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8322 |
S. Chakraborty, S. Dziembowski, and J. B. Nielsen, “Reverse firewalls for actively secure MPCs,” in Advances in Cryptology – CRYPTO 2020, Santa Barbara, CA, United States, 2020, vol. 12171, pp. 732–762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8194 |
M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS