ISTA Research Explorer

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.

5046 Publications

2020 | Thesis | IST-REx-ID: 8983 |

Emtenani, S. (2020). Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8983

[Published Version] View | Files available | DOI

2020 | Preprint | IST-REx-ID: 8557 |

Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A., … Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. https://doi.org/10.1101/2020.09.18.301481

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2020 | Preprint | IST-REx-ID: 8831 |

Aggarwal, K., Hofmann, A. C., Jirovec, D., Prieto Gonzalez, I., Sammak, A., Botifoll, M., … Katsaros, G. (n.d.). Enhancement of proximity induced superconductivity in planar Germanium. arXiv.

[Submitted Version] View | Files available | arXiv

2020 | Journal Article | IST-REx-ID: 8532 |

Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., & Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21186737

[Published Version] View | Files available | DOI | WoS

2020 | Conference Paper | IST-REx-ID: 7810 |

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5

[Published Version] View | Files available | DOI | WoS

2020 | Conference Paper | IST-REx-ID: 8728 |

Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/10.1007/978-3-030-59152-6_14

[Submitted Version] View | Files available | DOI | WoS

2020 | Conference Paper | IST-REx-ID: 8089 |

Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969

2020 | Journal Article | IST-REx-ID: 6918 |

Goharshady, A. K., & Mohammadi, F. (2020). An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. Elsevier. https://doi.org/10.1016/j.ress.2019.106665

2020 | Journal Article | IST-REx-ID: 7161 |

Shehu, Y., Gibali, A., & Sagratella, S. (2020). Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. Springer Nature. https://doi.org/10.1007/s10957-019-01616-6

[Submitted Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 7652 |

Tomanek, I., Grah, R., Lagator, M., Andersson, A. M. C., Bollback, J. P., Tkačik, G., & Guet, C. C. (2020). Gene amplification as a form of population-level gene expression regulation. Nature Ecology & Evolution. Springer Nature. https://doi.org/10.1038/s41559-020-1132-7

[Submitted Version] View | Files available | DOI | WoS

2020 | Thesis | IST-REx-ID: 7258 |

Scarselli, D. (2020). New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7258

View | Files available | DOI

2020 | Thesis | IST-REx-ID: 8653 |

Tomanek, I. (2020). The evolution of gene expression by copy number and point mutations. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8653

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7427 |

Tan, S., Abas, M. F., Verstraeten, I., Glanc, M., Molnar, G., Hajny, J., … Friml, J. (2020). Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2019.11.058

2020 | Journal Article | IST-REx-ID: 7500 |

Mazur, E., Kulik, I., Hajny, J., & Friml, J. (2020). Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis. New Phytologist. Wiley. https://doi.org/10.1111/nph.16446

2020 | Thesis | IST-REx-ID: 8822 |

Hajny, J. (2020). Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8822

[Published Version] View | Files available | DOI

2020 | Thesis | IST-REx-ID: 8350 |

Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8350

View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 8569 |

Hansen, A. H., & Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. Frontiers. https://doi.org/10.3389/fcell.2020.574382

2020 | Journal Article | IST-REx-ID: 7815 |

Beattie, R. J., Streicher, C., Amberg, N., Cheung, G. T., Contreras, X., Hansen, A. H., & Hippenmeyer, S. (2020). Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. MyJove Corporation. https://doi.org/10.3791/61147

[Published Version] View | Files available | DOI | WoS

2020 | Thesis | IST-REx-ID: 7902 |

Contreras, X. (2020). Genetic dissection of neural development in health and disease at single cell resolution. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7902

[Published Version] View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 8190 |

Sixt, M. K., & Huttenlocher, A. (2020). Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.202007029

[Published Version] View | Files available | DOI | WoS

2020 | Journal Article | IST-REx-ID: 8986 |

Zhang, Y., Rodriguez Solovey, L., Li, L., Zhang, X., & Friml, J. (2020). Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. AAAS. https://doi.org/10.1126/sciadv.abc8895

2020 | Journal Article | IST-REx-ID: 8283 |

Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020). AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21165727

2020 | Journal Article | IST-REx-ID: 8139 |

Johnson, A. J., Gnyliukh, N., Kaufmann, W., Narasimhan, M., Vert, G., Bednarek, S., & Friml, J. (2020). Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.248062

2020 | Journal Article | IST-REx-ID: 9160 |

Semerádová, H., Montesinos López, J. C., & Benková, E. (2020). All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2020.100048

2019 | Conference Paper | IST-REx-ID: 10877 |

Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A., … Zaffanella, E. (2019). ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In G. Frehse & M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 1–13). Montreal, Canada: EasyChair. https://doi.org/10.29007/rjwn

[Published Version] View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 441 |

Kalinin, N., & Shkolnikov, M. (2019). Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-018-0218-0

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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. IOS Press. https://doi.org/10.3233/JCS-181131

[Preprint] View | DOI | Download Preprint (ext.)

2019 | Journal Article | IST-REx-ID: 6515 |

Dyer, R., Vegter, G., & Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . Carleton University. https://doi.org/10.20382/jocg.v10i1a9

[Published Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6528 |

Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ITCS.2019.60

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | 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. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE. https://doi.org/10.1109/INDIANCC.2019.8715598

[Submitted Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6628 |

Vegter, G., & Wintraecken, M. (2019). The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. In The 31st Canadian Conference in Computational Geometry (pp. 275–279). Edmonton, Canada.

[Submitted Version] View | Files available

2019 | Conference Paper | IST-REx-ID: 6648 |

Edelsbrunner, H., Virk, Z., & Wagner, H. (2019). Topological data analysis in information space. In 35th International Symposium on Computational Geometry (Vol. 129, p. 31:1-31:14). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.31

[Published Version] View | Files available | DOI | arXiv

2019 | Journal Article | IST-REx-ID: 6659 |

Zenmyo, N., Tokumaru, H., Uchinomiya, S., Fuchida, H., Tabata, S., Hamachi, I., … 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. Bulletin of the Chemical Society of Japan. https://doi.org/10.1246/bcsj.20190034

[Published Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6725 |

Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In 46th International Colloquium on Automata, Languages and Programming (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ICALP.2019.77

[Published Version] View | Files available | DOI | arXiv

2019 | Book Chapter | IST-REx-ID: 6726 |

Walter, M. (2019). Sampling the integers with low relative error. In J. Buchmann, A. Nitaj, & T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019 (Vol. 11627, pp. 157–180). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-23696-0_9

[Preprint] View | DOI | Download Preprint (ext.)

2019 | Journal Article | IST-REx-ID: 6750 |

Hashemi, S. A., Condo, C., Mondelli, M., & Gross, W. J. (2019). Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. IEEE. https://doi.org/10.1109/TSP.2019.2944738

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 6759 |

Jelínek, V., & Töpfer, M. (2019). On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/8096

[Published Version] View | Files available | DOI | arXiv

2019 | Conference Paper | IST-REx-ID: 6822 |

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

[Submitted Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6887 |

Chatterjee, K., Dvorák, W., Henzinger, M. H., & Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.7

[Published Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6888 |

Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE. https://doi.org/10.1109/icra.2019.8793840

[Submitted Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6886 |

Aghajohari, M., Avni, G., & Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration 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.20

[Published Version] View | Files available | DOI | arXiv

2019 | Conference Paper | IST-REx-ID: 6885 |

Chatterjee, K., Henzinger, T. A., & Otop, J. (2019). Long-run average behavior of vector addition systems with states (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.27

[Published Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6889 |

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 | Conference Paper | IST-REx-ID: 6931 |

Nowak, T., & Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.DISC.2019.29

[Published Version] View | Files available | DOI | arXiv

2019 | Conference Paper | IST-REx-ID: 6985 |

Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2019). Response characterization for auditing cell dynamics in long short-term memory networks. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE. https://doi.org/10.1109/ijcnn.2019.8851954

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 7007 |

Mondelli, M., Hassani, S. H., & Urbanke, R. (2019). A new coding paradigm for the primitive relay channel. Algorithms. MDPI. https://doi.org/10.3390/a12100218

[Published Version] View | Files available | DOI | arXiv

2019 | Conference Paper | IST-REx-ID: 7035 |

Geher, G. P., Titkos, T., & Virosztek, D. (2019). Dirac masses and isometric rigidity. In Kyoto RIMS Kôkyûroku (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.

[Submitted Version] View | Download Submitted Version (ext.)

2019 | Book (Editor) | IST-REx-ID: 7171

Kersting, K., Lampert, C., & Rothkopf, C. (Eds.). (2019). Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt (1st ed.). Wiesbaden: Springer Nature. https://doi.org/10.1007/978-3-658-26763-6

View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 7401 |

Fulek, R., & Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.39

[Published Version] View | Files available | DOI | arXiv

2019 | Book Chapter | IST-REx-ID: 7453 |

Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen & G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22

[Published Version] View | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 7550 |

Portinale, L., & Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. Gakko Tosho.

[Preprint] View | Download Preprint (ext.) | arXiv

2019 | Preprint | IST-REx-ID: 7552 |

Bialek, W., Gregor, T., & Tkačik, G. (n.d.). Action at a distance in transcriptional regulation. arXiv:1912.08579. ArXiv.

[Preprint] View | Download Preprint (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 7576 |

Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., … Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications. https://doi.org/10.29007/m75b

[Published Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 8175 |

Betea, D., Bouttier, J., Nejjar, P., & Vuletíc, M. (2019). New edge asymptotics of skew Young diagrams via free boundaries. In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Ljubljana, Slovenia: Formal Power Series and Algebraic Combinatorics.

[Preprint] View | Download Preprint (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 8570 |

Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R., … Schupp, S. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics. In EPiC Series in Computing (Vol. 61, pp. 14–40). Montreal, Canada: EasyChair. https://doi.org/10.29007/bj1w

[Published Version] View | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 9460 |

Kim, M. Y., Ono, A., Scholten, S., Kinoshita, T., Zilberman, D., Okamoto, T., & Fischer, R. L. (2019). DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1821435116

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2019 | Journal Article | IST-REx-ID: 6819 |

Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., & Martin, C. V. (2019). Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. BioMed Central. https://doi.org/10.1186/s13104-019-4534-3

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2019 | Research Data Reference | IST-REx-ID: 9784 |

Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., & Martin, C. V. (2019). MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. Springer Nature. https://doi.org/10.6084/m9.figshare.9411761.v1

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Research Data Reference | IST-REx-ID: 9839 |

Polechova, J. (2019). Data from: Is the sky the limit? On the expansion threshold of a species’ range. Dryad. https://doi.org/10.5061/dryad.5vv37

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 9530 |

Harris, K. D., Lloyd, J. P. B., Domb, K., Zilberman, D., & Zemach, A. (2019). DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development. Epigenetics and Chromatin. Springer Nature. https://doi.org/10.1186/s13072-019-0307-4

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2019 | Journal Article | IST-REx-ID: 12192 |

He, S., Vickers, M., Zhang, J., & Feng, X. (2019). Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. ELife. eLife Sciences Publications, Ltd. https://doi.org/10.7554/elife.42530

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Journal Article | IST-REx-ID: 12190

Lawrence, E. J., Gao, H., Tock, A. J., Lambing, C., Blackwell, A. R., Feng, X., & Henderson, I. R. (2019). Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. Elsevier BV. https://doi.org/10.1016/j.cub.2019.06.084

View | DOI | PubMed | Europe PMC

2019 | Conference Abstract | IST-REx-ID: 12901 |

Schlögl, A., Kiss, J., & Elefante, S. (2019). Is Debian suitable for running an HPC Cluster? In AHPC19 - Austrian HPC Meeting 2019 (p. 25). Grundlsee, Austria: Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz.

[Published Version] View | Files available | Download Published Version (ext.)

2019 | Conference Paper | IST-REx-ID: 6989 |

Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (2019). Folding polyominoes with holes into a cube. In Proceedings of the 31st Canadian Conference on Computational Geometry (pp. 164–170). Edmonton, Canada: Canadian Conference on Computational Geometry.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 6884 |

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

[Published Version] View | Files available | DOI | arXiv

2019 | Research Data Reference | IST-REx-ID: 9726

Ucar, M. C., & Lipowsky, R. (2019). Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. American Chemical Society . https://doi.org/10.1021/acs.nanolett.9b04445.s001

[Published Version] View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 6671 |

Boissonnat, J.-D., Lieutier, A., & Wintraecken, M. (2019). The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-019-00029-8

[Published Version] View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 301 |

Gerencser, M., & Gyöngy, I. (2019). A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2018.04.003

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 80 |

Deuchert, A., Seiringer, R., & Yngvason, J. (2019). Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-018-3239-0

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 5911 |

Faria, R., Johannesson, K., Butlin, R. K., & Westram, A. M. (2019). Evolving inversions. Trends in Ecology and Evolution. Elsevier. https://doi.org/10.1016/j.tree.2018.12.005

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 439 |

Hausel, T., Mereb, M., & Wong, M. (2019). Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/896

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 105 |

Marsh, A., Novarino, G., Lockhart, P., & Leventer, R. (2019). CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-018-0231-2

2019 | Journal Article | IST-REx-ID: 65 |

Dareiotis, K., Gerencser, M., & Gess, B. (2019). Entropy solutions for stochastic porous media equations. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2018.09.012

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 5907 |

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. Nature Publishing Group. https://doi.org/10.1038/s41598-018-36884-1

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 5908 |

Lee, E., Vanneste, S., Pérez-Sancho, J., Benitez-Fuente, F., Strelau, M., Macho, A. P., … Rosado, A. (2019). Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1818099116

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. Taylor and Francis. https://doi.org/10.1080/23818107.2018.1545142

View | DOI | WoS

2019 | Journal Article | IST-REx-ID: 5790 |

Chaplick, S., Fulek, R., & Klavík, P. (2019). Extending partial representations of circle graphs. Journal of Graph Theory. Wiley. https://doi.org/10.1002/jgt.22436

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 405 |

Virosztek, D. (2019). Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2018.03.002

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 175 |

Browning, T. D., & Loughran, D. (2019). Sieving rational points on varieties. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/7514

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 319 |

Gerencser, M., & Hairer, M. (2019). Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0841-1

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 429 |

Ajanki, O. H., Erdös, L., & Krüger, T. H. (2019). Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0835-z

[Published Version] View | Files available | DOI | WoS

2019 | Conference Paper | IST-REx-ID: 5947 |

Chatterjee, B., Peri, S., Sa, M., & Singhal, N. (2019). A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries. In ACM International Conference Proceeding Series (pp. 168–177). Bangalore, India: ACM. https://doi.org/10.1145/3288599.3288617

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 5857 |

Fulek, R., & Pach, J. (2019). Thrackles: An improved upper bound. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/j.dam.2018.12.025

2019 | Journal Article | IST-REx-ID: 5944 |

Corominas-Murtra, B. (2019). Thermodynamics of duplication thresholds in synthetic protocell systems. Life. MDPI. https://doi.org/10.3390/life9010009

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 6029 |

Lindner, M., Tresztenyak, A., Fülöp, G., Jahr, W., Prinz, A., Prinz, I., … Sevcsik, E. (2019). A fast and simple contact printing approach to generate 2D protein nanopatterns. Frontiers in Chemistry. Frontiers Media S.A. https://doi.org/10.3389/fchem.2018.00655

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 6028 |

Gerencser, M., & Hairer, M. (2019). A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.21816

[Published Version] View | Files available | DOI | WoS

2019 | Conference Paper | IST-REx-ID: 5948

Fu, H., & Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. In International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-11245-5_22

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 5945 |

Petkova, M. D., Tkačik, G., Bialek, W., Wieschaus, E. F., & Gregor, T. (2019). Optimal decoding of cellular identities in a genetic network. Cell. Cell Press. https://doi.org/10.1016/j.cell.2019.01.007

2019 | Journal Article | IST-REx-ID: 5943 |

Klotz, L., Gumowski, K., & Wesfreid, J. E. (2019). Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2018.974

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Conference Paper | IST-REx-ID: 6042 |

Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13

[Published Version] View | Files available | DOI | WoS

2019 | Conference Paper | IST-REx-ID: 6035 |

Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2019). JuliaReach: A toolbox for set-based reachability. In Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control (Vol. 22, pp. 39–44). Montreal, QC, Canada: ACM. https://doi.org/10.1145/3302504.3311804

[Submitted Version] View | Files available | DOI | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 6052 |

Truckenbrodt, S. M., Sommer, C. M., Rizzoli, S. O., & Danzl, J. G. (2019). A practical guide to optimization in X10 expansion microscopy. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/s41596-018-0117-3

2019 | Journal Article | IST-REx-ID: 6025 |

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. eLife Sciences Publications. https://doi.org/10.7554/eLife.42093

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 6022 |

Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S., Davey, J., … Jiggins, C. D. (2019). Genetic dissection of assortative mating behavior. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005902

[Published Version] View | Files available | DOI | WoS

2019 | Journal Article | IST-REx-ID: 6023 |

Yoshida, S., Van Der Schuren, A., Van Dop, M., Van Galen, L., Saiga, S., Adibi, M., … Weijers, D. (2019). A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. Springer Nature. https://doi.org/10.1038/s41477-019-0363-6

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2019 | Journal Article | IST-REx-ID: 6053 |

Kalaee, M., Mirhosseini, M., Dieterle, P. B., Peruzzo, M., Fink, J. M., & Painter, O. (2019). Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. Springer Nature. https://doi.org/10.1038/s41565-019-0377-2

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2019 | Journal Article | IST-REx-ID: 6050 |

Akopyan, A., & Fedorov, R. (2019). Two circles and only a straightedge. Proceedings of the American Mathematical Society. AMS. https://doi.org/10.1090/proc/14240

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Research Data Reference | IST-REx-ID: 9801

Merrill, R. M., Rastas, P., Martin, S. H., Melo Hurtado, M. C., Barker, S., Davey, J., … Jiggins, C. D. (2019). Raw behavioral data. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005902.s006

[Published Version] View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 6095 |

Faria, R., Chaube, P., Morales, H. E., Larsson, T., Lemmon, A. R., Lemmon, E. M., … Butlin, R. K. (2019). Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.14972

[Published Version] View | Files available | DOI | WoS

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5046 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5046 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options