Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6592 Publications
2017 |
Published |
Journal Article |
IST-REx-ID: 1026
Agus, Viviana, and Harald L. Janovjak. “Optogenetic Methods in Drug Screening: Technologies and Applications.” Current Opinion in Biotechnology, vol. 48, Elsevier, 2017, pp. 8–14, doi:10.1016/j.copbio.2017.02.006.
View
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 10416 |
Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 10418 |
Mciver, Annabelle, et al. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 33, Association for Computing Machinery, 2017, doi:10.1145/3158121.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 1063 |
Uecker, Hildegard. “Evolutionary Rescue in Randomly Mating, Selfing, and Clonal Populations.” Evolution, vol. 71, no. 4, Wiley, 2017, pp. 845–58, doi:10.1111/evo.13191.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| bioRxiv
2017 |
Published |
Journal Article |
IST-REx-ID: 1065 |
Chatterjee, Krishnendu, and Georg F. Osang. “Pushdown Reachability with Constant Treewidth.” Information Processing Letters, vol. 122, Elsevier, 2017, pp. 25–29, doi:10.1016/j.ipl.2017.02.003.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1066 |
Chatterjee, Krishnendu, et al. “Quantitative Fair Simulation Games.” Information and Computation, vol. 254, no. 2, Elsevier, 2017, pp. 143–66, doi:10.1016/j.ic.2016.10.006.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1067 |
Morita, Hitoshi, et al. “The Physical Basis of Coordinated Tissue Spreading in Zebrafish Gastrulation.” Developmental Cell, vol. 40, no. 4, Cell Press, 2017, pp. 354–66, doi:10.1016/j.devcel.2017.01.010.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1072 |
Bauer, Ulrich, and Herbert Edelsbrunner. “The Morse Theory of Čech and Delaunay Complexes.” Transactions of the American Mathematical Society, vol. 369, no. 5, American Mathematical Society, 2017, pp. 3741–62, doi:10.1090/tran/6991.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 1073 |
Čadek, Martin, et al. “Algorithmic Solvability of the Lifting Extension Problem.” Discrete & Computational Geometry, vol. 54, no. 4, Springer, 2017, pp. 915–65, doi:10.1007/s00454-016-9855-6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 1074 |
Ringbauer, Harald, et al. “Inferring Recent Demography from Isolation by Distance of Long Shared Sequence Blocks.” Genetics, vol. 205, no. 3, Genetics Society of America, 2017, pp. 1335–51, doi:10.1534/genetics.116.196220.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1079 |
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, vol. 20, no. 2, 6, Springer, 2017, doi:10.1007/s11040-017-9238-0.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 1080 |
Reiter, Johannes, et al. “Reconstructing Metastatic Seeding Patterns of Human Cancers.” Nature Communications, vol. 8, 14114, Nature Publishing Group, 2017, doi:10.1038/ncomms14114.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 791 |
Alistarh, Dan-Adrian, et al. “The Power of Choice in Priority Scheduling.” Proceedings of the ACM Symposium on Principles of Distributed Computing, vol. Part F129314, ACM, 2017, pp. 283–92, doi:10.1145/3087801.3087810.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 792 |
Budanur, Nazmi B., et al. “Relative Periodic Orbits Form the Backbone of Turbulent Pipe Flow.” Journal of Fluid Mechanics, vol. 833, Cambridge University Press, 2017, pp. 274–301, doi:10.1017/jfm.2017.699.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 793 |
Fulek, Radoslav, et al. “On the Existence of Ordinary Triangles.” Computational Geometry: Theory and Applications, vol. 66, Elsevier, 2017, pp. 28–31, doi:10.1016/j.comgeo.2017.07.002.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 794 |
Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs.” Computational Geometry: Theory and Applications, vol. 66, Elsevier, 2017, pp. 1–13, doi:10.1016/j.comgeo.2017.06.016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 796 |
Keller, Andrew J., et al. “Al Transmon Qubits on Silicon on Insulator for Quantum Device Integration.” Applied Physics Letters, vol. 111, no. 4, 042603, American Institute of Physics, 2017, doi:10.1063/1.4994661.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Journal Article |
IST-REx-ID: 797
Fink, Johannes M. “Photonenblockade Aufgelöst.” Physik in Unserer Zeit, vol. 48, no. 3, Wiley, 2017, pp. 111–13, doi:10.1002/piuz.201770305.
View
| DOI
2017 |
Published |
Journal Article |
IST-REx-ID: 798 |
Barzanjeh, Shabir, et al. “Mechanical on Chip Microwave Circulator.” Nature Communications, vol. 8, no. 1, 1304, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01304-x.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 799 |
Kitakura, Saeko, et al. “BEN3/BIG2 ARF GEF Is Involved in Brefeldin a-Sensitive Trafficking at the Trans-Golgi Network/Early Endosome in Arabidopsis Thaliana.” Plant and Cell Physiology, vol. 58, no. 10, 1801–1811, Oxford University Press, 2017, doi:10.1093/pcp/pcx118.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC