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.
6568 Publications
2021 |
Published |
Conference Paper |
IST-REx-ID: 10410 |
Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2021). The cost of adaptivity in security games on graphs. In 19th International Conference (Vol. 13043, pp. 550–581). Raleigh, NC, United States: Springer Nature. https://doi.org/10.1007/978-3-030-90453-1_19
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |
Published |
Conference Paper |
IST-REx-ID: 10409 |
Kamath Hosdurg, C., Klein, K., & Pietrzak, K. Z. (2021). On treewidth, separators and Yao’s garbling. In 19th International Conference (Vol. 13043, pp. 486–517). Raleigh, NC, United States: Springer Nature. https://doi.org/10.1007/978-3-030-90453-1_17
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
earlier version | 2021 |
Published |
Conference Paper |
IST-REx-ID: 10048 |
Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2021). The cost of adaptivity in security games on graphs. In 19th Theory of Cryptography Conference 2021. Raleigh, NC, United States: International Association for Cryptologic Research.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| Cryptology ePrint
earlier version | 2021 |
Published |
Conference Paper |
IST-REx-ID: 10044 |
Kamath Hosdurg, C., Klein, K., & Pietrzak, K. Z. (2021). On treewidth, separators and Yao’s garbling. In 19th Theory of Cryptography Conference 2021. Raleigh, NC, United States: International Association for Cryptologic Research.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| Cryptology ePrint
2021 |
Published |
Journal Article |
IST-REx-ID: 10674 |
Aghajohari, M., Avni, G., & Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.23638/LMCS-17(1:10)2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10023 |
Karatzas, I., Maas, J., & Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press of Boston. https://doi.org/10.4310/CIS.2021.v21.n4.a1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10204 |
Osang, G. F., Edelsbrunner, H., & Saadatfar, M. (2021). Topological signatures and stability of hexagonal close packing and Barlow stackings. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/d1sm00774b
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 9733 |
Feliciangeli, D. (2021). The polaron at strong coupling. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9733
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10222 |
Akopyan, A., Edelsbrunner, H., & Nikitenko, A. (2021). The beauty of random polytopes inscribed in the 2-sphere. Experimental Mathematics. Taylor & Francis. https://doi.org/10.1080/10586458.2021.1980459
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9241 |
Elek, O., Zhang, R., Sumin, D., Myszkowski, K., Bickel, B., Wilkie, A., … Weyrich, T. (2021). Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing. Optics Express. Optica Publishing Group. https://doi.org/10.1364/OE.406095
[Published Version]
View
| Files available
| DOI
| WoS
2021 |
Published |
Conference Paper |
IST-REx-ID: 10666 |
Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China: IEEE. https://doi.org/10.1109/ICRA48506.2021.9561036
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 9678 |
Brandt, S., Keller, B., Rybicki, J., Suomela, J., & Uitto, J. (2021). Efficient load-balancing through distributed token dropping. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 129–139). Virtual Event, United States: Association for Computing Machinery. https://doi.org/10.1145/3409964.3461785
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10667 |
Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual: Neural Information Processing Systems Foundation. 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: 10670 |
Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., & Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual: Neural Information Processing Systems Foundation.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9293 |
Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2021.103499
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
earlier version | 2021 |
Published |
Conference Paper |
IST-REx-ID: 9441 |
Boissonnat, J.-D., Kachanovich, S., & Wintraecken, M. (2021). Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. In 37th International Symposium on Computational Geometry (Vol. 189, p. 17:1-17:16). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.17
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 9345 |
Edelsbrunner, H., Heiss, T., Kurlin , V., Smith, P., & Wintraecken, M. (2021). The density fingerprint of a periodic point set. In 37th International Symposium on Computational Geometry (Vol. 189, p. 32:1-32:16). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.32
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 10041 |
Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Wichs, D. (2021). Limits on the Adaptive Security of Yao’s Garbling. In 41st Annual International Cryptology Conference (Vol. 12826, pp. 486–515). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-84245-1_17
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| Cryptology ePrint
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10035 |
Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 11453 |
Braun, L., & Vogels, T. P. (2021). Online learning of neural computations from sparse temporal feedback. In 35th Conference on Neural Information Processing Systems (Vol. 20, pp. 16437–16450). Virtual, Online: Neural Information Processing Systems Foundation.
[Published Version]
View
| Download Published Version (ext.)