Goldman M, Royo-Letelier J. Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. 2015;21(3):603-624. doi:10.1051/cocv/2014040
LibreCat: https://research-explorer.ista.ac.at/record/1807
DOI: 10.1051/cocv/2014040

Bollenbach MT. Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. 2015;27:1-9. doi:10.1016/j.mib.2015.05.008
LibreCat: https://research-explorer.ista.ac.at/record/1810
DOI: 10.1016/j.mib.2015.05.008

Lahrz M, Lemeshko M, Mathey L. Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics. 2015;17(4). doi:10.1088/1367-2630/17/4/045005
LibreCat: https://research-explorer.ista.ac.at/record/1812
DOI: 10.1088/1367-2630/17/4/045005

Safari L, Santos J, Amaro P, Jänkälä K, Fratini F. Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. 2015;56(5). doi:10.1063/1.4921227
LibreCat: https://research-explorer.ista.ac.at/record/1811
DOI: 10.1063/1.4921227

Schmidt R, Lemeshko M. Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters. 2015;114(20). doi:10.1103/PhysRevLett.114.203001
LibreCat: https://research-explorer.ista.ac.at/record/1813
DOI: 10.1103/PhysRevLett.114.203001

Porazinski S, Wang H, Asaoka Y, et al. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 2015;521(7551):217-221. doi:10.1038/nature14215
LibreCat: https://research-explorer.ista.ac.at/record/1817
DOI: 10.1038/nature14215
PMID: 25778702

Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence . Vol 5. AAAI Press; 2015:3496-3502.
LibreCat: https://research-explorer.ista.ac.at/record/1820
arXiv: 1411.3880

Jeschke S, Wojtan C. Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. 2015;34(3). doi:10.1145/2714572
LibreCat: https://research-explorer.ista.ac.at/record/1814
DOI: 10.1145/2714572

Polechova J, Barton NH. Limits to adaptation along environmental gradients. PNAS. 2015;112(20):6401-6406. doi:10.1073/pnas.1421515112
LibreCat: https://research-explorer.ista.ac.at/record/1818
DOI: 10.1073/pnas.1421515112
PMID: 25941385

Chevereau G, Bollenbach MT. Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. 2015;11(4). doi:10.15252/msb.20156098
LibreCat: https://research-explorer.ista.ac.at/record/1823
DOI: 10.15252/msb.20156098

Knebel J, Weber M, Krüger TH, Frey E. Evolutionary games of condensates in coupled birth-death processes. Nature Communications. 2015;6. doi:10.1038/ncomms7977
LibreCat: https://research-explorer.ista.ac.at/record/1824
DOI: 10.1038/ncomms7977

Kappeler P, Cremer S, Nunn C. Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0116
LibreCat: https://research-explorer.ista.ac.at/record/1831
DOI: 10.1098/rstb.2014.0116
PMID: 25870402

Akopyan A, Pirogov S, Rybko A. Invariant measures of genetic recombination process. Journal of Statistical Physics. 2015;160(1):163-167. doi:10.1007/s10955-015-1238-5
LibreCat: https://research-explorer.ista.ac.at/record/1828
DOI: 10.1007/s10955-015-1238-5

Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information. In: Vol 9035. Springer; 2015:517-532. doi:10.1007/978-3-662-46681-0_50
LibreCat: https://research-explorer.ista.ac.at/record/1838
DOI: 10.1007/978-3-662-46681-0_50

Brázdil T, Chatterjee K, Forejt V, Kudera A. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 2015;9035:181-187. doi:10.1007/978-3-662-46681-0_12
LibreCat: https://research-explorer.ista.ac.at/record/1839
DOI: 10.1007/978-3-662-46681-0_12

Kühnen J, Braunshier P, Schwegel M, Kuhlmann H, Hof B. Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. 2015;770(5). doi:10.1017/jfm.2015.184
LibreCat: https://research-explorer.ista.ac.at/record/1837
DOI: 10.1017/jfm.2015.184
arXiv: 1508.06559

Schwamb B, Pick R, Fernández S, et al. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 2015;137(6):1318-1329. doi:10.1002/ijc.29498
LibreCat: https://research-explorer.ista.ac.at/record/1848
DOI: 10.1002/ijc.29498
PMID: 25716227

Benes N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. Refinement checking on parametric modal transition systems. Acta Informatica. 2015;52(2-3):269-297. doi:10.1007/s00236-015-0215-4
LibreCat: https://research-explorer.ista.ac.at/record/1846
DOI: 10.1007/s00236-015-0215-4

Vandael DH, Espinoza Martinez C, Jonas PM. Excitement about inhibitory presynaptic terminals. Neuron. 2015;85(6):1149-1151. doi:10.1016/j.neuron.2015.03.006
LibreCat: https://research-explorer.ista.ac.at/record/1845
DOI: 10.1016/j.neuron.2015.03.006

Geiger B, Petrov T, Kubin G, Koeppl H. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 2015;60(4):1010-1022. doi:10.1109/TAC.2014.2364971
LibreCat: https://research-explorer.ista.ac.at/record/1840
DOI: 10.1109/TAC.2014.2364971

Kolmogorov V. A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2015;37(5):919-930. doi:10.1109/TPAMI.2014.2363465
LibreCat: https://research-explorer.ista.ac.at/record/1841
DOI: 10.1109/TPAMI.2014.2363465

Novak S, Cremer S. Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. 2015;372(5):54-64. doi:10.1016/j.jtbi.2015.02.018
LibreCat: https://research-explorer.ista.ac.at/record/1850
DOI: 10.1016/j.jtbi.2015.02.018

Priklopil T, Kisdi E, Gyllenberg M. Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution. 2015;69(4):1015-1026. doi:10.1111/evo.12618
LibreCat: https://research-explorer.ista.ac.at/record/1851
DOI: 10.1111/evo.12618
PMID: 25662095

Shah N, Kolmogorov V, Lampert C. A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle. In: IEEE; 2015:2737-2745. doi:10.1109/CVPR.2015.7298890
LibreCat: https://research-explorer.ista.ac.at/record/1859
DOI: 10.1109/CVPR.2015.7298890

Royer A, Lampert C. Classifier adaptation at prediction time. In: IEEE; 2015:1401-1409. doi:10.1109/CVPR.2015.7298746
LibreCat: https://research-explorer.ista.ac.at/record/1860
DOI: 10.1109/CVPR.2015.7298746

Lampert C. Predicting the future behavior of a time-varying probability distribution. In: IEEE; 2015:942-950. doi:10.1109/CVPR.2015.7298696
LibreCat: https://research-explorer.ista.ac.at/record/1858
DOI: 10.1109/CVPR.2015.7298696
arXiv: 1406.5362

Pentina A, Sharmanska V, Lampert C. Curriculum learning of multiple tasks. In: IEEE; 2015:5492-5500. doi:10.1109/CVPR.2015.7299188
LibreCat: https://research-explorer.ista.ac.at/record/1857
DOI: 10.1109/CVPR.2015.7299188

Erdös L, Knowles A. The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare. 2015;16(3):709-799. doi:10.1007/s00023-014-0333-5
LibreCat: https://research-explorer.ista.ac.at/record/1864
DOI: 10.1007/s00023-014-0333-5

Grones P, Friml J. Auxin transporters and binding proteins at a glance. Journal of Cell Science. 2015;128(1):1-7. doi:10.1242/jcs.159418
LibreCat: https://research-explorer.ista.ac.at/record/1871
DOI: 10.1242/jcs.159418

Chatterjee K, Chmelik M. POMDPs under probabilistic semantics. Artificial Intelligence. 2015;221:46-72. doi:10.1016/j.artint.2014.12.009
LibreCat: https://research-explorer.ista.ac.at/record/1873
DOI: 10.1016/j.artint.2014.12.009
arXiv: 1408.2058

Kremer A, Lippens S, Bartunkova S, et al. Developing 3D SEM in a broad biological context. Journal of Microscopy. 2015;259(2):80-96. doi:10.1111/jmi.12211
LibreCat: https://research-explorer.ista.ac.at/record/1879
DOI: 10.1111/jmi.12211

Könenberg M, Moser T, Seiringer R, Yngvason J. Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics. 2015;17. doi:10.1088/1367-2630/17/1/013022
LibreCat: https://research-explorer.ista.ac.at/record/1880
DOI: 10.1088/1367-2630/17/1/013022

Fahrenberg U, Kretinsky J, Legay A, Traonouez L. Compositionality for quantitative specifications. In: Vol 8997. Springer; 2015:306-324. doi:10.1007/978-3-319-15317-9_19
LibreCat: https://research-explorer.ista.ac.at/record/1882
DOI: 10.1007/978-3-319-15317-9_19

Keller-Schmidt S, Tugrul M, Eguíluz V, Hernandez Garcia E, Klemm K. Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2015;91(2). doi:10.1103/PhysRevE.91.022803
LibreCat: https://research-explorer.ista.ac.at/record/1883
DOI: 10.1103/PhysRevE.91.022803
arXiv: 1012.3298

Tkadik G, Dubuis J, Petkova M, Gregor T. Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics. 2015;199(1):39-59. doi:10.1534/genetics.114.171850
LibreCat: https://research-explorer.ista.ac.at/record/1885
DOI: 10.1534/genetics.114.171850

Sokolowski TR, Tkadik G. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2015;91(6). doi:10.1103/PhysRevE.91.062710
LibreCat: https://research-explorer.ista.ac.at/record/1940
DOI: 10.1103/PhysRevE.91.062710

Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. Succinct representation of concurrent trace sets. In: ACM; 2015:433-444. doi:10.1145/2676726.2677008
LibreCat: https://research-explorer.ista.ac.at/record/1992
DOI: 10.1145/2676726.2677008

Noren P. The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. 2015;68/Part 2(May-June):285-296. doi:10.1016/j.jsc.2014.09.014
LibreCat: https://research-explorer.ista.ac.at/record/1997
DOI: 10.1016/j.jsc.2014.09.014

Klimova A, Rudas T. Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. 2015;42(3):832-847. doi:10.1111/sjos.12139
LibreCat: https://research-explorer.ista.ac.at/record/2008
DOI: 10.1111/sjos.12139

Hein N, Hillar C, Martin del Campo Sanchez A, Sottile F, Teitler Z. The monotone secant conjecture in the real Schubert calculus. Experimental Mathematics. 2015;24(3):261-269. doi:10.1080/10586458.2014.980044
LibreCat: https://research-explorer.ista.ac.at/record/2006
DOI: 10.1080/10586458.2014.980044

Klimova A, Uhler C, Rudas T. Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics &; Data Analysis. 2015;87(7):57-72. doi:10.1016/j.csda.2015.01.017
LibreCat: https://research-explorer.ista.ac.at/record/2014
DOI: 10.1016/j.csda.2015.01.017

Kawada D, Kobayashi H, Tomita T, et al. The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. 2015;1853(1):144-156. doi:10.1016/j.bbamcr.2014.10.009
LibreCat: https://research-explorer.ista.ac.at/record/2025
DOI: 10.1016/j.bbamcr.2014.10.009

Shi L, Rampp M, Hof B, Avila M. A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids. 2015;106(1):1-11. doi:10.1016/j.compfluid.2014.09.021
LibreCat: https://research-explorer.ista.ac.at/record/2030
DOI: 10.1016/j.compfluid.2014.09.021

Edelsbrunner H, Jablonski G, Mrozek M. The persistent homology of a self-map. Foundations of Computational Mathematics. 2015;15(5):1213-1244. doi:10.1007/s10208-014-9223-y
LibreCat: https://research-explorer.ista.ac.at/record/2035
DOI: 10.1007/s10208-014-9223-y

Bérard B, Chatterjee K, Sznajder N. Probabilistic opacity for Markov decision processes. 10.1016/j.ipl.2014.09.001__Information Processing Letters. 2015;115(1):52-59. doi:10.1016/j.ipl.2014.09.001
LibreCat: https://research-explorer.ista.ac.at/record/2034
DOI: 10.1016/j.ipl.2014.09.001

Nam P, Seiringer R. Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. 2015;215(2):381-417. doi:10.1007/s00205-014-0781-6
LibreCat: https://research-explorer.ista.ac.at/record/2085
DOI: 10.1007/s00205-014-0781-6

Erdös L, Knowles A. The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics. 2015;333(3):1365-1416. doi:10.1007/s00220-014-2119-5
LibreCat: https://research-explorer.ista.ac.at/record/2166
DOI: 10.1007/s00220-014-2119-5

Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. Logical Methods in Computer Science. 2015;11(1). doi:10.2168/LMCS-11(1:20)2015
LibreCat: https://research-explorer.ista.ac.at/record/1832
DOI: 10.2168/LMCS-11(1:20)2015

Kolmogorov V, Thapper J, divný S. The power of linear programming for general-valued CSPs. SIAM Journal on Computing. 2015;44(1):1-36. doi:10.1137/130945648
LibreCat: https://research-explorer.ista.ac.at/record/2271
DOI: 10.1137/130945648
arXiv: 1311.4219

Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. 2015;573(3):71-89. doi:10.1016/j.tcs.2015.01.050
LibreCat: https://research-explorer.ista.ac.at/record/1598
DOI: 10.1016/j.tcs.2015.01.050
arXiv: 1202.4175

Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. Information and Computation. 2015;245(12):3-16. doi:10.1016/j.ic.2015.06.003
LibreCat: https://research-explorer.ista.ac.at/record/1731
DOI: 10.1016/j.ic.2015.06.003

Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. 2015;62(1). doi:10.1145/2699430
LibreCat: https://research-explorer.ista.ac.at/record/1856
DOI: 10.1145/2699430

Chatterjee K, Henzinger MH, Loitzenbauer V. Improved algorithms for one-pair and k-pair Streett objectives. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.34
LibreCat: https://research-explorer.ista.ac.at/record/1661
DOI: 10.1109/LICS.2015.34

Lewin M, Nam P, Rougerie N. Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques. 2015;2:65-115. doi:10.5802/jep.18
LibreCat: https://research-explorer.ista.ac.at/record/473
DOI: 10.5802/jep.18

Chatterjee K, Doyen L, Randour M, Raskin J. Looking at mean-payoff and total-payoff through windows. Information and Computation. 2015;242(6):25-52. doi:10.1016/j.ic.2015.03.010
LibreCat: https://research-explorer.ista.ac.at/record/523
DOI: 10.1016/j.ic.2015.03.010

Chatterjee K, Ibsen-Jensen R. Qualitative analysis of concurrent mean payoff games. Information and Computation. 2015;242(6):2-24. doi:10.1016/j.ic.2015.03.009
LibreCat: https://research-explorer.ista.ac.at/record/524
DOI: 10.1016/j.ic.2015.03.009
arXiv: 1409.5306

Ahmed U, Chatterjee K, Gulwani S. Automatic generation of alternative starting positions for simple traditional board games. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. Vol 2. AAAI Press; 2015:745-752.
LibreCat: https://research-explorer.ista.ac.at/record/1481

Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. In: IEEE; 2015:325-330. doi:10.1109/ICRA.2015.7139019
LibreCat: https://research-explorer.ista.ac.at/record/1732
DOI: 10.1109/ICRA.2015.7139019
arXiv: 1409.3360

Chatterjee K, Ibsen-Jensen R, Hansen K. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria; 2015. doi:10.15479/AT:IST-2015-322-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5431
DOI: 10.15479/AT:IST-2015-322-v1-1

Anonymous 1, Anonymous 2. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria; 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5434

Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5429
DOI: 10.15479/AT:IST-2015-318-v1-1

Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v2-1
LibreCat: https://research-explorer.ista.ac.at/record/5435
DOI: 10.15479/AT:IST-2015-318-v2-1

Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2
LibreCat: https://research-explorer.ista.ac.at/record/5436
DOI: 10.15479/AT:IST-2015-170-v2-2

Boker U, Henzinger TA, Otop J. The target discounted-sum problem. In: LICS. Logic in Computer Science. IEEE; 2015:750-761. doi:10.1109/LICS.2015.74
LibreCat: https://research-explorer.ista.ac.at/record/1659
DOI: 10.1109/LICS.2015.74

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:121-133. doi:10.1007/978-3-662-47666-6_10
LibreCat: https://research-explorer.ista.ac.at/record/1610
DOI: 10.1007/978-3-662-47666-6_10
arXiv: 1504.08259

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-330-v2-1
LibreCat: https://research-explorer.ista.ac.at/record/5437
DOI: 10.15479/AT:IST-2015-330-v2-1

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-319-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5430
DOI: 10.15479/AT:IST-2015-319-v1-1

Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5439
DOI: 10.15479/AT:IST-2015-335-v1-1

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5438
DOI: 10.15479/AT:IST-2015-334-v1-1

Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolutionary Games on Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-323-v2-2
LibreCat: https://research-explorer.ista.ac.at/record/5440
DOI: 10.15479/AT:IST-2015-323-v2-2

Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolutionary Games on Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-323-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5432
DOI: 10.15479/AT:IST-2015-323-v1-1

Reiter J, Makohon-Moore A, Gerold J, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria; 2015. doi:10.15479/AT:IST-2015-399-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5444
DOI: 10.15479/AT:IST-2015-399-v1-1

Chatterjee K, Chmelik M, Davies J. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria; 2015. doi:10.15479/AT:IST-2015-325-v2-1
LibreCat: https://research-explorer.ista.ac.at/record/5443
DOI: 10.15479/AT:IST-2015-325-v2-1

Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:476-490. doi:10.4230/LIPIcs.SOCG.2015.476
LibreCat: https://research-explorer.ista.ac.at/record/1511
DOI: 10.4230/LIPIcs.SOCG.2015.476

Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. In: IEEE; 2015:1246-1258. doi:10.1109/FOCS.2015.80
LibreCat: https://research-explorer.ista.ac.at/record/1637
DOI: 10.1109/FOCS.2015.80

Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology. 2015;84(3):615-624. doi:10.1111/1365-2656.12345
LibreCat: https://research-explorer.ista.ac.at/record/1855
DOI: 10.1111/1365-2656.12345
PMID: 25646973

Theis F, Ugelvig LV, Marr C, Cremer S. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0108
LibreCat: https://research-explorer.ista.ac.at/record/1830
DOI: 10.1098/rstb.2014.0108
PMID: 25870394

Theis F, Ugelvig LV, Marr C, Cremer S. Data from: Opposing effects of allogrooming on disease transmission in ant societies. 2015. doi:10.5061/dryad.dj2bf
LibreCat: https://research-explorer.ista.ac.at/record/9721
DOI: 10.5061/dryad.dj2bf

Symonova O, Topp C, Edelsbrunner H. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. 2015;10(6). doi:10.1371/journal.pone.0127657
LibreCat: https://research-explorer.ista.ac.at/record/1793
DOI: 10.1371/journal.pone.0127657

Friedlander T, Mayo A, Tlusty T, Alon U. Evolution of bow-tie architectures in biology. PLoS Computational Biology. 2015;11(3). doi:10.1371/journal.pcbi.1004055
LibreCat: https://research-explorer.ista.ac.at/record/1827
DOI: 10.1371/journal.pcbi.1004055

Trubenova B, Novak S, Hager R. Indirect genetic effects and the dynamics of social interactions. PLoS One. 2015;10(5). doi:10.1371/journal.pone.0126907
LibreCat: https://research-explorer.ista.ac.at/record/1809
DOI: 10.1371/journal.pone.0126907

Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 2015;11(10). doi:10.1371/journal.pcbi.1004541
LibreCat: https://research-explorer.ista.ac.at/record/1566
DOI: 10.1371/journal.pcbi.1004541

Konrad M, Grasse AV, Tragust S, Cremer S. Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1799). doi:10.1098/rspb.2014.1976
LibreCat: https://research-explorer.ista.ac.at/record/1993
DOI: 10.1098/rspb.2014.1976
PMID: 25473011

Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. 2015. doi:10.5061/dryad.7kc79
LibreCat: https://research-explorer.ista.ac.at/record/9742
DOI: 10.5061/dryad.7kc79

Veldkamp C, Kiermaier E, Gabel Eissens S, et al. Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. 2015;54(27):4163-4166. doi:10.1021/acs.biochem.5b00560
LibreCat: https://research-explorer.ista.ac.at/record/1618
DOI: 10.1021/acs.biochem.5b00560
PMID: 26115234

Martius GS, Olbrich E. Quantifying self-organizing behavior of autonomous robots. In: Proceedings of the 13th European Conference on Artificial Life. MIT Press; 2015:78. doi:10.7551/978-0-262-33027-5-ch018
LibreCat: https://research-explorer.ista.ac.at/record/12881
DOI: 10.7551/978-0-262-33027-5-ch018

Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria. 2015. doi:10.5061/dryad.cj910
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Sharmanska V. Learning with attributes for object recognition: Parametric and non-parametrics views. 2015. doi:10.15479/at:ista:1401
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

Reiter J, Kanodia A, Gupta R, Nowak M, Chatterjee K. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1812). doi:10.1098/rspb.2015.1041
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

Tugrul M, Paixao T, Barton NH, Tkadik G. Dynamics of transcription factor binding site evolution. PLoS Genetics. 2015;11(11). doi:10.1371/journal.pgen.1005639
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Benes N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

Chatterjee K, Chmelik M, Daca P. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 2015;47(2):230-264. doi:10.1007/s10703-015-0235-2
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 2015;50(1):97-109. doi:10.1145/2676726.2676979
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for quantitative verification in constant treewidth graphs. In: Vol 9206. Springer; 2015:140-157. doi:10.1007/978-3-319-21690-4_9
LibreCat: https://research-explorer.ista.ac.at/record/1607
DOI: 10.1007/978-3-319-21690-4_9

Hahn D, Wojtan C. High-resolution brittle fracture simulation with boundary elements. In: Vol 34. ACM; 2015. doi:10.1145/2766896
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht V, Wieser S, Callan Jones A, et al. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 2015;160(4):673-685. doi:10.1016/j.cell.2015.01.008
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

Adamowski M, Friml J. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 2015;27(1):20-32. doi:10.1105/tpc.114.134874
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

Alt J. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 2015;56(10). doi:10.1063/1.4932606
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, et al. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 2015;11(12):952-954. doi:10.1038/nchembio.1933
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Cepeda Humerez SA, Rieckh G, Tkadik G. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 2015;115(24). doi:10.1103/PhysRevLett.115.248101
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101