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 |
PCBend: Light up your 3D shapes with foldable circuit boards
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
2023 | Published | Journal Article | IST-REx-ID: 14779 |
The decaying near‐surface boundary layer of a retreating alpine glacier
T.E. Shaw, P. Buri, M. McCarthy, E.S. Miles, Á. Ayala, F. Pellicciotti, Geophysical Research Letters 50 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
T.E. Shaw, P. Buri, M. McCarthy, E.S. Miles, Á. Ayala, F. Pellicciotti, Geophysical Research Letters 50 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View
| DOI
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
2023 | Published | Journal Article | IST-REx-ID: 14739 |
A survey of vectorization methods in topological data analysis
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
[Published Version]
View
| Files available
| DOI
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
2023 | Published | Journal Article | IST-REx-ID: 14831 |
On kinetic constraints that catalysis imposes on elementary processes
Y. Sakref, M. Muñoz Basagoiti, Z. Zeravcic, O. Rivoire, The Journal of Physical Chemistry B 127 (2023) 10950–10959.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Sakref, M. Muñoz Basagoiti, Z. Zeravcic, O. Rivoire, The Journal of Physical Chemistry B 127 (2023) 10950–10959.
2023 | Published | Journal Article | IST-REx-ID: 14849 |
On the rightmost eigenvalue of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, The Annals of Probability 51 (2023) 2192–2242.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, The Annals of Probability 51 (2023) 2192–2242.
2023 | Published | Journal Article | IST-REx-ID: 14854
Ubiquity of bound states for the strongly coupled polaron
D.J. Mitrouskas, R. Seiringer, Pure and Applied Analysis 5 (2023) 973–1008.
View
| DOI
D.J. Mitrouskas, R. Seiringer, Pure and Applied Analysis 5 (2023) 973–1008.
2023 | Published | Journal Article | IST-REx-ID: 12675 |
The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
2023 | Published | Journal Article | IST-REx-ID: 13209 |
Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13214 |
Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14989 |
Parakeet: Practical key transparency for end-to-end eEncrypted messaging
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
2023 | Research Data | IST-REx-ID: 12497 |
Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues
L.M. Becker, P. Schanda, (2023).
[Published Version]
View
| Files available
| DOI
L.M. Becker, P. Schanda, (2023).
2023 | Published | Other Publication | IST-REx-ID: 14861 |
Cover Picture: The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle‐Spinning NMR spectroscopy of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Cover Picture: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle‐Spinning NMR Spectroscopy of Aromatic Residues, Wiley, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Cover Picture: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic‐Angle‐Spinning NMR Spectroscopy of Aromatic Residues, Wiley, 2023.
2023 | Research Data Reference | IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 12979 |
Gloss-aware color correction for 3D printing
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
J. Condor, M. Piovarci, B. Bickel, P. Didyk, in:, SIGGRAPH ’23 Conference Proceedings, Association for Computing Machinery, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14778 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.