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
T. Dobisova 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, pp. 387–404, 2017.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1030 | OA
M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Verein Informationspraxis , 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 9506 | OA
D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 953 | OA
D. Charlesworth, N. H. Barton, and B. Charlesworth, “The sources of adaptive evolution,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855. Royal Society, The, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | Conference Paper | IST-REx-ID: 989
J. Maas, M. Rumpf, and S. Simon, “Transport based image morphing with intensity modulation,” presented at the SSVM:  Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 563–577.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 991
C. Chen and P. M. Jonas, “Synaptotagmins: That’s why so many,” Neuron, vol. 94, no. 4. Elsevier, pp. 694–696, 2017.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 9445 | OA
D. B. Lyons and D. Zilberman, “DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes,” eLife, vol. 6. eLife Sciences Publications, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Research Data | IST-REx-ID: 5568 | OA
D. Hahn, “Source codes: Brittle fracture simulation with boundary elements for computer graphics.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Thesis | IST-REx-ID: 992 | OA
M. Rolinek, “Complexity of constraint satisfaction,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 915 | OA
P. Swoboda and B. Andres, “A message passing algorithm for the minimum cost multicut problem,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4990–4999.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 916 | OA
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, and B. Savchynskyy, “A study of lagrangean decompositions and dual ascent solvers for graph matching,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 7062–7071.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 917 | OA
P. Swoboda, J. Kuske, and B. Savchynskyy, “A dual ascent framework for Lagrangean decomposition of combinatorial problems,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4950–4960.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 274 | OA
V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.
[Published Version] View | Files available | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1004 | OA
K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” Current Opinion in Genetics & Development, vol. 45. Elsevier, pp. 82–89, 2017.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 1163
M. Wysokiński and J. Kaczmarczyk, “Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms,” Journal of Physics: Condensed Matter, vol. 29, no. 8. IOP Publishing, 2017.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1007 | OA
M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” Automatica, vol. 81C. International Federation of Automatic Control, pp. 46–55, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 6517 | OA
R. Fulek, “Embedding graphs into embedded graphs,” presented at the ISAAC: International Symposium on Algorithms and Computation, Phuket, Thailand, 2017, vol. 92.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 730
C. Savin and G. Tkačik, “Maximum entropy models as a tool for building precise neural controls,” Current Opinion in Neurobiology, vol. 46. Elsevier, pp. 120–126, 2017.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed