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.
5388 Publications
2023 | Published | Journal Article | IST-REx-ID: 13049 | 
Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592411.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14830
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i10.26407.
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14779 |
Shaw, Thomas E., Pascal Buri, Michael McCarthy, Evan S. Miles, Álvaro Ayala, and Francesca Pellicciotti. “The Decaying Near‐surface Boundary Layer of a Retreating Alpine Glacier.” Geophysical Research Letters. American Geophysical Union, 2023. https://doi.org/10.1029/2023gl103043.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah, Mahsa, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” In 27th International Conference on Financial Cryptography and Data Security, 13950:309–25. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47754-6_18.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14739 |
Ali, Dashti, Aras Asaad, Maria-Jose Jimenez, Vidit Nanda, Eduardo Paluzo-Hidalgo, and Manuel Soriano Trigueros. “A Survey of Vectorization Methods in Topological Data Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2023. https://doi.org/10.1109/tpami.2023.3308391.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14831 |
Sakref, Yann, Maitane Muñoz Basagoiti, Zorana Zeravcic, and Olivier Rivoire. “On Kinetic Constraints That Catalysis Imposes on Elementary Processes.” The Journal of Physical Chemistry B. American Chemical Society, 2023. https://doi.org/10.1021/acs.jpcb.3c04627.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14849 |
Cipolloni, Giorgio, László Erdös, Dominik J Schröder, and Yuanyuan Xu. “On the Rightmost Eigenvalue of Non-Hermitian Random Matrices.” The Annals of Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-aop1643.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14854
Mitrouskas, David Johannes, and Robert Seiringer. “Ubiquity of Bound States for the Strongly Coupled Polaron.” Pure and Applied Analysis. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/paa.2023.5.973.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12675 |
Becker, Lea Marie, Mélanie Berbon, Alicia Vallet, Axelle Grelard, Estelle Morvan, Benjamin Bardiaux, Roman Lichtenecker, Matthias Ernst, Antoine Loquet, and Paul Schanda. “The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle Spinning NMR of Aromatic Residues.” Angewandte Chemie International Edition. Wiley, 2023. https://doi.org/10.1002/anie.202219314.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13209 |
Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications. Elsevier , 2023. https://doi.org/10.1016/j.xplc.2023.100632.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13214 |
Abualia, R, Stefan Riegler, and Eva Benková. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells. MDPI, 2023. https://doi.org/10.3390/cells12121613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14989 |
Malvai, Harjasleen, Eleftherios Kokoris Kogias, Alberto Sonnino, Esha Ghosh, Ercan Oztürk, Kevin Lewi, and Sean Lawlor. “Parakeet: Practical Key Transparency for End-to-End EEncrypted Messaging.” In Proceedings of the 2023 Network and Distributed System Security Symposium. Internet Society, 2023. https://doi.org/10.14722/ndss.2023.24545.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Research Data | IST-REx-ID: 12497 |
Becker, Lea Marie, and Paul Schanda. “Research Data to: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic-Angle-Spinning NMR Spectroscopy of Aromatic Residues.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12497.
[Published Version]
View
| Files available
| DOI
2023 | Published | Other Publication | IST-REx-ID: 14861 |
Becker, Lea Marie, Mélanie Berbon, Alicia Vallet, Axelle Grelard, Estelle Morvan, Benjamin Bardiaux, Roman Lichtenecker, Matthias Ernst, Antoine Loquet, and Paul Schanda. Cover Picture: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle‐Spinning NMR Spectroscopy of Aromatic Residues. Angewandte Chemie International Edition. Vol. 62. Wiley, 2023. https://doi.org/10.1002/anie.202304138.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 12979 |
Condor, Jorge, Michael Piovarci, Bernd Bickel, and Piotr Didyk. “Gloss-Aware Color Correction for 3D Printing.” In SIGGRAPH ’23 Conference Proceedings. Association for Computing Machinery, 2023. https://doi.org/10.1145/3588432.3591546.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14778 |
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing. Association for Computing Machinery, 2023. https://doi.org/10.1145/3585391.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” In Proceedings of 2023 IEEE International Symposium on Information Theory, 400–405. IEEE, 2023. https://doi.org/10.1109/isit54713.2023.10206899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM, 2023. https://doi.org/10.1145/3606037.3606836.
View
| Files available
| DOI