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.




6696 Publications

2016 | Published | Journal Article | IST-REx-ID: 1380 | OA
On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1381 | OA
Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 51.1-51.12.
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1382
Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae
T. Ellis, D. Field, Annals of Botany 117 (2016) 1133–1140.
View | Files available | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1390
QLOSE: Program repair with quantitative objectives
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
View | DOI | WoS
 
2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1394 | OA
Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1408 | OA
On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1409 | OA
Genomics of hybridization and its evolutionary consequences
R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1410 | OA
Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development
J. Ugalde, C. Rodríguez Furlán, R. De Rycke, L. Norambuena, J. Friml, G. León, R. Tejos, Plant Science 250 (2016) 10–19.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1411 | OA
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1412 | OA
A practical method for high-resolution embedded liquid surfaces
R. Goldade, C. Batty, C. Wojtan, Computer Graphics Forum 35 (2016) 233–242.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1413
Generalized diffusion curves: An improved vector representation for smooth-shaded images
S. Jeschke, Computer Graphics Forum 35 (2016) 71–79.
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1414
Modeling and estimation of energy-based hyperelastic objects
E. Miguel Villalba, D. Miraut, M. Otaduy, Computer Graphics Forum 35 (2016) 385–396.
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1415 | OA
Narrow band FLIP for liquid simulations
F. Ferstl, R. Ando, C. Wojtan, R. Westermann, N. Thuerey, Computer Graphics Forum 35 (2016) 225–232.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1416 | OA
Interaction-driven Lifshitz transition with dipolar fermions in optical lattices
E. Van Loon, M. Katsnelson, L. Chomaz, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 93 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1417 | OA
PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis
S. Simon, P. Skůpa, T. Viaene, M. Zwiewka, R. Tejos, P. Klíma, M. Čarná, J. Rolčík, R. De Rycke, I. Moreno, P. Dobrev, A. Orellana, E. Zažímalová, J. Friml, New Phytologist 211 (2016) 65–74.
[Submitted Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1419
Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model
A. Tomski, J. Kaczmarczyk, Journal of Physics: Condensed Matter 28 (2016).
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1420 | OA
A general approximation for the dynamics of quantitative traits
K. Bodova, G. Tkačik, N.H. Barton, Genetics 202 (2016) 1523–1548.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1421
Scalable static hybridization methods for analysis of nonlinear systems
S. Bak, S. Bogomolov, T.A. Henzinger, T. Johnson, P. Prakash, in:, Springer, 2016, pp. 155–164.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed