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.
7285 Publications
2019 | Published | Conference Paper | IST-REx-ID: 7411 | 
Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. Reversible proofs of sequential work. In: Advances in Cryptology – EUROCRYPT 2019. Vol 11477. Springer International Publishing; 2019:277-291. doi:10.1007/978-3-030-17656-3_10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7402 |
Chatterjee K, Doyen L. Graph planning with expected finite horizon. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2019:1-13. doi:10.1109/lics.2019.8785706
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7479 |
Phuong M, Lampert C. Distillation-based training for multi-exit architectures. In: IEEE International Conference on Computer Vision. Vol 2019-October. IEEE; 2019:1355-1364. doi:10.1109/ICCV.2019.00144
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 7468 |
Swoboda P, Kolmogorov V. Map inference via block-coordinate Frank-Wolfe algorithm. In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Vol 2019-June. IEEE; 2019. doi:10.1109/CVPR.2019.01140
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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: 6565 |
Kundu A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In: 5th Indian Control Conference Proceedings. IEEE; 2019. doi:10.1109/INDIANCC.2019.8715598
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6888 |
Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840
[Submitted Version]
View
| Files available
| DOI
| WoS
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 | 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: 6659 |
Zenmyo N, Tokumaru H, Uchinomiya S, et al. Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan. 2019;92(5):995-1000. doi:10.1246/bcsj.20190034
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2019 | Published | Thesis | 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
2019 | Published | Thesis | IST-REx-ID: 6071 |
Prizak R. Coevolution of transcription factors and their binding sites in sequence space. 2019. doi:10.15479/at:ista:th6071
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 7172 |
Vasileva MK. Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. 2019. doi:10.15479/AT:ISTA:7172
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6179 |
Schröder DJ. From Dyson to Pearcey: Universal statistics in random matrix theory. 2019. doi:10.15479/AT:ISTA:th6179
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 7186 |
Schwayer C. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. 2019. doi:10.15479/AT:ISTA:7186
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | 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 | Book Chapter | IST-REx-ID: 19987 |
Yang Y, Zhao G. How to Sheafify an Elliptic Quantum Group. In: 2017 MATRIX Annals. Vol 2. MXBS. Cham: Springer International Publishing; 2019:675-691. doi:10.1007/978-3-030-04161-8_54
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Book Chapter | IST-REx-ID: 19988 |
De Martino A, De Martino D, Marinari E. The Essential Role of Thermodynamics in Metabolic Network Modeling: Physical Insights and Computational Challenges. In: Chemical Kinetics. World Scientific Publishing; 2019:455-471. doi:10.1142/9781786347015_0018
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Preprint | IST-REx-ID: 15147 |
Fribourgh JL, Srivastava A, Sandate CR, et al. Protein dynamics regulate distinct biochemical properties of cryptochromes in mammalian circadian rhythms. bioRxiv. 2019. doi:10.1101/740464
[Preprint]
View
| DOI
| Download Preprint (ext.)
2019 | Published | Thesis | 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