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, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.” In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, 57–66. ACM, 2019. https://doi.org/10.1145/3302504.3311800.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo, Edouard B, and Carl-Philipp J Heisenberg. “Mechanochemical Feedback Loops in Development and Disease.” Cell 178, no. 1 (2019): 12–25. https://doi.org/10.1016/j.cell.2019.05.052.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6808
Jahr, Wiebke, Philipp Velicky, and Johann G Danzl. “Strategies to Maximize Performance in STimulated Emission Depletion (STED) Nanoscopy of Biological Specimens.” Methods, n.d. https://doi.org/10.1016/j.ymeth.2019.07.019.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. https://doi.org/10.1007/978-3-030-30806-3_1.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,” Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.MFCS.2019.11.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee, Krishnendu, and Nir Piterman. “Combinations of Qualitative Winning for Stochastic Parity Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.6.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. 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, Nicoletta, and Carl-Philipp J Heisenberg. “Tissue Rheology in Embryonic Organization.” The EMBO Journal 38, no. 20 (2019). https://doi.org/10.15252/embj.2019102497.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6891.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf, Aglaja, and Michael K Sixt. “The Neural Crest Pitches in to Remove Apoptotic Debris.” Cell 179, no. 1 (2019): 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, Thomas, Oded Maler, Dejan Ničković, and Amir Pnueli. “From Real-Time Logic to Timed Automata.” Journal of the ACM 66, no. 3 (2019). https://doi.org/10.1145/3286976.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.” In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31304-3_9.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer, Katarzyna, Maria Akhmanova, Nataliia Konstantinova, Kateřina Malínská, Johannes Leitner, Jan Petrášek, and Christian Luschnig. “Brassinosteroid Signaling Delimits Root Gravitropism via Sorting of the Arabidopsis PIN2 Auxin Transporter.” Nature Communications 10 (2019). 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, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “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), 11750:123–41. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-29662-9_8.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.” Journal of the ACM 66, no. 4 (2019). https://doi.org/10.1145/3340295.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Kwak, Won-Jin, Stefan Alexander Freunberger, Hun Kim, Jiwon Park, Trung Thien Nguyen, Hun-Gi Jung, Hye Ryung Byon, and Yang-Kook Sun. “Mutual Conservation of Redox Mediator and Singlet Oxygen Quencher in Lithium–Oxygen Batteries.” ACS Catalysis 9, no. 11 (2019): 9914–22. https://doi.org/10.1021/acscatal.9b01337.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6194
Boccara, Charlotte N., Michele Nardin, Federico Stella, Joseph O’Neill, and Jozsef L Csicsvari. “The Entorhinal Cognitive Map Is Attracted to Goals.” Science 363, no. 6434 (2019): 1443–47. https://doi.org/10.1126/science.aav4837.
View | Files available | DOI
 

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

2019 | Journal Article | IST-REx-ID: 7421
Toups, Melissa A, Nicolas Rodrigues, Nicolas Perrin, and Mark Kirkpatrick. “A Reciprocal Translocation Radically Reshapes Sex‐linked Inheritance in the Common Frog.” Molecular Ecology 28, no. 8 (2019): 1877–89. https://doi.org/10.1111/mec.14990.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7402   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2019. https://doi.org/10.1109/lics.2019.8785706.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7399   OA
Andergassen, Daniel, Markus Muckenhuber, Philipp C. Bammer, Tomasz M. Kulinski, Hans-Christian Theussl, Takahiko Shimizu, Josef M. Penninger, Florian Pauler, and Quanah J. Hudson. “The Airn LncRNA Does Not Require Any DNA Elements within Its Locus to Silence Distant Imprinted Genes.” PLOS Genetics 15, no. 7 (2019): e1008268. https://doi.org/10.1371/journal.pgen.1008268.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7414
Knaus, Lisa, Dora-Clara Tarlungeanu, and Gaia Novarino. “S.16.03 A Homozygous Missense Mutation in SLC7A5 Leads to Autism Spectrum Disorder and Microcephaly.” European Neuropsychopharmacology 29, no. Supplement 6 (2019): S11. https://doi.org/10.1016/j.euroneuro.2019.09.039.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7394
Benková, Eva, and Yasin Dagdas. “Editorial Overview: Cell Biology in the Era of Omics?” Current Opinion in Plant Biology 52, no. 12 (2019): A1–2. https://doi.org/10.1016/j.pbi.2019.11.002.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7476   OA
Andersen, Marianne Stemann, Edouard B Hannezo, Svetlana Ulyanchenko, Soline Estrach, Yasuko Antoku, Sabrina Pisano, Kim E. Boonekamp, et al. “Tracing the Cellular Dynamics of Sebaceous Gland Development in Normal and Perturbed States.” Nature Cell Biology 21, no. 8 (2019): 924–32. 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, Radoslav, and Jan Kynčl. “Counterexample to an Extension of the Hanani-Tutte Theorem on the Surface of Genus 4.” Combinatorica 39, no. 6 (2019): 1267–79. https://doi.org/10.1007/s00493-019-3905-7.
View | DOI | Download (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6269   OA
Narasimhan, Madhumitha. Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants . IST Austria, 2019. https://doi.org/10.15479/at:ista:th1075.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6310   OA
Browning, Timothy D, and L.Q. Hu. “Counting Rational Points on Biquadratic Hypersurfaces.” Advances in Mathematics 349 (2019): 920–40. https://doi.org/10.1016/j.aim.2019.04.031.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6240   OA
Alt, Johannes, László Erdös, Torben H Krüger, and Yuriy Nemish. “Location of the Spectrum of Kronecker Random Matrices.” Annales de l’institut Henri Poincare 55, no. 2 (2019): 661–96. https://doi.org/10.1214/18-AIHP894.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5906
Goremykina, Anna, Romain Vasseur, and Maksym Serbyn. “Analytically Solvable Renormalization Group for the Many-Body Localization Transition.” Physical Review Letters 122, no. 4 (2019): 040601. https://doi.org/10.1103/physrevlett.122.040601.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6187   OA
Valosková, Katarina, Julia Biebl, Marko Roblek, Shamsi Emtenani, Attila György, Michaela Misova, Aparna Ratheesh, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.” ELife 8 (2019): e41801. https://doi.org/10.7554/elife.41801.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 5817
Kavcic, Bor, A. Sakashita, H. Noguchi, and P. Ziherl. “Limiting Shapes of Confined Lipid Vesicles.” Soft Matter 15, no. 4 (2019): 602–14. https://doi.org/10.1039/c8sm01956h.
View | DOI
 

2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez, Sarah A. Estimating Information Flow in Single Cells. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6473.
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6074
Dotter, Christoph, and Gaia Novarino. Supplementary Data for the Research Paper “Haploinsufficiency of the Intellectual Disability Gene SETD5 Disturbs Developmental Gene Expression and Cognition.” IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6074.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5949   OA
Käfer, Karola, Hugo Malagon-Vina, Desiree Dickerson, Joseph O’Neill, Svenja V. Trossbach, Carsten Korth, and Jozsef L Csicsvari. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.” Hippocampus 29, no. 9 (2019): 802–16. https://doi.org/10.1002/hipo.23076.
View | Files available | DOI
 

2019 | Book Chapter | IST-REx-ID: 5793
Asaoka, Yoichi, Hitoshi Morita, Hiroko Furumoto, Carl-Philipp J Heisenberg, and Makoto Furutani-Seiki. “Studying YAP-Mediated 3D Morphogenesis Using Fish Embryos and Human Spheroids.” In The Hippo Pathway, edited by Alexander Hergovich, 1893:167–81. Methods in Molecular Biology. Springer, 2019. https://doi.org/10.1007/978-1-4939-8910-2_14.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5887
Demay, Gregory, Peter Gazi, Ueli Maurer, and Bjorn Tackmann. “Per-Session Security: Password-Based Cryptography Revisited.” Journal of Computer Security 27, no. 1 (2019): 75–111. https://doi.org/10.3233/JCS-181131.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5907   OA
Mócsai, Réka, Rudolf Figl, Clemens Troschl, Richard Strasser, Elisabeth Svehla, Markus Windwarder, Andreas Thader, and Friedrich Altmann. “N-Glycans of the Microalga Chlorella Vulgaris Are of the Oligomannosidic Type but Highly Methylated.” Scientific Reports 9, no. 1 (2019). https://doi.org/10.1038/s41598-018-36884-1.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5680
Andalo, Christophe, Monique Burrus, Sandrine Paute, Christine Lauzeral, and David Field. “Prevalence of Legitimate Pollinators and Nectar Robbers and the Consequences for Fruit Set in an Antirrhinum Majus Hybrid Zone.” Botany Letters 166, no. 1 (2019): 80–92. https://doi.org/10.1080/23818107.2018.1545142.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6025   OA
Capek, Daniel, Michael Smutny, Alexandra Madelaine Tichy, Maurizio Morri, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Light-Activated Frizzled7 Reveals a Permissive Role of Non-Canonical Wnt Signaling in Mesendoderm Cell Migration.” ELife 8 (2019). https://doi.org/10.7554/eLife.42093.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6049   OA
De Martino, Daniele. “Feedback-Induced Self-Oscillations in Large Interacting Systems Subjected to Phase Transitions.” Journal of Physics A: Mathematical and Theoretical 52, no. 4 (2019). https://doi.org/10.1088/1751-8121/aaf2dd.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6102   OA
Le Feber, B., J. E. Sipe, Matthias Wulf, L. Kuipers, and N. Rotenberg. “A Full Vectorial Mapping of Nanophotonic Light Fields.” Light: Science and Applications 8, no. 1 (2019). https://doi.org/10.1038/s41377-019-0124-3.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6087
Xia, Peng, Daniel J Gütl, Vanessa Zheden, and Carl-Philipp J Heisenberg. “Lateral Inhibition in Cell Specification Mediated by Mechanical Signals Modulating TAZ Activity.” Cell 176, no. 6 (2019): 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, Marko, Darya Protsyuk, Paul F. Becker, Cristina Stefanescu, Christian Gorzelanny, Jesus F. Glaus Garzon, Lucia Knopfova, et al. “CCL2 Is a Vascular Permeability Factor Inducing CCR2-Dependent Endothelial Retraction during Lung Metastasis.” Molecular Cancer Research 17, no. 3 (2019): 783–93. 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, Jakub Hajny, K Fukui, Y Nakao, Michelle C Gallei, M Quareshy, K Takahashi, et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.” Plant Physiology 180, no. 2 (2019): 1152–65. https://doi.org/10.1104/pp.19.00201.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6392
Lukacisin, Martin. Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory. IST Austria, 2019. https://doi.org/10.15479/AT:ISTA:6392.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6412   OA
Moussa, Hagar F., Daniel Bsteh, Ramesh Yelagandula, Carina Pribitzer, Karin Stecher, Katarina Bartalska, Luca Michetti, et al. “Canonical PRC1 Controls Sequence-Independent Propagation of Polycomb-Mediated Gene Silencing.” Nature Communications 10, no. 1 (2019). https://doi.org/10.1038/s41467-019-09628-6.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6607   OA
Nguyen, Chi Huu, Tobias Glüxam, Angela Schlerka, Katharina Bauer, Alexander M. Grandits, Hubert Hackl, Oliver Dovey, et al. “SOCS2 Is Part of a Highly Prognostic 4-Gene Signature in AML and Promotes Disease Aggressiveness.” Scientific Reports 9, no. 1 (2019). https://doi.org/10.1038/s41598-019-45579-0.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6506   OA
Noda-García, Lianet, Dan Davidi, Elisa Korenblum, Assaf Elazar, Ekaterina Putintseva, Asaph Aharoni, and Dan S. Tawfik. “Chance and Pleiotropy Dominate Genetic Diversity in Complex Bacterial Environments.” Nature Microbiology 4, no. 7 (2019): 1221–1230. https://doi.org/10.1038/s41564-019-0412-y.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed