Sokolowski, Thomas R, and Gasper Tkadik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.”https://doi.org/10.1103/PhysRevE.91.062710__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2015.https://doi.org/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.”https://doi.org/10.1016/j.physleta.2014.12.010__Physics Letters, Section A. Elsevier, 2015.https://doi.org/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, Matyas Fendrych, and Jií Friml. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.”https://doi.org/10.1016/j.pbi.2014.12.002__Current Opinion in Plant Biology. Elsevier, 2015.https://doi.org/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, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta, and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,”https://doi.org/10.1145/2676726.2677008__433–44. ACM, 2015.https://doi.org/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.”https://doi.org/10.1016/j.jsc.2014.09.014__Journal of Symbolic Computation. Elsevier, 2015.https://doi.org/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.”https://doi.org/10.1111/sjos.12139__Scandinavian Journal of Statistics. Wiley, 2015.https://doi.org/10.1111/sjos.12139 .
LibreCat: https://research-explorer.ista.ac.at/record/2008
DOI: 10.1111/sjos.12139

Hein, Nicolas, Christopher Hillar, Abraham Martin del Campo Sanchez, Frank Sottile, and Zach Teitler. “The Monotone Secant Conjecture in the Real Schubert Calculus.”https://doi.org/10.1080/10586458.2014.980044__Experimental Mathematics. Taylor &; Francis, 2015.https://doi.org/10.1080/10586458.2014.980044 .
LibreCat: https://research-explorer.ista.ac.at/record/2006
DOI: 10.1080/10586458.2014.980044

Klimova, Anna, Caroline Uhler, and Tamás Rudas. “Faithfulness and Learning Hypergraphs from Discrete Distributions.”https://doi.org/10.1016/j.csda.2015.01.017__Computational Statistics &; Data Analysis. Elsevier, 2015.https://doi.org/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, Hiromu Kobayashi, Tsuyoshi Tomita, Eisuke Nakata, Makoto Nagano, Daria E Siekhaus, Junko Toshima, and Jiro Toshimaa. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.”https://doi.org/10.1016/j.bbamcr.2014.10.009__Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier, 2015.https://doi.org/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, Markus Rampp, Björn Hof, and Marc Avila. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.”https://doi.org/10.1016/j.compfluid.2014.09.021__Computers and Fluids. Elsevier, 2015.https://doi.org/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, Grzegorz Jablonski, and Marian Mrozek. “The Persistent Homology of a Self-Map.”https://doi.org/10.1007/s10208-014-9223-y__Foundations of Computational Mathematics. Springer, 2015.https://doi.org/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, Krishnendu Chatterjee, and Nathalie Sznajder. “Probabilistic Opacity for Markov Decision Processes.”https://doi.org/10.1016/j.ipl.2014.09.001__https://doi.org/10.1016/j.ipl.2014.09.001__Information Processing Letters. Elsevier, 2015.https://doi.org/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.”https://doi.org/10.1007/s00205-014-0781-6__Archive for Rational Mechanics and Analysis. Springer, 2015.https://doi.org/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.”https://doi.org/10.1007/s00220-014-2119-5__Communications in Mathematical Physics. Springer, 2015.https://doi.org/10.1007/s00220-014-2119-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2166
DOI: 10.1007/s00220-014-2119-5

Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.”https://doi.org/10.2168/LMCS-11(1:20)2015__Logical Methods in Computer Science. International Federation of Computational Logic, 2015.https://doi.org/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, Johan Thapper, and Stanislav divný. “The Power of Linear Programming for General-Valued CSPs.”https://doi.org/10.1137/130945648__SIAM Journal on Computing. SIAM, 2015.https://doi.org/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.”https://doi.org/10.1515/forum-2013-6024__Forum Mathematicum. Walter de Gruyter GmbH, 2015.https://doi.org/10.1515/forum-2013-6024 .
LibreCat: https://research-explorer.ista.ac.at/record/257
DOI: 10.1515/forum-2013-6024

Browning, Timothy D. “A Survey of Applications of the Circle Method to Rational Points.”https://doi.org/10.1017/CBO9781316106877.009__In Arithmetic and Geometry, 89–113. Cambridge University Press, 2015.https://doi.org/10.1017/CBO9781316106877.009 .
LibreCat: https://research-explorer.ista.ac.at/record/258
DOI: 10.1017/CBO9781316106877.009

Browning, Timothy D, and Pankaj Vishe. “Rational Points on Cubic Hypersurfaces over F_q(T) .”https://doi.org/10.1007/s00039-015-0328-5__Geometric and Functional Analysis. Birkhäuser, 2015.https://doi.org/10.1007/s00039-015-0328-5 .
LibreCat: https://research-explorer.ista.ac.at/record/259
DOI: 10.1007/s00039-015-0328-5

Chatterjee, Krishnendu, Manas Joglekar, and Nisarg Shah. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.”https://doi.org/10.1016/j.tcs.2015.01.050__Theoretical Computer Science. Elsevier, 2015.https://doi.org/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, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in .”https://doi.org/10.1016/j.comgeo.2014.08.010__Computational Geometry: Theory and Applications. Elsevier, 2015.https://doi.org/10.1016/j.comgeo.2014.08.010 .
LibreCat: https://research-explorer.ista.ac.at/record/1805
DOI: 10.1016/j.comgeo.2014.08.010

Walter, Marc, Kostiantyn Kravchyk, Maria Ibáñez, and Maksym Kovalenko. “Efficient and Inexpensive Sodium Magnesium Hybrid Battery.”https://doi.org/10.1021/acs.chemmater.5b03531__Chemistry of Materials. ACS, 2015.https://doi.org/10.1021/acs.chemmater.5b03531 .
LibreCat: https://research-explorer.ista.ac.at/record/333
DOI: 10.1021/acs.chemmater.5b03531

Ibáñez, Maria, Rachel Korkosz, Zhishan Luo, Pau Riba, Doris Cadavid, Silvia Ortega, Andreu Cabot, and Mercouri Kanatzidis. “Electron Doping in Bottom up Engineered Thermoelectric Nanomaterials through HCl Mediated Ligand Displacement.”https://doi.org/10.1021/jacs.5b00091__Journal of the American Chemical Society. American Chemical Society, 2015.https://doi.org/10.1021/jacs.5b00091 .
LibreCat: https://research-explorer.ista.ac.at/record/354
DOI: 10.1021/jacs.5b00091

Yu, Xuelian, Jingjing Liu, Aziz Genç, Maria Ibáñez, Zhishan Luo, Alexey Shavel, Jordi Arbiol, Guangjin Zhang, Yihe Zhang, and Andreu Cabot. “Cu2ZnSn-AS Nanoscale p-n Heterostructures as Sensitizers for Photoelectrochemical Water Splitting.”https://doi.org/10.1021/acs.langmuir.5b02490__Langmuir. American Chemical Society, 2015.https://doi.org/10.1021/acs.langmuir.5b02490 .
LibreCat: https://research-explorer.ista.ac.at/record/360
DOI: 10.1021/acs.langmuir.5b02490

Lu, Zhishan, Maria Ibáñez, Ana Antolín, Aziz Genç, Alexey Shavel, Sandra Contreras, Francesc Medina, Jordi Arbiol, and Andreu Cabot. “Size and Aspect Ratio Control of Pd Inf 2 Inf Sn Nanorods and Their Water Denitration Properties.”https://doi.org/10.1021/la504906q__Langmuir. American Chemical Society, 2015.https://doi.org/10.1021/la504906q .
LibreCat: https://research-explorer.ista.ac.at/record/362
DOI: 10.1021/la504906q

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.”https://doi.org/10.1016/j.ic.2015.06.003__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.06.003 .
LibreCat: https://research-explorer.ista.ac.at/record/1731
DOI: 10.1016/j.ic.2015.06.003

Yu, Xuelian, Jingjing Liu, Aziz Genç, Maria Ibáñez, Zhishan Luo, Alexey Shavel, Jordi Arbiol, Guangjin Zhang, Yihe Zhang, and Andreu Cabot. “Cu2ZnSn–AS Nanoscale p–n Heterostructures as Sensitizers for Photoelectrochemical Water Splitting.”https://doi.org/10.1021/acs.langmuir.5b02490__Langmuir. American Chemical Society, 2015.https://doi.org/10.1021/acs.langmuir.5b02490 .
LibreCat: https://research-explorer.ista.ac.at/record/334
DOI: 10.1021/acs.langmuir.5b02490

Yu, Xuelian, Xiaoqiang An, Aziz Genç, Maria Ibáñez, Jordi Arbiol, Yihe Zhang, and Andreu Cabot. “Cu2ZnSn–PtM (M = Co, Ni) Nanoheterostructures for Photocatalytic Hydrogen Evolution.”https://doi.org/10.1021/acs.jpcc.5b06199__Journal of Physical Chemistry C. American Chemical Society, 2015.https://doi.org/10.1021/acs.jpcc.5b06199 .
LibreCat: https://research-explorer.ista.ac.at/record/361
DOI: 10.1021/acs.jpcc.5b06199

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.”https://doi.org/10.1145/2699430__Journal of the ACM. ACM, 2015.https://doi.org/10.1145/2699430 .
LibreCat: https://research-explorer.ista.ac.at/record/1856
DOI: 10.1145/2699430

Alpichshev, Zhanybek, Fahad Mahmood, Gang Cao, and Nuh Gedik. “Confinement Deconfinement Transition as an Indication of Spin Liquid Type Behavior in NIrO3.”https://doi.org/10.1103/PhysRevLett.114.017203__Physical Review Letters. American Physical Society, 2015.https://doi.org/10.1103/PhysRevLett.114.017203 .
LibreCat: https://research-explorer.ista.ac.at/record/388
DOI: 10.1103/PhysRevLett.114.017203

Chatterjee, Krishnendu, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.”https://doi.org/10.1109/LICS.2015.34__In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015.https://doi.org/10.1109/LICS.2015.34 .
LibreCat: https://research-explorer.ista.ac.at/record/1661
DOI: 10.1109/LICS.2015.34

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