Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.”10.1038/ncomms7977__Nature Communications, vol. 6, 6977, Nature Publishing Group, 2015, doi:10.1038/ncomms7977.
LibreCat: https://research-explorer.ista.ac.at/record/1824
DOI: 10.1038/ncomms7977

Kappeler, Peter, et al. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.”10.1098/rstb.2014.0116__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, 20140116, Royal Society, 2015, doi:10.1098/rstb.2014.0116.
LibreCat: https://research-explorer.ista.ac.at/record/1831
DOI: 10.1098/rstb.2014.0116
PMID: 25870402

Akopyan, Arseniy, et al. “Invariant Measures of Genetic Recombination Process.”10.1007/s10955-015-1238-5__Journal of Statistical Physics, vol. 160, no. 1, Springer, 2015, pp. 163–67, doi:10.1007/s10955-015-1238-5.
LibreCat: https://research-explorer.ista.ac.at/record/1828
DOI: 10.1007/s10955-015-1238-5

Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
LibreCat: https://research-explorer.ista.ac.at/record/1836
DOI: 10.1007/978-3-662-46669-8_5

Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, 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, Tomás, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, 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, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.”10.1017/jfm.2015.184__Journal of Fluid Mechanics, vol. 770, no. 5, , Cambridge University Press, 2015, doi:10.1017/jfm.2015.184.
LibreCat: https://research-explorer.ista.ac.at/record/1837
DOI: 10.1017/jfm.2015.184
arXiv: 1508.06559

Benes, Nikola, et al. “Refinement Checking on Parametric Modal Transition Systems.”10.1007/s00236-015-0215-4__Acta Informatica, vol. 52, no. 2–3, Springer, 2015, pp. 269–97, doi:10.1007/s00236-015-0215-4.
LibreCat: https://research-explorer.ista.ac.at/record/1846
DOI: 10.1007/s00236-015-0215-4

Vandael, David H., et al. “Excitement about Inhibitory Presynaptic Terminals.”10.1016/j.neuron.2015.03.006__Neuron, vol. 85, no. 6, Elsevier, 2015, pp. 1149–51, 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, Bernhard, et al. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.”10.1109/TAC.2014.2364971__IEEE Transactions on Automatic Control, vol. 60, no. 4, IEEE, 2015, pp. 1010–22, doi:10.1109/TAC.2014.2364971.
LibreCat: https://research-explorer.ista.ac.at/record/1840
DOI: 10.1109/TAC.2014.2364971

Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.”10.1109/TPAMI.2014.2363465__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, IEEE, 2015, pp. 919–30, doi:10.1109/TPAMI.2014.2363465.
LibreCat: https://research-explorer.ista.ac.at/record/1841
DOI: 10.1109/TPAMI.2014.2363465

Himschoot, Ellie, et al. “Calcium Is an Organizer of Cell Polarity in Plants.”10.1016/j.bbamcr.2015.02.017__Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 9, Elsevier, 2015, pp. 2168–72, doi:10.1016/j.bbamcr.2015.02.017.
LibreCat: https://research-explorer.ista.ac.at/record/1849
DOI: 10.1016/j.bbamcr.2015.02.017

Grones, Peter, and Jií Friml. “AB: Finally Docking.”10.1016/j.molp.2014.12.013__Molecular Plant, vol. 8, no. 3, Elsevier, 2015, pp. 356–58, doi:10.1016/j.molp.2014.12.013.
LibreCat: https://research-explorer.ista.ac.at/record/1847
DOI: 10.1016/j.molp.2014.12.013

Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.”10.1016/j.jtbi.2015.02.018__Journal of Theoretical Biology, vol. 372, no. 5, Elsevier, 2015, pp. 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, Tadeas, et al. “Evolutionarily Stable Mating Decisions for Sequentially Searching Females and the Stability of Reproductive Isolation by Assortative Mating.”10.1111/evo.12618__Evolution, vol. 69, no. 4, Wiley, 2015, pp. 1015–26, doi:10.1111/evo.12618.
LibreCat: https://research-explorer.ista.ac.at/record/1851
DOI: 10.1111/evo.12618
PMID: 25662095

Shah, Neel, et al. A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle. IEEE, 2015, pp. 2737–45, doi:10.1109/CVPR.2015.7298890.
LibreCat: https://research-explorer.ista.ac.at/record/1859
DOI: 10.1109/CVPR.2015.7298890

Royer, Amélie, and Christoph Lampert. Classifier Adaptation at Prediction Time. IEEE, 2015, pp. 1401–09, doi:10.1109/CVPR.2015.7298746.
LibreCat: https://research-explorer.ista.ac.at/record/1860
DOI: 10.1109/CVPR.2015.7298746

Lampert, Christoph. Predicting the Future Behavior of a Time-Varying Probability Distribution. IEEE, 2015, pp. 942–50, 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, Anastasia, et al. Curriculum Learning of Multiple Tasks. IEEE, 2015, pp. 5492–500, doi:10.1109/CVPR.2015.7299188.
LibreCat: https://research-explorer.ista.ac.at/record/1857
DOI: 10.1109/CVPR.2015.7299188

Hühner, Jens, et al. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.”10.1002/elps.201400451__Electrophoresis, vol. 36, no. 4, Wiley, 2015, pp. 518–25, doi:10.1002/elps.201400451.
LibreCat: https://research-explorer.ista.ac.at/record/1867
DOI: 10.1002/elps.201400451

Robert, Hélène, et al. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.”10.1242/dev.115832__Development, vol. 142, no. 4, Company of Biologists, 2015, pp. 702–11, doi:10.1242/dev.115832.
LibreCat: https://research-explorer.ista.ac.at/record/1865
DOI: 10.1242/dev.115832

Park, Youngyong, et al. “Early Effect in Time-Dependent, High-Dimensional Nonlinear Dynamical Systems with Multiple Resonances.”10.1103/PhysRevE.91.022906__Physical Review E, vol. 91, no. 2, 022906, American Physical Society, 2015, doi:10.1103/PhysRevE.91.022906.
LibreCat: https://research-explorer.ista.ac.at/record/1868
DOI: 10.1103/PhysRevE.91.022906

Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random Band Matrices II: The General Case.”10.1007/s00023-014-0333-5__Annales Henri Poincare, vol. 16, no. 3, Springer, 2015, pp. 709–99, doi:10.1007/s00023-014-0333-5.
LibreCat: https://research-explorer.ista.ac.at/record/1864
DOI: 10.1007/s00023-014-0333-5

Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.”10.1145/2688906__ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2, 8, ACM, 2015, doi:10.1145/2688906.
LibreCat: https://research-explorer.ista.ac.at/record/1861
DOI: 10.1145/2688906

Henzinger, Thomas A., and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.”10.1145/2701001__Communications of the ACM, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:10.1145/2701001.
LibreCat: https://research-explorer.ista.ac.at/record/1866
DOI: 10.1145/2701001

Grones, Peter, and Jií Friml. “Auxin Transporters and Binding Proteins at a Glance.”10.1242/jcs.159418__Journal of Cell Science, vol. 128, no. 1, Company of Biologists, 2015, pp. 1–7, doi:10.1242/jcs.159418.
LibreCat: https://research-explorer.ista.ac.at/record/1871
DOI: 10.1242/jcs.159418

Boccara, Charlotte N., et al. “A Three-Plane Architectonic Atlas of the Rat Hippocampal Region.”10.1002/hipo.22407__Hippocampus, vol. 25, no. 7, Wiley, 2015, pp. 838–57, doi:10.1002/hipo.22407.
LibreCat: https://research-explorer.ista.ac.at/record/1874
DOI: 10.1002/hipo.22407

Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.”10.1016/j.artint.2014.12.009__Artificial Intelligence, vol. 221, Elsevier, 2015, pp. 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., et al. “Developing 3D SEM in a Broad Biological Context.”10.1111/jmi.12211__Journal of Microscopy, vol. 259, no. 2, Wiley-Blackwell, 2015, pp. 80–96, doi:10.1111/jmi.12211.
LibreCat: https://research-explorer.ista.ac.at/record/1879
DOI: 10.1111/jmi.12211

Könenberg, Martin, et al. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.”10.1088/1367-2630/17/1/013022__New Journal of Physics, vol. 17, 013022, IOP Publishing Ltd., 2015, 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, Uli, et al. Compositionality for Quantitative Specifications. Vol. 8997, Springer, 2015, pp. 306–24, 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, Stephanie, et al. “Anomalous Scaling in an Age-Dependent Branching Model.”10.1103/PhysRevE.91.022803__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 2, 022803, American Institute of Physics, 2015, doi:10.1103/PhysRevE.91.022803.
LibreCat: https://research-explorer.ista.ac.at/record/1883
DOI: 10.1103/PhysRevE.91.022803
arXiv: 1012.3298

Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.”10.1007/s10265-014-0691-6__Journal of Plant Research, vol. 128, no. 2, Springer, 2015, pp. 223–38, doi:10.1007/s10265-014-0691-6.
LibreCat: https://research-explorer.ista.ac.at/record/1878
DOI: 10.1007/s10265-014-0691-6

Tkadik, Gasper, et al. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.”10.1534/genetics.114.171850__Genetics, vol. 199, no. 1, Genetics Society of America, 2015, pp. 39–59, doi:10.1534/genetics.114.171850.
LibreCat: https://research-explorer.ista.ac.at/record/1885
DOI: 10.1534/genetics.114.171850

Sokolowski, Thomas R., and Gasper Tkadik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.”10.1103/PhysRevE.91.062710__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 6, 062710, American Institute of Physics, 2015, doi:10.1103/PhysRevE.91.062710.
LibreCat: https://research-explorer.ista.ac.at/record/1940
DOI: 10.1103/PhysRevE.91.062710

Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local Extrema in Quantum Chaos.”10.1016/j.physleta.2014.12.010__Physics Letters, Section A, vol. 379, no. 6, Elsevier, 2015, pp. 535–41, doi:10.1016/j.physleta.2014.12.010.
LibreCat: https://research-explorer.ista.ac.at/record/1938
DOI: 10.1016/j.physleta.2014.12.010

Rakusová, Hana, et al. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.”10.1016/j.pbi.2014.12.002__Current Opinion in Plant Biology, vol. 23, no. 2, Elsevier, 2015, pp. 116–23, doi:10.1016/j.pbi.2014.12.002.
LibreCat: https://research-explorer.ista.ac.at/record/1944
DOI: 10.1016/j.pbi.2014.12.002

Gupta, Ashutosh, et al. Succinct Representation of Concurrent Trace Sets. ACM, 2015, pp. 433–44, doi:10.1145/2676726.2677008.
LibreCat: https://research-explorer.ista.ac.at/record/1992
DOI: 10.1145/2676726.2677008

Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov Degree Two.”10.1016/j.jsc.2014.09.014__Journal of Symbolic Computation, vol. 68/Part 2, no. May-June, Elsevier, 2015, pp. 285–96, 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, Anna, and Tamás Rudas. “Iterative Scaling in Curved Exponential Families.”10.1111/sjos.12139__Scandinavian Journal of Statistics, vol. 42, no. 3, Wiley, 2015, pp. 832–47, doi:10.1111/sjos.12139.
LibreCat: https://research-explorer.ista.ac.at/record/2008
DOI: 10.1111/sjos.12139

Hein, Nicolas, et al. “The Monotone Secant Conjecture in the Real Schubert Calculus.”10.1080/10586458.2014.980044__Experimental Mathematics, vol. 24, no. 3, Taylor &; Francis, 2015, pp. 261–69, doi:10.1080/10586458.2014.980044.
LibreCat: https://research-explorer.ista.ac.at/record/2006
DOI: 10.1080/10586458.2014.980044

Klimova, Anna, et al. “Faithfulness and Learning Hypergraphs from Discrete Distributions.”10.1016/j.csda.2015.01.017__Computational Statistics &; Data Analysis, vol. 87, no. 7, Elsevier, 2015, pp. 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, Daiki, et al. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.”10.1016/j.bbamcr.2014.10.009__Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 1, Elsevier, 2015, pp. 144–56, 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, Liang, et al. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.”10.1016/j.compfluid.2014.09.021__Computers and Fluids, vol. 106, no. 1, Elsevier, 2015, pp. 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, Herbert, et al. “The Persistent Homology of a Self-Map.”10.1007/s10208-014-9223-y__Foundations of Computational Mathematics, vol. 15, no. 5, Springer, 2015, pp. 1213–44, 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éatrice, et al. “Probabilistic Opacity for Markov Decision Processes.”10.1016/j.ipl.2014.09.001__10.1016/j.ipl.2014.09.001__Information Processing Letters, vol. 115, no. 1, Elsevier, 2015, pp. 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, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.”10.1007/s00205-014-0781-6__Archive for Rational Mechanics and Analysis, vol. 215, no. 2, Springer, 2015, pp. 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ászló, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.”10.1007/s00220-014-2119-5__Communications in Mathematical Physics, vol. 333, no. 3, Springer, 2015, pp. 1365–416, doi:10.1007/s00220-014-2119-5.
LibreCat: https://research-explorer.ista.ac.at/record/2166
DOI: 10.1007/s00220-014-2119-5

Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.”10.2168/LMCS-11(1:20)2015__Logical Methods in Computer Science, vol. 11, no. 1, 20, International Federation of Computational Logic, 2015, 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, Vladimir, et al. “The Power of Linear Programming for General-Valued CSPs.”10.1137/130945648__SIAM Journal on Computing, vol. 44, no. 1, SIAM, 2015, pp. 1–36, doi:10.1137/130945648.
LibreCat: https://research-explorer.ista.ac.at/record/2271
DOI: 10.1137/130945648
arXiv: 1311.4219

Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.”10.1016/j.tcs.2015.01.050__Theoretical Computer Science, vol. 573, no. 3, Elsevier, 2015, pp. 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

Attali, Dominique, et al. “Homological Reconstruction and Simplification in .”10.1016/j.comgeo.2014.08.010__Computational Geometry: Theory and Applications, vol. 48, no. 8, Elsevier, 2015, pp. 606–21, doi:10.1016/j.comgeo.2014.08.010.
LibreCat: https://research-explorer.ista.ac.at/record/1805
DOI: 10.1016/j.comgeo.2014.08.010

Chatterjee, Krishnendu, et al. “Randomness for Free.”10.1016/j.ic.2015.06.003__Information and Computation, vol. 245, no. 12, Elsevier, 2015, pp. 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, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.”10.1145/2699430__Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
LibreCat: https://research-explorer.ista.ac.at/record/1856
DOI: 10.1145/2699430

Chatterjee, Krishnendu, et al. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.”10.1109/LICS.2015.34__Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, 7174888, IEEE, 2015, doi:10.1109/LICS.2015.34.
LibreCat: https://research-explorer.ista.ac.at/record/1661
DOI: 10.1109/LICS.2015.34

Lewin, Mathieu, et al. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.”10.5802/jep.18__Journal de l’Ecole Polytechnique - Mathematiques, vol. 2, Ecole Polytechnique, 2015, pp. 65–115, doi:10.5802/jep.18.
LibreCat: https://research-explorer.ista.ac.at/record/473
DOI: 10.5802/jep.18

Holst, Katrin, et al. “The Serotonin Receptor 5-HR Regulates the Morphology and Migratory Properties of Dendritic Cells.”10.1242/jcs.167999__Journal of Cell Science, vol. 128, no. 15, Company of Biologists, 2015, pp. 2866–80, doi:10.1242/jcs.167999.
LibreCat: https://research-explorer.ista.ac.at/record/477
DOI: 10.1242/jcs.167999

Chatterjee, Krishnendu, et al. “Looking at Mean-Payoff and Total-Payoff through Windows.”10.1016/j.ic.2015.03.010__Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 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

Li, Wenyang, et al. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.”10.1016/j.cell.2015.09.037__Cell, vol. 163, no. 3, Cell Press, 2015, pp. 670–83, doi:10.1016/j.cell.2015.09.037.
LibreCat: https://research-explorer.ista.ac.at/record/532
DOI: 10.1016/j.cell.2015.09.037

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.”10.1016/j.ic.2015.03.009__Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 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, Umair, et al. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, vol. 2, AAAI Press, 2015, pp. 745–52.
LibreCat: https://research-explorer.ista.ac.at/record/1481

Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IEEE, 2015, pp. 325–30, 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, Krishnendu, et al. 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

Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IEEE, 2015, pp. 244–56, doi:10.1109/LICS.2015.32.
LibreCat: https://research-explorer.ista.ac.at/record/1657
DOI: 10.1109/LICS.2015.32

Chatterjee, Krishnendu, et al. “Nested Weighted Automata.”10.1109/LICS.2015.72__Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, 7174926, IEEE, 2015, doi:10.1109/LICS.2015.72.
LibreCat: https://research-explorer.ista.ac.at/record/1656
DOI: 10.1109/LICS.2015.72
arXiv: 1606.03598

Chatterjee, Krishnendu, et al. 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, Krishnendu, et al. 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, Krishnendu, et al. 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, Udi, et al. “The Target Discounted-Sum Problem.”10.1109/LICS.2015.74__LICS, IEEE, 2015, pp. 750–61, doi:10.1109/LICS.2015.74.
LibreCat: https://research-explorer.ista.ac.at/record/1659
DOI: 10.1109/LICS.2015.74

Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.”10.1007/978-3-662-47666-6_10__42nd International Colloquium, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, 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, Krishnendu, et al. 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, Krishnendu, et al. 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, Udi, et al. 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, Krishnendu, et al. 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, Krishnendu, et al. 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, Krishnendu, et al. 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, Johannes, 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, Krishnendu, et al. 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, Xavier, et al. On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result. Vol. 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–90, doi:10.4230/LIPIcs.SOCG.2015.476.
LibreCat: https://research-explorer.ista.ac.at/record/1511
DOI: 10.4230/LIPIcs.SOCG.2015.476

Kolmogorov, Vladimir, et al. The Complexity of General-Valued CSPs. IEEE, 2015, pp. 1246–58, doi:10.1109/FOCS.2015.80.
LibreCat: https://research-explorer.ista.ac.at/record/1637
DOI: 10.1109/FOCS.2015.80

Engel, Jakob, et al. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.”10.1093/glycob/cwv059__Glycobiology, vol. 25, no. 12, Oxford University Press, 2015, pp. 1423–30, doi:10.1093/glycob/cwv059.
LibreCat: https://research-explorer.ista.ac.at/record/802
DOI: 10.1093/glycob/cwv059
PMID: 26306635

Chevereau, Guillaume, et al. Excel File Containing the Raw Data for All Figures. Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9711
DOI: 10.1371/journal.pbio.1002299.s001

Mcmahon, Dino, et al. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.”10.1111/1365-2656.12345__Journal of Animal Ecology, vol. 84, no. 3, Wiley, 2015, pp. 615–24, doi:10.1111/1365-2656.12345.
LibreCat: https://research-explorer.ista.ac.at/record/1855
DOI: 10.1111/1365-2656.12345
PMID: 25646973

Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.”10.1098/rstb.2014.0108__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, The, 2015, doi:10.1098/rstb.2014.0108.
LibreCat: https://research-explorer.ista.ac.at/record/1830
DOI: 10.1098/rstb.2014.0108
PMID: 25870394

Theis, Fabian, et al. Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies. Dryad, 2015, doi:10.5061/dryad.dj2bf.
LibreCat: https://research-explorer.ista.ac.at/record/9721
DOI: 10.5061/dryad.dj2bf

Friedlander, Tamar, et al. Supporting Information Text. Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9718
DOI: 10.1371/journal.pcbi.1004055.s001

Symonova, Olga, et al. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.”10.1371/journal.pone.0127657__PLoS One, vol. 10, no. 6, e0127657, Public Library of Science, 2015, doi:10.1371/journal.pone.0127657.
LibreCat: https://research-explorer.ista.ac.at/record/1793
DOI: 10.1371/journal.pone.0127657

Symonova, Olga, et al. Root Traits Computed by DynamicRoots for the Maize Root Shown in Fig 2. Public Library of Science, 2015, doi:10.1371/journal.pone.0127657.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9737
DOI: 10.1371/journal.pone.0127657.s001

Friedlander, Tamar, et al. “Evolution of Bow-Tie Architectures in Biology.”10.1371/journal.pcbi.1004055__PLoS Computational Biology, vol. 11, no. 3, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.
LibreCat: https://research-explorer.ista.ac.at/record/1827
DOI: 10.1371/journal.pcbi.1004055

Trubenova, Barbora, et al. “Indirect Genetic Effects and the Dynamics of Social Interactions.”10.1371/journal.pone.0126907__PLoS One, vol. 10, no. 5, Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.
LibreCat: https://research-explorer.ista.ac.at/record/1809
DOI: 10.1371/journal.pone.0126907

Trubenova, Barbora, et al. Description of the Agent Based Simulations. Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.s003.
LibreCat: https://research-explorer.ista.ac.at/record/9772
DOI: 10.1371/journal.pone.0126907.s003

Friedlander, Tamar, et al. Evolutionary Simulation Code. Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.s002.
LibreCat: https://research-explorer.ista.ac.at/record/9773
DOI: 10.1371/journal.pcbi.1004055.s002

Rodrigues, Jessica A., and Daniel Zilberman. “Evolution and Function of Genomic Imprinting in Plants.”10.1101/gad.269902.115__Genes and Development, vol. 29, no. 24, Cold Spring Harbor Laboratory Press, 2015, pp. 2517–2531, doi:10.1101/gad.269902.115.
LibreCat: https://research-explorer.ista.ac.at/record/9532
DOI: 10.1101/gad.269902.115
PMID: 26680300

Gómez Sicilia, Àngel, et al. “An Exploration of the Universe of Polyglutamine Structures.”10.1371/journal.pcbi.1004541__PLoS Computational Biology, vol. 11, no. 10, e1004541, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004541.
LibreCat: https://research-explorer.ista.ac.at/record/1566
DOI: 10.1371/journal.pcbi.1004541

Tugrul, Murat, et al. Other Fitness Models for Comparison &; for Interacting TFBSs. Public Library of Science, 2015, doi:10.1371/journal.pgen.1005639.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9712
DOI: 10.1371/journal.pgen.1005639.s001

Gómez Sicilia, Àngel, et al. An Exploration of the Universe of Polyglutamine Structures - Submission to PLOS Journals. Public Library of Science , 2015, doi:10.1371/journal.pcbi.1004541.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9714
DOI: 10.1371/journal.pcbi.1004541.s001

Trubenova, Barbora, et al. Mathematical Inference of the Results. Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.s001.
LibreCat: https://research-explorer.ista.ac.at/record/9715
DOI: 10.1371/journal.pone.0126907.s001

Konrad, Matthias, et al. “Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.”10.1098/rspb.2014.1976__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799, 20141976, The Royal Society, 2015, doi:10.1098/rspb.2014.1976.
LibreCat: https://research-explorer.ista.ac.at/record/1993
DOI: 10.1098/rspb.2014.1976
PMID: 25473011

Westhus, Claudia, et al. Data from: Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant. Dryad, 2015, doi:10.5061/dryad.7kc79.
LibreCat: https://research-explorer.ista.ac.at/record/9742
DOI: 10.5061/dryad.7kc79

Chevereau, Guillaume, et al. Gene Ontology Enrichment Analysis for the Most Sensitive Gene Deletion Strains for All Drugs. Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.s008.
LibreCat: https://research-explorer.ista.ac.at/record/9765
DOI: 10.1371/journal.pbio.1002299.s008