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.

6997 Publications


2021 |Published| Conference Paper | IST-REx-ID: 9604 | OA
Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Counting Cells of Order-k Voronoi Tessellations in ℝ3 with Morse Theory.” In Leibniz International Proceedings in Informatics, Vol. 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.16.
[Published Version] View | Files available | DOI
 

2021 |Published| Conference Paper | IST-REx-ID: 9620 | OA
Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.” In Structural Information and Communication Complexity, 12810:3–12. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-79527-6_1.
[Preprint] View | Files available | DOI
 

2021 |Published| Conference Paper | IST-REx-ID: 9826 | OA
Auerbach, Benedikt, Suvradip Chakraborty, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, Michael Walter, and Michelle X Yeo. “Inverse-Sybil Attacks in Automated Contact Tracing.” In Topics in Cryptology – CT-RSA 2021, 12704:399–421. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-75539-3_17.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 |Published| Conference Paper | IST-REx-ID: 9825 | OA
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 | OA
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 |Published| Conference Paper | IST-REx-ID: 12767 | OA
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 | OA
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: 10579 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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: 10665 | OA
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 | OA
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: 13068 | OA
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 | OA
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
 

2021 |Published| Journal Article | IST-REx-ID: 8373 | OA
Pitrik, József, and Daniel Virosztek. “A Divergence Center Interpretation of General Symmetric Kubo-Ando Means, and Related Weighted Multivariate Operator Means.” Linear Algebra and Its Applications. Elsevier, 2021. https://doi.org/10.1016/j.laa.2020.09.007.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 |Published| Journal Article | IST-REx-ID: 8317 | OA
Aichholzer, Oswin, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” Computational Geometry: Theory and Applications. Elsevier, 2021. https://doi.org/10.1016/j.comgeo.2020.101700.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

supervisor%3D4AFD0470-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications