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.




5046 Publications

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.
[Published Version] View | Files available | DOI
 
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.
[Preprint] View | DOI | Download Preprint (ext.)
 
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.
[Preprint] 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 | 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.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1412 | OA
R. Goldade, C. Batty, and C. Wojtan, “A practical method for high-resolution embedded liquid surfaces,” Computer Graphics Forum, vol. 35, no. 2. Wiley-Blackwell, pp. 233–242, 2016.
[Submitted Version] 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.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
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.
[Submitted Version] 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: 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.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1415 | OA
F. Ferstl, R. Ando, C. 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.
[Submitted Version] 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.
[Preprint] View | DOI | Download Preprint (ext.)
 
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
 
2016 | Journal Article | IST-REx-ID: 1427 | OA
M. Lagator, C. Igler, A. Moreno, C. C. Guet, and J. P. Bollback, “Epistatic interactions in the arabinose cis-regulatory element,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 761–769, 2016.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1428 | OA
M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential,” in Journal of Physics: Conference Series, Shanghai, China, 2016, vol. 691, no. 1.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1426 | OA
M. Chakra, C. Hilbe, and A. Traulsen, “Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites,” Royal Society Open Science, vol. 3, no. 5. Royal Society, The, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1423 | OA
S. Baek, H. Jeong, C. Hilbe, and M. Nowak, “Comparing reactive and memory-one strategies of direct reciprocity,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1422 | OA
R. Frank, C. Hainzl, B. Schlein, and R. Seiringer, “Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations,” Letters in Mathematical Physics, vol. 106, no. 7. Springer, pp. 913–923, 2016.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1421
S. Bak, S. Bogomolov, T. A. Henzinger, T. Johnson, and P. Prakash, “Scalable static hybridization methods for analysis of nonlinear systems,” presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, 2016, pp. 155–164.
View | DOI
 

Search

Filter Publications