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.

7296 Publications


2019 | Research Data Reference | IST-REx-ID: 13067 | OA
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin R. 2019. Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?, Dryad, 10.5061/DRYAD.TB2RBNZWK.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Conference Paper | IST-REx-ID: 7411 | OA
Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. 2019. Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019. EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 11477, 277–291.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7402 | OA
Chatterjee K, Doyen L. 2019. Graph planning with expected finite horizon. 34th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 1–13.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 7479 | OA
Phuong M, Lampert C. 2019. Distillation-based training for multi-exit architectures. IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2019–October, 1355–1364.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7468 | OA
Swoboda P, Kolmogorov V. 2019. Map inference via block-coordinate Frank-Wolfe algorithm. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition vol. 2019–June, 11138–11147.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
Fuchsbauer G, Kamath Hosdurg C, Klein K, Pietrzak KZ. 2019. Adaptively secure proxy re-encryption. PKC: Public-Key Cryptograhy, LNCS, vol. 11443, 317–346.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6565 | OA
Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. ICC: Indian Control Conference, 8715598.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6888 | OA
Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. 2019. Designing worm-inspired neural networks for interpretable robotic control. Proceedings - IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, ICRA, vol. 2019–May, 8793840.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6822 | OA
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes. Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674, 1–12.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Book Chapter | IST-REx-ID: 6726 | OA
Walter M. 2019.Sampling the integers with low relative error. In: Progress in Cryptology – AFRICACRYPT 2019. vol. 11627, 157–180.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6659 | OA
Zenmyo N, Tokumaru H, Uchinomiya S, Fuchida H, Tabata S, Hamachi I, Shigemoto R, Ojida A. 2019. 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. 92(5), 995–1000.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2019 | Published | Thesis | IST-REx-ID: 6894 | OA
Giacobbe M. 2019. Automatic time-unbounded reachability analysis of hybrid systems. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | IST-REx-ID: 6071 | OA
Prizak R. 2019. Coevolution of transcription factors and their binding sites in sequence space. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | IST-REx-ID: 7172 | OA
Vasileva MK. 2019. Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | IST-REx-ID: 6179 | OA
Schröder DJ. 2019. From Dyson to Pearcey: Universal statistics in random matrix theory. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | IST-REx-ID: 7186 | OA
Schwayer C. 2019. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | IST-REx-ID: 6473 | OA
Cepeda Humerez SA. 2019. Estimating information flow in single cells. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2019 | Published | Book Chapter | IST-REx-ID: 19987 | OA
Yang Y, Zhao G. 2019.How to Sheafify an Elliptic Quantum Group. In: 2017 MATRIX Annals. MATRIX Book Series, vol. 2, 675–691.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Book Chapter | IST-REx-ID: 19988 | OA
De Martino A, De Martino D, Marinari E. 2019.The Essential Role of Thermodynamics in Metabolic Network Modeling: Physical Insights and Computational Challenges. In: Chemical Kinetics. , 455–471.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Preprint | IST-REx-ID: 15147 | OA
Fribourgh JL, Srivastava A, Sandate CR, Michael AK, Hsu PL, Rakers C, Nguyen LT, Torgrimson MR, Parico GCG, Tripathi S, Zheng N, Lander GC, Hirota T, Tama F, Partch CL. 2019. Protein dynamics regulate distinct biochemical properties of cryptochromes in mammalian circadian rhythms. bioRxiv, 10.1101/740464.
[Preprint] View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed