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


2020 |Published| Conference Paper | IST-REx-ID: 8987 | OA
Pietrzak, Krzysztof Z. “Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing.” In Progress in Cryptology, 12578:3–15. LNCS. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-65277-7_1.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 |Published| Journal Article | IST-REx-ID: 7235 | OA
Lieb, Elliott H., and Robert Seiringer. “Divergence of the Effective Mass of a Polaron in the Strong Coupling Limit.” Journal of Statistical Physics. Springer Nature, 2020. https://doi.org/10.1007/s10955-019-02322-3.
[Published Version] View | Files available | DOI | WoS
 

2020 |Published| Conference Paper | IST-REx-ID: 7966 | OA
Auerbach, Benedikt, Federico Giacon, and Eike Kiltz. “Everybody’s a Target: Scalability in Public-Key Encryption.” In Advances in Cryptology – EUROCRYPT 2020, 12107:475–506. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45727-3_16.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2020 |Published| Conference Paper | IST-REx-ID: 8623 | OA
Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.” In Runtime Verification, 12399:3–18. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60508-7_1.
[Submitted Version] View | Files available | DOI | WoS
 

2020 |Published| Conference Paper | IST-REx-ID: 8732
Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.” In Graph-Theoretic Concepts in Computer Science, 12301:325–38. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-60440-0_26.
View | DOI
 

2020 |Published| Book Chapter | IST-REx-ID: 10865 | OA
Chakraborty, Suvradip, Manoj Prabhakaran, and Daniel Wichs. “Witness Maps and Applications.” In Public-Key Cryptography, edited by A Kiayias, 12110:220–46. LNCS. Cham: Springer Nature, 2020. https://doi.org/10.1007/978-3-030-45374-9_8.
[Preprint] View | DOI | Download Preprint (ext.)
 

2020 |Published| Journal Article | IST-REx-ID: 8057 | OA
Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot, Benjamin Rotenberg, Frederic Favier, Stefan Alexander Freunberger, Mathieu Salanne, and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” Angewandte Chemie. Wiley, 2020. https://doi.org/10.1002/ange.202005378.
[Published Version] View | Files available | DOI
 

2020 |Published| Journal Article | IST-REx-ID: 7847 | OA
Bouchal, Roza, Zhujie Li, Chandra Bongu, Steven Le Vot, Romain Berthelot, Benjamin Rotenberg, Fréderic Favier, Stefan Alexander Freunberger, Mathieu Salanne, and Olivier Fontaine. “Competitive Salt Precipitation/Dissolution during Free‐water Reduction in Water‐in‐salt Electrolyte.” Angewandte Chemie International Edition. Wiley, 2020. https://doi.org/10.1002/anie.202005378.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 |Published| Journal Article | IST-REx-ID: 8329 | OA
Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, Roland Fischer, Stefan Alexander Freunberger, Wolfgang Kern, and Stefan Spirk. “2‐methoxyhydroquinone from Vanillin for Aqueous Redox‐flow Batteries.” Angewandte Chemie International Edition. Wiley, 2020. https://doi.org/10.1002/anie.202008253.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Research Data Reference | IST-REx-ID: 9780 | OA
Schlemmer, Werner, Philipp Nothdurft, Alina Petzold, Gisbert Riess, Philipp Frühwirt, Max Schmallegger, Georg Gescheidt-Demner, et al. “CCDC 1991959: Experimental Crystal Structure Determination.” CCDC, 2020. https://doi.org/10.5517/ccdc.csd.cc24vsrk.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 |Published| Journal Article | IST-REx-ID: 7417 | OA
Sinclair, Scott A, S. Gille, M. Pauly, and U. Krämer. “Regulation of Acetylation of Plant Cell Wall Components Is Complex and Responds to External Stimuli.” Plant Signaling & Behavior. Informa UK Limited, 2020. https://doi.org/10.1080/15592324.2019.1687185.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

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

2020 |Published| Thesis | IST-REx-ID: 8589 | OA
Han, Huibin. “Novel Insights into PIN Polarity Regulation during Arabidopsis Development.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8589.
[Published Version] View | Files available | DOI
 

2020 |Published| Book Chapter | IST-REx-ID: 8092 | OA
Royer, Amélie, Konstantinos Bousmalis, Stephan Gouws, Fred Bertsch, Inbar Mosseri, Forrester Cole, and Kevin Murphy. “XGAN: Unsupervised Image-to-Image Translation for Many-to-Many Mappings.” In Domain Adaptation for Visual Understanding, edited by Richa Singh, Mayank Vatsa, Vishal M. Patel, and Nalini Ratha, 33–49. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-30671-7_3.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

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

2020 |Published| Conference Paper | IST-REx-ID: 8195 | OA
Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.
[Published Version] View | Files available | DOI | WoS
 

2020 |Published| Thesis | 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. https://doi.org/10.15479/AT:ISTA:8358.
[Published Version] View | Files available | DOI
 

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. Springer Nature, 2020. https://doi.org/10.1007/s00023-020-00969-3.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 |Published| Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.” In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-53291-8_21.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications