G. Tkadik, O. Marre, T. Mora, D. Amodei, M. Berry, and W. Bialek, “The simplest maximum entropy model for collective behavior in a neural network,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3. IOP Publishing Ltd., 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2850
DOI: 10.1088/1742-5468/2013/03/P03011
arXiv: 1207.6319

M. Berry, G. Tkadik, J. Dubuis, O. Marre, and R. Da Silveira, “A simple method for estimating the entropy of neural activity,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3. IOP Publishing Ltd., 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2851
DOI: 10.1088/1742-5468/2013/03/P03015

S. Szobota, C. Mckenzie, and H. L. Janovjak, “Optical control of ligand-gated ion channels,” Methods in Molecular Biology, vol. 998. Springer, pp. 417–435, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2857
DOI: 10.1007/978-1-62703-351-0_32

D. Dupret, J. O’Neill, and J. L. Csicsvari, “Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning,” Neuron, vol. 78, no. 1. Elsevier, pp. 166–180, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2860
DOI: 10.1016/j.neuron.2013.01.033

S. Hippenmeyer, R. Johnson, and L. Luo, “Mosaic analysis with double markers reveals cell type specific paternal growth dominance,” Cell Reports, vol. 3, no. 3. Cell Press, pp. 960–967, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2855
DOI: 10.1016/j.celrep.2013.02.002

J. Levitz et al., “Optical control of metabotropic glutamate receptors,” Nature Neuroscience, vol. 16. Nature Publishing Group, pp. 507–516, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2856
DOI: 10.1038/nn.3346
PMID: 23455609

P. Bendich, H. Edelsbrunner, D. Morozov, and A. Patel, “Homology and robustness of level and interlevel sets,” Homology, Homotopy and Applications, vol. 15, no. 1. International Press, pp. 51–72, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2859
DOI: 10.4310/HHA.2013.v15.n1.a3
arXiv: 1102.3389

E. Granot Atedgi, G. Tkadik, R. Segev, and E. Schneidman, “Stimulus-dependent maximum entropy models of neural population codes,” PLoS Computational Biology, vol. 9, no. 3. Public Library of Science, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2863
DOI: 10.1371/journal.pcbi.1002922

H. Tay et al., “Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle,” Development, vol. 140, no. 7. Company of Biologists, pp. 1550–1559, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2862
DOI: 10.1242/dev.087130
PMID: 23482490

V. Botella Soler, J. Oteo, J. Ros, and P. Glendinning, “Lyapunov exponent and topological entropy plateaus in piecewise linear maps,” Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 12. IOP Publishing Ltd., 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2861
DOI: 10.1088/1751-8113/46/12/125101

B. Wang et al., “Arabidopsis TWISTED DWAR functionally interacts with auxin exporter ABC on the root plasma membrane,” Plant Cell, vol. 25, no. 1. American Society of Plant Biologists, pp. 202–214, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2883
DOI: 10.1105/tpc.112.105999
PMID: 23321285

P. Marhavý et al., “Auxin reflux between the endodermis and pericycle promotes lateral root initiation,” EMBO Journal, vol. 32, no. 1. Wiley-Blackwell, pp. 149–158, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2880
DOI: 10.1038/emboj.2012.303
PMID: 23178590

C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, and J. Friml, “Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism,” PNAS, vol. 110, no. 9. National Academy of Sciences, pp. 3627–3632, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2882
DOI: 10.1073/pnas.1300107110
PMID: 23391733

A. Kucera, T. A. Henzinger, J. Nesetril, T. Vojnar, and D. Antos, Eds., Mathematical and Engineering Methods in Computer Science, vol. 7721. Springer, 2013, pp. 1–228.
LibreCat: https://research-explorer.ista.ac.at/record/2885
DOI: 10.1007/978-3-642-36046-6

J.-L. Maître et al., “Cell adhesion mechanics of zebrafish gastrulation,” Medecine Sciences, vol. 29, no. 2. Éditions Médicales et Scientifiques, pp. 147–150, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2884
DOI: 10.1051/medsci/2013292011

M. Chmelik and V. ehák, “Controllable-choice message sequence graphs,” vol. 7721. Springer, pp. 118–130, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2886
DOI: 10.1007/978-3-642-36046-6_12

S. Fang et al., “Genotypic recognition and spatial responses by rice roots,” PNAS, vol. 110, no. 7. National Academy of Sciences, pp. 2670–2675, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2887
DOI: 10.1073/pnas.1222821110
PMID: 23362379

C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, and C. Lampert, “Computing the M most probable modes of a graphical model,” presented at the  AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States, 2013, vol. 31, pp. 161–169.
LibreCat: https://research-explorer.ista.ac.at/record/2901

M. Kerber and H. Edelsbrunner, “D kinetic alpha complexes and their implementation,” in 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, New Orleans, LA, United States, 2013, pp. 70–77.
LibreCat: https://research-explorer.ista.ac.at/record/2906
DOI: 10.1137/1.9781611972931.6

J. Kelleher, N. H. Barton, and A. Etheridge, “Coalescent simulation in continuous space,” Bioinformatics, vol. 29, no. 7. Oxford University Press, pp. 955–956, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2910
DOI: 10.1093/bioinformatics/btt067

N. H. Barton, A. Etheridge, and A. Véber, “Modelling evolution in a spatial continuum,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1. IOP Publishing Ltd., 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2909
DOI: 10.1088/1742-5468/2013/01/P01002

N. H. Barton, “Does hybridisation influence speciation?  ,” Journal of Evolutionary Biology, vol. 26, no. 2. Wiley-Blackwell, pp. 267–269, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2908
DOI: 10.1111/jeb.12015

N. H. Barton, “Recombination and sex,” in The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
LibreCat: https://research-explorer.ista.ac.at/record/2907

G. Tkadik, E. Granot Atedgi, R. Segev, and E. Schneidman, “Retinal metric: a stimulus distance measure derived from population neural responses,” Physical Review Letters, vol. 110, no. 5. American Physical Society, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2913
DOI: 10.1103/PhysRevLett.110.058104

I. Castanon, L. Abrami, L. Holtzer, C.-P. J. Heisenberg, F. Van Der Goot, and M. González Gaitán, “Anthrax toxin receptor 2a controls mitotic spindle positioning,” Nature Cell Biology, vol. 15, no. 1. Nature Publishing Group, pp. 28–39, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2918
DOI: 10.1038/ncb2632

P. Baster et al., “SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism,” EMBO Journal, vol. 32, no. 2. Wiley-Blackwell, pp. 260–274, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2919
DOI: 10.1038/emboj.2012.310
PMID: 23211744

J. Compagnon and C.-P. J. Heisenberg, “Neurulation coordinating cell polarisation and lumen formation,” EMBO Journal, vol. 32, no. 1. Wiley-Blackwell, pp. 1–3, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2920
DOI: 10.1038/emboj.2012.325
PMID: 23211745

S. Krenn, K. Z. Pietrzak, and A. Wadia, “A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it,” presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan, 2013, vol. 7785, pp. 23–39.
LibreCat: https://research-explorer.ista.ac.at/record/2940
DOI: 10.1007/978-3-642-36594-2_2

T. Tommasi, N. Quadrianto, B. Caputo, and C. Lampert, “Beyond dataset bias: Multi-task unaligned shared knowledge transfer,” vol. 7724. Springer, pp. 1–15, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2948
DOI: 10.1007/978-3-642-37331-2_1

K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, and V. Raman, “Code aware resource management,” Formal Methods in System Design, vol. 42, no. 2. Springer, pp. 142–174, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/3116
DOI: 10.1007/s10703-012-0170-4

H. Edelsbrunner, B. T. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” Discrete &; Computational Geometry, vol. 49, no. 4. Springer, pp. 797–822, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2815
DOI: 10.1007/s00454-013-9517-x

C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” Computational Geometry: Theory and Applications, vol. 46, no. 4. Elsevier, pp. 435–447, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2939
DOI: 10.1016/j.comgeo.2012.02.010

J. Dubuis, G. Tkadik, E. Wieschaus, T. Gregor, and W. Bialek, “Positional information, in bits,” PNAS, vol. 110, no. 41. National Academy of Sciences, pp. 16301–16308, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/3261
DOI: 10.1073/pnas.1315642110
PMID: 24089448

N. Quadrianto and C. Lampert, “Kernel based learning,” in Encyclopedia of Systems Biology, vol. 3, W. Dubitzky, O. Wolkenhauer, K. Cho, and H. Yokota, Eds. Springer, 2013, pp. 1069–1069.
LibreCat: https://research-explorer.ista.ac.at/record/3321
DOI: 10.1007/978-1-4419-9863-7_604

K. Chatterjee, M. H. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” Formal Methods in System Design, vol. 42, no. 3. Springer, pp. 301–327, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2831
DOI: 10.1007/s10703-012-0180-2
arXiv: 1104.3348

M. Pickup, D. Field, D. Rowell, and A. Young, “Source population characteristics affect heterosis following genetic rescue of fragmented plant populations,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750. Royal Society, The, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/450
DOI: 10.1098/rspb.2012.2058
PMID: 23173202

D. Dickerson and D. Bilkey, “Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions,” Frontiers in Behavioral Neuroscience, vol. 7, no. DEC. Frontiers Research Foundation, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/476
DOI: 10.3389/fnbeh.2013.00217

Y. Wakamoto et al., “Dynamic persistence of antibiotic-stressed mycobacteria,” Science, vol. 339, no. 6115. American Association for the Advancement of Science, pp. 91–95, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/499
DOI: 10.1126/science.1229858

M. Ward, S. Lycett, D. Avila, J. P. Bollback, and A. Leigh Brown, “Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/500
DOI: 10.1186/1471-2148-13-222

M. Cozzuol et al., “A new species of tapir from the Amazon,” Journal of Mammalogy, vol. 94, no. 6. Oxford University Press, pp. 1331–1345, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/501
DOI: 10.1644/12-MAMM-A-169.1

K. Greimel et al., “Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins,” Green Chemistry, vol. 15, no. 2. Royal Society of Chemistry, pp. 381–388, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/505
DOI: 10.1039/c2gc36666e

O. Blazy, G. Fuchsbauer, D. Pointcheval, and D. Vergnaud, “Short blind signatures,” Journal of Computer Security, vol. 21, no. 5. IOS Press, pp. 627–661, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/502
DOI: 10.3233/JCS-130477

E. Tarazona Santos et al., “Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications,” Molecular Biology and Evolution, vol. 30, no. 9. Oxford University Press, pp. 2157–2167, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/508
DOI: 10.1093/molbev/mst119
PMID: 23821607

S. Di Rubbo et al., “The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis,” Plant Cell, vol. 25, no. 8. American Society of Plant Biologists, pp. 2986–2997, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/509
DOI: 10.1105/tpc.113.114058
PMID: 23975899

S. Kim et al., “Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis,” Plant Cell, vol. 25, no. 8. American Society of Plant Biologists, pp. 2970–2985, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/507
DOI: 10.1105/tpc.113.114264
PMID: 23975898

A. Pbndík et al., “Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid,” Plant Cell, vol. 25, no. 10. American Society of Plant Biologists, pp. 3858–3870, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/511
DOI: 10.1105/tpc.113.114421
PMID: 24163311

B. Bargmann et al., “A map of cell typespecific auxin responses,” Molecular Systems Biology, vol. 9, no. 1. Nature Publishing Group, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/516
DOI: 10.1038/msb.2013.40

E. Fuertbauer et al., “Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells,” Immunology Letters, vol. 154, no. 1–2. Elsevier, pp. 31–41, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/522
DOI: 10.1016/j.imlet.2013.07.007

K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” vol. 8172. Springer, pp. 118–132, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2279
DOI: 10.1007/978-3-319-02444-8_10

H. Robert et al., “Local auxin sources orient the apical basal axis in arabidopsis embryos,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2506–2512, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/528
DOI: 10.1016/j.cub.2013.09.039

K. T. Wabnik, H. Robert, R. Smith, and J. Friml, “Modeling framework for the establishment of the apical-basal embryonic axis in plants,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2513–2518, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/527
DOI: 10.1016/j.cub.2013.10.038

J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5399
DOI: 10.15479/AT:IST-2013-104-v1-1

K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with omega-regular objectives,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 165–180, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2295
DOI: 10.4230/LIPIcs.CSL.2013.165

K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5403
DOI: 10.15479/AT:IST-2013-126-v1-1

T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5402
DOI: 10.15479/AT:IST-2013-123-v1-1

K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with <9-regular objectives. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5400
DOI: 10.15479/AT:IST-2013-109-v1-1

K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5404
DOI: 10.15479/AT:IST-2013-127-v1-1

K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5405
DOI: 10.15479/AT:IST-2013-128-v1-1

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

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

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

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

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

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

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

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

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

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

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

S. zur Nedden, A. S. Doney, and B. G. Frenguelli, “The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books,” in Adenosine, 1st ed., S. Masino and D. Boison, Eds. New York: Springer, 2012, pp. 109–129.
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/1384
DOI: 10.1145/2393596.2393664

S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric cryptography,” in  Conference proceedings CHES 2012, Leuven, Belgium, 2012, vol. 7428, pp. 213–232.
LibreCat: https://research-explorer.ista.ac.at/record/2048
DOI: 10.1007/978-3-642-33027-8_13