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.

715 Publications


2020 | Published | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe, M., Henzinger, T. A., & Lechner, M. (2020). How many bits does it take to quantize your neural network? In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12079, pp. 79–97). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-45237-7_5
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7586 | OA
Weinert, S., Gimber, N., Deuschel, D., Stuhlmann, T., Puchkov, D., Farsi, Z., … Jentsch, T. J. (2020). Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. EMBO Press. https://doi.org/10.15252/embj.2019103358
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 6761 | OA
Avni, G., Henzinger, T. A., & Kupferman, O. (2020). Dynamic resource allocation games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2019.06.031
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7623 | OA
Jankowiak, G., Peurichard, D., Reversat, A., Schmeiser, C., & Sixt, M. K. (2020). Modeling adhesion-independent cell migration. Mathematical Models and Methods in Applied Sciences. World Scientific Publishing. https://doi.org/10.1142/S021820252050013X
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8386 | OA
Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8386
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach, B., Giacon, F., & Kiltz, E. (2020). Everybody’s a target: Scalability in public-key encryption. In Advances in Cryptology – EUROCRYPT 2020 (Vol. 12107, pp. 475–506). Springer Nature. https://doi.org/10.1007/978-3-030-45727-3_16
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-60508-7_1
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8732
Arroyo Guevara, A. M., Klute, F., Parada, I., Seidel, R., Vogtenhuber, B., & Wiedera, T. (2020). Inserting one edge into a simple drawing is hard. In Graph-Theoretic Concepts in Computer Science (Vol. 12301, pp. 325–338). Leeds, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-60440-0_26
View | DOI | WoS
 

2020 | Published | Book Chapter | IST-REx-ID: 10865 | OA
Chakraborty, S., Prabhakaran, M., & Wichs, D. (2020). Witness maps and applications. In A. Kiayias (Ed.), Public-Key Cryptography (Vol. 12110, pp. 220–246). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_8
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Book Chapter | IST-REx-ID: 9123
Westram, A. M., Faria, R., Butlin, R., & Johannesson, K. (2020). Inversions and Evolution. In eLS. Wiley. https://doi.org/10.1002/9780470015902.a0029007
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 6649 | OA
Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R. (2020). Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03505-5
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7866 | OA
Fellner, K., & Kniely, M. (2020). Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model. Journal of Elliptic and Parabolic Equations. Springer Nature. https://doi.org/10.1007/s41808-020-00068-8
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 21640 | OA
Prabhu, M., Roques-Carmes, C., Shen, Y., Harris, N., Jing, L., Carolan, J., … Soljačić, M. (2020). Accelerating recurrent Ising machines in photonic integrated circuits. Optica. Optica Publishing Group. https://doi.org/10.1364/optica.386613
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 21637 | OA
Christiansen, R. E., Lin, Z., Roques-Carmes, C., Salamin, Y., Kooi, S. E., Joannopoulos, J. D., … Johnson, S. G. (2020). Fullwave Maxwell inverse design of axisymmetric, tunable, and multi-scale multi-wavelength metalenses. Optics Express. Optica Publishing Group. https://doi.org/10.1364/oe.403192
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 21642 | OA
Lin, Z., Roques-Carmes, C., Pestourie, R., Soljačić, M., Majumdar, A., & Johnson, S. G. (2020). End‐to‐end nanophotonic inverse design for imaging and polarimetry. Nanophotonics. Wiley. https://doi.org/10.1515/nanoph-2020-0579
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 21621
Rivera, N., Roques-Carmes, C., Kaminer, I., & Soljačić, M. (2020). Toward nanophotonic free-electron lasers. In Conference on Lasers and Electro-Optics. Washington, DC, United States: Optica Publishing Group. https://doi.org/10.1364/cleo_qels.2020.fm2q.3
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8755 | OA
Peruzzo, M., Trioni, A., Hassani, F., Zemlicka, M., & Fink, J. M. (2020). Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.14.044055
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 9198 | OA
Shevchenko, A., & Mondelli, M. (2020). Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In Proceedings of the 37th International Conference on Machine Learning (Vol. 119, pp. 8773–8784). ML Research Press.
[Published Version] View | Files available | arXiv
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8350 | OA
Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8350
View | Files available | DOI
 

2020 | Published | Thesis | PhD | IST-REx-ID: 7680 | OA
Kainrath, S. (2020). Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7680
View | Files available | DOI
 

Filters and Search Terms

year=2020

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed