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.
10932 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8383
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2020. Brief Announcement: Why Extension-Based Proofs Fail. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 54–56.
View
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8382 | 
Baig MA, Hendler D, Milani A, Travers C. 2020. Long-lived snapshots with polylogarithmic amortized step complexity. Proceedings of the 39th Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing, 31–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| 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 | Conference Paper | IST-REx-ID: 8536 |
Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. 2020. Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings. ISIT: International Symposium on Information Theory vol. 2020–June, 401–406.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | 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 | 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 | Thesis | IST-REx-ID: 7996 |
Kukucka J. 2020. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Published | Book Chapter | IST-REx-ID: 19986 |
Chatterjee K, Fu H, Novotný P. 2020.Termination Analysis of Probabilistic Programs with Martingales. In: Foundations of Probabilistic Programming. , 221–258.
[Published Version]
View
| Files available
| DOI
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 | Journal Article | IST-REx-ID: 7618 |
Pitrik J, Virosztek D. 2020. Quantum Hellinger distances revisited. Letters in Mathematical Physics. 110(8), 2039–2052.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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: 8586 |
Fäßler F, Zens B, Hauschild R, Schur FK. 2020. 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. 212(3), 107633.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 7473 |
Borges Merjane C, Kim O, Jonas PM. 2020. Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices. Neuron. 105, 992–1006.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 9633 |
Confavreux BJ, Zenke F, Agnes EJ, Lillicrap T, Vogels TP. 2020. A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network. Advances in Neural Information Processing Systems. NeurIPS: Conference on Neural Information Processing Systems vol. 33, 16398–16408.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Thesis | IST-REx-ID: 8620 |
Morandell J. 2020. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 | Draft | Preprint | IST-REx-ID: 7800 |
Morandell J, Schwarz LA, Basilico B, Tasciyan S, Nicolas A, Sommer CM, Kreuzinger C, Knaus L, Dobler Z, Cacci E, Danzl JG, Novarino G. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv, 10.1101/2020.01.10.902064 .
[Preprint]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8131 |
Basilico B, Morandell J, Novarino G. 2020. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 65(12), 126–137.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 9160 |
Semerádová H, Montesinos López JC, Benková E. 2020. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 1(3), 100048.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC