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.
5399 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14076 | 
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13209 |
J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier , 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13214 |
R. Abualia, S. Riegler, and E. Benková, “Nitrate, auxin and cytokinin - a trio to tango,” Cells, vol. 12, no. 12. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14989 |
H. Malvai et al., “Parakeet: Practical key transparency for end-to-end eEncrypted messaging,” in Proceedings of the 2023 Network and Distributed System Security Symposium, San Diego, CA, United States, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Research Data | IST-REx-ID: 12497 |
L. M. Becker and P. 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.
[Published Version]
View
| Files available
| DOI
2023 | Published | Other Publication | IST-REx-ID: 14861 |
L. M. Becker et al., Cover Picture: The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle‐Spinning NMR spectroscopy of aromatic residues, vol. 62, no. 19. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 15035 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 12979 |
J. Condor, M. Piovarci, B. Bickel, and P. Didyk, “Gloss-aware color correction for 3D printing,” in SIGGRAPH ’23 Conference Proceedings, Los Angeles, CA, United States, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14778 |
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” Formal Aspects of Computing, vol. 35, no. 2. Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14922 |
A. R. Esposito and M. Mondelli, “Concentration without independence via information measures,” in Proceedings of 2023 IEEE International Symposium on Information Theory, Taipei, Taiwan, 2023, pp. 400–405.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Y.-L. Chen, M. Ly, and C. Wojtan, Unified treatment of contact, friction and shock-propagation in rigid body animation. ACM, 2023.
View
| Files available
| DOI
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Y.-L. Chen, M. Ly, and C. Wojtan, “Unified treatment of contact, friction and shock-propagation in rigid body animation,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Los Angeles, CA, United States, 2023.
View
| DOI
2023 | Published | Thesis | IST-REx-ID: 12732 |
P. Brighi, “Ergodicity breaking in disordered and kinetically constrained quantum many-body systems,” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 14622
S. Sack, “Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12885 |
M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12960 |
J. D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations,” SIAM Journal on Computing, vol. 52, no. 2. Society for Industrial and Applied Mathematics, pp. 452–486, 2023.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2023 | Published | Thesis | IST-REx-ID: 13175 |
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12900
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Submitted | Preprint | IST-REx-ID: 18294 |
J. Glas, “Complete intersections of cubic and quadric hypersurfaces over Fq(t),” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 17074 |
M. Brooks and R. Seiringer, “Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases,” Probability and Mathematical Physics, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 939–1000, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv