Lundholm, Douglas, Phan Nam, and Fabian Portmann. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.”https://doi.org/10.1007/s00205-015-0923-5__Archive for Rational Mechanics and Analysis. Springer, 2016.https://doi.org/10.1007/s00205-015-0923-5 .
LibreCat: https://research-explorer.ista.ac.at/record/1622
DOI: 10.1007/s00205-015-0923-5

Kelleher, Jerome, Alison Etheridge, Amandine Véber, and Nicholas H Barton. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.”https://doi.org/10.1016/j.tpb.2015.10.008__Theoretical Population Biology. Academic Press, 2016.https://doi.org/10.1016/j.tpb.2015.10.008 .
LibreCat: https://research-explorer.ista.ac.at/record/1631
DOI: 10.1016/j.tpb.2015.10.008

Zemová, Radka, Marta Zwiewka, Agnieszka Bielach, Hélène Robert, and Jií Friml. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.”https://doi.org/10.1007/s00344-015-9553-2__Journal of Plant Growth Regulation. Springer, 2016.https://doi.org/10.1007/s00344-015-9553-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1641
DOI: 10.1007/s00344-015-9553-2

Fuchsbauer, Georg, Christian Hanser, Chethan Kamath Hosdurg, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions,”https://doi.org/10.1007/978-3-319-44618-9_21__9841:391–408. Springer, 2016.https://doi.org/10.1007/978-3-319-44618-9_21 .
LibreCat: https://research-explorer.ista.ac.at/record/1225
DOI: 10.1007/978-3-319-44618-9_21

Okamoto, Tatsuaki, Krzysztof Z Pietrzak, Brent Waters, and Daniel Wichs. “New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators,”https://doi.org/10.1007/978-3-662-48797-6_6__9452:121–45. Springer, 2016.https://doi.org/10.1007/978-3-662-48797-6_6 .
LibreCat: https://research-explorer.ista.ac.at/record/1653
DOI: 10.1007/978-3-662-48797-6_6

Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.”https://doi.org/10.1007/s10009-015-0393-y__International Journal on Software Tools for Technology Transfer. Springer, 2016.https://doi.org/10.1007/s10009-015-0393-y .
LibreCat: https://research-explorer.ista.ac.at/record/1705
DOI: 10.1007/s10009-015-0393-y

Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.”https://doi.org/10.1016/j.jmva.2015.10.005__Journal of Multivariate Analysis. Elsevier, 2016.https://doi.org/10.1016/j.jmva.2015.10.005 .
LibreCat: https://research-explorer.ista.ac.at/record/1833
DOI: 10.1016/j.jmva.2015.10.005

Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.”https://doi.org/10.1007/s00440-014-0610-8__Probability Theory and Related Fields. Springer, 2016.https://doi.org/10.1007/s00440-014-0610-8 .
LibreCat: https://research-explorer.ista.ac.at/record/1881
DOI: 10.1007/s00440-014-0610-8

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.”https://doi.org/10.1007/s11856-016-1294-9__Israel Journal of Mathematics. Springer, 2016.https://doi.org/10.1007/s11856-016-1294-9 .
LibreCat: https://research-explorer.ista.ac.at/record/1411
DOI: 10.1007/s11856-016-1294-9

Krenn, Stephan, Krzysztof Z Pietrzak, Akshay Wadia, and Daniel Wichs. “A Counterexample to the Chain Rule for Conditional HILL Entropy.”https://doi.org/10.1007/s00037-015-0120-9__Computational Complexity. Springer, 2016.https://doi.org/10.1007/s00037-015-0120-9 .
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,”https://doi.org/10.3233/978-1-61499-672-9-1432__285:1432–39. IOS Press, 2016.https://doi.org/10.3233/978-1-61499-672-9-1432 .
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,”https://doi.org/10.1145/2933575.2934513__05-08-July-2016:247–56. IEEE, 2016.https://doi.org/10.1145/2933575.2934513 .
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,”https://doi.org/10.4230/LIPIcs.SoCG.2016.24__51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016.https://doi.org/10.4230/LIPIcs.SoCG.2016.24 .
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives.”https://doi.org/10.1016/j.jcss.2016.02.009__Journal of Computer and System Sciences. Elsevier, 2016.https://doi.org/10.1016/j.jcss.2016.02.009 .
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.”https://doi.org/10.1016/j.artint.2016.01.007__Artificial Intelligence. Elsevier, 2016.https://doi.org/10.1016/j.artint.2016.01.007 .
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-523-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2016-648-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016.https://doi.org/10.15479/AT:IST-2017-749-v3-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1