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.
1953 Publications
2019 |Published| Journal Article | IST-REx-ID: 5907 | 
Mócsai, Réka, et al. “N-Glycans of the Microalga Chlorella Vulgaris Are of the Oligomannosidic Type but Highly Methylated.” Scientific Reports, vol. 9, no. 1, 331, Nature Publishing Group, 2019, doi:10.1038/s41598-018-36884-1.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6028 |
Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics, vol. 72, no. 9, Wiley, 2019, pp. 1983–2005, doi: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.” International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 11388, Springer Nature, 2019, pp. 468–90, doi:10.1007/978-3-030-11245-5_22.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6042 |
Christakis, Maria, et al. “Semantic Fault Localization and Suspiciousness Ranking.” 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 11427, Springer Nature, 2019, pp. 226–43, doi:10.1007/978-3-030-17462-0_13.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6052 |
Truckenbrodt, Sven M., et al. “A Practical Guide to Optimization in X10 Expansion Microscopy.” Nature Protocols, vol. 14, no. 3, Nature Publishing Group, 2019, pp. 832–863, doi:10.1038/s41596-018-0117-3.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6023 |
Yoshida, Saiko, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants, vol. 5, no. 2, Springer Nature, 2019, pp. 160–66, doi:10.1038/s41477-019-0363-6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6091 |
Henderson, Nathan T., et al. “Ephrin-B3 Controls Excitatory Synapse Density through Cell-Cell Competition for EphBs.” ELife, vol. 8, e41563, eLife Sciences Publications, 2019, doi:10.7554/eLife.41563.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9806 |
Kutzer, Megan, et al. Data from: A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance. Dryad, 2019, doi:10.5061/dryad.9kj41f0.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 6102 |
Le Feber, B., et al. “A Full Vectorial Mapping of Nanophotonic Light Fields.” Light: Science and Applications, vol. 8, no. 1, 28, Springer Nature, 2019, doi:10.1038/s41377-019-0124-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6297 |
Davies, Heather S., et al. “An Integrated Assay to Probe Endothelial Glycocalyx-Blood Cell Interactions under Flow in Mechanically and Biochemically Well-Defined Environments.” Matrix Biology, vol. 78–79, Elsevier, 2019, pp. 47–59, doi:10.1016/j.matbio.2018.12.002.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6428 |
Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6412 |
Moussa, Hagar F., et al. “Canonical PRC1 Controls Sequence-Independent Propagation of Polycomb-Mediated Gene Silencing.” Nature Communications, vol. 10, no. 1, 1931, Springer Nature, 2019, doi:10.1038/s41467-019-09628-6.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6462 |
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Conference Paper | IST-REx-ID: 6493 |
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi: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, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, ACM Press, 2019, pp. 417–18, doi:10.1145/3293883.3297000.
View
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6756 |
Pranav, Pratyush, et al. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” Astronomy and Astrophysics, vol. 627, A163, EDP Sciences, 2019, doi:10.1051/0004-6361/201834916.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 6832
Krndija, Denis, et al. “Active Cell Migration Is Critical for Steady-State Epithelial Turnover in the Gut.” Science, vol. 365, no. 6454, American Association for the Advancement of Science, 2019, pp. 705–10, doi: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, vol. 21, no. 8, Springer Nature, 2019, pp. 918–20, doi:10.1038/s41556-019-0369-3.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9897 |
Sigalova, Olga M., et al. Additional File 20 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808850.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9900 |
Sigalova, Olga M., et al. Additional File 5 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808886.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)