Chonev VK, Ouaknine J, Worrell J. 2016. On recurrent reachability for continuous linear dynamical systems. LICS ’16. LICS: Logic in Computer Science, 515–524.
LibreCat: https://research-explorer.ista.ac.at/record/1389
DOI: 10.1145/2933575.2934548

D’Antoni L, Samanta R, Singh R. 2016. QLOSE: Program repair with quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 9780, 383–401.
LibreCat: https://research-explorer.ista.ac.at/record/1390
DOI: 10.1007/978-3-319-41540-6_21

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. 13(3), 036005.
LibreCat: https://research-explorer.ista.ac.at/record/1394
DOI: 10.1088/1478-3975/13/3/036005

Goldade R, Batty C, Wojtan C. 2016. A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. 35(2), 233–242.
LibreCat: https://research-explorer.ista.ac.at/record/1412
DOI: 10.1111/cgf.12826

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. 250, 10–19.
LibreCat: https://research-explorer.ista.ac.at/record/1410
DOI: 10.1016/j.plantsci.2016.05.014
PMID: 27457979

Abbott R, Barton NH, Good J. 2016. Genomics of hybridization and its evolutionary consequences. Molecular Ecology. 25(11), 2325–2332.
LibreCat: https://research-explorer.ista.ac.at/record/1409
DOI: 10.1111/mec.13685

Jeschke S. 2016. Generalized diffusion curves: An improved vector representation for smooth-shaded images. Computer Graphics Forum. 35(2), 71–79.
LibreCat: https://research-explorer.ista.ac.at/record/1413
DOI: 10.1111/cgf.12812

Miguel Villalba E, Miraut D, Otaduy M. 2016. Modeling and estimation of energy-based hyperelastic objects. Computer Graphics Forum. 35(2), 385–396.
LibreCat: https://research-explorer.ista.ac.at/record/1414
DOI: 10.1111/cgf.12840

Simon S, Skfpa P, Viaene T, Zwiewka M, Tejos R, Klíma P, carná M, Roldík J, De Rycke R, Moreno I, Dobrev P, Orellana A, Zaeímalová E, Friml J. 2016. PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis. New Phytologist. 211(1), 65–74.
LibreCat: https://research-explorer.ista.ac.at/record/1417
DOI: 10.1111/nph.14019

Ferstl F, Ando R, Wojtan C, Westermann R, Thuerey N. 2016. Narrow band FLIP for liquid simulations. Computer Graphics Forum. 35(2), 225–232.
LibreCat: https://research-explorer.ista.ac.at/record/1415
DOI: 10.1111/cgf.12825

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. 93(19), 195145.
LibreCat: https://research-explorer.ista.ac.at/record/1416
DOI: 10.1103/PhysRevB.93.195145

Tomski A, Kaczmarczyk J. 2016. Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model. Journal of Physics: Condensed Matter. 28(17), 175701.
LibreCat: https://research-explorer.ista.ac.at/record/1419
DOI: 10.1088/0953-8984/28/17/175701

Lagator M, Igler C, Moreno A, Guet CC, Bollback JP. 2016. Epistatic interactions in the arabinose cis-regulatory element. Molecular Biology and Evolution. 33(3), 761–769.
LibreCat: https://research-explorer.ista.ac.at/record/1427
DOI: 10.1093/molbev/msv269

Könenberg M, Moser T, Seiringer R, Yngvason J. 2016. Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential. Journal of Physics: Conference Series. 24th International Laser Physics Workshop (LPHYS’15) vol. 691, 012016.
LibreCat: https://research-explorer.ista.ac.at/record/1428
DOI: 10.1088/1742-6596/691/1/012016

Chakra M, Hilbe C, Traulsen A. 2016. Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science. 3(5), 160036.
LibreCat: https://research-explorer.ista.ac.at/record/1426
DOI: 10.1098/rsos.160036

Baek S, Jeong H, Hilbe C, Nowak M. 2016. Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. 6, 25676.
LibreCat: https://research-explorer.ista.ac.at/record/1423
DOI: 10.1038/srep25676

Frank R, Hainzl C, Schlein B, Seiringer R. 2016. Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. 106(7), 913–923.
LibreCat: https://research-explorer.ista.ac.at/record/1422
DOI: 10.1007/s11005-016-0847-5

Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. 2016. Scalable static hybridization methods for analysis of nonlinear systems. HSCC 2016: International Conference on Hybrid Systems: Computation and Control, 155–164.
LibreCat: https://research-explorer.ista.ac.at/record/1421
DOI: 10.1145/2883817.2883837

Bodova K, Tkadik G, Barton NH. 2016. A general approximation for the dynamics of quantitative traits. Genetics. 202(4), 1523–1548.
LibreCat: https://research-explorer.ista.ac.at/record/1420
DOI: 10.1534/genetics.115.184127
arXiv: 1510.08344

Husko C, Wulf M, Lefrançois S, Combrié S, Lehoucq G, De Rossi A, Eggleton B, Kuipers L. 2016. Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. 7, 11332 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1429
DOI: 10.1038/ncomms11332