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.
6161 Publications
2017 | Published | Journal Article | IST-REx-ID: 1018
Dobisova, Tereza, et al. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” Plant Physiology, vol. 174, no. 1, American Society of Plant Biologists, 2017, pp. 387–404, doi:10.1104/pp.16.01964.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1030 | 
Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” Informationspraxis, vol. 3, no. 1, Verein Informationspraxis , 2017, doi:10.11588/ip.2017.1.35227.
[Published Version]
View
| Files available
| DOI
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: 9506 |
Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.” Genome Biology, vol. 18, no. 1, 87, Springer Nature, 2017, doi:10.1186/s13059-017-1230-2.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 953 |
Charlesworth, Deborah, et al. “The Sources of Adaptive Evolution.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855, 20162864, Royal Society, The, 2017, doi:10.1098/rspb.2016.2864.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Research Data Reference | IST-REx-ID: 9707 |
Riccio, Paul, et al. Data from: Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 989
Maas, Jan, et al. Transport Based Image Morphing with Intensity Modulation. Edited by François Lauze et al., vol. 10302, Springer, 2017, pp. 563–77, doi:10.1007/978-3-319-58771-4_45.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 991
Chen, Chong, and Peter M. Jonas. “Synaptotagmins: That’s Why so Many.” Neuron, vol. 94, no. 4, Elsevier, 2017, pp. 694–96, doi:10.1016/j.neuron.2017.05.011.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 9445 |
Lyons, David B., and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation of DNA Wrapped in Nucleosomes.” ELife, vol. 6, e30674, eLife Sciences Publications, 2017, doi:10.7554/elife.30674.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5568 |
Hahn, David. Source Codes: Brittle Fracture Simulation with Boundary Elements for Computer Graphics. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:73.
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 992 |
Rolinek, Michal. Complexity of Constraint Satisfaction. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_815.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 915 |
Swoboda, Paul, and Bjoern Andres. A Message Passing Algorithm for the Minimum Cost Multicut Problem. Vol. 2017, IEEE, 2017, pp. 4990–99, doi:10.1109/CVPR.2017.530.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 916 |
Swoboda, Paul, et al. A Study of Lagrangean Decompositions and Dual Ascent Solvers for Graph Matching. Vol. 2017, IEEE, 2017, pp. 7062–71, doi:10.1109/CVPR.2017.747.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 917 |
Swoboda, Paul, et al. A Dual Ascent Framework for Lagrangean Decomposition of Combinatorial Problems. Vol. 2017, IEEE, 2017, pp. 4950–60, doi:10.1109/CVPR.2017.526.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 274 |
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” Proceedings of the 31st Conference On Learning Theory, vol. 75, ML Research Press, 2017, pp. 228–49.
[Published Version]
View
| Files available
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1004 |
Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development, vol. 45, Elsevier, 2017, pp. 82–89, doi:10.1016/j.gde.2017.03.010.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1163
Wysokiński, Marcin, and Jan Kaczmarczyk. “Unconventional Superconductivity in Generalized Hubbard Model Role of Electron–Hole Symmetry Breaking Terms.” Journal of Physics: Condensed Matter, vol. 29, no. 8, 085604, IOP Publishing, 2017, doi:10.1088/1361-648X/aa532f.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1007 |
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica, vol. 81C, International Federation of Automatic Control, 2017, pp. 46–55, doi:10.1016/j.automatica.2017.03.030.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 6517 |
Fulek, Radoslav. Embedding Graphs into Embedded Graphs. Vol. 92, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ISAAC.2017.34.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 730
Savin, Cristina, and Gašper Tkačik. “Maximum Entropy Models as a Tool for Building Precise Neural Controls.” Current Opinion in Neurobiology, vol. 46, Elsevier, 2017, pp. 120–26, doi:10.1016/j.conb.2017.08.001.
View
| DOI
| WoS