Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5779 Publications


2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 9506 | OA
An evolutionary case for functional gene body methylation in plants and animals
D. Zilberman, Genome Biology 18 (2017).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 953 | OA
The sources of adaptive evolution
D. Charlesworth, N.H. Barton, B. Charlesworth, Proceedings of the Royal Society of London Series B Biological Sciences 284 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 989
Transport based image morphing with intensity modulation
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 991
Synaptotagmins: That’s why so many
C. Chen, P.M. Jonas, Neuron 94 (2017) 694–696.
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 9445 | OA
DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes
D.B. Lyons, D. Zilberman, ELife 6 (2017).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 470 | OA
Water wave packets
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Thesis | IST-REx-ID: 839 | OA
Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 685 | OA
The physics of development 100 years after D'Arcy Thompson's “on growth and form”
J. Briscoe, A. Kicheva, Mechanisms of Development 145 (2017) 26–31.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 654 | OA
Creating to understand – developmental biology meets engineering in Paris
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 670 | OA
Interactive paper tearing
C. Schreck, D. Rohmer, S. Hahmann, Computer Graphics Forum 36 (2017) 95–106.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Thesis | IST-REx-ID: 992 | OA
Complexity of constraint satisfaction
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
A message passing algorithm for the minimum cost multicut problem
P. Swoboda, B. Andres, in:, IEEE, 2017, pp. 4990–4999.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 916 | OA
A study of lagrangean decompositions and dual ascent solvers for graph matching
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, B. Savchynskyy, in:, IEEE, 2017, pp. 7062–7071.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 917 | OA
A dual ascent framework for Lagrangean decomposition of combinatorial problems
P. Swoboda, J. Kuske, B. Savchynskyy, in:, IEEE, 2017, pp. 4950–4960.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 274 | OA
A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, ML Research Press, 2017, pp. 228–249.
[Published Version] View | Files available | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1004 | OA
Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1163
Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms
M. Wysokiński, J. Kaczmarczyk, Journal of Physics: Condensed Matter 29 (2017).
View | DOI | WoS
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Export / Embed