Please note that IST 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.

6425 Publications


2016 | Journal Article | IST-REx-ID: 1380 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the complexity of the orbit problem,” Journal of the ACM, vol. 63, no. 3. ACM, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381 | OA
I. Mabillard and U. Wagner, “Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 51.1-51.12.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1382
T. Ellis and D. Field, “Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae,” Annals of Botany, vol. 117, no. 7. Oxford University Press, pp. 1133–1140, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On recurrent reachability for continuous linear dynamical systems,” in LICS ’16, New York, NY, USA, 2016, pp. 515–524.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1390
L. D’Antoni, R. Samanta, and R. Singh, “QLOSE: Program repair with quantitative objectives,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 383–401.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1394 | OA
D. De Martino, F. Capuani, and A. De Martino, “Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli,” Physical Biology, vol. 13, no. 3. IOP Publishing Ltd., 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1397
M. Chmelik, “Algorithms for partially observable markov decision processes,” IST Austria, 2016.
View
 

2016 | Thesis | IST-REx-ID: 1398 | OA
T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1408 | OA
P. Franek and M. Krcál, “On computability and triviality of well groups,” Discrete & Computational Geometry, vol. 56, no. 1. Springer, pp. 126–164, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1409 | OA
R. Abbott, N. H. Barton, and J. Good, “Genomics of hybridization and its evolutionary consequences,” Molecular Ecology, vol. 25, no. 11. Wiley-Blackwell, pp. 2325–2332, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1410 | OA
J. Ugalde et al., “Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development,” Plant Science, vol. 250. Elsevier, pp. 10–19, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” Israel Journal of Mathematics, vol. 212, no. 1. Springer, pp. 37–79, 2016.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412 | OA
R. Goldade, C. Batty, and C. J. Wojtan, “A practical method for high-resolution embedded liquid surfaces,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 233–242, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1413
S. Jeschke, “Generalized diffusion curves: An improved vector representation for smooth-shaded images,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 71–79, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1414
E. Miguel Villalba, D. Miraut, and M. Otaduy, “Modeling and estimation of energy-based hyperelastic objects,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 385–396, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1415 | OA
F. Ferstl, R. Ando, C. J. Wojtan, R. Westermann, and N. Thuerey, “Narrow band FLIP for liquid simulations,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 225–232, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1416 | OA
E. Van Loon, M. Katsnelson, L. Chomaz, and M. Lemeshko, “Interaction-driven Lifshitz transition with dipolar fermions in optical lattices,” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19. American Physical Society, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1417 | OA
S. Simon et al., “PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis,” New Phytologist, vol. 211, no. 1. Wiley-Blackwell, pp. 65–74, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1419
A. Tomski and J. Kaczmarczyk, “Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model,” Journal of Physics: Condensed Matter, vol. 28, no. 17. IOP Publishing Ltd., 2016.
View | DOI
 

Search

Filter Publications