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.

11436 Publications


2021 | Draft | Preprint | IST-REx-ID: 9787 | OA
Feliciangeli, D., & Seiringer, R. (n.d.). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv. https://doi.org/10.48550/arXiv.2101.12566
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Draft | Preprint | IST-REx-ID: 9791 | OA
Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (n.d.). The effective mass problem for the Landau-Pekar equations. arXiv. https://doi.org/10.48550/arXiv.2107.03720
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 9987 | OA
Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10199 | OA
Toman, V. (2021). Improved verification techniques for concurrent systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10199
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 10191 | OA
Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3485541
[Published Version] View | Files available | DOI | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10007 | OA
Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007
[Published Version] View | Files available | DOI
 

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: 10435 | OA
Nadiradze, G., Sabour, A., Davies, P., Li, S., & Alistarh, D.-A. (2021). Asynchronous decentralized SGD with quantized and local updates. In 35th Conference on Neural Information Processing Systems. Sydney, Australia: Neural Information Processing Systems Foundation.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

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.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Draft | Preprint | IST-REx-ID: 10013 | OA
Hensel, S., & Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. https://doi.org/10.48550/arXiv.2108.01733
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9418 | OA
Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9056 | OA
Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 9416 | OA
Phuong, M., & Lampert, C. (2021). The inductive bias of ReLU networks on orthogonally separable data. In 9th International Conference on Learning Representations. Virtual.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10041 | OA
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, Part II (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
 

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 | Conference Paper | IST-REx-ID: 10048 | OA
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.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10044 | OA
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.)
 

2021 | Published | Journal Article | IST-REx-ID: 10321 | OA
Amberg, N., & Hippenmeyer, S. (2021). Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers. STAR Protocols. Cell Press. https://doi.org/10.1016/j.xpro.2021.100939
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 9073 | OA
Hanganu-Opatz, I. L., Butt, S. J. B., Hippenmeyer, S., De Marco García, N. V., Cardin, J. A., Voytek, B., & Muotri, A. R. (2021). The logic of developing neocortical circuits in health and disease. The Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.1655-20.2020
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 10281 | OA
Vasic, V., Jones, M. S. O., Haslinger, D., Knaus, L., Schmeisser, M. J., Novarino, G., & Chiocchetti, A. G. (2021). Translating the role of mtor-and ras-associated signalopathies in autism spectrum disorder: Models, mechanisms and treatment. Genes. MDPI. https://doi.org/10.3390/genes12111746
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed