Altmeyer, S., Do, Y., &; Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports. Nature Publishing Group.https://doi.org/10.1038/srep10781 
LibreCat: https://research-explorer.ista.ac.at/record/1804
DOI: 10.1038/srep10781

Rei, D., Mason, X., Seo, J., Gräff, J., Rudenko, A., Wang, J.,https://doi.org/10.1073/pnas.1415845112__Tsai, L. (2015). Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a /Cdk5-dependent pathway. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1415845112 
LibreCat: https://research-explorer.ista.ac.at/record/1803
DOI: 10.1073/pnas.1415845112

Goldman, M., &; Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations. EDP Sciences.https://doi.org/10.1051/cocv/2014040 
LibreCat: https://research-explorer.ista.ac.at/record/1807
DOI: 10.1051/cocv/2014040

Siegert, S., Seo, J., Kwon, E., Rudenko, A., Cho, S., Wang, W.,https://doi.org/10.1038/nn.4023__Tsai, L. (2015). The schizophrenia risk gene product miR-137 alters presynaptic plasticity. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.4023 
LibreCat: https://research-explorer.ista.ac.at/record/1802
DOI: 10.1038/nn.4023

Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. Elsevier.https://doi.org/10.1016/j.mib.2015.05.008 
LibreCat: https://research-explorer.ista.ac.at/record/1810
DOI: 10.1016/j.mib.2015.05.008

Lahrz, M., Lemeshko, M., &; Mathey, L. (2015). Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics. IOP Publishing Ltd.https://doi.org/10.1088/1367-2630/17/4/045005 
LibreCat: https://research-explorer.ista.ac.at/record/1812
DOI: 10.1088/1367-2630/17/4/045005

Safari, L., Santos, J., Amaro, P., Jänkälä, K., &; Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4921227 
LibreCat: https://research-explorer.ista.ac.at/record/1811
DOI: 10.1063/1.4921227

Schmidt, R., &; Lemeshko, M. (2015). Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.114.203001 
LibreCat: https://research-explorer.ista.ac.at/record/1813
DOI: 10.1103/PhysRevLett.114.203001

Gupta, A., &; Henzinger, T. A. (2015). Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. ACM.https://doi.org/10.1145/2745799 
LibreCat: https://research-explorer.ista.ac.at/record/1808
DOI: 10.1145/2745799

Porazinski, S., Wang, H., Asaoka, Y., Behrndt, M., Miyamoto, T., Morita, H.,https://doi.org/10.1038/nature14215__Furutani Seiki, M. (2015). YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. Nature Publishing Group.https://doi.org/10.1038/nature14215 
LibreCat: https://research-explorer.ista.ac.at/record/1817
DOI: 10.1038/nature14215
PMID: 25778702

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2015). Optimal cost almost-sure reachability in POMDPs. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence  (Vol. 5, pp. 3496–3502). Austin, TX, USA: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/1820
arXiv: 1411.3880

Jeschke, S., &; Wojtan, C. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2714572 
LibreCat: https://research-explorer.ista.ac.at/record/1814
DOI: 10.1145/2714572

Polechova, J., &; Barton, N. H. (2015). Limits to adaptation along environmental gradients. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1421515112 
LibreCat: https://research-explorer.ista.ac.at/record/1818
DOI: 10.1073/pnas.1421515112
PMID: 25941385

Zwiewka, M., Nodzyski, T., Robert, S., Vanneste, S., &; Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. Elsevier.https://doi.org/10.1016/j.molp.2015.03.007 
LibreCat: https://research-explorer.ista.ac.at/record/1819
DOI: 10.1016/j.molp.2015.03.007

Chevereau, G., &; Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.15252/msb.20156098 
LibreCat: https://research-explorer.ista.ac.at/record/1823
DOI: 10.15252/msb.20156098

Knebel, J., Weber, M., Krüger, T. H., &; Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms7977 
LibreCat: https://research-explorer.ista.ac.at/record/1824
DOI: 10.1038/ncomms7977

Kappeler, P., Cremer, S., &; Nunn, C. (2015). Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.https://doi.org/10.1098/rstb.2014.0116 
LibreCat: https://research-explorer.ista.ac.at/record/1831
DOI: 10.1098/rstb.2014.0116
PMID: 25870402

Akopyan, A., Pirogov, S., &; Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-015-1238-5 
LibreCat: https://research-explorer.ista.ac.at/record/1828
DOI: 10.1007/s10955-015-1238-5

Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., &; Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer.https://doi.org/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, R., Chatterjee, K., Jacobs, S., &; Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/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, T., Chatterjee, K., Forejt, V., &; Kudera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/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, J., Braunshier, P., Schwegel, M., Kuhlmann, H., &; Hof, B. (2015). Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2015.184 
LibreCat: https://research-explorer.ista.ac.at/record/1837
DOI: 10.1017/jfm.2015.184
arXiv: 1508.06559

Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V.,https://doi.org/10.1002/ijc.29498__Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. Wiley.https://doi.org/10.1002/ijc.29498 
LibreCat: https://research-explorer.ista.ac.at/record/1848
DOI: 10.1002/ijc.29498
PMID: 25716227

Benes, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., &; Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica. Springer.https://doi.org/10.1007/s00236-015-0215-4 
LibreCat: https://research-explorer.ista.ac.at/record/1846
DOI: 10.1007/s00236-015-0215-4

Vandael, D. H., Espinoza Martinez, C., &; Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron. Elsevier.https://doi.org/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, B., Petrov, T., Kubin, G., &; Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. IEEE.https://doi.org/10.1109/TAC.2014.2364971 
LibreCat: https://research-explorer.ista.ac.at/record/1840
DOI: 10.1109/TAC.2014.2364971

Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2014.2363465 
LibreCat: https://research-explorer.ista.ac.at/record/1841
DOI: 10.1109/TPAMI.2014.2363465

Himschoot, E., Beeckman, T., Friml, J., &; Vanneste, S. (2015). Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier.https://doi.org/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, P., &; Friml, J. (2015). AB: Finally docking. Molecular Plant. Elsevier.https://doi.org/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, S., &; Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. Elsevier.https://doi.org/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, T., Kisdi, E., &; Gyllenberg, M. (2015). Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating. Evolution. Wiley.https://doi.org/10.1111/evo.12618 
LibreCat: https://research-explorer.ista.ac.at/record/1851
DOI: 10.1111/evo.12618
PMID: 25662095

Shah, N., Kolmogorov, V., &; Lampert, C. (2015). A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle (pp. 2737–2745). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE.https://doi.org/10.1109/CVPR.2015.7298890 
LibreCat: https://research-explorer.ista.ac.at/record/1859
DOI: 10.1109/CVPR.2015.7298890

Royer, A., &; Lampert, C. (2015). Classifier adaptation at prediction time (pp. 1401–1409). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7298746 
LibreCat: https://research-explorer.ista.ac.at/record/1860
DOI: 10.1109/CVPR.2015.7298746

Lampert, C. (2015). Predicting the future behavior of a time-varying probability distribution (pp. 942–950). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7298696 
LibreCat: https://research-explorer.ista.ac.at/record/1858
DOI: 10.1109/CVPR.2015.7298696
arXiv: 1406.5362

Pentina, A., Sharmanska, V., &; Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE.https://doi.org/10.1109/CVPR.2015.7299188 
LibreCat: https://research-explorer.ista.ac.at/record/1857
DOI: 10.1109/CVPR.2015.7299188

Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., &; Janovjak, H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. Wiley.https://doi.org/10.1002/elps.201400451 
LibreCat: https://research-explorer.ista.ac.at/record/1867
DOI: 10.1002/elps.201400451

Robert, H., Grunewald, W., Sauer, M., Cannoot, B., Soriano, M., Swarup, R.,https://doi.org/10.1242/dev.115832__Friml, J. (2015). Plant embryogenesis requires AUX/LAX-mediated auxin influx. Development. Company of Biologists.https://doi.org/10.1242/dev.115832 
LibreCat: https://research-explorer.ista.ac.at/record/1865
DOI: 10.1242/dev.115832

Park, Y., Do, Y., Altmeyer, S., Lai, Y., &; Lee, G. (2015). Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E. American Physical Society.https://doi.org/10.1103/PhysRevE.91.022906 
LibreCat: https://research-explorer.ista.ac.at/record/1868
DOI: 10.1103/PhysRevE.91.022906

Erdös, L., &; Knowles, A. (2015). The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare. Springer.https://doi.org/10.1007/s00023-014-0333-5 
LibreCat: https://research-explorer.ista.ac.at/record/1864
DOI: 10.1007/s00023-014-0333-5

Ruess, J., &; Lygeros, J. (2015). Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation. ACM.https://doi.org/10.1145/2688906 
LibreCat: https://research-explorer.ista.ac.at/record/1861
DOI: 10.1145/2688906

Henzinger, T. A., &; Raskin, J. (2015). The equivalence problem for finite automata: Technical perspective. Communications of the ACM. ACM.https://doi.org/10.1145/2701001 
LibreCat: https://research-explorer.ista.ac.at/record/1866
DOI: 10.1145/2701001

Grones, P., &; Friml, J. (2015). Auxin transporters and binding proteins at a glance. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.159418 
LibreCat: https://research-explorer.ista.ac.at/record/1871
DOI: 10.1242/jcs.159418

Boccara, C. N., Kjønigsen, L., Hammer, I., Bjaalie, J., Leergaard, T., &; Witter, M. (2015). A three-plane architectonic atlas of the rat hippocampal region. Hippocampus. Wiley.https://doi.org/10.1002/hipo.22407 
LibreCat: https://research-explorer.ista.ac.at/record/1874
DOI: 10.1002/hipo.22407

Chatterjee, K., &; Chmelik, M. (2015). POMDPs under probabilistic semantics. Artificial Intelligence. Elsevier.https://doi.org/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., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych, M.,https://doi.org/10.1111/jmi.12211__Guérin, C. (2015). Developing 3D SEM in a broad biological context. Journal of Microscopy. Wiley-Blackwell.https://doi.org/10.1111/jmi.12211 
LibreCat: https://research-explorer.ista.ac.at/record/1879
DOI: 10.1111/jmi.12211

Könenberg, M., Moser, T., Seiringer, R., &; Yngvason, J. (2015). Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics. IOP Publishing Ltd.https://doi.org/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, U., Kretinsky, J., Legay, A., &; Traonouez, L. (2015). Compositionality for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy: Springer.https://doi.org/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, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., &; Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/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, E., &; Prieto, J. (2015). Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research. Springer.https://doi.org/10.1007/s10265-014-0691-6 
LibreCat: https://research-explorer.ista.ac.at/record/1878
DOI: 10.1007/s10265-014-0691-6

Tkadik, G., Dubuis, J., Petkova, M., &; Gregor, T. (2015). Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.114.171850 
LibreCat: https://research-explorer.ista.ac.at/record/1885
DOI: 10.1534/genetics.114.171850

Sokolowski, T. R., &; Tkadik, G. (2015). Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.91.062710 
LibreCat: https://research-explorer.ista.ac.at/record/1940
DOI: 10.1103/PhysRevE.91.062710

Pausinger, F., &; Steinerberger, S. (2015). On the distribution of local extrema in quantum chaos. Physics Letters, Section A. Elsevier.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á, H., Fendrych, M., &; Friml, J. (2015). Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology. Elsevier.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, A., Henzinger, T. A., Radhakrishna, A., Samanta, R., &; Tarrach, T. (2015). Succinct representation of concurrent trace sets (pp. 433–444). Presented at the POPL: Principles of Programming Languages, Mumbai, India: ACM.https://doi.org/10.1145/2676726.2677008 
LibreCat: https://research-explorer.ista.ac.at/record/1992
DOI: 10.1145/2676726.2677008

Noren, P. (2015). The three-state toric homogeneous Markov chain model has Markov degree two. Journal of Symbolic Computation. Elsevier.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, A., &; Rudas, T. (2015). Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. Wiley.https://doi.org/10.1111/sjos.12139 
LibreCat: https://research-explorer.ista.ac.at/record/2008
DOI: 10.1111/sjos.12139

Hein, N., Hillar, C., Martin del Campo Sanchez, A., Sottile, F., &; Teitler, Z. (2015). The monotone secant conjecture in the real Schubert calculus. Experimental Mathematics. Taylor &; Francis.https://doi.org/10.1080/10586458.2014.980044 
LibreCat: https://research-explorer.ista.ac.at/record/2006
DOI: 10.1080/10586458.2014.980044

Klimova, A., Uhler, C., &; Rudas, T. (2015). Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics &; Data Analysis. Elsevier.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, D., Kobayashi, H., Tomita, T., Nakata, E., Nagano, M., Siekhaus, D. E.,https://doi.org/10.1016/j.bbamcr.2014.10.009__Toshimaa, J. (2015). The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. Elsevier.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, L., Rampp, M., Hof, B., &; Avila, M. (2015). A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids. Elsevier.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, H., Jablonski, G., &; Mrozek, M. (2015). The persistent homology of a self-map. Foundations of Computational Mathematics. Springer.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., Chatterjee, K., &; Sznajder, N. (2015). Probabilistic opacity for Markov decision processes. https://doi.org/10.1016/j.ipl.2014.09.001__Information Processing Letters. Elsevier.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, P., &; Seiringer, R. (2015). Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. Springer.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., &; Knowles, A. (2015). The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case. Communications in Mathematical Physics. Springer.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, S., Henzinger, T. A., Sezgin, A., &; Vafeiadis, V. (2015). Aspect-oriented linearizability proofs. Logical Methods in Computer Science. International Federation of Computational Logic.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, V., Thapper, J., &; divný, S. (2015). The power of linear programming for general-valued CSPs. SIAM Journal on Computing. SIAM.https://doi.org/10.1137/130945648 
LibreCat: https://research-explorer.ista.ac.at/record/2271
DOI: 10.1137/130945648
arXiv: 1311.4219

Browning, T. D., &; Munshi, R. (2015). Pairs of diagonal quadratic forms and linear correlations among sums of two squares. Forum Mathematicum. Walter de Gruyter GmbH.https://doi.org/10.1515/forum-2013-6024 
LibreCat: https://research-explorer.ista.ac.at/record/257
DOI: 10.1515/forum-2013-6024

Browning, T. D. (2015). A survey of applications of the circle method to rational points. In Arithmetic and Geometry (pp. 89–113). Cambridge University Press.https://doi.org/10.1017/CBO9781316106877.009 
LibreCat: https://research-explorer.ista.ac.at/record/258
DOI: 10.1017/CBO9781316106877.009

Browning, T. D., &; Vishe, P. (2015). Rational points on cubic hypersurfaces over F_q(t) . Geometric and Functional Analysis. Birkhäuser.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, K., Joglekar, M., &; Shah, N. (2015). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. Elsevier.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, D., Bauer, U., Devillers, O., Glisse, M., &; Lieutier, A. (2015). Homological reconstruction and simplification in . Computational Geometry: Theory and Applications. Elsevier.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, M., Kravchyk, K., Ibáñez, M., &; Kovalenko, M. (2015). Efficient and inexpensive sodium magnesium hybrid battery. Chemistry of Materials. ACS.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, M., Korkosz, R., Luo, Z., Riba, P., Cadavid, D., Ortega, S.,https://doi.org/10.1021/jacs.5b00091__Kanatzidis, M. (2015). Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/jacs.5b00091 
LibreCat: https://research-explorer.ista.ac.at/record/354
DOI: 10.1021/jacs.5b00091

Yu, X., Liu, J., Genç, A., Ibáñez, M., Luo, Z., Shavel, A.,https://doi.org/10.1021/acs.langmuir.5b02490__Cabot, A. (2015). Cu2ZnSn-AS nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir. American Chemical Society.https://doi.org/10.1021/acs.langmuir.5b02490 
LibreCat: https://research-explorer.ista.ac.at/record/360
DOI: 10.1021/acs.langmuir.5b02490

Lu, Z., Ibáñez, M., Antolín, A., Genç, A., Shavel, A., Contreras, S.,https://doi.org/10.1021/la504906q__Cabot, A. (2015). Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties. Langmuir. American Chemical Society.https://doi.org/10.1021/la504906q 
LibreCat: https://research-explorer.ista.ac.at/record/362
DOI: 10.1021/la504906q

Chatterjee, K., Doyen, L., Gimbert, H., &; Henzinger, T. A. (2015). Randomness for free. Information and Computation. Elsevier.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, X., Liu, J., Genç, A., Ibáñez, M., Luo, Z., Shavel, A.,https://doi.org/10.1021/acs.langmuir.5b02490__Cabot, A. (2015). Cu2ZnSn–AS Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir. American Chemical Society.https://doi.org/10.1021/acs.langmuir.5b02490 
LibreCat: https://research-explorer.ista.ac.at/record/334
DOI: 10.1021/acs.langmuir.5b02490

Yu, X., An, X., Genç, A., Ibáñez, M., Arbiol, J., Zhang, Y., &; Cabot, A. (2015). Cu2ZnSn–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution. Journal of Physical Chemistry C. American Chemical Society.https://doi.org/10.1021/acs.jpcc.5b06199 
LibreCat: https://research-explorer.ista.ac.at/record/361
DOI: 10.1021/acs.jpcc.5b06199

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Singh, R. (2015). Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. ACM.https://doi.org/10.1145/2699430 
LibreCat: https://research-explorer.ista.ac.at/record/1856
DOI: 10.1145/2699430

Alpichshev, Z., Mahmood, F., Cao, G., &; Gedik, N. (2015). Confinement deconfinement transition as an indication of spin liquid type behavior in NIrO3. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.114.017203 
LibreCat: https://research-explorer.ista.ac.at/record/388
DOI: 10.1103/PhysRevLett.114.017203

Chatterjee, K., Henzinger, M. H., &; Loitzenbauer, V. (2015). Improved algorithms for one-pair and k-pair Streett objectives. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.34 
LibreCat: https://research-explorer.ista.ac.at/record/1661
DOI: 10.1109/LICS.2015.34

Lewin, M., Nam, P., &; Rougerie, N. (2015). Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique.https://doi.org/10.5802/jep.18 
LibreCat: https://research-explorer.ista.ac.at/record/473
DOI: 10.5802/jep.18

Holst, K., Guseva, D., Schindler, S., Sixt, M. K., Braun, A., Chopra, H.,https://doi.org/10.1242/jcs.167999__Ponimaskin, E. (2015). The serotonin receptor 5-HR regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/jcs.167999 
LibreCat: https://research-explorer.ista.ac.at/record/477
DOI: 10.1242/jcs.167999

Chatterjee, K., Doyen, L., Randour, M., &; Raskin, J. (2015). Looking at mean-payoff and total-payoff through windows. Information and Computation. Elsevier.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, W., Ma, M., Feng, Y., Li, H., Wang, Y., Ma, Y.,https://doi.org/10.1016/j.cell.2015.09.037__Guo, H. (2015). EIN2-directed translational regulation of ethylene signaling in arabidopsis. Cell. Cell Press.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, K., &; Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation. Elsevier.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, U., Chatterjee, K., &; Gulwani, S. (2015). Automatic generation of alternative starting positions for simple traditional board games. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 2, pp. 745–752). Austin, TX, USA: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/1481

Chatterjee, K., Chmelik, M., Gupta, R., &; Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE.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, K., Ibsen-Jensen, R., &; Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria.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, &; Anonymous, 2. (2015). Optimal cost indefinite-horizon reachability in goal DEC-POMDPs. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5434

Chatterjee, K., Komárková, Z., &; Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.32 
LibreCat: https://research-explorer.ista.ac.at/record/1657
DOI: 10.1109/LICS.2015.32

Chatterjee, K., Henzinger, T. A., &; Otop, J. (2015). Nested weighted automata. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE.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, K., Komarkova, Z., &; Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria.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, K., Komarkova, Z., &; Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria.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, K., Henzinger, T. A., &; Otop, J. (2015). Nested weighted automata. IST Austria.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, U., Henzinger, T. A., &; Otop, J. (2015). The target discounted-sum problem. In LICS (pp. 750–761). Kyoto, Japan: IEEE.https://doi.org/10.1109/LICS.2015.74 
LibreCat: https://research-explorer.ista.ac.at/record/1659
DOI: 10.1109/LICS.2015.74

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &; Otop, J. (2015). Edit distance for pushdown automata. In 42nd International Colloquium (Vol. 9135, pp. 121–133). Kyoto, Japan: Springer Nature.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, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria.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, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria.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, U., Henzinger, T. A., &; Otop, J. (2015). The target discounted-sum problem. IST Austria.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