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.
6667 Publications
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: 1077 |
Fernandes Redondo, Rodrigo A., et al. “Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family.” Journal of the Royal Society Interface, vol. 14, no. 126, 20160139, Royal Society of London, 2017, doi:10.1098/rsif.2016.0139.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |
Published |
Journal Article |
IST-REx-ID: 1078 |
von Wangenheim, Daniel, et al. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” Journal of Visualized Experiments JoVE, vol. 2017, no. 119, e55044, Journal of Visualized Experiments, 2017, doi:10.3791/55044.
[Published Version]
View
| Files available
| DOI
| 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
earlier version | 2017 |
Published |
Conference Paper |
IST-REx-ID: 313 |
Camus, Nicolas, et al. Experimental Evidence for Wigner’s Tunneling Time. Vol. 999, no. 1, 012004, American Physical Society, 2017, doi:10.1088/1742-6596/999/1/012004.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2017 |
Published |
Book Chapter |
IST-REx-ID: 424 |
Goaoc, Xavier, et al. “Bounding Helly Numbers via Betti Numbers.” A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl et al., Springer, 2017, pp. 407–47, doi:10.1007/978-3-319-44479-6_17.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 |
Published |
Conference Paper |
IST-REx-ID: 431 |
Alistarh, Dan-Adrian, et al. QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding. Vol. 2017, Neural Information Processing Systems Foundation, 2017, pp. 1710–21.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 |
Published |
Conference Paper |
IST-REx-ID: 432 |
Zhang, Hantian, et al. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” Proceedings of Machine Learning Research, vol. 70, ML Research Press, 2017, pp. 4035–43.
[Submitted Version]
View
| Files available
| WoS
2017 |
Published |
Conference Paper |
IST-REx-ID: 18286 |
Litany, Or, et al. “Deep Functional Maps: Structured Prediction for Dense Shape Correspondence.” 2017 IEEE International Conference on Computer Vision (ICCV), vol. 31, 8237865, IEEE, 2017, doi:10.1109/iccv.2017.603.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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: 795 |
Fulek, Radoslav, et al. “Unified Hanani Tutte Theorem.” Electronic Journal of Combinatorics, vol. 24, no. 3, P3.18, International Press, 2017, doi:10.37236/6663.
[Published Version]
View
| Files available
| DOI