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 |
Giacobbe M, Henzinger TA, Lechner M. 2020. How many bits does it take to quantize your neural network? International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 12079, 79–97.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 7586 |
Weinert S, Gimber N, Deuschel D, Stuhlmann T, Puchkov D, Farsi Z, Ludwig CF, Novarino G, López-Cayuqueo KI, Planells-Cases R, Jentsch TJ. 2020. Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. 39, e103358.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 6761 |
Avni G, Henzinger TA, Kupferman O. 2020. Dynamic resource allocation games. Theoretical Computer Science. 807, 42–55.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 7623 |
Jankowiak G, Peurichard D, Reversat A, Schmeiser C, Sixt MK. 2020. Modeling adhesion-independent cell migration. Mathematical Models and Methods in Applied Sciences. 30(3), 513–537.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8386 |
Zhang R. 2020. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Published |
Conference Paper |
IST-REx-ID: 7966 |
Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 12107, 475–506.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8623 |
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 |
Published |
Conference Paper |
IST-REx-ID: 8732
Arroyo Guevara AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. 2020. Inserting one edge into a simple drawing is hard. Graph-Theoretic Concepts in Computer Science. WG: Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 12301, 325–338.
View
| DOI
| WoS
2020 |
Published |
Book Chapter |
IST-REx-ID: 10865 |
Chakraborty S, Prabhakaran M, Wichs D. 2020.Witness maps and applications. In: Public-Key Cryptography. vol. 12110, 220–246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |
Published |
Journal Article |
IST-REx-ID: 6649 |
Benedikter NP, Nam PT, 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. 374, 2097–2150.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 7866 |
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. 6, 529–598.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |
Published |
Journal Article |
IST-REx-ID: 21640 |
Prabhu M, Roques-Carmes C, Shen Y, Harris N, Jing L, Carolan J, Hamerly R, Baehr-Jones T, Hochberg M, Čeperić V, Joannopoulos JD, Englund DR, Soljačić M. 2020. Accelerating recurrent Ising machines in photonic integrated circuits. Optica. 7(5), 551–558.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 |
Published |
Journal Article |
IST-REx-ID: 21637 |
Christiansen RE, Lin Z, Roques-Carmes C, Salamin Y, Kooi SE, Joannopoulos JD, Soljačić M, Johnson SG. 2020. Fullwave Maxwell inverse design of axisymmetric, tunable, and multi-scale multi-wavelength metalenses. Optics Express. 28(23), 33854–33868.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 21642 |
Lin Z, Roques-Carmes C, Pestourie R, Soljačić M, Majumdar A, Johnson SG. 2020. End‐to‐end nanophotonic inverse design for imaging and polarimetry. Nanophotonics. 10(3), 1177–1187.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |
Published |
Journal Article |
IST-REx-ID: 8755 |
Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. 2020. Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. 14(4), 044055.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |
Published |
Conference Paper |
IST-REx-ID: 9198 |
Shevchenko A, Mondelli M. 2020. Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. Proceedings of the 37th International Conference on Machine Learning. vol. 119, 8773–8784.
[Published Version]
View
| Files available
| arXiv
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8350 |
Shamipour S. 2020. Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria.
View
| Files available
| DOI
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7680 |
Kainrath S. 2020. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. Institute of Science and Technology Austria.
View
| Files available
| DOI