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.
5954 Publications
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 | 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
2019 | Published | Conference Abstract | IST-REx-ID: 11222 |
Kim O, Borges Merjane C, Jonas PM. 2019. Functional analysis of the docked vesicle pool in hippocampal mossy fiber terminals by electron microscopy. Intrinsic Activity. ANA: Austrian Neuroscience Association ; APHAR: Austrian Pharmacological Society vol. 7, A3.27.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 6189 |
Agrawal N, Choueiri GH, Hof B. 2019. Transition to turbulence in particle laden flows. Physical Review Letters. 122(11), 114502.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv