K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5409
DOI: 10.15479/AT:IST-2013-144-v1-1

K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
LibreCat: https://research-explorer.ista.ac.at/record/1376
DOI: 10.1109/FMCAD.2013.6679386

K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5406
DOI: 10.15479/AT:IST-2013-130-v1-1

K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

J. Porsche, Technical requirements and features. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5407

U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 10.15479/AT:IST-2013-146-v1-1

T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol. 8052. Springer, pp. 273–287, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

D. Schmid, T. Huang, R. Dirks, O. Hosten, and P. Kwiat, “Polarization dependent focusing,” presented at the QIM: Quantum Information and Measurement, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/590
DOI: 10.1364/QIM.2013.W6.23

C. J. Hillar and A. Martin del Campo Sanchez, “Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals,” Journal of Symbolic Computation, vol. 50. Elsevier, pp. 314–334, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5920
DOI: 10.1016/j.jsc.2012.06.006

D. Schmid et al., “Adjustable and robust methods for polarization-dependent focusing,” Optics Express, vol. 21, no. 13. Optical Society of America, pp. 15538–15552, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/591
DOI: 10.1364/OE.21.015538

C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell, pp. 771–772, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/595
DOI: 10.1038/emboj.2013.36

E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M. de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12. Public Library of Science (PLoS), 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6128
DOI: 10.1371/journal.pgen.1004011
PMID: 24385919

C. Chen, L. A. Fenk, and M. de Bono, “Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination,” Nucleic Acids Research, vol. 41, no. 20. Oxford University Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6130
DOI: 10.1093/nar/gkt805
PMID: 24013562

A. Couto, S. Oda, V. O. Nikolaev, Z. Soltesz, and M. de Bono, “In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor,” Proceedings of the National Academy of Sciences, vol. 110, no. 35. Proceedings of the National Academy of Sciences, pp. 01–10, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6133
DOI: 10.1073/pnas.1217428110
PMID: 23940325

M. Rodriguez, L. B. Snoek, M. de Bono, and J. E. Kammenga, “Worms under stress: C. elegans stress response and its relevance to complex human disease and aging,” Trends in Genetics, vol. 29, no. 6. Elsevier, pp. 367–374, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6135
DOI: 10.1016/j.tig.2013.01.010

M. de Bono, W. R. Schafer, and A. Gottschalk, “Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans,” in Optogenetics, P. Hegemann and S. Sigrist, Eds. Walter de Gruyter, 2013, pp. 61–78.
LibreCat: https://research-explorer.ista.ac.at/record/6132

T.-C. Lin et al., “Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations,” The Journal of Physical Chemistry C, vol. 117, no. 18. American Chemical Society (ACS), pp. 9416–9430, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6370
DOI: 10.1021/jp400648q

T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6440
DOI: 10.15479/AT:IST-2013-124-v1-1

M. Mondelli, “A finite difference scheme for the stack filter simulating the MCM,” Image Processing On Line, vol. 3. Image Processing On Line, pp. 68–111, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6768
DOI: 10.5201/ipol.2013.53

K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2329
DOI: 10.1007/978-3-642-40184-8_35
arXiv: 1210.3141

M. M. Ottakam Thotiyl, S. A. Freunberger, Z. Peng, Y. Chen, Z. Liu, and P. G. Bruce, “A stable cathode for the aprotic Li–O2 battery,” Nature Materials, vol. 12, no. 11. Springer Nature, pp. 1050–1056, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7306
DOI: 10.1038/nmat3737

Y. Chen, S. A. Freunberger, Z. Peng, O. Fontaine, and P. G. Bruce, “Charging a Li–O2 battery using a redox mediator,” Nature Chemistry, vol. 5, no. 6. Springer Nature, pp. 489–494, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7307
DOI: 10.1038/nchem.1646

S. Tan, C. Dai, H.-T. Liu, and H.-W. Xue, “Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling,” The Plant Cell, vol. 25, no. 7. American Society of Plant Biologists, pp. 2618–2632, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7596
DOI: 10.1105/tpc.113.114322
PMID: 23897926

Y. Tang, S. Tan, and H. Xue, “Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development,” Acta Biochimica et Biophysica Sinica, vol. 45, no. 7. Oxford University Press, pp. 549–560, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7595
DOI: 10.1093/abbs/gmt039
PMID: 23595027

D.-A. Alistarh, J. Aspnes, G. Giakkoupis, and P. Woelfel, “Randomized loose renaming in O(loglogn) time,” presented at the PODC: Principles of Distributed Computing, 2013, pp. 200–209.
LibreCat: https://research-explorer.ista.ac.at/record/765
DOI: 10.1145/2484239.2484240

M. R. Robinson, A. W. Santure, I. DeCauwer, B. C. Sheldon, and J. Slate, “Partitioning of genetic variation across the genome using multimarker methods in a wild bird population,” Molecular Ecology, vol. 22, no. 15. Wiley, pp. 3963–3980, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7745
DOI: 10.1111/mec.12375

A. W. Santure, I. De Cauwer, M. R. Robinson, J. Poissant, B. C. Sheldon, and J. Slate, “Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population,” Molecular Ecology, vol. 22, no. 15. Wiley, pp. 3949–3962, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7746
DOI: 10.1111/mec.12376

M. R. Robinson and A. P. Beckerman, “Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history,” Ecology Letters, vol. 16, no. 3. Wiley, pp. 281–290, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7747
DOI: 10.1111/ele.12047

S. S. Schoenholz, C. P. Goodrich, O. Kogan, A. J. Liu, and S. R. Nagel, “Stability of jammed packings II: The transverse length scale,” Soft Matter, vol. 9, no. 46. Royal Society of Chemistry, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7775
DOI: 10.1039/c3sm51096d

C. P. Goodrich, W. G. Ellenbroek, and A. J. Liu, “Stability of jammed packings I: The rigidity length scale,” Soft Matter, vol. 9, no. 46. Royal Society of Chemistry, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7774
DOI: 10.1039/c3sm51095f

T. P. Vogels et al., “Inhibitory synaptic plasticity: Spike timing-dependence and putative network function,” Frontiers in Neural Circuits, vol. 7. Frontiers Media, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/8030
DOI: 10.3389/fncir.2013.00119
PMID: 23882186

A. Steffen et al., “Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation,” Journal of Cell Science, vol. 126, no. 20. Company of Biologists, pp. 4572–4588, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/811
DOI: 10.1242/jcs.118232

S. Koestler et al., “Ar/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin,” Molecular Biology of the Cell, vol. 24, no. 18. American Society for Biology, pp. 2861–2875, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/812
DOI: 10.1091/mbc.E12-12-0857

F. K. Schur, W. Hagen, A. De Marco, and J. Briggs, “Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging,” Journal of Structural Biology, vol. 184, no. 3. Academic Press, pp. 394–400, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/810
DOI: 10.1016/j.jsb.2013.10.015

B. Petricevic et al., “Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HE/neu breast cancer patients,” Journal of Translational Medicine, vol. 11. Springer Nature, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/8245
DOI: 10.1186/1479-5876-11-307
PMID: 24330813

J. O’Brien and E. Benková, “Cytokinin cross talking during biotic and abiotic stress responses,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/827
DOI: 10.3389/fpls.2013.00451

C. Cuesta, K. T. Wabnik, and E. Benková, “Systems approaches to study root architecture dynamics,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/828
DOI: 10.3389/fpls.2013.00537

F. Galbiati et al., “An integrative model of the control of ovule primordia formation,” The Plant journal for cell and molecular biology, vol. 76, no. 3. Wiley-Blackwell, pp. 446–455, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/830
DOI: 10.1111/tpj.12309
PMID: 23941199

B. Péret et al., “Sequential induction of auxin efflux and influx carriers regulates lateral root emergence,” Molecular Systems Biology, vol. 9. Nature Publishing Group, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/831
DOI: 10.1038/msb.2013.43

J. D. Haller and P. Schanda, “Amplitudes and time scales of picosecond-to-microsecond motion in proteins studied by solid-state NMR: a critical evaluation of experimental approaches and application to crystalline ubiquitin,” Journal of Biomolecular NMR, vol. 57, no. 3. Springer Nature, pp. 263–280, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/8461
DOI: 10.1007/s10858-013-9787-x

E. Rennella et al., “Oligomeric states along the folding pathways of ;22-microglobulin: Kinetics, thermodynamics, and structure,” Journal of Molecular Biology, vol. 425, no. 15. Elsevier, pp. 2722–2736, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/8462
DOI: 10.1016/j.jmb.2013.04.028

M. Breen, C. Kemena, P. Vlasov, C. Notredame, and F. Kondrashov, “Breen et al. reply,” Nature, vol. 497, no. 7451. Nature Publishing Group, pp. –, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/899
DOI: 10.1038/nature12220

B. Cheng and A. H. W. Ngan, “The crystal structures of sintered copper nanoparticles: A molecular dynamics study,” International Journal of Plasticity, vol. 47. Elsevier, pp. 65–79, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9674
DOI: 10.1016/j.ijplas.2013.01.006

B. Cheng and A. H. W. Ngan, “The sintering and densification behaviour of many copper nanoparticles: A molecular dynamics study,” Computational Materials Science, vol. 74. Elsevier, pp. 1–11, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9676
DOI: 10.1016/j.commatsci.2013.03.014

M. Serbyn and M. Skvortsov, “Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 2. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/971
DOI: 10.1103/PhysRevB.87.020501

Y. Okada et al., “Observation of dirac node formation and mass acquisition in a topological crystalline insulator,” Science, vol. 341, no. 6153. American Association for the Advancement of Science, pp. 1496–1499, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/972
DOI: 10.1126/science.1239451
arXiv: 1305.2823

M. Serbyn, Z. Papi, and D. Abanin, “Universal slow growth of entanglement in interacting strongly disordered systems,” Physical Review Letters, vol. 110, no. 26. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/975
DOI: 10.1103/PhysRevLett.110.260601

B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma .” Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9749
DOI: 10.1371/journal.pone.0080814.s001

S. Aeschbacher, A. Futschik, and M. Beaumont, “Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. ,” Molecular Ecology, vol. 22, no. 4. Wiley-Blackwell, pp. 987–1002, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2944
DOI: 10.1111/mec.12165

R. Derelle et al., “Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MR,” BMC Research Notes, vol. 6, no. 1. BioMed Central, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/894
DOI: 10.1186/1756-0500-6-310

J. A. Palacci, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin, “Living crystals of light-activated colloidal surfers,” Science, vol. 339, no. 6122. American Association for the Advancement of Science , pp. 936–940, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9055
DOI: 10.1126/science.1230020
PMID: 23371555

V. Arkhipov, T. Noah, S. Koschkar, and F. Kondrashov, “Birds of Mys Shmidta, north Chukotka, Russia,” Forktail, no. 29. Oriental Bird Club, pp. 25–30, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/905

A. Melet et al., “Internal tide generation by abyssal hills using analytical theory,” Journal of Geophysical Research: Oceans, vol. 118, no. 11. American Geophysical Union, pp. 6303–6318, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9153
DOI: 10.1002/2013jc009212

C. J. Muller, “Impact of convective organization on the response of tropical precipitation extremes to warming,” Journal of Climate, vol. 26, no. 14. American Meteorological Society, pp. 5028–5043, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9154
DOI: 10.1175/jcli-d-12-00655.1

J. A. Palacci, S. Sacanna, A. Vatchinsky, P. M. Chaikin, and D. J. Pine, “Photoactivated colloidal dockers for cargo transportation,” Journal of the American Chemical Society, vol. 135, no. 43. American Chemical Society, pp. 15978–15981, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9167
DOI: 10.1021/ja406090s
PMID: 24131488
arXiv: 1310.5724

M. Basan, J. Elgeti, E. B. Hannezo, W. Rappel, and H. Levine, “Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing,” PNAS, vol. 110, no. 7. National Academy of Sciences, pp. 2452–2459, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/921
DOI: 10.1073/pnas.1219937110

A. Zemach et al., “The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access -containing heterochromatin,” Cell, vol. 153, no. 1. Elsevier, pp. 193–205, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9459
DOI: 10.1016/j.cell.2013.02.033
PMID: 23540698

J. A. Rodrigues et al., “Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 110, no. 19. National Academy of Sciences, pp. 7934–7939, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9481
DOI: 10.1073/pnas.1306164110
PMID: 23613580

B. Cheng and A. H. W. Ngan, “Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion,” The Journal of Chemical Physics, vol. 138, no. 16. AIP Publishing, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9663
DOI: 10.1063/1.4802025
PMID: 23635145

B. Cheng and A. H. W. Ngan, “Crystal plasticity of Cu nanocrystals during collision,” Materials Science and Engineering: A, vol. 585. Elsevier, pp. 326–334, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9682
DOI: 10.1016/j.msea.2013.07.065

M. Serbyn and D. Abanin, “New Dirac points and multiple Landau level crossings in biased trilayer graphene,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 11. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/970
DOI: 10.1103/PhysRevB.87.115422

M. Serbyn, Z. Papi, and D. Abanin, “Local conservation laws and the structure of the many body localized states,” Physical Review Letters, vol. 111, no. 12. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/973
DOI: 10.1103/PhysRevLett.111.127201

M. Serbyn, T. Senthil, and P. Lee, “Overscreened Kondo fixed point in S=1 spin liquid,” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 2. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/974
DOI: 10.1103/PhysRevB.88.024419
arXiv: 1212.5179

S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2284
DOI: 10.1186/1471-2148-13-225

K. Simmons et al., “Transformation of stimulus correlations by the retina,” PLoS Computational Biology, vol. 9, no. 12. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2277
DOI: 10.1371/journal.pcbi.1003344

J. Hearn, G. Stone, N. H. Barton, K. Lohse, and L. Bunnefeld, “Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies.” Dryad, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9754
DOI: 10.5061/dryad.r3r60

M. Serbyn and P. Lee, “Spinon-phonon interaction in algebraic spin liquids,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 17. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/976
DOI: 10.1103/PhysRevB.87.174424

A. F. Lutz, W. W. Immerzeel, A. Gobiet, F. Pellicciotti, and M. F. P. Bierkens, “Comparison of climate change signals in CMI and CMI multi-model ensembles and implications for Central Asian glaciers,” Hydrology and Earth System Sciences, vol. 17, no. 9. Copernicus GmbH, pp. 3661–3677, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12638
DOI: 10.5194/hess-17-3661-2013

S. Ragettli, F. Pellicciotti, R. Bordoy, and W. W. Immerzeel, “Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change,” Water Resources Research, vol. 49, no. 9. American Geophysical Union, pp. 6048–6066, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12639
DOI: 10.1002/wrcr.20450

S. Ragettli, G. Cortés, J. McPhee, and F. Pellicciotti, “An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds,” Hydrological Processes, vol. 28, no. 23. Wiley, pp. 5674–5695, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/12633
DOI: 10.1002/hyp.10055

X. Feng, D. Zilberman, and H. Dickinson, “A conversation across generations: Soma-germ cell crosstalk in plants,” Developmental Cell, vol. 24, no. 3. Elsevier, pp. 215–225, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937

T. Ely et al., “Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol,” Synlett, vol. 24, no. 18. Georg Thieme Verlag, pp. 2370–2374, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/13405
DOI: 10.1055/s-0033-1340087

S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive nanoparticles and their self-assembly,” Advanced Materials, vol. 25, no. 3. Wiley, pp. 422–426, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/13406
DOI: 10.1002/adma.201201734
PMID: 22933327

G. Stephens, T. Mora, G. Tkadik, and W. Bialek, “Statistical thermodynamics of natural images,” Physical Review Letters, vol. 110, no. 1. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

M. Weber and M. K. Sixt, “Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations,” in Chemokines, vol. 1013, A. Cardona and E. Ubogu, Eds. Totowa, NJ: Humana Press, 2013, pp. 215–226.
LibreCat: https://research-explorer.ista.ac.at/record/10900
DOI: 10.1007/978-1-62703-426-5_14
PMID: 23625502

C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
LibreCat: https://research-explorer.ista.ac.at/record/5747
DOI: 10.1007/978-3-642-39799-8_11

K. Chatterjee, S. Chaubal, and S. Rubin, “How to travel between languages,” in 7th International Conference on Language and Automata Theory and Applications, Bilbao, Spain, 2013, vol. 7810, pp. 214–225.
LibreCat: https://research-explorer.ista.ac.at/record/10902
DOI: 10.1007/978-3-642-37064-9_20

H. Edelsbrunner, “Persistent homology in image processing,” in Graph-Based Representations in Pattern Recognition, Vienna, Austria, 2013, vol. 7877, pp. 182–183.
LibreCat: https://research-explorer.ista.ac.at/record/10897
DOI: 10.1007/978-3-642-38221-5_19

D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

K. Bansal, E. Koskinen, T. Wies, and D. Zufferey, “Structural Counter Abstraction,” vol. 7795. Springer, pp. 62–77, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading,” Institute of Science and Technology Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1406

B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma ,” PLoS One, vol. 8, no. 12. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

J. Reiter, I. Boei, B. Allen, K. Chatterjee, and M. Nowak, “The effect of one additional driver mutation on tumor progression,” Evolutionary Applications, vol. 6, no. 1. Wiley-Blackwell, pp. 34–45, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

I. Boei et al., “Evolutionary dynamics of cancer in response to targeted combination therapy,” eLife, vol. 2. eLife Sciences Publications, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

J. Reiter, I. Boei, K. Chatterjee, and M. Nowak, “TTP: Tool for tumor progression,” in Proceedings of 25th Int. Conf. on Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 101–106.
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Ants disinfect fungus-exposed brood by oral uptake and spread of their poison,” Current Biology, vol. 23, no. 1. Cell Press, pp. 76–82, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2926
DOI: 10.1016/j.cub.2012.11.034

T. Brázdil, K. Chatterjee, V. Forejt, and A. Kudera, “Trading performance for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium, New Orleans, LA, United States, 2013, pp. 331–340.
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time scheduling using graph games,” in Proceedings of the 16th International conference on Hybrid systems: Computation and control, Philadelphia, PA, United States, 2013, pp. 163–172.
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

R. Takhanov and V. Kolmogorov, “Inference algorithms for pattern-based CRFs on sequence data,” in ICML’13 Proceedings of the 30th International Conference on International, Atlanta, GA, USA, 2013, vol. 28, no. 3, pp. 145–153.
LibreCat: https://research-explorer.ista.ac.at/record/2272

E. Remy, P. Baster, J. Friml, and P. Duque, “ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip,” Plant Signaling &; Behavior, vol. 8, no. 10. Taylor &; Francis, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

D. Refardt, T. Bergmiller, and R. Kümmerli, “Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759. The Royal Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

D. Refardt, T. Bergmiller, and R. Kümmerli, “Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection.” Dryad, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

W. J. Joo, L. B. Sweeney, L. Liang, and L. Luo, “Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting,” Neuron, vol. 78, no. 4. Elsevier, pp. 673–686, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/7785
DOI: 10.1016/j.neuron.2013.03.022

S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, Proofs of Space. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2274

M. H. Woehrmann et al., “Large-scale cytological profiling for functional analysis of bioactive compounds,” Molecular BioSystems, vol. 9, no. 11. Royal Society of Chemistry, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f

A. Sari and A. Cacciuto, “Mechanism of membrane tube formation induced by adhesive nanocomponents,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/10387
DOI: 10.1103/physrevlett.109.188101
PMID: 23215334
arXiv: 1206.3528

A. Sari and A. Cacciuto, “Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles,” Physical Review Letters, vol. 108, no. 11. American Physical Society, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/10388
DOI: 10.1103/physrevlett.108.118101
PMID: 22540513
arXiv: 1201.0036

B. Erne, M. Graff, W. Klemm, J. G. Danzl, and G. Leschber, “Bulla in the lung,” The Lancet, vol. 380, no. 9849. Elsevier, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/1055
DOI: 10.1016/S0140-6736(12)60690-4

M. Mark et al., “Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions,” Physical Review Letters, vol. 108, no. 21. American Physical Society, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/1056
DOI: 10.1103/PhysRevLett.108.215302
arXiv: 1201.1008