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.
5145 Publications
2021 |Published| Conference Paper | IST-REx-ID: 9825 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Laarhoven, Thijs, and Michael Walter. “Dual Lattice Attacks for Closest Vector Problems (with Preprocessing).” In Topics in Cryptology – CT-RSA 2021, 12704:478–502. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-75539-3_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 9823 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alistarh, Dan-Adrian, Faith Ellen, and Joel Rybicki. “Wait-Free Approximate Agreement on Graphs.” In Structural Information and Communication Complexity, 12810:87–105. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-79527-6_6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 9824
Čomić, Lidija, Rita Zrour, Gaëlle Largeteau-Skapin, Ranita Biswas, and Eric Andres. “Body Centered Cubic Grid - Coordinate System and Discrete Analytical Plane Definition.” In Discrete Geometry and Mathematical Morphology, 12708:152–63. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-76657-3_10.
View
| DOI
2021 |Submitted| Preprint | IST-REx-ID: 9980 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Prehal, Christian, Sara Drvarič Talian, Alen Vizintin, Heinz Amenitsch, Robert Dominko, Stefan Alexander Freunberger, and Vanessa Wood. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur Batteries.” Research Square, n.d. https://doi.org/10.21203/rs.3.rs-818607/v1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 12767 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bansal, Suguman, Krishnendu Chatterjee, and Moshe Y. Vardi. “On Satisficing in Quantitative Games.” In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12651:20–37. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-72016-2.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10011 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of the Allen-Cahn Equation and Weak-Strong Uniqueness.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2109.04233.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 9230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arguin, Louis-Pierre, Guillaume Dubach, and Lisa Hartung. “Maxima of a Random Model of the Riemann Zeta Function over Intervals of Varying Length.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2103.04817.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 9281 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2103.11389.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10579 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kavcic, Bor, and Gašper Tkačik. “Token-Driven Totally Asymmetric Simple Exclusion Process.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2112.13558.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10806 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Calcabrini, Mariano, Dietger Van den Eynden, Sergi Sanchez Ribot, Rohan Pokratath, Jordi Llorca, Jonathan De Roo, and Maria Ibáñez. “Ligand Conversion in Nanocrystal Synthesis: The Oxidation of Alkylamines to Fatty Acids by Nitrate.” JACS Au. American Chemical Society, 2021. https://doi.org/10.1021/jacsau.1c00349.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Abstract | IST-REx-ID: 12909 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schlögl, Alois, Stefano Elefante, Andrei Hornoiu, and Stephan Stadlbauer. “Managing Software on a Heterogenous HPC Cluster.” In ASHPC21 – Austrian-Slovenian HPC Meeting 2021, 5. University of Ljubljana, 2021. https://doi.org/10.3359/2021hpc.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 11458 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Peste, Elena-Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” In 35th Conference on Neural Information Processing Systems, 34:8557–70. Curran Associates, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10585 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brooks, Morris, Mikhail Lemeshko, Douglas Lundholm, and Enderalp Yakaboylu. “Emergence of Anyons on the Two-Sphere in Molecular Impurities.” Atoms. MDPI, 2021. https://doi.org/10.3390/atoms9040106.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 13147 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alimisis, Foivos, Peter Davies, and Dan-Adrian Alistarh. “Communication-Efficient Distributed Optimization with Quantized Preconditioners.” In Proceedings of the 38th International Conference on Machine Learning, 139:196–206. ML Research Press, 2021.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 13146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nguyen, Quynh, Marco Mondelli, and Guido Montufar. “Tight Bounds on the Smallest Eigenvalue of the Neural Tangent Kernel for Deep ReLU Networks.” In Proceedings of the 38th International Conference on Machine Learning, 139:8119–29. ML Research Press, 2021.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10665 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13072 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Research Data Reference | IST-REx-ID: 13068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Randriamanantsoa, Samuel, Aristeidis Papargyriou, Carlo Maurer, Katja Peschke, Maximilian Schuster, Giulia Zecchin, Katja Steiger, et al. “Spatiotemporal Dynamics of Self-Organized Branching in Pancreas-Derived Organoids.” Zenodo, 2021. https://doi.org/10.5281/ZENODO.5148117.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7551 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fredes Tolorza, Felipe A, Maria A Silva Sifuentes, Peter Koppensteiner, Kenta Kobayashi, Maximilian A Jösch, and Ryuichi Shigemoto. “Ventro-Dorsal Hippocampal Pathway Gates Novelty-Induced Contextual Memory Formation.” Current Biology. Elsevier, 2021. https://doi.org/10.1016/j.cub.2020.09.074.
[Published Version]
View
| Files available
| DOI
| WoS