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.




6474 Publications

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 | Journal Article | IST-REx-ID: 9118 | OA
Calcabrini, Mariano, Aziz Genc, Yu Liu, Tobias Kleinhanns, Seungho Lee, Dmitry N. Dirin, Quinten A. Akkerman, Maksym V. Kovalenko, Jordi Arbiol, and Maria Ibáñez. “Exploiting the Lability of Metal Halide Perovskites for Doping Semiconductor Nanocomposites.” ACS Energy Letters. American Chemical Society, 2021. https://doi.org/10.1021/acsenergylett.0c02448.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 8910 | OA
Valentini, Marco, Fernando Peñaranda, Andrea C Hofmann, Matthias Brauns, Robert Hauschild, Peter Krogstrup, Pablo San-Jose, Elsa Prada, Ramón Aguado, and Georgios Katsaros. “Nontopological Zero-Bias Peaks in Full-Shell Nanowires Induced by Flux-Tunable Andreev States.” Science. American Association for the Advancement of Science, 2021. https://doi.org/10.1126/science.abf1513.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10414 | OA
Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454093.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 11458 | OA
Krumes, 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. Neural Information Processing Systems Foundation, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9969 | OA
Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo. “LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE, 2021. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9394 | OA
Koch, Eva L., Hernán E. Morales, Jenny Larsson, Anja M Westram, Rui Faria, Alan R. Lemmon, E. Moriarty Lemmon, Kerstin Johannesson, and Roger K. Butlin. “Genetic Variation for Adaptive Traits Is Associated with Polymorphic Inversions in Littorina Saxatilis.” Evolution Letters. Wiley, 2021. https://doi.org/10.1002/evl3.227.
[Published Version] View | Files available | DOI | WoS
 
2021 | Research Data Reference | IST-REx-ID: 12987 | OA
Koch, Eva, Hernán E. Morales, Jenny Larsson, Anja M Westram, Rui Faria, Alan R. Lemmon, E. Moriarty Lemmon, Kerstin Johannesson, and Roger K. Butlin. “Data from: Genetic Variation for Adaptive Traits Is Associated with Polymorphic Inversions in Littorina Saxatilis.” Dryad, 2021. https://doi.org/10.5061/DRYAD.ZGMSBCCB4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 9350 | OA
Arslan, Feyza N, Julia Eckert, Thomas Schmidt, and Carl-Philipp J Heisenberg. “Holding It Together: When Cadherin Meets Cadherin.” Biophysical Journal. Biophysical Society, 2021. https://doi.org/10.1016/j.bpj.2021.03.025.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Draft | Preprint | IST-REx-ID: 12077 | OA
Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.14946.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 12076 | OA
Shute, Alec L. “Sums of Four Squareful Numbers.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.06966.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 10803 | OA
Konstantinov, Nikola H, and Christoph Lampert. “Fairness through Regularization for Learning to Rank.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2102.05996.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | 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
 
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 | 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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Thesis | PhD | IST-REx-ID: 9022 | OA
Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9022.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | MS | IST-REx-ID: 10422 | OA
Piankov, Anton. “Towards Designer Materials Using Customizable Particle Shape.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10422.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10030 | OA
Portinale, Lorenzo. “Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10030.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed