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.
1850 Publications
2019 |Published| Journal Article | IST-REx-ID: 5907 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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. Nature Publishing Group, 2019. https://doi.org/10.1038/s41598-018-36884-1.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6028 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics. Wiley, 2019. https://doi.org/10.1002/cpa.21816.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6042 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Christakis, Maria, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, and Valentin Wüstholz. “Semantic Fault Localization and Suspiciousness Ranking.” In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 11427:226–43. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17462-0_13.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Truckenbrodt, Sven M, Christoph M Sommer, Silvio O Rizzoli, and Johann G Danzl. “A Practical Guide to Optimization in X10 Expansion Microscopy.” Nature Protocols. Nature Publishing Group, 2019. https://doi.org/10.1038/s41596-018-0117-3.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6023 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants. Springer Nature, 2019. https://doi.org/10.1038/s41477-019-0363-6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6091 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henderson, Nathan T., Sylvain J. Le Marchand, Martin Hruska, Simon Hippenmeyer, Liqun Luo, and Matthew B. Dalva. “Ephrin-B3 Controls Excitatory Synapse Density through Cell-Cell Competition for EphBs.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.41563.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9806 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “Data from: A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Dryad, 2019. https://doi.org/10.5061/dryad.9kj41f0.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 6102 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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. Springer Nature, 2019. https://doi.org/10.1038/s41377-019-0124-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Davies, Heather S., Natalia S. Baranova, Nouha El Amri, Liliane Coche-Guérente, Claude Verdier, Lionel Bureau, Ralf P. Richter, and Delphine Débarre. “An Integrated Assay to Probe Endothelial Glycocalyx-Blood Cell Interactions under Flow in Mechanically and Biochemically Well-Defined Environments.” Matrix Biology. Elsevier, 2019. https://doi.org/10.1016/j.matbio.2018.12.002.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6428 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6412 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09628-6.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6462 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6493 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_16.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Poster | IST-REx-ID: 6485
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. Lock-Free Channels for Programming via Communicating Sequential Processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming. ACM Press, 2019. https://doi.org/10.1145/3293883.3297000.
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6756 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pranav, Pratyush, Robert J. Adler, Thomas Buchert, Herbert Edelsbrunner, Bernard J.T. Jones, Armin Schwartzman, Hubert Wagner, and Rien Van De Weygaert. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” Astronomy and Astrophysics. EDP Sciences, 2019. https://doi.org/10.1051/0004-6361/201834916.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6832
Krndija, Denis, Fatima El Marjou, Boris Guirao, Sophie Richon, Olivier Leroy, Yohanns Bellaiche, Edouard B Hannezo, and Danijela Matic Vignjevic. “Active Cell Migration Is Critical for Steady-State Epithelial Turnover in the Gut.” Science. American Association for the Advancement of Science, 2019. https://doi.org/10.1126/science.aau3429.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6837
Tavano, Ste, and Carl-Philipp J Heisenberg. “Migrasomes Take Center Stage.” Nature Cell Biology. Springer Nature, 2019. https://doi.org/10.1038/s41556-019-0369-3.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9897 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808850.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9900 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 5 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808886.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)