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.




5258 Publications

2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,” Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
[Submitted Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 12193 | OA
Walker, James, Hongbo Gao, Jingyi Zhang, Billy Aldridge, Martin Vickers, James D. Higgins, and Xiaoqi Feng. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” Nature Genetics. Nature Research, 2017. https://doi.org/10.1038/s41588-017-0008-5.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2017 | Published | Conference Paper | IST-REx-ID: 14206 | OA
Locatello, Francesco, Michael Tschannen, Gunnar Rätsch, and Martin Jaggi. “Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees.” In Advances in Neural Information Processing Systems, 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 521 | OA
Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.” Topology and Its Applications. Elsevier, 2017. https://doi.org/10.1016/j.topol.2016.10.005.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073709.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1119 | OA
Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum Solvents.” Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.095301.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.” Scandinavian Journal of Statistics. Wiley-Blackwell, 2017. https://doi.org/10.1111/sjos.12251.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Thesis | IST-REx-ID: 202 | OA
Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
[Published Version] View | Files available | DOI
 
2017 | Published | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. https://doi.org/10.1007/978-3-319-44479-6_17.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | Conference Paper | IST-REx-ID: 431 | OA
Alistarh, Dan-Adrian, Demjan Grubic, Jerry Li, Ryota Tomioka, and Milan Vojnović. “QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding,” 2017:1710–21. Neural Information Processing Systems Foundation, 2017.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 432 | OA
Zhang, Hantian, Jerry Li, Kaan Kara, Dan-Adrian Alistarh, Ji Liu, and Ce Zhang. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” In Proceedings of Machine Learning Research, 70:4035–43. ML Research Press, 2017.
[Submitted Version] View | Files available
 
2017 | Published | Book Chapter | IST-REx-ID: 444
Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” In Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, 25–59. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry, 2017. https://doi.org/10.1039/9781788010405-00025.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 447 | OA
Ferrari, Patrik, and Peter Nejjar. “Fluctuations of the Competition Interface in Presence of Shocks.” Revista Latino-Americana de Probabilidade e Estatística. Instituto Nacional de Matematica Pura e Aplicada, 2017. https://doi.org/10.30757/ALEA.v14-17.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 453 | OA
Fallesen, Todd, Johanna Roostalu, Christian F Düllberg, Gunnar Pruessner, and Thomas Surrey. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” Biophysical Journal. Biophysical Society, 2017. https://doi.org/10.1016/j.bpj.2017.09.006.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 459 | OA
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie. Verlag Dr. Friedrich Pfeil, 2017.
[Published Version] View | Files available
 
2017 | Published | Journal Article | IST-REx-ID: 463 | OA
Altmeyer, Sebastian, Younghae Do, and Soorok Ryu. “Transient Behavior between Multi-Cell Flow States in Ferrofluidic Taylor-Couette Flow.” Chaos. AIP Publishing, 2017. https://doi.org/10.1063/1.5002771.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, Krishnendu, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science. International Federation of Computational Logic, 2017. https://doi.org/10.23638/LMCS-13(3:26)2017.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 481 | OA
Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2017. https://doi.org/10.1142/S0218195916600050.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 483 | OA
Bourgade, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.” Advances in Theoretical and Mathematical Physics. International Press, 2017. https://doi.org/10.4310/ATMP.2017.v21.n3.a5.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed