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.




5055 Publications

2016 | Journal Article | IST-REx-ID: 1380 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the complexity of the orbit problem. Journal of the ACM. ACM. https://doi.org/10.1145/2857050
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1389 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On recurrent reachability for continuous linear dynamical systems. In LICS ’16 (pp. 515–524). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934548
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni, L., Samanta, R., & Singh, R. (2016). QLOSE: Program repair with quantitative objectives (Vol. 9780, pp. 383–401). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_21
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1394 | OA
De Martino, D., Capuani, F., & De Martino, A. (2016). Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/3/036005
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1412 | OA
Goldade, R., Batty, C., & Wojtan, C. (2016). A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12826
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1410 | OA
Ugalde, J., Rodríguez Furlán, C., De Rycke, R., Norambuena, L., Friml, J., León, G., & Tejos, R. (2016). Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. Elsevier. https://doi.org/10.1016/j.plantsci.2016.05.014
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1409 | OA
Abbott, R., Barton, N. H., & Good, J. (2016). Genomics of hybridization and its evolutionary consequences. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/mec.13685
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1413
Jeschke, S. (2016). Generalized diffusion curves: An improved vector representation for smooth-shaded images. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12812
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1414
Miguel Villalba, E., Miraut, D., & Otaduy, M. (2016). Modeling and estimation of energy-based hyperelastic objects. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12840
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1417 | OA
Simon, S., Skůpa, P., Viaene, T., Zwiewka, M., Tejos, R., Klíma, P., … Friml, J. (2016). PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. Wiley-Blackwell. https://doi.org/10.1111/nph.14019
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1415 | OA
Ferstl, F., Ando, R., Wojtan, C., Westermann, R., & Thuerey, N. (2016). Narrow band FLIP for liquid simulations. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12825
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1416 | OA
Van Loon, E., Katsnelson, M., Chomaz, L., & Lemeshko, M. (2016). Interaction-driven Lifshitz transition with dipolar fermions in optical lattices. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.93.195145
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1419
Tomski, A., & Kaczmarczyk, J. (2016). Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model. Journal of Physics: Condensed Matter. IOP Publishing Ltd. https://doi.org/10.1088/0953-8984/28/17/175701
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1427 | OA
Lagator, M., Igler, C., Moreno, A., Guet, C. C., & Bollback, J. P. (2016). Epistatic interactions in the arabinose cis-regulatory element. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msv269
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1428 | OA
Könenberg, M., Moser, T., Seiringer, R., & Yngvason, J. (2016). Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. In Journal of Physics: Conference Series (Vol. 691). Shanghai, China: IOP Publishing Ltd. https://doi.org/10.1088/1742-6596/691/1/012016
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1426 | OA
Chakra, M., Hilbe, C., & Traulsen, A. (2016). Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science. Royal Society, The. https://doi.org/10.1098/rsos.160036
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1423 | OA
Baek, S., Jeong, H., Hilbe, C., & Nowak, M. (2016). Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep25676
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1422 | OA
Frank, R., Hainzl, C., Schlein, B., & Seiringer, R. (2016). Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-016-0847-5
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1421
Bak, S., Bogomolov, S., Henzinger, T. A., Johnson, T., & Prakash, P. (2016). Scalable static hybridization methods for analysis of nonlinear systems (pp. 155–164). Presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria: Springer. https://doi.org/10.1145/2883817.2883837
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1420 | OA
Bodova, K., Tkačik, G., & Barton, N. H. (2016). A general approximation for the dynamics of quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.184127
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications