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.
11107 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8339 | 
Improved discrete Gaussian and subgaussian analysis for lattice cryptography
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
2020 | Published | Conference Paper | IST-REx-ID: 8322 |
Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
2020 | Published | Conference Paper | IST-REx-ID: 8135 |
Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
[Submitted Version]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
2020 | Published | Conference Paper | IST-REx-ID: 8287 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
[Preprint]
View
| Files available
| WoS
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
2020 | Published | Journal Article | IST-REx-ID: 8790 |
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
2020 | Published | Conference Paper | IST-REx-ID: 8383
Brief Announcement: Why Extension-Based Proofs Fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 54–56.
View
| DOI
| WoS
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 54–56.
2020 | Published | Conference Paper | IST-REx-ID: 8382 |
Long-lived snapshots with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M.A. Baig, D. Hendler, A. Milani, C. Travers, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2020, pp. 31–40.
2020 | Published | Conference Paper | IST-REx-ID: 8732
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
View
| DOI
| WoS
A.M. Arroyo Guevara, F. Klute, I. Parada, R. Seidel, B. Vogtenhuber, T. Wiedera, in:, Graph-Theoretic Concepts in Computer Science, Springer Nature, 2020, pp. 325–338.
2020 | Published | Book Chapter | IST-REx-ID: 10865 |
Witness maps and applications
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
S. Chakraborty, M. Prabhakaran, D. Wichs, in:, A. Kiayias (Ed.), Public-Key Cryptography, Springer Nature, Cham, 2020, pp. 220–246.
2020 | Published | Conference Paper | IST-REx-ID: 8536 |
Simplified successive cancellation decoding of polar codes has sublinear latency
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
2020 | Published | Thesis | IST-REx-ID: 8386 |
Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 6761 |
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
[Submitted Version]
View
| Files available
| DOI
| WoS
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
2020 | Published | Thesis | IST-REx-ID: 7996 |
Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
2020 | Published | Book Chapter | IST-REx-ID: 19986 |
Termination Analysis of Probabilistic Programs with Martingales
K. Chatterjee, H. Fu, P. Novotný, in:, Foundations of Probabilistic Programming, Cambridge University Press, 2020, pp. 221–258.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, H. Fu, P. Novotný, in:, Foundations of Probabilistic Programming, Cambridge University Press, 2020, pp. 221–258.
2020 | Published | Journal Article | IST-REx-ID: 7618 |
Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
2020 | Published | Journal Article | IST-REx-ID: 6649 |
Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics 374 (2020) 2097–2150.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Communications in Mathematical Physics 374 (2020) 2097–2150.
2020 | Published | Journal Article | IST-REx-ID: 7866 |
Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations 6 (2020) 529–598.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
K. Fellner, M. Kniely, Journal of Elliptic and Parabolic Equations 6 (2020) 529–598.
2020 | Published | Journal Article | IST-REx-ID: 20806
Human myotubularin-related protein 9 regulates ER-to-Golgi trafficking and modulates WNT3A secretion
L. Doubravská, V. Dostál, F. Knop, L. Libusová, M. Macůrková, Experimental Cell Research 386 (2020).
View
| DOI
| PubMed | Europe PMC
L. Doubravská, V. Dostál, F. Knop, L. Libusová, M. Macůrková, Experimental Cell Research 386 (2020).
2020 | Published | Journal Article | IST-REx-ID: 20766 |
Overcoming selectivity issues in reversible catalysis: A transfer hydrocyanation exhibiting high kinetic control
B.N. Bhawal, J. Reisenbauer, C. Ehinger, B. Morandi, Journal of the American Chemical Society 142 (2020) 10914–10920.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
B.N. Bhawal, J. Reisenbauer, C. Ehinger, B. Morandi, Journal of the American Chemical Society 142 (2020) 10914–10920.
2020 | Published | Journal Article | IST-REx-ID: 8978 |
Generation and isolation of single cells from mouse brain with mosaic analysis with double markers-induced uniparental chromosome disomy
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Laukoter, N. Amberg, F. Pauler, S. Hippenmeyer, STAR Protocols 1 (2020).