Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4963 Publications

2022 | Published | Conference Paper | IST-REx-ID: 12780 | OA
Markov, Ilia, Hamidreza Ramezanikebrya, and Dan-Adrian Alistarh. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.” In Proceedings of the 23rd ACM/IFIP International Middleware Conference, 241–54. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528535.3565248.
[Published Version] View | Files available | DOI | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12793 | OA
Yu, Hongjie. “ A Coarse Geometric Expansion of a Variant of Arthur’s Truncated Traces and Some Applications.” Pacific Journal of Mathematics. Mathematical Sciences Publishers, 2022. https://doi.org/10.2140/pjm.2022.321.193.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Submitted | Preprint | IST-REx-ID: 12860 | OA
Bombari, Simone, Alessandro Achille, Zijian Wang, Yu-Xiang Wang, Yusheng Xie, Kunwar Yashraj Singh, Srikar Appalaraju, Vijay Mahadevan, and Stefano Soatto. “Towards Differential Relational Privacy and Its Use in Question Answering.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2203.16701.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Abstract | IST-REx-ID: 12894 | OA
Schlögl, Alois, Andrei Hornoiu, Stefano Elefante, and Stephan Stadlbauer. “Where Is the Sweet Spot? A Procurement Story of General Purpose Compute Nodes.” In ASHPC22 - Austrian-Slovenian HPC Meeting 2022, 7. EuroCC Austria c/o Universität Wien, 2022. https://doi.org/10.25365/phaidra.337.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 9794 | OA
Assen, Frank P, Jun Abe, Miroslav Hons, Robert Hauschild, Shayan Shamipour, Walter Kaufmann, Tommaso Costanzo, et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” Nature Immunology. Springer Nature, 2022. https://doi.org/10.1038/s41590-022-01257-4.
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 9955
Reyes‐Pinto, Rosana, José L. Ferrán, Tomas A Vega Zuniga, Cristian González‐Cabrera, Harald Luksch, Jorge Mpodozis, Luis Puelles, and Gonzalo J. Marín. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology. Wiley, 2022. https://doi.org/10.1002/cne.25229.
View | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society. Wiley, 2022. https://doi.org/10.1112/jlms.12506.
[Published Version] View | Files available | DOI | WoS | 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: 10666 | OA
Lechner, Mathias, Ramin Hasani, Radu Grosu, Daniela Rus, and Thomas A Henzinger. “Adversarial Training Is Not Ready for Robot Learning.” In 2021 IEEE International Conference on Robotics and Automation, 4140–47. ICRA, 2021. https://doi.org/10.1109/ICRA48506.2021.9561036.
View | Files available | DOI | Download None (ext.) | WoS | 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 | Published | Conference Paper | IST-REx-ID: 10668 | OA
Babaiee, Zahra, Ramin Hasani, Mathias Lechner, Daniela Rus, and Radu Grosu. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” In Proceedings of the 38th International Conference on Machine Learning, 139:478–89. ML Research Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 
2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10674 | OA
Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games.” Logical Methods in Computer Science. International Federation for Computational Logic, 2021. https://doi.org/10.23638/LMCS-17(1:10)2021.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10688 | OA
Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23.
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 10694 | OA
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021. https://doi.org/10.1137/1.9781611976465.38.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10711 | OA
Autissier, Pascal, Dante Bonolis, and Youness Lamzouri. “The Distribution of the Maximum of Partial Sums of Kloosterman Sums and Other Trace Functions.” Compositio Mathematica. Cambridge University Press, 2021. https://doi.org/10.1112/s0010437x21007351.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10738 | OA
Leopold, Nikolai K, Simone Anna Elvira Rademacher, Benjamin Schlein, and Robert Seiringer. “ The Landau–Pekar Equations: Adiabatic Theorem and Accuracy.” Analysis and PDE. Mathematical Sciences Publishers, 2021. https://doi.org/10.2140/APDE.2021.14.2079.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Submitted | Preprint | IST-REx-ID: 10762 | OA
Rzadkowski, Wojciech, Mikhail Lemeshko, and Johan H. Mentink. “Artificial Neural Network States for Non-Additive Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2105.15193.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed