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, Julia, et al. “Loss of Ena/VASP Interferes with Lamellipodium Architecture, Motility and Integrin-Dependent Adhesion.” ELife, vol. 9, e55351, eLife Sciences Publications, 2020, doi:10.7554/eLife.55351.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8669 | OA
Sznurkowska, Magdalena K., et al. “Tracing the Cellular Basis of Islet Specification in Mouse Pancreas.” Nature Communications, vol. 11, 5037, Springer Nature, 2020, doi: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, Andreas, et al. “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, 2020, pp. 3981–92, doi:10.1109/TCAD.2020.3012803.
View | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7563 | OA
Yalniz, Gökhan, and Nazmi B. Budanur. “Inferring Symbolic Dynamics of Chaotic Flows from Persistence.” Chaos, vol. 30, no. 3, 033109, AIP Publishing, 2020, doi: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, Herbert, et al. “Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.” Topological Data Analysis, vol. 15, Springer Nature, 2020, pp. 181–218, doi: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, Krzysztof, and Robert 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, 2020, pp. 4003–25, doi: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á, Zuzana. Reconfiguration Problems. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:7944.
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8574 | OA
Szep, Eniko. Local Adaptation in Metapopulations. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8574.
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8032 | OA
Huszár, Kristóf. Combinatorial Width Parameters for 3-Dimensional Manifolds. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8032.
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi: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, Huibin. Novel Insights into PIN Polarity Regulation during Arabidopsis Development. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8589.
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8366 | OA
Guseinov, Ruslan. Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8366.
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8358 | OA
Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358.
[Published Version] View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8390 | OA
Royer, Amélie. Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8390.
[Published Version] View | Files available | DOI
 

2020 | Published | Book Chapter | IST-REx-ID: 8092 | OA
Royer, Amélie, et al. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” Domain Adaptation for Visual Understanding, edited by Richa Singh et al., Springer Nature, 2020, pp. 33–49, doi: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, Krishnendu, et al. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” International Conference on Computer Aided Verification, vol. 12225, Springer Nature, 2020, pp. 398–420, doi: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, Nicholas, et al. “Improved Discrete Gaussian and Subgaussian Analysis for Lattice Cryptography.” 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, vol. 12110, Springer Nature, 2020, pp. 623–51, doi: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, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” Progress in Cryptology, vol. 12578, Springer Nature, 2020, pp. 3–15, doi: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, Suvradip, et al. “Reverse Firewalls for Actively Secure MPCs.” Advances in Cryptology – CRYPTO 2020, vol. 12171, Springer Nature, 2020, pp. 732–62, doi: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, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi: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: MLA

Export / Embed