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.
9626 Publications
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| Journal Article | IST-REx-ID: 5945 |
Petkova, Mariela D., et al. “Optimal Decoding of Cellular Identities in a Genetic Network.” Cell, vol. 176, no. 4, Cell Press, 2019, p. 844–855.e15, doi:10.1016/j.cell.2019.01.007.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 5943 |
Klotz, Lukasz, et al. “Experiments on a Jet in a Crossflow in the Low-Velocity-Ratio Regime.” Journal of Fluid Mechanics, vol. 863, Cambridge University Press, 2019, pp. 386–406, doi:10.1017/jfm.2018.974.
[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| Conference Paper | IST-REx-ID: 6035 |
Bogomolov, Sergiy, et al. “JuliaReach: A Toolbox for Set-Based Reachability.” Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, vol. 22, ACM, 2019, pp. 39–44, doi:10.1145/3302504.3311804.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
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: 6025 |
Capek, Daniel, et al. “Light-Activated Frizzled7 Reveals a Permissive Role of Non-Canonical Wnt Signaling in Mesendoderm Cell Migration.” ELife, vol. 8, e42093, eLife Sciences Publications, 2019, doi:10.7554/eLife.42093.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6022 |
Merrill, Richard M., et al. “Genetic Dissection of Assortative Mating Behavior.” PLoS Biology, vol. 17, no. 2, e2005902, Public Library of Science, 2019, doi:10.1371/journal.pbio.2005902.
[Published Version]
View
| Files available
| DOI
| WoS
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: 6053 |
Kalaee, Mahmoud, et al. “Quantum Electromechanics of a Hypersonic Crystal.” Nature Nanotechnology, vol. 14, no. 4, Springer Nature, 2019, pp. 334–339, doi:10.1038/s41565-019-0377-2.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6050 |
Akopyan, Arseniy, and Roman Fedorov. “Two Circles and Only a Straightedge.” Proceedings of the American Mathematical Society, vol. 147, AMS, 2019, pp. 91–102, doi:10.1090/proc/14240.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9801
Merrill, Richard M., et al. Raw Behavioral Data. Public Library of Science, 2019, doi:10.1371/journal.pbio.2005902.s006.
[Published Version]
View
| Files available
| DOI
2019 |Published| Journal Article | IST-REx-ID: 6095 |
Faria, Rui, et al. “Multiple Chromosomal Rearrangements in a Hybrid Zone between Littorina Saxatilis Ecotypes.” Molecular Ecology, vol. 28, no. 6, Wiley, 2019, pp. 1375–93, doi:10.1111/mec.14972.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6049 |
De Martino, Daniele. “Feedback-Induced Self-Oscillations in Large Interacting Systems Subjected to Phase Transitions.” Journal of Physics A: Mathematical and Theoretical, vol. 52, no. 4, 045002, IOP Publishing, 2019, doi:10.1088/1751-8121/aaf2dd.
[Published Version]
View
| Files available
| DOI
| 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 |Published| Journal Article | IST-REx-ID: 6046 |
Mitosch, Karin, et al. “Temporal Order and Precision of Complex Stress Responses in Individual Bacteria.” Molecular Systems Biology, vol. 15, no. 2, e8470, Embo Press, 2019, doi:10.15252/msb.20188470.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6105 |
Kutzer, Megan, et al. “A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Journal of Animal Ecology, vol. 88, no. 4, Wiley, 2019, pp. 566–78, doi:10.1111/1365-2656.12953.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |Published| Journal Article | IST-REx-ID: 6088
Traxl, Alexander, et al. “Inhibition of ABCB1 and ABCG2 at the Mouse Blood-Brain Barrier with Marketed Drugs to Improve Brain Delivery of the Model ABCB1/ABCG2 Substrate [11C]Erlotinib.” Molecular Pharmaceutics, vol. 16, no. 3, American Chemical Society, 2019, pp. 1282–93, doi:10.1021/acs.molpharmaceut.8b01217.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6087 |
Xia, Peng, et al. “Lateral Inhibition in Cell Specification Mediated by Mechanical Signals Modulating TAZ Activity.” Cell, vol. 176, no. 6, Elsevier, 2019, p. 1379–1392.e14, doi:10.1016/j.cell.2019.01.019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| 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.)