Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763.
LibreCat: https://research-explorer.ista.ac.at/record/1205
DOI: 10.1007/978-3-319-48989-6_47

Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma. Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science vol. 2016–December, 7782993.
LibreCat: https://research-explorer.ista.ac.at/record/1193
DOI: 10.1109/FOCS.2016.88
arXiv: 1506.08547

Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
LibreCat: https://research-explorer.ista.ac.at/record/1438
DOI: 10.1145/2837614.2837639
arXiv: 1510.08517

Barton NH. 2016. Data from: How does epistasis influence the response to selection?, Dryad,10.5061/dryad.s5s7r .
LibreCat: https://research-explorer.ista.ac.at/record/9710
DOI: 10.5061/dryad.s5s7r

Fernandes Redondo RA, de Vladar H, Wodarski T, Bollback JP. 2016. Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the =54 phage family, The Royal Society,10.6084/m9.figshare.4315652.v1 .
LibreCat: https://research-explorer.ista.ac.at/record/9864
DOI: 10.6084/m9.figshare.4315652.v1

Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 94–106.
LibreCat: https://research-explorer.ista.ac.at/record/1165
DOI: 10.1007/978-3-319-50106-2_8

Dotterrer D, Kaufman T, Wagner U. 2016. On expansion and topological overlap. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 35.1-35.10.
LibreCat: https://research-explorer.ista.ac.at/record/1378
DOI: 10.4230/LIPIcs.SoCG.2016.35

Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. 2016. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 26(5), 668–682.
LibreCat: https://research-explorer.ista.ac.at/record/1616
DOI: 10.1002/hipo.22550

Kolmogorov V, Takhanov R. 2016. Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. 76(1), 17–46.
LibreCat: https://research-explorer.ista.ac.at/record/1794
DOI: 10.1007/s00453-015-0017-7
arXiv: 1210.0508

Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling &; Behavior. 11(6), e1191734.
LibreCat: https://research-explorer.ista.ac.at/record/510
DOI: 10.1080/15592324.2016.1191734

Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient microwave to optical photon conversion: An electro-optical realization. Optica. 3(6), 597–604.
LibreCat: https://research-explorer.ista.ac.at/record/1263
DOI: 10.1364/OPTICA.3.000597

Midya B, Konotop V. 2016. Modes and exceptional points in waveguides with impedance boundary conditions. Optics Letters. 41(20), 4621–4624.
LibreCat: https://research-explorer.ista.ac.at/record/1287
DOI: 10.1364/OL.41.004621

Mazur E, Benková E, Friml J. 2016. Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis. Scientific Reports. 6, 33754.
LibreCat: https://research-explorer.ista.ac.at/record/1274
DOI: 10.1038/srep33754
PMID: 27649687

Tsai L, Siegert S. 2016. How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. 73(4), 409–410.
LibreCat: https://research-explorer.ista.ac.at/record/1253
DOI: 10.1001/jamapsychiatry.2015.3144
PMID: 26963490

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 32p.
LibreCat: https://research-explorer.ista.ac.at/record/5452
DOI: 10.15479/AT:IST-2017-728-v2-1

Ellis T, Field D. 2016. Flower colour data and phylogeny (NEXUS) files, Institute of Science and Technology Austria,10.15479/AT:ISTA:34 .
LibreCat: https://research-explorer.ista.ac.at/record/5550
DOI: 10.15479/AT:ISTA:34

Hauschild R. 2016. Fiji script to determine average speed and direction of migration of cells, Institute of Science and Technology Austria,10.15479/AT:ISTA:44 .
LibreCat: https://research-explorer.ista.ac.at/record/5555
DOI: 10.15479/AT:ISTA:44

Swoboda P. 2016. Synthetic discrete tomography problems, Institute of Science and Technology Austria,10.15479/AT:ISTA:46 .
LibreCat: https://research-explorer.ista.ac.at/record/5557
DOI: 10.15479/AT:ISTA:46

Bojsen-Hansen M. 2016. Tracking, correcting and absorbing water surface waves. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1122
DOI: 10.15479/AT:ISTA:th_640

Ellis T. 2016. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1398
DOI: 10.15479/AT:ISTA:TH_526