Morri M. 2016. Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1124

Schwarz J. 2016. Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1129

Pentina A. 2016. Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1126
DOI: 10.15479/AT:ISTA:TH_776

Chmelik M. 2016. Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1397

Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1123

Mishra RK, Kim S, Guzmán J, Jonas PM. 2016. Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks. Nature Communications. 7, 11552.
LibreCat: https://research-explorer.ista.ac.at/record/1432
DOI: 10.1038/ncomms11552

Mishra RK. 2016. Synaptic plasticity rules at C-C recurrent synapses in hippocampus. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1396

Novak S. 2016. Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1125

Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Linear distances between Markov chains. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 20.
LibreCat: https://research-explorer.ista.ac.at/record/1093
DOI: 10.4230/LIPIcs.CONCUR.2016.20

Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129.
LibreCat: https://research-explorer.ista.ac.at/record/1234
DOI: 10.1007/978-3-662-49674-9_7

Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.
LibreCat: https://research-explorer.ista.ac.at/record/1230
DOI: 10.1007/978-3-662-49122-5_16

Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13

Pleska M, Qian L, Okura R, Bergmiller T, Wakamoto Y, Kussell E, Guet CC. 2016. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 26(3), 404–409.
LibreCat: https://research-explorer.ista.ac.at/record/1243
DOI: 10.1016/j.cub.2015.12.041

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2016. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. ESA: European Symposium on Algorithms, LIPIcs, vol. 57, 28.
LibreCat: https://research-explorer.ista.ac.at/record/1071
DOI: 10.4230/LIPIcs.ESA.2016.28

Hahn D, Wojtan C. 2016. Fast approximations for boundary element based brittle fracture simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 104.
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Offline witness encryption. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 285–303.
LibreCat: https://research-explorer.ista.ac.at/record/1229
DOI: 10.1007/978-3-319-39555-5_16

Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Constrained PRFs for unbounded inputs. CT-RSA: Topics in Cryptology, LNCS, vol. 9610, 413–428.
LibreCat: https://research-explorer.ista.ac.at/record/1236
DOI: 10.1007/978-3-319-29485-8_24

Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 445–463.
LibreCat: https://research-explorer.ista.ac.at/record/1235
DOI: 10.1007/978-3-319-39555-5_24

Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL. 2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 55(21), 6339–6342.
LibreCat: https://research-explorer.ista.ac.at/record/1441
DOI: 10.1002/anie.201601736

Friedlander T, Prizak R, Guet CC, Barton NH, Tkadik G. 2016. Intrinsic limits to gene regulation by global crosstalk. Nature Communications. 7, 12307.
LibreCat: https://research-explorer.ista.ac.at/record/1358
DOI: 10.1038/ncomms12307

Dejonghe W, Kuenen S, Mylle E, Vasileva MK, Keech O, Viotti C, Swerts J, Fendrych M, Ortiz Morea F, Mishev K, Delang S, Scholl S, Zarza X, Heilmann M, Kourelis J, Kasprowicz J, Nguyen L, Drozdzecki A, Van Houtte I, Szatmári A, Majda M, Baisa G, Bednarek S, Robert S, Audenaert D, Testerink C, Munnik T, Van Damme D, Heilmann I, Schumacher K, Winne J, Friml J, Verstreken P, Russinova E. 2016. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 7, 11710.
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

Schwayer C, Sikora MK, Slovakova J, Kardos R, Heisenberg C-PJ. 2016. Actin rings of power. Developmental Cell. 37(6), 493–506.
LibreCat: https://research-explorer.ista.ac.at/record/1096
DOI: 10.1016/j.devcel.2016.05.024

Watzinger H, Kloeffel C, Vukusi L, Rossell M, Sessi V, Kukucka J, Kirchschlager R, Lausecker E, Truhlar A, Glaser M, Rastelli A, Fuhrer A, Loss D, Katsaros G. 2016. Heavy-hole states in germanium hut wires. Nano Letters. 16(11), 6879–6885.
LibreCat: https://research-explorer.ista.ac.at/record/1328
DOI: 10.1021/acs.nanolett.6b02715

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

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. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. NP: Nonlinear Photonics, Optics InfoBase Conference Papers, .
LibreCat: https://research-explorer.ista.ac.at/record/482
DOI: 10.1364/NP.2016.NTh3A.6

Stahl E, Praetorius FM, de Oliveira Mann CC, Hopfner K-P, Dietz H. 2016. Impact of heterogeneity and lattice bond strength on DNA triangle crystal growth. ACS Nano. 10(10), 9156–9164.
LibreCat: https://research-explorer.ista.ac.at/record/14302
DOI: 10.1021/acsnano.6b04787
PMID: 27583560

Martin TG, Bharat TAM, Joerger AC, Bai X, Praetorius FM, Fersht AR, Dietz H, Scheres SHW. 2016. Design of a molecular support for cryo-EM structure determination. PNAS. 113(47), 56–63.
LibreCat: https://research-explorer.ista.ac.at/record/14304
DOI: 10.1073/pnas.1612720113
PMID: 27821763

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. Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae. Annals of Botany. 117(7), 1133–1140.
LibreCat: https://research-explorer.ista.ac.at/record/1382
DOI: 10.1093/aob/mcw043

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 

Tugrul M. 2016. Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1131

Field D, Ellis T. 2016. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012, Institute of Science and Technology Austria,10.15479/AT:ISTA:37 .
LibreCat: https://research-explorer.ista.ac.at/record/5553
DOI: 10.15479/AT:ISTA:37

Ellis T. 2016. Data on pollinator observations and offpsring phenotypes, Institute of Science and Technology Austria,10.15479/AT:ISTA:35 .
LibreCat: https://research-explorer.ista.ac.at/record/5551
DOI: 10.15479/AT:ISTA:35

Ellis T. 2016. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data., Institute of Science and Technology Austria,10.15479/AT:ISTA:36 .
LibreCat: https://research-explorer.ista.ac.at/record/5552
DOI: 10.15479/AT:ISTA:36

Tugrul M. 2016. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, Institute of Science and Technology Austria,10.15479/AT:ISTA:43 .
LibreCat: https://research-explorer.ista.ac.at/record/5554
DOI: 10.15479/AT:ISTA:43

Bojsen-Hansen M. 2016. Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria,10.15479/AT:ISTA:48 .
LibreCat: https://research-explorer.ista.ac.at/record/5558
DOI: 10.15479/AT:ISTA:48

Lukacisin M, Landon M, Jajoo R. 2016. MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast’, Institute of Science and Technology Austria,10.15479/AT:ISTA:45 .
LibreCat: https://research-explorer.ista.ac.at/record/5556
DOI: 10.15479/AT:ISTA:45

Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
LibreCat: https://research-explorer.ista.ac.at/record/15245
DOI: 10.1117/12.2232034
arXiv: 1607.08823

Soffitta P et al. 2016. XIPE: The x-ray imaging polarimetry explorer. Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray. Astronomical Telescopes + Instrumentation vol. 9905, 990515.
LibreCat: https://research-explorer.ista.ac.at/record/15244
DOI: 10.1117/12.2233046
arXiv: 1309.6995

Antolini E, Caiazzo I, Davé R, Heyl JS. 2016. Using galaxy formation simulations to optimize LIGO follow-up observations. Monthly Notices of the Royal Astronomical Society. 466(2), 2212–2216.
LibreCat: https://research-explorer.ista.ac.at/record/15242
DOI: 10.1093/mnras/stw3292
arXiv: 1612.04412

Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
LibreCat: https://research-explorer.ista.ac.at/record/1183
DOI: 10.1016/j.cell.2016.11.013

Leithner AF, Eichner A, Müller J, Reversat A, Brown M, Schwarz J, Merrin J, De Gorter D, Schur FK, Bayerl J, de Vries I, Wieser S, Hauschild R, Lai F, Moser M, Kerjaschki D, Rottner K, Small V, Stradal T, Sixt MK. 2016. Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. 18, 1253–1259.
LibreCat: https://research-explorer.ista.ac.at/record/1321
DOI: 10.1038/ncb3426

Sako K, Pradhan S, Barone V, Inglés Prieto Á, Mueller P, Ruprecht V, Capek D, Galande S, Janovjak HL, Heisenberg C-PJ. 2016. Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. 16(3), 866–877.
LibreCat: https://research-explorer.ista.ac.at/record/1100
DOI: 10.1016/j.celrep.2016.06.036

Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2016. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. POPL: Principles of Programming Languages, POPL, vol. 20–22, 733–747.
LibreCat: https://research-explorer.ista.ac.at/record/1437
DOI: 10.1145/2837614.2837624
arXiv: 1510.07565

Chatterjee K, Fu H, Goharshady AK. 2016. Termination analysis of probabilistic programs through Positivstellensatz’s. CAV: Computer Aided Verification, LNCS, vol. 9779, 3–22.
LibreCat: https://research-explorer.ista.ac.at/record/1386
DOI: 10.1007/978-3-319-41528-4_1