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.

661 Publications


2017 | Published | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158118.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158121.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1061 | OA
Veetil, Vinod, Andreas Angermayr, and Klaas Hellingwerf. “Ethylene Production with Engineered Synechocystis Sp PCC 6803 Strains.” Microbial Cell Factories. BioMed Central, 2017. https://doi.org/10.1186/s12934-017-0645-5.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1062
Guarina, Laura, David H Vandael, Valentina Carabelli, and Emilio Carbone. “Low PH Inf o Boosts Burst Firing and Catecholamine Release by Blocking TASK-1 and BK Channels While Preserving Cav1 Channels in Mouse Chromaffin Cells.” Journal of Physiology. Wiley-Blackwell, 2017. https://doi.org/10.1113/JP273735.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
Uecker, Hildegard. “Evolutionary Rescue in Randomly Mating, Selfing, and Clonal Populations.” Evolution. Wiley, 2017. https://doi.org/10.1111/evo.13191.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | bioRxiv
 

2017 | Published | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, Krishnendu, and Georg F Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters. Elsevier, 2017. https://doi.org/10.1016/j.ipl.2017.02.003.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1066 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. “Quantitative Fair Simulation Games.” Information and Computation. Elsevier, 2017. https://doi.org/10.1016/j.ic.2016.10.006.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2017 | Published | Thesis | PhD | IST-REx-ID: 10663 | OA
Polshyn, Hryhoriy. “Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures.” University of Illinois at Urbana-Champaign, 2017.
[Published Version] View | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1067 | OA
Morita, Hitoshi, Silvia Grigolon, Martin Bock, Gabriel Krens, Guillaume Salbreux, and Carl-Philipp J Heisenberg. “The Physical Basis of Coordinated Tissue Spreading in Zebrafish Gastrulation.” Developmental Cell. Cell Press, 2017. https://doi.org/10.1016/j.devcel.2017.01.010.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1072 | OA
Bauer, Ulrich, and Herbert Edelsbrunner. “The Morse Theory of Čech and Delaunay Complexes.” Transactions of the American Mathematical Society. American Mathematical Society, 2017. https://doi.org/10.1090/tran/6991.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1073 | OA
Čadek, Martin, Marek Krcál, and Lukáš Vokřínek. “Algorithmic Solvability of the Lifting Extension Problem.” Discrete & Computational Geometry. Springer, 2017. https://doi.org/10.1007/s00454-016-9855-6.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer, Harald, Graham Coop, and Nicholas H Barton. “Inferring Recent Demography from Isolation by Distance of Long Shared Sequence Blocks.” Genetics. Genetics Society of America, 2017. https://doi.org/10.1534/genetics.116.196220.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 10745 | OA
Polshyn, Hryhoriy, Tyler Naibert, and Raffi Budakian. “ Probing and Controlling Fluxoid States in Multiply-Connected Mesoscopic Superconducting Structures.” In APS March Meeting 2017, Vol. 62. American Physical Society, 2017.
[Published Version] View | Download Published Version (ext.)
 

2017 | Published | Book Chapter | IST-REx-ID: 1075 | OA
Wenzl, Bernhard. “An American in Allied-Occupied Austria: John Dos Passos Reports on "The Vienna Frontier"” In Austria and America: 20th-Century Cross-Cultural Encounters, edited by Joshua Parker and Ralph Poole, 15:73–80. LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017.
View | Files available
 

2017 | Published | Journal Article | IST-REx-ID: 1079 | OA
Nam, Phan, and Hanne Van Den Bosch. “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker Theory with Small Nuclear Charges.” Mathematical Physics, Analysis and Geometry. Springer, 2017. https://doi.org/10.1007/s11040-017-9238-0.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1080 | OA
Reiter, Johannes, Alvin Makohon Moore, Jeffrey Gerold, Ivana Božić, Krishnendu Chatterjee, Christine Iacobuzio Donahue, Bert Vogelstein, and Martin Nowak. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/ncomms14114.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 7725
Reger, Julia, Martin I. Lind, Matthew Richard Robinson, and Andrew P. Beckerman. “Predation Drives Local Adaptation of Phenotypic Plasticity.” Nature Ecology & Evolution. Springer Nature, 2017. https://doi.org/10.1038/s41559-017-0373-6.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 7727
Burger, D., S. Thomas, H. Aepli, M. Dreyer, G. Fabre, E. Marti, H. Sieme, Matthew Richard Robinson, and C. Wedekind. “Major Histocompatibility Complex-Linked Social Signalling Affects Female Fertility.” Proceedings of the Royal Society B: Biological Sciences. The Royal Society, 2017. https://doi.org/10.1098/rspb.2017.1824.
View | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 7728
Tropf, Felix C., S. Hong Lee, Renske M. Verweij, Gert Stulp, Peter J. van der Most, Ronald de Vlaming, Andrew Bakshi, et al. “Hidden Heritability Due to Heterogeneity across Seven Populations.” Nature Human Behaviour. Springer Nature, 2017. https://doi.org/10.1038/s41562-017-0195-1.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 7729
Yengo, Loic, Zhihong Zhu, Naomi R. Wray, Bruce S. Weir, Jian Yang, Matthew Richard Robinson, and Peter M. Visscher. “Detection and Quantification of Inbreeding Depression for Complex Traits from SNP Data.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1621096114.
View | Files available | DOI
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed