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.

8915 Publications


2019 | Published | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 7014 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3339984
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 7606 | OA
Hledik, M., Sokolowski, T. R., & Tkačik, G. (2019). A tight upper bound on mutual information. In IEEE Information Theory Workshop, ITW 2019. Visby, Sweden: IEEE. https://doi.org/10.1109/ITW44776.2019.8989292
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2019 | Published | Conference Paper | IST-REx-ID: 10190 | OA
Chatterjee, K., Pavlogiannis, A., & Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360550
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2018 | Published | Thesis | IST-REx-ID: 26 | OA
Steinrück, M. (2018). The influence of sequence context on the evolution of bacterial gene expression. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th1059
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 273 | OA
Mohapatra, P., Rolinek, M., Jawahar, C. V., Kolmogorov, V., & Kumar, M. P. (2018). Efficient optimization for rank-based loss functions. In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 3693–3701). Salt Lake City, UT, USA: IEEE. https://doi.org/10.1109/cvpr.2018.00389
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 275 | OA
Brown, M., Johnson, L., Leone, D., Májek, P., Vaahtomeri, K., Senfter, D., … Kerjaschki, D. (2018). Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201612051
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 276 | OA
Frick, C., Dettinger, P., Renkawitz, J., Jauch, A., Berger, C., Recher, M., … Mehling, M. (2018). Nano-scale microfluidics to study 3D chemotaxis at the single cell level. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0198330
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 277 | OA
Dokládal, L., Benková, E., Honys, D., Dupláková, N., Lee, L., Gelvin, S., & Sýkorová, E. (2018). An armadillo-domain protein participates in a telomerase interaction network. Plant Molecular Biology. Springer. https://doi.org/10.1007/s11103-018-0747-4
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Thesis | IST-REx-ID: 278 | OA
Villányi, M. (2018). Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken. Universität Wien.
[Published Version] View | Files available | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 279 | OA
Zapata, L., Pich, O., Serrano, L., Kondrashov, F., Ossowski, S., & Schaefer, M. (2018). Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. BioMed Central. https://doi.org/10.1186/s13059-018-1434-0
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 28
Contreras, X., & Hippenmeyer, S. (2018). Incorrect trafficking route leads to autism. Brain a Journal of Neurology. Oxford University Press. https://doi.org/10.1093/brain/awy218
View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 280
Gao, Z., Daneva, A., Salanenka, Y., Van Durme, M., Huysmans, M., Lin, Z., … Nowack, M. (2018). KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0160-7
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 281 | OA
Granados, A., Pietsch, J., Cepeda Humerez, S. A., Farquhar, I., Tkačik, G., & Swain, P. (2018). Distributed and dynamic intracellular organization of extracellular information. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1716659115
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 282 | OA
Sachdeva, H., & Barton, N. H. (2018). Introgression of a block of genome under infinitesimal selection. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.118.301018
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 283 | OA
Ceinos, R. M., Frigato, E., Pagano, C., Frohlich, N., Negrini, P., Cavallari, N., … Foulkes, N. S. (2018). Mutations in blind cavefish target the light regulated circadian clock gene period 2. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-27080-2
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 284 | OA
Virosztek, D. (2018). Maps on probability measures preserving certain distances - a survey and some new results. Acta Scientiarum Mathematicarum. Springer Nature. https://doi.org/10.14232/actasm-018-753-y
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 285 | OA
Huszár, K., Spreer, J., & Wagner, U. (2018). On the treewidth of triangulated 3-manifolds (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.46
[Submitted Version] View | Files available | DOI | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 287 | OA
Salari, V., Barzanjeh, S., Cifra, M., Simon, C., Scholkmann, F., Alirezaei, Z., & Tuszynski, J. (2018). Electromagnetic fields and optomechanics In cancer diagnostics and treatment. Frontiers in Bioscience - Landmark. Frontiers in Bioscience. https://doi.org/10.2741/4651
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed