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

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

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

Optical control of metabotropic glutamate receptors
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.
LibreCat: https://research-explorer.ista.ac.at/record/2856
DOI: 10.1038/nn.3346
PMID: 23455609

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

Stimulus-dependent maximum entropy models of neural population codes
E. Granot Atedgi, G. Tkadik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2863
DOI: 10.1371/journal.pcbi.1002922

Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle
H. Tay, S. Schulze, J. Compagnon, F. Foley, C.-P.J. Heisenberg, H.J. Yost, S. Abdelilah Seyfried, J. Amack, Development 140 (2013) 1550–1559.
LibreCat: https://research-explorer.ista.ac.at/record/2862
DOI: 10.1242/dev.087130
PMID: 23482490

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

Arabidopsis TWISTED DWAR functionally interacts with auxin exporter ABC on the root plasma membrane
B. Wang, A. Bailly, M. Zwiewk, S. Henrichs, E. Azzarello, S. Mancuso, M. Maeshima, J. Friml, A. Schulz, M. Geisler, Plant Cell 25 (2013) 202–214.
LibreCat: https://research-explorer.ista.ac.at/record/2883
DOI: 10.1105/tpc.112.105999
PMID: 23321285

Auxin reflux between the endodermis and pericycle promotes lateral root initiation
P. Marhavý, M. Vanstraelen, B. De Rybel, D. Zhaojun, M. Bennett, T. Beeckman, E. Benková, EMBO Journal 32 (2013) 149–158.
LibreCat: https://research-explorer.ista.ac.at/record/2880
DOI: 10.1038/emboj.2012.303
PMID: 23178590

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

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

Cell adhesion mechanics of zebrafish gastrulation
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Medecine Sciences 29 (2013) 147–150.
LibreCat: https://research-explorer.ista.ac.at/record/2884
DOI: 10.1051/medsci/2013292011

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

Genotypic recognition and spatial responses by rice roots
S. Fang, R. Clark, Y. Zheng, A. Iyer Pascuzzi, J. Weitz, L. Kochian, H. Edelsbrunner, H. Liao, P. Benfey, PNAS 110 (2013) 2670–2675.
LibreCat: https://research-explorer.ista.ac.at/record/2887
DOI: 10.1073/pnas.1222821110
PMID: 23362379

Computing the M most probable modes of a graphical model
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
LibreCat: https://research-explorer.ista.ac.at/record/2901

3D kinetic alpha complexes and their implementation
M. Kerber, H. Edelsbrunner, in:, 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77.
LibreCat: https://research-explorer.ista.ac.at/record/2906
DOI: 10.1137/1.9781611972931.6

Coalescent simulation in continuous space
J. Kelleher, N.H. Barton, A. Etheridge, Bioinformatics 29 (2013) 955–956.
LibreCat: https://research-explorer.ista.ac.at/record/2910
DOI: 10.1093/bioinformatics/btt067

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

Does hybridisation influence speciation?  
N.H. Barton, Journal of Evolutionary Biology 26 (2013) 267–269.
LibreCat: https://research-explorer.ista.ac.at/record/2908
DOI: 10.1111/jeb.12015

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

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

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

SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism
P. Baster, S. Robert, J. Kleine Vehn, S. Vanneste, U. Kania, W. Grunewald, B. De Rybel, T. Beeckman, J. Friml, EMBO Journal 32 (2013) 260–274.
LibreCat: https://research-explorer.ista.ac.at/record/2919
DOI: 10.1038/emboj.2012.310
PMID: 23211744

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

A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it
S. Krenn, K.Z. Pietrzak, A. Wadia, in:, A. Sahai (Ed.), Springer, 2013, pp. 23–39.
LibreCat: https://research-explorer.ista.ac.at/record/2940
DOI: 10.1007/978-3-642-36594-2_2

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

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

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

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

Positional information, in bits
J. Dubuis, G. Tkadik, E. Wieschaus, T. Gregor, W. Bialek, PNAS 110 (2013) 16301–16308.
LibreCat: https://research-explorer.ista.ac.at/record/3261
DOI: 10.1073/pnas.1315642110
PMID: 24089448

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

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

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

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

Dynamic persistence of antibiotic-stressed mycobacteria
Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler, J. Mckinney, Science 339 (2013) 91–95.
LibreCat: https://research-explorer.ista.ac.at/record/499
DOI: 10.1126/science.1229858

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

A new species of tapir from the Amazon
M. Cozzuol, C. Clozato, E. Holanda, F. Rodrigues, S. Nienow, B. De Thoisy, R.A. Fernandes Redondo, F. Santos, Journal of Mammalogy 94 (2013) 1331–1345.
LibreCat: https://research-explorer.ista.ac.at/record/501
DOI: 10.1644/12-MAMM-A-169.1

Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins
K. Greimel, V. Perz, K. Koren, R. Feola, A. Temel, C. Sohar, E. Herrero Acero, I. Klimant, G. Guebitz, Green Chemistry 15 (2013) 381–388.
LibreCat: https://research-explorer.ista.ac.at/record/505
DOI: 10.1039/c2gc36666e

Short blind signatures
O. Blazy, G. Fuchsbauer, D. Pointcheval, D. Vergnaud, Journal of Computer Security 21 (2013) 627–661.
LibreCat: https://research-explorer.ista.ac.at/record/502
DOI: 10.3233/JCS-130477

Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications
E. Tarazona Santos, M. Machado, W. Magalhães, R. Chen, F. Lyon, L. Burdett, A. Crenshaw, C. Fabbri, L. Pereira, L. Pinto, R.A. Fernandes Redondo, B. Sestanovich, M. Yeager, S. Chanock, Molecular Biology and Evolution 30 (2013) 2157–2167.
LibreCat: https://research-explorer.ista.ac.at/record/508
DOI: 10.1093/molbev/mst119
PMID: 23821607

The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis
S. Di Rubbo, N. Irani, S. Kim, Z. Xu, A. Gadeyne, W. Dejonghe, I. Vanhoutte, G. Persiau, D. Eeckhout, S. Simon, K. Song, J. Kleine Vehn, J. Friml, G. De Jaeger, D. Van Damme, I. Hwang, E. Russinova, Plant Cell 25 (2013) 2986–2997.
LibreCat: https://research-explorer.ista.ac.at/record/509
DOI: 10.1105/tpc.113.114058
PMID: 23975899

Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis
S. Kim, Z. Xu, K. Song, D. Kim, H. Kang, I. Reichardt, E. Sohn, J. Friml, G. Juergens, I. Hwang, Plant Cell 25 (2013) 2970–2985.
LibreCat: https://research-explorer.ista.ac.at/record/507
DOI: 10.1105/tpc.113.114264
PMID: 23975898

Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
A. Pbndík, B. Simonovik, S. Petersson, E. Henyková, S. Simon, K. Greenham, Y. Zhang, M. Kowalczyk, M. Estelle, E. Zaeímalová, O. Novák, G. Sandberg, K. Ljung, Plant Cell 25 (2013) 3858–3870.
LibreCat: https://research-explorer.ista.ac.at/record/511
DOI: 10.1105/tpc.113.114421
PMID: 24163311

A map of cell typespecific auxin responses
B. Bargmann, S. Vanneste, G. Krouk, T. Nawy, I. Efroni, E. Shani, G. Choe, J. Friml, D. Bergmann, M. Estelle, K. Birnbaum, Molecular Systems Biology 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/516
DOI: 10.1038/msb.2013.40

Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells
E. Fuertbauer, J. Zaujec, P. Uhrin, I. Raab, M. Weber, H. Schachner, M. Bauer, G. Schütz, B. Binder, M.K. Sixt, D. Kerjaschki, H. Stockinger, Immunology Letters 154 (2013) 31–41.
LibreCat: https://research-explorer.ista.ac.at/record/522
DOI: 10.1016/j.imlet.2013.07.007

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

Local auxin sources orient the apical basal axis in arabidopsis embryos
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
LibreCat: https://research-explorer.ista.ac.at/record/528
DOI: 10.1016/j.cub.2013.09.039

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

TTP: Tool for Tumor Progression
J. Reiter, I. Bozic, K. Chatterjee, 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

What is decidable about partially observable Markov decision processes with omega-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, 23 (2013) 165–180.
LibreCat: https://research-explorer.ista.ac.at/record/2295
DOI: 10.4230/LIPIcs.CSL.2013.165

Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, 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

How free is your linearizable concurrent data structure?
T.A. Henzinger, 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

What is decidable about partially observable Markov decision processes with <9-regular objectives
K. Chatterjee, M. Chmelik, 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

The complexity of ergodic games
K. Chatterjee, 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

Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5401

Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, 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

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, 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

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

Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, 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

The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, 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

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

Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, 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

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

Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
T.A. Henzinger, H. Payer, 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

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

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

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

Forgiver triumphs in alternating prisoner's dilemma 
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
LibreCat: https://research-explorer.ista.ac.at/record/9749
DOI: 10.1371/journal.pone.0080814.s001

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

The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access -containing heterochromatin
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
LibreCat: https://research-explorer.ista.ac.at/record/9459
DOI: 10.1016/j.cell.2013.02.033
PMID: 23540698

Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
J.A. Rodrigues, R. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 110 (2013) 7934–7939.
LibreCat: https://research-explorer.ista.ac.at/record/9481
DOI: 10.1073/pnas.1306164110
PMID: 23613580

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

Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkadik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, PLoS Computational Biology 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2277
DOI: 10.1371/journal.pcbi.1003344

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

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

Statistical thermodynamics of natural images
G. Stephens, T. Mora, G. Tkadik, W. Bialek, Physical Review Letters 110 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

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

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

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

Persistent homology in image processing
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
LibreCat: https://research-explorer.ista.ac.at/record/10897
DOI: 10.1007/978-3-642-38221-5_19

Analysis of dynamic message passing programs
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

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

Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
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

Forgiver triumphs in alternating prisoner's dilemma 
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

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

Evolutionary dynamics of cancer in response to targeted combination therapy
I. Boei, J. Reiter, B. Allen, T. Antal, K. Chatterjee, P. Shah, Y. Moon, A. Yaqubie, N. Kelly, D. Le, E. Lipson, P. Chapman, L. Diaz, B. Vogelstein, M. Nowak, ELife 2 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

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

Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

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

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

Automated analysis of real-time scheduling using graph games
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
LibreCat: https://research-explorer.ista.ac.at/record/2272

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

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

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

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

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

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

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