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.




5473 Publications

2017 | Published | Journal Article | IST-REx-ID: 1007 | OA
Lang, M., & Sontag, E. (2017). Zeros of nonlinear systems with input invariances. Automatica. International Federation of Automatic Control. https://doi.org/10.1016/j.automatica.2017.03.030
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., & Zikelic, D. (2017). Optimizing expectation with guarantees in POMDPs. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3725–3732). San Francisco, CA, United States: AAAI Press.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201, pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1013 | OA
Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. Physics. American Physical Society. https://doi.org/10.1103/Physics.10.32
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1015 | OA
Bighin, G., & Salasnich, L. (2017). Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep45702
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1016
Breuss, M., Nguyen, T., Srivatsan, A., Leca, I., Tian, G., Fritz, T., … Gleeson, J. (2017). Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddw383
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1017 | OA
Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., & Keays, D. (2017). Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/10.1016/j.mcn.2017.03.002
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1018
Dobisova, T., Hrdinova, V., Cuesta, C., Michlickova, S., Urbankova, I., Hejatkova, R., … Hejátko, J. (2017). Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.01964
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1019
Argyridou, E., Huylmans, A. K., Königer, A., & Parsch, J. (2017). X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2017.12
View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro, S., Peruzzo, M., Onelli, O., Vignolini, S., & Sapienza, R. (2017). Disordered cellulose based nanostructures for enhanced light scattering. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b15986
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso, J. M., & Avila, M. (2017). Boundary layer turbulence in experiments on quasi Keplerian flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.109
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1022 | OA
Pranav, P., Edelsbrunner, H., Van De Weygaert, R., Vegter, G., Kerber, M., Jones, B., & Wintraecken, M. (2017). The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw2862
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1023 | OA
Nemish, Y. (2017). Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-EJP38
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1025
Heisenberg, C.-P. J. (2017). Cell biology: Stretched divisions. Nature. Nature Publishing Group. https://doi.org/10.1038/nature21502
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1026
Agus, V., & Janovjak, H. L. (2017). Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.006
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1030 | OA
Villányi, M. (2017). Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. Verein Informationspraxis . https://doi.org/10.11588/ip.2017.1.35227
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158118
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 10417 | OA
Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158119
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
Mciver, A., Morgan, C., Kaminski, B. L., & Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158121
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
Uecker, H. (2017). Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. Wiley-Blackwell. https://doi.org/10.1111/evo.13191
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed