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

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

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

Browning, Timothy D., and Ritabrata Munshi. “Pairs of Diagonal Quadratic Forms and Linear Correlations among Sums of Two Squares.”10.1515/forum-2013-6024__Forum Mathematicum, vol. 27, no. 4, Walter de Gruyter GmbH, 2015, pp. 2025–50, doi:10.1515/forum-2013-6024.
LibreCat: https://research-explorer.ista.ac.at/record/257
DOI: 10.1515/forum-2013-6024

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

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

Alpichshev, Zhanybek, et al. “Confinement Deconfinement Transition as an Indication of Spin Liquid Type Behavior in NIrO3.”10.1103/PhysRevLett.114.017203__Physical Review Letters, vol. 114, no. 1, American Physical Society, 2015, doi:10.1103/PhysRevLett.114.017203.
LibreCat: https://research-explorer.ista.ac.at/record/388
DOI: 10.1103/PhysRevLett.114.017203

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

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

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

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

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

Fenk, Lorenz A., and Mario de Bono. “Environmental CO2 Inhibits Caenorhabditis Elegans Egg-Laying by Modulating Olfactory Neurons and Evokes Widespread Changes in Neural Activity.”10.1073/pnas.1423808112__Proceedings of the National Academy of Sciences, vol. 112, no. 27, National Academy of Sciences, 2015, pp. 25–34, doi:10.1073/pnas.1423808112.
LibreCat: https://research-explorer.ista.ac.at/record/6118
DOI: 10.1073/pnas.1423808112
PMID: 26100886

Laurent, Patrick, et al. “Decoding a Neural Circuit Controlling Global Animal State in C. Elegans.”10.7554/elife.04241__ELife, vol. 4, e04241, eLife Sciences Publications, 2015, doi:10.7554/elife.04241.
LibreCat: https://research-explorer.ista.ac.at/record/6120
DOI: 10.7554/elife.04241
PMID: 25760081

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

Mondelli, Marco, et al. “Achieving Marton’s Region for Broadcast Channels Using Polar Codes.”10.1109/tit.2014.2368555__IEEE Transactions on Information Theory, vol. 61, no. 2, IEEE, 2015, pp. 783–800, doi:10.1109/tit.2014.2368555.
LibreCat: https://research-explorer.ista.ac.at/record/6737
DOI: 10.1109/tit.2014.2368555
arXiv: 1401.6060

Mondelli, Marco, et al. “Scaling Exponent of List Decoders with Applications to Polar Codes.”10.1109/tit.2015.2453315__IEEE Transactions on Information Theory, vol. 61, no. 9, IEEE, 2015, pp. 4838–51, doi:10.1109/tit.2015.2453315.
LibreCat: https://research-explorer.ista.ac.at/record/6736
DOI: 10.1109/tit.2015.2453315
arXiv: 1304.5220

Adams, Mark James, et al. “Social Genetic and Social Environment Effects on Parental and Helper Care in a Cooperatively Breeding Bird.”10.1098/rspb.2015.0689__Proceedings of the Royal Society B: Biological Sciences, vol. 282, no. 1810, 20150689, The Royal Society, 2015, doi:10.1098/rspb.2015.0689.
LibreCat: https://research-explorer.ista.ac.at/record/7741
DOI: 10.1098/rspb.2015.0689
PMID: 26063846

Santure, Anna W., et al. “Replicated Analysis of the Genetic Architecture of Quantitative Traits in Two Wild Great Tit Populations.”10.1111/mec.13452__Molecular Ecology, vol. 24, Wiley, 2015, pp. 6148–62, doi:10.1111/mec.13452.
LibreCat: https://research-explorer.ista.ac.at/record/7739
DOI: 10.1111/mec.13452

Alistarh, Dan-Adrian, et al. Inherent Limitations of Hybrid Transactional Memory. Vol. 9363, Springer, 2015, pp. 185–99, doi:10.1007/978-3-662-48653-5_13.
LibreCat: https://research-explorer.ista.ac.at/record/778
DOI: 10.1007/978-3-662-48653-5_13
arXiv: 1405.5689

Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the Linear Response of  Disordered Solids.” ArXiv:1510.08820, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/7779
arXiv: 1510.08820

Alistarh, Dan-Adrian, and Rati Gelashvili. Polylogarithmic-Time Leader Election in Population Protocols. Vol. 9135, Springer, 2015, pp. 479–91, doi:10.1007/978-3-662-47666-6_38.
LibreCat: https://research-explorer.ista.ac.at/record/780
DOI: 10.1007/978-3-662-47666-6_38
arXiv: 1502.05745

Alistarh, Dan-Adrian, et al. How to Elect a Leader Faster than a Tournament. Vol. 2015–July, ACM, 2015, pp. 365–74, doi:10.1145/2767386.2767420.
LibreCat: https://research-explorer.ista.ac.at/record/783
DOI: 10.1145/2767386.2767420

Palacci, Jérémie A., et al. “Artificial Rheotaxis.”10.1126/sciadv.1400214__Science Advances, vol. 1, no. 4, e1400214, American Association for the Advancement of Science , 2015, doi:10.1126/sciadv.1400214.
LibreCat: https://research-explorer.ista.ac.at/record/9057
DOI: 10.1126/sciadv.1400214
PMID: 26601175
arXiv: 1505.05111

Lefauve, Adrien, et al. “A Three-Dimensional Map of Tidal Dissipation over Abyssal Hills.”10.1002/2014jc010598__Journal of Geophysical Research: Oceans, vol. 120, no. 7, American Geophysical Union, 2015, pp. 4760–77, doi:10.1002/2014jc010598.
LibreCat: https://research-explorer.ista.ac.at/record/9141
DOI: 10.1002/2014jc010598

Sehring, Ivonne, et al. “Assembly and Positioning of Actomyosin Rings by Contractility and Planar Cell Polarity.”10.7554/eLife.09206__ELife, vol. 4, e09206, eLife Sciences Publications, 2015, doi:10.7554/eLife.09206.
LibreCat: https://research-explorer.ista.ac.at/record/928
DOI: 10.7554/eLife.09206

Krivelevich, Michael, et al. “Cycles and Matchings in Randomly Perturbed Digraphs and Hypergraphs.”10.1016/j.endm.2015.06.027__Electronic Notes in Discrete Mathematics, vol. 49, Elsevier, 2015, pp. 181–87, doi:10.1016/j.endm.2015.06.027.
LibreCat: https://research-explorer.ista.ac.at/record/9575
DOI: 10.1016/j.endm.2015.06.027
arXiv: 1501.04816

Cheng, Bingqing, et al. “Solid-Liquid Interfacial Free Energy out of Equilibrium.”10.1103/physrevb.92.180102__Physical Review B - Condensed Matter and Materials Physics, vol. 92, no. 18, 180102, American Physical Society, 2015, doi:10.1103/physrevb.92.180102.
LibreCat: https://research-explorer.ista.ac.at/record/9688
DOI: 10.1103/physrevb.92.180102
arXiv: 1511.08668

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

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

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

Zeljkovic, Ilija, et al. “Dirac Mass Generation from Crystal Symmetry Breaking on the Surfaces of Topological Crystalline Insulators.”10.1038/nmat4215__Nature Materials, vol. 14, no. 3, Nature Publishing Group, 2015, pp. 318–24, doi:10.1038/nmat4215.
LibreCat: https://research-explorer.ista.ac.at/record/981
DOI: 10.1038/nmat4215

Serbyn, Maksym, et al. “Criterion for Many-Body Localization-Delocalization Phase Transition.”10.1103/PhysRevX.5.041047__Physical Review X, vol. 5, no. 4, American Physical Society, 2015, doi:10.1103/PhysRevX.5.041047.
LibreCat: https://research-explorer.ista.ac.at/record/982
DOI: 10.1103/PhysRevX.5.041047

Higginbotham, Andrew P., et al. “Parity Lifetime of Bound States in a Proximitized Semiconductor Nanowire.”10.1038/nphys3461__Nature Physics, vol. 11, no. 12, Nature Publishing Group, 2015, pp. 1017–21, doi:10.1038/nphys3461.
LibreCat: https://research-explorer.ista.ac.at/record/99
DOI: 10.1038/nphys3461
arXiv: 1501.05155

García, Simón, et al. “Physics of Active Jamming during Collective Cellular Motion in a Monolayer.”10.1073/pnas.1510973112__PNAS, vol. 112, no. 50, National Academy of Sciences, 2015, pp. 15314–19, doi:10.1073/pnas.1510973112.
LibreCat: https://research-explorer.ista.ac.at/record/933
DOI: 10.1073/pnas.1510973112
PMID: 26627719

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

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

Pellicciotti, Francesca, et al. “Mass-Balance Changes of the Debris-Covered Glaciers in the Langtang Himal, Nepal, from 1974 to 1999.”10.3189/2015jog13j237__Journal of Glaciology, vol. 61, no. 226, International Glaciological Society, 2015, pp. 373–86, doi:10.3189/2015jog13j237.
LibreCat: https://research-explorer.ista.ac.at/record/12628
DOI: 10.3189/2015jog13j237

Shea, J. M., et al. “A Comparative High-Altitude Meteorological Analysis from Three Catchments in the Nepalese Himalaya.”10.1080/07900627.2015.1020417__International Journal of Water Resources Development, vol. 31, no. 2, Taylor &; Francis, 2015, pp. 174–200, doi:10.1080/07900627.2015.1020417.
LibreCat: https://research-explorer.ista.ac.at/record/12629
DOI: 10.1080/07900627.2015.1020417

Steiner, Jakob F., et al. “Modelling Ice-Cliff Backwasting on a Debris-Covered Glacier in the Nepalese Himalaya.”10.3189/2015jog14j194__Journal of Glaciology, vol. 61, no. 229, International Glaciological Society, 2015, pp. 889–907, doi:10.3189/2015jog14j194.
LibreCat: https://research-explorer.ista.ac.at/record/12626
DOI: 10.3189/2015jog14j194

Herreid, Sam, et al. “Satellite Observations Show No Net Change in the Percentage of Supraglacial Debris-Covered Area in Northern Pakistan from 1977 to 2014.”10.3189/2015jog14j227__Journal of Glaciology, vol. 61, no. 227, International Glaciological Society, 2015, pp. 524–36, doi:10.3189/2015jog14j227.
LibreCat: https://research-explorer.ista.ac.at/record/12627
DOI: 10.3189/2015jog14j227

Veldkamp, Christopher, et al. “Solution Structure of CCL19 and Identification of Overlapping CC and PSGL-1 Binding Sites.”10.1021/acs.biochem.5b00560__Biochemistry, vol. 54, no. 27, American Chemical Society, 2015, pp. 4163–66, doi:10.1021/acs.biochem.5b00560.
LibreCat: https://research-explorer.ista.ac.at/record/1618
DOI: 10.1021/acs.biochem.5b00560
PMID: 26115234

Martius, Georg S., and Eckehard Olbrich. “Quantifying Self-Organizing Behavior of Autonomous Robots.”10.7551/978-0-262-33027-5-ch018__Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 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

Lee, Ji-Woong, and Rafal Klajn. “Dual-Responsive Nanoparticles That Aggregate under the Simultaneous Action of Light and CO2.”10.1039/c4cc08541h__Chemical Communications, vol. 51, no. 11, Royal Society of Chemistry, 2015, pp. 2036–39, doi:10.1039/c4cc08541h.
LibreCat: https://research-explorer.ista.ac.at/record/13395
DOI: 10.1039/c4cc08541h
PMID: 25417754

Singh, Gurvinder, et al. “Magnetic Field-Induced Self-Assembly of Iron Oxide Nanocubes.”10.1039/c4fd00265b__Faraday Discussions, vol. 181, Royal Society of Chemistry, 2015, pp. 403–21, doi:10.1039/c4fd00265b.
LibreCat: https://research-explorer.ista.ac.at/record/13397
DOI: 10.1039/c4fd00265b
PMID: 25920522

Zhang, Song Bin, et al. “Theoretical Study of Molecular Electronic and Rotational Coherences by High-Order-Harmonic Generation.”10.1103/physreva.91.023421__Physical Review A, vol. 91, no. 2, 023421, American Physical Society, 2015, doi:10.1103/physreva.91.023421.
LibreCat: https://research-explorer.ista.ac.at/record/14017
DOI: 10.1103/physreva.91.023421
arXiv: 1504.03933

Kraus, P. M., et al. “Observation of Laser-Induced Electronic Structure in Oriented Polyatomic Molecules.”10.1038/ncomms8039__Nature Communications, vol. 6, 7039, Springer Nature, 2015, doi:10.1038/ncomms8039.
LibreCat: https://research-explorer.ista.ac.at/record/14016
DOI: 10.1038/ncomms8039
PMID: 25940229

Kraus, P. M., et al. “Attosecond Charge Migration and Its Laser Control.”10.1088/1742-6596/635/11/112136__Journal of Physics: Conference Series, vol. 635, no. 11, 112136, IOP Publishing, 2015, doi:10.1088/1742-6596/635/11/112136.
LibreCat: https://research-explorer.ista.ac.at/record/14015
DOI: 10.1088/1742-6596/635/11/112136

Walt, Samuel G., et al. “Resolving the Dynamics of Valence-Shell Electrons and Nuclei through Laser-Induced Diffraction and Holography.”10.1088/1742-6596/635/11/112135__Journal of Physics: Conference Series, vol. 635, no. 11, 112135, IOP Publishing, 2015, doi:10.1088/1742-6596/635/11/112135.
LibreCat: https://research-explorer.ista.ac.at/record/14014
DOI: 10.1088/1742-6596/635/11/112135

Wielgoss, Sébastien, et al. Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria. Dryad, 2015, doi:10.5061/dryad.cj910.
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. Institute of Science and Technology Austria, 2015, doi:10.15479/at:ista:1401.
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

Reiter, Johannes, et al. “Biological Auctions with Multiple Rewards.”10.1098/rspb.2015.1041__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, Royal Society, 2015, doi:10.1098/rspb.2015.1041.
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

Tugrul, Murat, et al. “Dynamics of Transcription Factor Binding Site Evolution.”10.1371/journal.pgen.1005639__PLoS Genetics, vol. 11, no. 11, Public Library of Science, 2015, doi:10.1371/journal.pgen.1005639.
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Benes, Nikola, et al. Complete Composition Operators for IOCO-Testing Theory. ACM, 2015, pp. 101–10, doi:10.1145/2737166.2737175.
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

Chatterjee, Krishnendu, et al. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.”10.1007/s10703-015-0235-2__Formal Methods in System Design, vol. 47, no. 2, Springer, 2015, pp. 230–64, doi:10.1007/s10703-015-0235-2.
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.”10.1145/2676726.2676979__ACM SIGPLAN Notices, vol. 50, no. 1, ACM, 2015, pp. 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, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, 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, David, and Chris Wojtan. High-Resolution Brittle Fracture Simulation with Boundary Elements. Vol. 34, no. 4, 151, ACM, 2015, doi:10.1145/2766896.
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht, Verena, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.”10.1016/j.cell.2015.01.008__Cell, vol. 160, no. 4, Cell Press, 2015, pp. 673–85, 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, Maciek, and Jií Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.”10.1105/tpc.114.134874__Plant Cell, vol. 27, no. 1, American Society of Plant Biologists, 2015, pp. 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