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 T, Hrdinova V, Cuesta C, et al. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 2017;174(1):387-404. doi:10.1104/pp.16.01964
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1030 |
Villányi M. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 2017;3(1). doi:10.11588/ip.2017.1.35227
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 10418 |
Mciver A, Morgan C, Kaminski BL, Katoen JP. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158121
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 9506 |
Zilberman D. An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. 2017;18(1). 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 D, Barton NH, Charlesworth B. The sources of adaptive evolution. Proceedings of the Royal Society of London Series B Biological Sciences. 2017;284(1855). 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 P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. 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 J, Rumpf M, Simon S. Transport based image morphing with intensity modulation. In: Lauze F, Dong Y, Bjorholm Dahl A, eds. Vol 10302. Springer; 2017:563-577. doi:10.1007/978-3-319-58771-4_45
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 991
Chen C, Jonas PM. Synaptotagmins: That’s why so many. Neuron. 2017;94(4):694-696. doi:10.1016/j.neuron.2017.05.011
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 9445 |
Lyons DB, Zilberman D. DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. eLife. 2017;6. doi:10.7554/elife.30674
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5568 |
Hahn D. Source codes: Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:73
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 992 |
Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 915 |
Swoboda P, Andres B. A message passing algorithm for the minimum cost multicut problem. In: Vol 2017. IEEE; 2017:4990-4999. doi:10.1109/CVPR.2017.530
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 916 |
Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. A study of lagrangean decompositions and dual ascent solvers for graph matching. In: Vol 2017. IEEE; 2017:7062-7071. doi:10.1109/CVPR.2017.747
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 917 |
Swoboda P, Kuske J, Savchynskyy B. A dual ascent framework for Lagrangean decomposition of combinatorial problems. In: Vol 2017. IEEE; 2017:4950-4960. doi:10.1109/CVPR.2017.526
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 274 |
Kolmogorov V. A faster approximation algorithm for the Gibbs partition function. In: Proceedings of the 31st Conference On Learning Theory. Vol 75. ML Research Press; 2017:228-249.
[Published Version]
View
| Files available
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1004 |
Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 2017;45: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 M, Kaczmarczyk J. Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms. Journal of Physics: Condensed Matter. 2017;29(8). doi:10.1088/1361-648X/aa532f
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1007 |
Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica. 2017;81C: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 R. Embedding graphs into embedded graphs. In: Vol 92. 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 C, Tkačik G. Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. 2017;46:120-126. doi:10.1016/j.conb.2017.08.001
View
| DOI
| WoS