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 | OA
Damiano-Guercio, J., Kurzawa, L., Müller, J., Dimchev, G. A., Schaks, M., Nemethova, M., … Faix, J. (2020). Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.55351
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8669 | OA
Sznurkowska, M. K., Hannezo, E. B., Azzarelli, R., Chatzeli, L., Ikeda, T., Yoshida, S., … Simons, B. D. (2020). Tracing the cellular basis of islet specification in mouse pancreas. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18837-3
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8788
Pavlogiannis, A., Schaumberger, N., Schmid, U., & Chatterjee, K. (2020). Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012803
View | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7563 | OA
Yalniz, G., & Budanur, N. B. (2020). Inferring symbolic dynamics of chaotic flows from persistence. Chaos. AIP Publishing. https://doi.org/10.1063/1.5122969
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8135 | OA
Edelsbrunner, H., Nikitenko, A., Ölsböck, K., & Synak, P. (2020). Radius functions on Poisson–Delaunay mosaics and related complexes experimentally. In Topological Data Analysis (Vol. 15, pp. 181–218). Springer Nature. https://doi.org/10.1007/978-3-030-43408-3_8
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 8705 | OA
Mysliwy, K., & Seiringer, R. (2020). Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-020-00969-3
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Thesis | PhD | IST-REx-ID: 7944 | OA
Masárová, Z. (2020). Reconfiguration problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7944
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8574 | OA
Szep, E. (2020). Local adaptation in metapopulations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8574
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8032 | OA
Huszár, K. (2020). Combinatorial width parameters for 3-dimensional manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8032
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8589 | OA
Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8589
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8366 | OA
Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8366
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8358 | OA
Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8358
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8390 | OA
Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8390
[Published Version] View | Files available | DOI
 

2020 | Published | Book Chapter | IST-REx-ID: 8092 | OA
Royer, A., Bousmalis, K., Gouws, S., Bertsch, F., Mosseri, I., Cole, F., & Murphy, K. (2020). XGAN: Unsupervised image-to-image translation for many-to-many mappings. In R. Singh, M. Vatsa, V. M. Patel, & N. Ratha (Eds.), Domain Adaptation for Visual Understanding (pp. 33–49). Springer Nature. https://doi.org/10.1007/978-3-030-30671-7_3
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8339 | OA
Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8987 | OA
Pietrzak, K. Z. (2020). Delayed authentication: Preventing replay and relay attacks in private contact tracing. In Progress in Cryptology (Vol. 12578, pp. 3–15). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-030-65277-7_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed