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.

6469 Publications


2020 | Published | Conference Paper | IST-REx-ID: 8987 | OA
Pietrzak KZ. Delayed authentication: Preventing replay and relay attacks in private contact tracing. In: Progress in Cryptology. Vol 12578. LNCS. Springer Nature; 2020:3-15. doi:10.1007/978-3-030-65277-7_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8322 | OA
Chakraborty S, Dziembowski S, Nielsen JB. Reverse firewalls for actively secure MPCs. In: Advances in Cryptology – CRYPTO 2020. Vol 12171. Springer Nature; 2020:732-762. doi:10.1007/978-3-030-56880-1_26
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 9103 | OA
Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian reachtubes: The next generation. In: Proceedings of the 59th IEEE Conference on Decision and Control. Vol 2020. IEEE; 2020:1556-1563. doi:10.1109/CDC42340.2020.9304042
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7684 | OA
Gridchyn I, Schönenberger P, O’Neill J, Csicsvari JL. Assembly-specific disruption of hippocampal replay leads to selective memory deficit. Neuron. 2020;106(2):291-300.e6. doi:10.1016/j.neuron.2020.01.021
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe M, Henzinger TA, Lechner M. 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. Springer Nature; 2020:79-97. doi: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, et al. Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration. EMBO Journal. 2020;39. doi: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 TA, Kupferman O. Dynamic resource allocation games. Theoretical Computer Science. 2020;807:42-55. doi: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 MK. Modeling adhesion-independent cell migration. Mathematical Models and Methods in Applied Sciences. 2020;30(3):513-537. doi:10.1142/S021820252050013X
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Thesis | PhD | IST-REx-ID: 8386 | OA
Zhang R. Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. 2020. doi: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. Everybody’s a target: Scalability in public-key encryption. In: Advances in Cryptology – EUROCRYPT 2020. Vol 12107. Springer Nature; 2020:475-506. doi: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 TA, Sarac NE. Monitorability under assumptions. In: Runtime Verification. Vol 12399. Springer Nature; 2020:3-18. doi: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 AM, Klute F, Parada I, Seidel R, Vogtenhuber B, Wiedera T. Inserting one edge into a simple drawing is hard. In: Graph-Theoretic Concepts in Computer Science. Vol 12301. Springer Nature; 2020:325-338. doi: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. Witness maps and applications. In: Kiayias A, ed. Public-Key Cryptography. Vol 12110. LNCS. Cham: Springer Nature; 2020:220-246. doi:10.1007/978-3-030-45374-9_8
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2020 | Published | Book Chapter | IST-REx-ID: 9123
Westram AM, Faria R, Butlin R, Johannesson K. Inversions and Evolution. In: ELS. Wiley; 2020. doi:10.1002/9780470015902.a0029007
View | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 6649 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. 2020;374:2097–2150. doi: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. 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. 2020;6:529-598. doi:10.1007/s41808-020-00068-8
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8755 | OA
Peruzzo M, Trioni A, Hassani F, Zemlicka M, Fink JM. Surpassing the resistance quantum with a geometric superinductor. Physical Review Applied. 2020;14(4). doi: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. 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. ML Research Press; 2020:8773-8784.
[Published Version] View | Files available | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8586 | OA
Fäßler F, Zens B, Hauschild R, Schur FK. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 2020;212(3). doi:10.1016/j.jsb.2020.107633
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed