Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
238 Publications
2021 | Conference Paper | IST-REx-ID: 10694 |
Avni, G., Jecker, I. R., & Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976465.38
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid, L., & Hilbe, C. (2021). The evolution of strategic ignorance in strategic interaction. In R. Hertwig & C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know (Vol. 29, pp. 139–152). MIT Press.
[Published Version]
View
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 9592 |
Dvorak, M., & Nicholson, S. (n.d.). Massively winning configurations in the convex grabbing game on the plane. In Proceedings of the 33rd Canadian Conference on Computational Geometry. Halifax, NS, Canada.
[Submitted Version]
View
| Files available
| arXiv
2021 | Conference Paper | IST-REx-ID: 9826 |
Auerbach, B., Chakraborty, S., Klein, K., Pascual Perez, G., Pietrzak, K. Z., Walter, M., & Yeo, M. X. (2021). Inverse-Sybil attacks in automated contact tracing. In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 399–421). Virtual Event: Springer Nature. https://doi.org/10.1007/978-3-030-75539-3_17
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2021 | Conference Paper | IST-REx-ID: 11458 |
Peste, E.-A., Iofinova, E. B., Vladu, A., & Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10665 |
Henzinger, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | 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. https://doi.org/10.48550/arXiv.2111.03165
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Technical Report | IST-REx-ID: 6995 |
Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M., … Novitch, B. G. (2021). Identification of neural oscillations and epileptiform changes in human brain organoids (Vol. 24). Springer Nature. https://doi.org/10.1038/s41593-021-00906-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9387 |
Khudiakova, K., Neretina, T. Y., & Kondrashov, A. S. (2021). Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. Elsevier . https://doi.org/10.1016/j.jtbi.2021.110729
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Conference Paper | IST-REx-ID: 9356 |
Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv