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.
2033 Publications
2019 |
Published |
Conference Paper |
IST-REx-ID: 6430 |
Fuchsbauer G, Kamath Hosdurg C, Klein K, Pietrzak KZ. Adaptively secure proxy re-encryption. In: Vol 11443. Springer Nature; 2019:317-346. doi:10.1007/978-3-030-17259-6_11
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2019 |
Published |
Conference Paper |
IST-REx-ID: 6462 |
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6473 |
Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:10.15479/AT:ISTA:6473
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6482 |
Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:10.1007/978-3-030-12939-2_18
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Conference Poster |
IST-REx-ID: 6485
Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via Communicating Sequential Processes. ACM; 2019:417-418. doi:10.1145/3293883.3297000
View
| DOI
| WoS
2019 |
Published |
Conference Paper |
IST-REx-ID: 6493 |
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Conference Paper |
IST-REx-ID: 6528 |
Pietrzak KZ. Simple verifiable delay functions. In: 10th Innovations in Theoretical Computer Science Conference. Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.ITCS.2019.60
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |
Published |
Conference Paper |
IST-REx-ID: 6556 |
Huszár K, Spreer J. 3-manifold triangulations with small treewidth. In: 35th International Symposium on Computational Geometry. Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:44:1-44:20. doi:10.4230/LIPIcs.SoCG.2019.44
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 6647 |
Fulek R, Gärtner B, Kupavskii A, Valtr P, Wagner U. The crossing Tverberg theorem. In: 35th International Symposium on Computational Geometry. Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:38:1-38:13. doi:10.4230/LIPICS.SOCG.2019.38
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 6663 |
Mondelli M, Hassani H, Urbanke R. Construction of polar codes with sublinear complexity. IEEE. 2019;65(5):2782-2791. doi:10.1109/tit.2018.2889667
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 6672 |
Boissonnat J-D, Rouxel-Labbé M, Wintraecken M. Anisotropic triangulations via discrete Riemannian Voronoi diagrams. SIAM Journal on Computing. 2019;48(3):1046-1097. doi:10.1137/17m1152292
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6681 |
Zhechev SY. Algorithmic aspects of homotopy theory and embeddability. 2019. doi:10.15479/AT:ISTA:6681
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6725 |
Kolmogorov V. Testing the complexity of a valued CSP language. In: 46th International Colloquium on Automata, Languages and Programming. Vol 132. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:77:1-77:12. doi:10.4230/LIPICS.ICALP.2019.77
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Book Chapter |
IST-REx-ID: 6726 |
Walter M. Sampling the integers with low relative error. In: Buchmann J, Nitaj A, Rachidi T, eds. Progress in Cryptology – AFRICACRYPT 2019. Vol 11627. LNCS. Cham: Springer Nature; 2019:157-180. doi:10.1007/978-3-030-23696-0_9
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6756 |
Pranav P, Adler RJ, Buchert T, et al. Unexpected topology of the temperature fluctuations in the cosmic microwave background. Astronomy and Astrophysics. 2019;627. doi:10.1051/0004-6361/201834916
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 6819 |
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 2019;12. doi:10.1186/s13104-019-4534-3
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |
Published |
Conference Paper |
IST-REx-ID: 6822 |
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi:10.1007/978-3-030-30806-3_1
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6832
Krndija D, Marjou FE, Guirao B, et al. Active cell migration is critical for steady-state epithelial turnover in the gut. Science. 2019;365(6454):705-710. doi:10.1126/science.aau3429
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6837
Tavano S, Heisenberg C-PJ. Migrasomes take center stage. Nature Cell Biology. 2019;21(8):918-920. doi:10.1038/s41556-019-0369-3
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6894 |
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version]
View
| Files available
| DOI