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 | 
Reversible proofs of sequential work
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.
2019 | Published | Conference Paper | IST-REx-ID: 7402 |
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
2019 | Published | Conference Paper | IST-REx-ID: 7479 |
Distillation-based training for multi-exit architectures
M. Phuong, C. Lampert, in:, IEEE International Conference on Computer Vision, IEEE, 2019, pp. 1355–1364.
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Phuong, C. Lampert, in:, IEEE International Conference on Computer Vision, IEEE, 2019, pp. 1355–1364.
2019 | Published | Conference Paper | IST-REx-ID: 7468 |
Map inference via block-coordinate Frank-Wolfe algorithm
P. Swoboda, V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Swoboda, V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2019.
2019 | Published | Conference Paper | IST-REx-ID: 6430 |
Adaptively secure proxy re-encryption
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
2019 | Published | Conference Paper | IST-REx-ID: 6565 |
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
2019 | Published | Conference Paper | IST-REx-ID: 6888 |
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
2019 | Published | Conference Paper | IST-REx-ID: 6822 |
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
[Submitted Version]
View
| Files available
| DOI
| WoS
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
2019 | Published | Book Chapter | IST-REx-ID: 6726 |
Sampling the integers with low relative error
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
2019 | Published | Journal Article | IST-REx-ID: 6659 |
Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
2019 | Published | Thesis | IST-REx-ID: 6894 |
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
2019 | Published | Thesis | IST-REx-ID: 6071 |
Coevolution of transcription factors and their binding sites in sequence space
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, Institute of Science and Technology Austria, 2019.
2019 | Published | Thesis | IST-REx-ID: 7172 |
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2019.
2019 | Published | Thesis | IST-REx-ID: 6179 |
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
2019 | Published | Thesis | IST-REx-ID: 7186 |
Mechanosensation of tight junctions depends on ZO-1 phase separation and flow
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
C. Schwayer, Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow, Institute of Science and Technology Austria, 2019.
2019 | Published | Thesis | IST-REx-ID: 6473 |
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
2019 | Published | Book Chapter | IST-REx-ID: 19987 |
How to Sheafify an Elliptic Quantum Group
Y. Yang, G. Zhao, in:, 2017 MATRIX Annals, Springer International Publishing, Cham, 2019, pp. 675–691.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Yang, G. Zhao, in:, 2017 MATRIX Annals, Springer International Publishing, Cham, 2019, pp. 675–691.
2019 | Published | Book Chapter | IST-REx-ID: 19988 |
The Essential Role of Thermodynamics in Metabolic Network Modeling: Physical Insights and Computational Challenges
A. De Martino, D. De Martino, E. Marinari, in:, Chemical Kinetics, World Scientific Publishing, 2019, pp. 455–471.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. De Martino, D. De Martino, E. Marinari, in:, Chemical Kinetics, World Scientific Publishing, 2019, pp. 455–471.
2019 | Published | Preprint | IST-REx-ID: 15147 |
Protein dynamics regulate distinct biochemical properties of cryptochromes in mammalian circadian rhythms
J.L. Fribourgh, A. Srivastava, C.R. Sandate, A.K. Michael, P.L. Hsu, C. Rakers, L.T. Nguyen, M.R. Torgrimson, G.C.G. Parico, S. Tripathi, N. Zheng, G.C. Lander, T. Hirota, F. Tama, C.L. Partch, BioRxiv (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
J.L. Fribourgh, A. Srivastava, C.R. Sandate, A.K. Michael, P.L. Hsu, C. Rakers, L.T. Nguyen, M.R. Torgrimson, G.C.G. Parico, S. Tripathi, N. Zheng, G.C. Lander, T. Hirota, F. Tama, C.L. Partch, BioRxiv (2019).
2019 | Published | Thesis | IST-REx-ID: 6681 |
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, Institute of Science and Technology Austria, 2019.