Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.”https://doi.org/10.5802/jep.18__Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique, 2015.https://doi.org/10.5802/jep.18 .
LibreCat: https://research-explorer.ista.ac.at/record/473
DOI: 10.5802/jep.18

Holst, Katrin, Daria Guseva, Susann Schindler, Michael K Sixt, Armin Braun, Himpriya Chopra, Oliver Pabst, and Evgeni Ponimaskin. “The Serotonin Receptor 5-HR Regulates the Morphology and Migratory Properties of Dendritic Cells.”https://doi.org/10.1242/jcs.167999__Journal of Cell Science. Company of Biologists, 2015.https://doi.org/10.1242/jcs.167999 .
LibreCat: https://research-explorer.ista.ac.at/record/477
DOI: 10.1242/jcs.167999

Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.”https://doi.org/10.1016/j.ic.2015.03.010__Information and Computation. Elsevier, 2015.https://doi.org/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, Mengdi Ma, Ying Feng, Hongjiang Li, Yichuan Wang, Yutong Ma, Mingzhe Li, Fengying An, and Hongwei Guo. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.”https://doi.org/10.1016/j.cell.2015.09.037__Cell. Cell Press, 2015.https://doi.org/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.”https://doi.org/10.1016/j.ic.2015.03.009__Information and Computation. Elsevier, 2015.https://doi.org/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, Krishnendu Chatterjee, and Sumit Gulwani. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2:745–52. AAAI Press, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1481

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications,”https://doi.org/10.1109/ICRA.2015.7139019__325–30. IEEE, 2015.https://doi.org/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, Rasmus Ibsen-Jensen, and Kristoffer Hansen. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015.https://doi.org/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, Zuzana Komárková, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.”https://doi.org/10.1109/LICS.2015.32__LICS. IEEE, 2015.https://doi.org/10.1109/LICS.2015.32 .
LibreCat: https://research-explorer.ista.ac.at/record/1657
DOI: 10.1109/LICS.2015.32

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1109/LICS.2015.72__In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015.https://doi.org/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, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015.https://doi.org/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, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015.https://doi.org/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, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015.https://doi.org/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, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.”https://doi.org/10.1109/LICS.2015.74__In LICS, 750–61. Logic in Computer Science. IEEE, 2015.https://doi.org/10.1109/LICS.2015.74 .
LibreCat: https://research-explorer.ista.ac.at/record/1659
DOI: 10.1109/LICS.2015.74

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.1007/978-3-662-47666-6_10__In 42nd International Colloquium, 9135:121–33. Springer Nature, 2015.https://doi.org/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, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015.https://doi.org/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, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015.https://doi.org/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, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015.https://doi.org/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, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. Edit Distance for Pushdown Automata. IST Austria, 2015.https://doi.org/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, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015.https://doi.org/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, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015.https://doi.org/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, Alvin Makohon-Moore, Jeffrey Gerold, Ivana Bozic, Krishnendu Chatterjee, Christine Iacobuzio-Donahue, Bert Vogelstein, and Martin Nowak. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015.https://doi.org/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, Martin Chmelik, and Jessica Davies. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015.https://doi.org/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

Biswas, Ranita, and Partha Bhowmick. “From Prima Quadraginta Octant to Lattice Sphere through Primitive Integer Operations.”https://doi.org/10.1016/j.tcs.2015.11.018__Theoretical Computer Science. Elsevier, 2015.https://doi.org/10.1016/j.tcs.2015.11.018 .
LibreCat: https://research-explorer.ista.ac.at/record/5804
DOI: 10.1016/j.tcs.2015.11.018

Biswas, Ranita, and Partha Bhowmick. “On Different Topological Classes of Spherical Geodesic Paths and Circles InZ3.”https://doi.org/10.1016/j.tcs.2015.09.003__Theoretical Computer Science. Elsevier, 2015.https://doi.org/10.1016/j.tcs.2015.09.003 .
LibreCat: https://research-explorer.ista.ac.at/record/5807
DOI: 10.1016/j.tcs.2015.09.003

Biswas, Ranita, and Partha Bhowmick. “Layer the Sphere.”https://doi.org/10.1007/s00371-015-1101-3__The Visual Computer. Springer Nature, 2015.https://doi.org/10.1007/s00371-015-1101-3 .
LibreCat: https://research-explorer.ista.ac.at/record/5808
DOI: 10.1007/s00371-015-1101-3

Sainsbury, Sarah, Carrie Bernecky, and Patrick Cramer. “Structural Basis of Transcription Initiation by RNA Polymerase II.”https://doi.org/10.1038/nrm3952__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2015.https://doi.org/10.1038/nrm3952 .
LibreCat: https://research-explorer.ista.ac.at/record/594
DOI: 10.1038/nrm3952

Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result,”https://doi.org/10.4230/LIPIcs.SOCG.2015.476__34:476–90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015.https://doi.org/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.”https://doi.org/10.1073/pnas.1423808112__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2015.https://doi.org/10.1073/pnas.1423808112 .
LibreCat: https://research-explorer.ista.ac.at/record/6118
DOI: 10.1073/pnas.1423808112
PMID: 26100886

Laurent, Patrick, Zoltan Soltesz, Geoffrey M Nelson, Changchun Chen, Fausto Arellano-Carbajal, Emmanuel Levy, and Mario de Bono. “Decoding a Neural Circuit Controlling Global Animal State in C. Elegans.”https://doi.org/10.7554/elife.04241__ELife. eLife Sciences Publications, 2015.https://doi.org/10.7554/elife.04241 .
LibreCat: https://research-explorer.ista.ac.at/record/6120
DOI: 10.7554/elife.04241
PMID: 25760081

Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs,”https://doi.org/10.1109/FOCS.2015.80__1246–58. IEEE, 2015.https://doi.org/10.1109/FOCS.2015.80 .
LibreCat: https://research-explorer.ista.ac.at/record/1637
DOI: 10.1109/FOCS.2015.80

Zhou, Long, J. M. Hinerman, M. Blaszczyk, J. L. C. Miller, D. G. Conrady, A. D. Barrow, D. Y. Chirgadze, D. Bihan, R. W. Farndale, and A. B. Herr. “Structural Basis for Collagen Recognition by the Immune Receptor OSCAR.”https://doi.org/10.1182/blood-2015-08-667055__Blood. American Society of Hematology, 2015.https://doi.org/10.1182/blood-2015-08-667055 .
LibreCat: https://research-explorer.ista.ac.at/record/6507
DOI: 10.1182/blood-2015-08-667055
PMID: 26552697

Mondelli, Marco, Hamed Hassani, Igal Sason, and Rudiger Urbanke. “Achieving Marton’s Region for Broadcast Channels Using Polar Codes.”https://doi.org/10.1109/tit.2014.2368555__IEEE Transactions on Information Theory. IEEE, 2015.https://doi.org/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, Hamed Hassani, and Rudiger Urbanke. “Scaling Exponent of List Decoders with Applications to Polar Codes.”https://doi.org/10.1109/tit.2015.2453315__IEEE Transactions on Information Theory. IEEE, 2015.https://doi.org/10.1109/tit.2015.2453315 .
LibreCat: https://research-explorer.ista.ac.at/record/6736
DOI: 10.1109/tit.2015.2453315
arXiv: 1304.5220

Yu, Jing Fei, B. J. Ramshaw, I. Kokanovi, Kimberly A Modic, N. Harrison, James Day, Ruixing Liang, et al. “Magnetization of Underdoped YBCu3Oy above the Irreversibility Field.”https://doi.org/10.1103/physrevb.92.180509__Physical Review B. APS, 2015.https://doi.org/10.1103/physrevb.92.180509 .
LibreCat: https://research-explorer.ista.ac.at/record/7070
DOI: 10.1103/physrevb.92.180509

Caruntu, Daniela, Taha Rostamzadeh, Tommaso Costanzo, Saman Salemizadeh Parizi, and Gabriel Caruntu. “Solvothermal Synthesis and Controlled Self-Assembly of Monodisperse Titanium-Based Perovskite Colloidal Nanocrystals.”https://doi.org/10.1039/c5nr00737b__Nanoscale. RSC, 2015.https://doi.org/10.1039/c5nr00737b .
LibreCat: https://research-explorer.ista.ac.at/record/7456
DOI: 10.1039/c5nr00737b
PMID: 26168304

Parizi, Saman Salemizadeh, Gavin Conley, Tommaso Costanzo, Bob Howell, Axel Mellinger, and Gabriel Caruntu. “Fabrication of Barium Titanate/Acrylonitrile-Butadiene Styrene/Poly(Methyl Methacrylate) Nanocomposite Films for Hybrid Ferroelectric Capacitors.”https://doi.org/10.1039/c5ra11347d__RSC Advances. RSC, 2015.https://doi.org/10.1039/c5ra11347d .
LibreCat: https://research-explorer.ista.ac.at/record/7457
DOI: 10.1039/c5ra11347d

Robinson, Matthew Richard, Gibran Hemani, Carolina Medina-Gomez, Massimo Mezzavilla, Tonu Esko, Konstantin Shakhbazov, Joseph E Powell, et al. “Population Genetic Differentiation of Height and Body Mass Index across Europe.”https://doi.org/10.1038/ng.3401__Nature Genetics. Springer Nature, 2015.https://doi.org/10.1038/ng.3401 .
LibreCat: https://research-explorer.ista.ac.at/record/7742
DOI: 10.1038/ng.3401

Adams, Mark James, Matthew Richard Robinson, Maria-Elena Mannarelli, and Ben J. Hatchwell. “Social Genetic and Social Environment Effects on Parental and Helper Care in a Cooperatively Breeding Bird.”https://doi.org/10.1098/rspb.2015.0689__Proceedings of the Royal Society B: Biological Sciences. The Royal Society, 2015.https://doi.org/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., Jocelyn Poissant, Isabelle De Cauwer, Kees van Oers, Matthew Richard Robinson, John L. Quinn, Martien A. M. Groenen, Marcel E. Visser, Ben C. Sheldon, and Jon Slate. “Replicated Analysis of the Genetic Architecture of Quantitative Traits in Two Wild Great Tit Populations.”https://doi.org/10.1111/mec.13452__Molecular Ecology. Wiley, 2015.https://doi.org/10.1111/mec.13452 .
LibreCat: https://research-explorer.ista.ac.at/record/7739
DOI: 10.1111/mec.13452

Alistarh, Dan-Adrian, Justin Kopinsky, Jerry Li, and Nir Shavit. “The SprayList: A Scalable Relaxed Priority Queue,”https://doi.org/10.1145/2688500.2688523__2015–January:11–20. ACM, 2015.https://doi.org/10.1145/2688500.2688523 .
LibreCat: https://research-explorer.ista.ac.at/record/776
DOI: 10.1145/2688500.2688523

Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “The Principle of Independent Bond-Level Response: Tuning by Pruning to Exploit Disorder for Global Behavior.”https://doi.org/10.1103/physrevlett.114.225501__Physical Review Letters. American Physical Society, 2015.https://doi.org/10.1103/physrevlett.114.225501 .
LibreCat: https://research-explorer.ista.ac.at/record/7765
DOI: 10.1103/physrevlett.114.225501

Drongelen, Ruben van, Anshuman Pal, Carl Peter Goodrich, and Timon Idema. “Collective Dynamics of Soft Active Particles.”https://doi.org/10.1103/physreve.91.032706__Physical Review E. American Physical Society, 2015.https://doi.org/10.1103/physreve.91.032706 .
LibreCat: https://research-explorer.ista.ac.at/record/7767
DOI: 10.1103/physreve.91.032706

Sussman, Daniel M., Carl Peter Goodrich, Andrea J. Liu, and Sidney R. Nagel. “Disordered Surface Vibrations in Jammed Sphere Packings.”https://doi.org/10.1039/c4sm02905d__Soft Matter. Royal Society of Chemistry, 2015.https://doi.org/10.1039/c4sm02905d .
LibreCat: https://research-explorer.ista.ac.at/record/7766
DOI: 10.1039/c4sm02905d

Alistarh, Dan-Adrian, Jennifer Iglesias, and Milan Vojnovi. “Streaming Min-Max Hypergraph Partitioning,” 2015–January:1900–1908. Neural Information Processing Systems, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/777

Alistarh, Dan-Adrian, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, and Nir Shavit. “Inherent Limitations of Hybrid Transactional Memory,”https://doi.org/10.1007/978-3-662-48653-5_13__9363:185–99. Springer, 2015.https://doi.org/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, Alexander Matveev, William Leiserson, and Nir Shavit. “ThreadScan: Automatic and Scalable Memory Reclamation,”https://doi.org/10.1145/2755573.2755600__2015–June:123–32. ACM, 2015.https://doi.org/10.1145/2755573.2755600 .
LibreCat: https://research-explorer.ista.ac.at/record/779
DOI: 10.1145/2755573.2755600

Alistarh, Dan-Adrian, and Rati Gelashvili. “Polylogarithmic-Time Leader Election in Population Protocols,”https://doi.org/10.1007/978-3-662-47666-6_38__9135:479–91. Springer, 2015.https://doi.org/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