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.




6814 Publications

2021 | Published | Journal Article | IST-REx-ID: 10000 | OA
Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology & Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/IOVS.62.10.14
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 9047 | OA
Mondelli, M., Hashemi, S. A., Cioffi, J. M., & Goldsmith, A. (2021). Sublinear latency for simplified successive cancellation decoding of polar codes. IEEE Transactions on Wireless Communications. IEEE. https://doi.org/10.1109/TWC.2020.3022922
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 15267 | OA
Czumaj, A., & Davies, P. (2021). Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM. ACM. https://doi.org/10.1145/3446383
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10575 | OA
Abbatiello, A., Bulíček, M., & Maringová, E. (2021). On the dynamic slip boundary condition for Navier-Stokes-like problems. Mathematical Models and Methods in Applied Sciences. World Scientific Publishing. https://doi.org/10.1142/S0218202521500470
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10005 | OA
Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific Publishing. https://doi.org/10.1142/S0218202521500457
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
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. https://doi.org/10.1609/aaai.v35i5.16496
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press. https://doi.org/10.1609/aaai.v35i9.16936
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 11436 | OA
Kungurtsev, V., Egan, M., Chatterjee, B., & Alistarh, D.-A. (2021). Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In 35th AAAI Conference on Artificial Intelligence, AAAI 2021 (Vol. 35, pp. 8209–8216). Virtual, Online: AAAI Press. https://doi.org/10.1609/aaai.v35i9.16999
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press. https://doi.org/10.1609/aaai.v35i13.17372
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10429 | OA
Nadiradze, G. (2021). On achieving scalability through relaxation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10429
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 10432 | OA
Nadiradze, G., Markov, I., Chatterjee, B., Kungurtsev, V., & Alistarh, D.-A. (2021). Elastic consistency: A practical consistency model for distributed stochastic gradient descent. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 9037–9045). Virtual. https://doi.org/10.1609/aaai.v35i10.17092
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
earlier version | 2021 | Draft | Preprint | IST-REx-ID: 12077 | OA
Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for Campana points. arXiv. https://doi.org/10.48550/arXiv.2104.14946
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9558 | OA
Yalniz, G., Hof, B., & Budanur, N. B. (2021). Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.126.244502
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10408 | OA
Alwen, J. F., Auerbach, B., Baig, M. A., Cueto Noval, M., Klein, K., Pascual Perez, G., … Walter, M. (2021). Grafting key trees: Efficient key management for overlapping groups. In 19th International Conference (Vol. 13044, pp. 222–253). Raleigh, NC, United States: Springer Nature. https://doi.org/10.1007/978-3-030-90456-2_8
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10035 | OA
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: 9826 | OA
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 | Published | Conference Paper | IST-REx-ID: 10049 | OA
Klein, K., Pascual Perez, G., Walter, M., Kamath Hosdurg, C., Capretto, M., Cueto Noval, M., … Pietrzak, K. Z. (2021). Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement. In 2021 IEEE Symposium on Security and Privacy (pp. 268–284). San Francisco, CA, United States: IEEE. https://doi.org/10.1109/sp40001.2021.00035
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9817 | OA
Hafner, C., & Bickel, B. (2021). The design space of plane elastic curves. ACM Transactions on Graphics. Virtual: Association for Computing Machinery. https://doi.org/10.1145/3450626.3459800
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 8602 | OA
Boocock, D. R., Hino, N., Ruzickova, N., Hirashima, T., & Hannezo, E. B. (2021). Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-020-01037-7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 9429 | OA
Morandell, J., Schwarz, L. A., Basilico, B., Tasciyan, S., Dimchev, G. A., Nicolas, A., … Novarino, G. (2021). Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-23123-x
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed