Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6078 Publications
2019 | Published | Conference Paper | IST-REx-ID: 7479 | 
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | Thesis | IST-REx-ID: 6681 |
Zhechev SY. 2019. Algorithmic aspects of homotopy theory and embeddability. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 11062 |
Arrojo e Drigo R, Lev-Ram V, Tyagi S, Ramachandra R, Deerinck T, Bushong E, Phan S, Orphan V, Lechene C, Ellisman MH, Hetzer M. 2019. Age mosaicism across multiple scales in adult tissues. Cell Metabolism. 30(2), 343–351.e3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6392 |
Lukacisin M. 2019. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria.
[Published Version]
View
| Files available
| DOI