Please note that IST 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.

5484 Publications


2019 | Conference Paper | IST-REx-ID: 6428
Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo, E. B., & Heisenberg, C.-P. J. (2019). Mechanochemical feedback loops in development and disease. Cell, 178(1), 12–25. https://doi.org/10.1016/j.cell.2019.05.052
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6808
Jahr, W., Velicky, P., & Danzl, J. G. (n.d.). Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. https://doi.org/10.1016/j.ymeth.2019.07.019
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni, G., Henzinger, T. A., & Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2019.11
View | Files available | DOI | arXiv
 

2019 | 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
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok, P., Brázdil, T., Chatterjee, K., Křetínský, J., Lampert, C., & Toman, V. (2019). Strategy representation by decision trees with linear classifiers. In 16th International Conference on Quantitative Evaluation of Systems (Vol. 11785, pp. 109–128). Glasgow, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-30281-8_7
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou, N., & Heisenberg, C.-P. J. (2019). Tissue rheology in embryonic organization. The EMBO Journal, 38(20). https://doi.org/10.15252/embj.2019102497
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6891
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf, A., & Sixt, M. K. (2019). The neural crest pitches in to remove apoptotic debris. Cell, 179(1), 51–53. https://doi.org/10.1016/j.cell.2019.08.047
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere, T., Maler, O., Ničković, D., & Pnueli, A. (2019). From real-time logic to timed automata. Journal of the ACM, 66(3). https://doi.org/10.1145/3286976
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet, C. C., Henzinger, T. A., Igler, C., Petrov, T., & Sezgin, A. (2019). Transient memory in gene regulation. In 17th International Conference on Computational Methods in Systems Biology (Vol. 11773, pp. 155–187). Trieste, Italy: Springer Nature. https://doi.org/10.1007/978-3-030-31304-3_9
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković, D., Qin, X., Ferrere, T., Mateis, C., & Deshmukh, J. (2019). Shape expressions for specifying and extracting signal features. In 19th International Conference on Runtime Verification (Vol. 11757, pp. 292–309). Porto, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-32079-9_17
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer, K., Akhmanova, M., Konstantinova, N., Malínská, K., Leitner, J., Petrášek, J., & Luschnig, C. (2019). Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications, 10. https://doi.org/10.1038/s41467-019-13543-1
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong, H., Bartocci, E., Jiang, Y., & Henzinger, T. A. (2019). Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11750, pp. 123–141). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_8
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni, G., Henzinger, T. A., & Chonev, V. K. (2019). Infinite-duration bidding games. Journal of the ACM, 66(4). https://doi.org/10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Kwak, W.-J., Freunberger, S. A., Kim, H., Park, J., Nguyen, T. T., Jung, H.-G., … Sun, Y.-K. (2019). Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis, 9(11), 9914–9922. https://doi.org/10.1021/acscatal.9b01337
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6194
Boccara, C. N., Nardin, M., Stella, F., O’Neill, J., & Csicsvari, J. L. (2019). The entorhinal cognitive map is attracted to goals. Science, 363(6434), 1443–1447. https://doi.org/10.1126/science.aav4837
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6062   OA
Nardin, M. (2019). Supplementary Code and Data for the paper “The Entorhinal Cognitive Map is Attracted to Goals.” IST Austria. https://doi.org/10.15479/AT:ISTA:6062
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7421
Toups, M. A., Rodrigues, N., Perrin, N., & Kirkpatrick, M. (2019). A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog. Molecular Ecology, 28(8), 1877–1889. https://doi.org/10.1111/mec.14990
View | DOI | PubMed | Europe PMC
 

2019 | 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
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7399   OA
Andergassen, D., Muckenhuber, M., Bammer, P. C., Kulinski, T. M., Theussl, H.-C., Shimizu, T., … Hudson, Q. J. (2019). The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLOS Genetics, 15(7), e1008268. https://doi.org/10.1371/journal.pgen.1008268
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7414
Knaus, L., Tarlungeanu, D.-C., & Novarino, G. (2019). S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly. European Neuropsychopharmacology, 29(Supplement 6), S11. https://doi.org/10.1016/j.euroneuro.2019.09.039
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7394
Benková, E., & Dagdas, Y. (2019). Editorial overview: Cell biology in the era of omics? Current Opinion in Plant Biology, 52(12), A1–A2. https://doi.org/10.1016/j.pbi.2019.11.002
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7476   OA
Andersen, M. S., Hannezo, E. B., Ulyanchenko, S., Estrach, S., Antoku, Y., Pisano, S., … Jensen, K. B. (2019). Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology, 21(8), 924–932. https://doi.org/10.1038/s41556-019-0362-x
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7034   OA
Fulek, R., & Kynčl, J. (2019). Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. Combinatorica, 39(6), 1267–1279. https://doi.org/10.1007/s00493-019-3905-7
View | DOI | Download (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6269   OA
Narasimhan, M. (2019). Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . IST Austria. https://doi.org/10.15479/at:ista:th1075
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6310   OA
Browning, T. D., & Hu, L. Q. (2019). Counting rational points on biquadratic hypersurfaces. Advances in Mathematics, 349, 920–940. https://doi.org/10.1016/j.aim.2019.04.031
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6240   OA
Alt, J., Erdös, L., Krüger, T. H., & Nemish, Y. (2019). Location of the spectrum of Kronecker random matrices. Annales de l’institut Henri Poincare, 55(2), 661–696. https://doi.org/10.1214/18-AIHP894
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5906
Goremykina, A., Vasseur, R., & Serbyn, M. (2019). Analytically solvable renormalization group for the many-body localization transition. Physical Review Letters, 122(4), 040601. https://doi.org/10.1103/physrevlett.122.040601
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6187   OA
Valosková, K., Biebl, J., Roblek, M., Emtenani, S., György, A., Misova, M., … Siekhaus, D. E. (2019). A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. ELife, 8, e41801. https://doi.org/10.7554/elife.41801
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., & Shi, W. (2019). Cost analysis of nondeterministic probabilistic programs. In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery. https://doi.org/10.1145/3314221.3314581
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5817
Kavcic, B., Sakashita, A., Noguchi, H., & Ziherl, P. (2019). Limiting shapes of confined lipid vesicles. Soft Matter, 15(4), 602–614. https://doi.org/10.1039/c8sm01956h
View | DOI
 

2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez, S. A. (2019). Estimating information flow in single cells. IST Austria. https://doi.org/10.15479/AT:ISTA:6473
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6074
Dotter, C., & Novarino, G. (2019). Supplementary data for the research paper “Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition.” IST Austria. https://doi.org/10.15479/AT:ISTA:6074
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949   OA
Käfer, K., Malagon-Vina, H., Dickerson, D., O’Neill, J., Trossbach, S. V., Korth, C., & Csicsvari, J. L. (2019). Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus, 29(9), 802–816. https://doi.org/10.1002/hipo.23076
View | Files available | DOI
 

2019 | Book Chapter | IST-REx-ID: 5793
Asaoka, Y., Morita, H., Furumoto, H., Heisenberg, C.-P. J., & Furutani-Seiki, M. (2019). Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In A. Hergovich (Ed.), The hippo pathway (Vol. 1893, pp. 167–181). Springer. https://doi.org/10.1007/978-1-4939-8910-2_14
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5887
Demay, G., Gazi, P., Maurer, U., & Tackmann, B. (2019). Per-session security: Password-based cryptography revisited. Journal of Computer Security, 27(1), 75–111. https://doi.org/10.3233/JCS-181131
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5907   OA
Mócsai, R., Figl, R., Troschl, C., Strasser, R., Svehla, E., Windwarder, M., … Altmann, F. (2019). N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports, 9(1). https://doi.org/10.1038/s41598-018-36884-1
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5680
Andalo, C., Burrus, M., Paute, S., Lauzeral, C., & Field, D. (2019). Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone. Botany Letters, 166(1), 80–92. https://doi.org/10.1080/23818107.2018.1545142
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6025   OA
Capek, D., Smutny, M., Tichy, A. M., Morri, M., Janovjak, H. L., & Heisenberg, C.-P. J. (2019). Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. ELife, 8. https://doi.org/10.7554/eLife.42093
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6049   OA
De Martino, D. (2019). Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical, 52(4). https://doi.org/10.1088/1751-8121/aaf2dd
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6102   OA
Le Feber, B., Sipe, J. E., Wulf, M., Kuipers, L., & Rotenberg, N. (2019). A full vectorial mapping of nanophotonic light fields. Light: Science and Applications, 8(1). https://doi.org/10.1038/s41377-019-0124-3
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6087
Xia, P., Gütl, D. J., Zheden, V., & Heisenberg, C.-P. J. (2019). Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell, 176(6), 1379–1392.e14. https://doi.org/10.1016/j.cell.2019.01.019
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6190
Roblek, M., Protsyuk, D., Becker, P. F., Stefanescu, C., Gorzelanny, C., Glaus Garzon, J. F., … Borsig, L. (2019). CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research, 17(3), 783–793. https://doi.org/10.1158/1541-7786.MCR-18-0530
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6260   OA
Oochi, A., Hajny, J., Fukui, K., Nakao, Y., Gallei, M. C., Quareshy, M., … Hayashi, K. (2019). Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology, 180(2), 1152–1165. https://doi.org/10.1104/pp.19.00201
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6392
Lukacisin, M. (2019). Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria. https://doi.org/10.15479/AT:ISTA:6392
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6412   OA
Moussa, H. F., Bsteh, D., Yelagandula, R., Pribitzer, C., Stecher, K., Bartalska, K., … Bell, O. (2019). Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications, 10(1). https://doi.org/10.1038/s41467-019-09628-6
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6607   OA
Nguyen, C. H., Glüxam, T., Schlerka, A., Bauer, K., Grandits, A. M., Hackl, H., … Heller, G. (2019). SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness. Scientific Reports, 9(1). https://doi.org/10.1038/s41598-019-45579-0
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6506   OA
Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni, A., & Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology, 4(7), 1221–1230. https://doi.org/10.1038/s41564-019-0412-y
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed