Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6122 Publications


2015 | Journal Article | IST-REx-ID: 1993 | OA
Konrad, Matthias, et al. “Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799, Royal Society, 2015, doi:10.1098/rspb.2014.1976.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1997 | OA
Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov Degree Two.” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June, Elsevier, 2015, pp. 285–96, doi:10.1016/j.jsc.2014.09.014.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2006 | OA
Hein, Nicolas, et al. “The Monotone Secant Conjecture in the Real Schubert Calculus.” Experimental Mathematics, vol. 24, no. 3, Taylor & Francis, 2015, pp. 261–69, doi:10.1080/10586458.2014.980044.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2008 | OA
Klimova, Anna, and Tamás Rudas. “Iterative Scaling in Curved Exponential Families.” Scandinavian Journal of Statistics, vol. 42, no. 3, Wiley, 2015, pp. 832–47, doi:10.1111/sjos.12139.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2014 | OA
Klimova, Anna, et al. “Faithfulness and Learning Hypergraphs from Discrete Distributions.” Computational Statistics & Data Analysis, vol. 87, no. 7, Elsevier, 2015, pp. 57–72, doi:10.1016/j.csda.2015.01.017.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2030 | OA
Shi, Liang, et al. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.” Computers and Fluids, vol. 106, no. 1, Elsevier, 2015, pp. 1–11, doi:10.1016/j.compfluid.2014.09.021.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2034 | OA
Bérard, Béatrice, et al. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters, vol. 115, no. 1, Elsevier, 2015, pp. 52–59, doi:10.1016/j.ipl.2014.09.001.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035 | OA
Edelsbrunner, Herbert, et al. “The Persistent Homology of a Self-Map.” Foundations of Computational Mathematics, vol. 15, no. 5, Springer, 2015, pp. 1213–44, doi:10.1007/s10208-014-9223-y.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2025 | OA
Kawada, Daiki, et al. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 1, Elsevier, 2015, pp. 144–56, doi:10.1016/j.bbamcr.2014.10.009.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová, Katarína, et al. “Erratum to: Characterizing Spiking in Noisy Type II Neurons [J. Theor. Biol. 365 (2015) 40–54].” Journal of Theoretical Biology, vol. 373, Elsevier, 2015, doi:10.1016/j.jtbi.2015.03.013.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085 | OA
Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis, vol. 215, no. 2, Springer, 2015, pp. 381–417, doi:10.1007/s00205-014-0781-6.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2166 | OA
Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.” Communications in Mathematical Physics, vol. 333, no. 3, Springer, 2015, pp. 1365–416, doi:10.1007/s00220-014-2119-5.
View | DOI | Download Preprint (ext.)
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, Florian. On the Approximation of Intrinsic Volumes. IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, Stefan, et al. Proofs of Space. Vol. 9216, Springer, 2015, pp. 585–605, doi:10.1007/978-3-662-48000-7_29.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1832 | OA
Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science, vol. 11, no. 1, 20, International Federation of Computational Logic, 2015, doi:10.2168/LMCS-11(1:20)2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 260
Browning, Timothy D., et al. “Erratum Rational Points on Intersections of Cubic and Quadric Hypersurfaces.” Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4, Cambridge University Press, 2015, doi:10.1017/S1474748014000279.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 256 | OA
Browning, Timothy D., and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2017, no. 731, Walter de Gruyter, 2015, doi:10.1515/crelle-2014-0122.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257 | OA
Browning, Timothy D., and Ritabrata Munshi. “Pairs of Diagonal Quadratic Forms and Linear Correlations among Sums of Two Squares.” Forum Mathematicum, vol. 27, no. 4, Walter de Gruyter GmbH, 2015, pp. 2025–50, doi:10.1515/forum-2013-6024.
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
Browning, Timothy D. “A Survey of Applications of the Circle Method to Rational Points.” Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113, doi:10.1017/CBO9781316106877.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
Browning, Timothy D., and Pankaj Vishe. “Rational Points on Cubic Hypersurfaces over F_q(T) .” Geometric and Functional Analysis, vol. 25, no. 3, Birkhäuser, 2015, pp. 671–732, doi:10.1007/s00039-015-0328-5.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science, vol. 573, no. 3, Elsevier, 2015, pp. 71–89, doi:10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, Vladimir, et al. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing, vol. 44, no. 1, SIAM, 2015, pp. 1–36, doi:10.1137/130945648.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1805
Attali, Dominique, et al. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications, vol. 48, no. 8, Elsevier, 2015, pp. 606–21, doi:10.1016/j.comgeo.2014.08.010.
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, Johannes. The Subclonal Evolution of Cancer. IST Austria, 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 333
Walter, Marc, et al. “Efficient and Inexpensive Sodium Magnesium Hybrid Battery.” Chemistry of Materials, vol. 27, no. 21, ACS, 2015, pp. 7452–58, doi:10.1021/acs.chemmater.5b03531.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 334
Yu, Xuelian, et al. “Cu2ZnSnS4–Ag2S Nanoscale p–n Heterostructures as Sensitizers for Photoelectrochemical Water Splitting.” Langmuir, vol. 31, no. 38, American Chemical Society, 2015, pp. 10555–61, doi:10.1021/acs.langmuir.5b02490.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
Ibáñez, Maria, et al. “Electron Doping in Bottom up Engineered Thermoelectric Nanomaterials through HCl Mediated Ligand Displacement.” Journal of the American Chemical Society, vol. 137, no. 12, American Chemical Society, 2015, pp. 4046–49, doi:10.1021/jacs.5b00091.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1661 | OA
Chatterjee, Krishnendu, et al. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, 7174888, IEEE, 2015, doi:10.1109/LICS.2015.34.
View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 360
Yu, Xuelian, et al. “Cu2ZnSnS4-Ag2S Nanoscale p-n Heterostructures as Sensitizers for Photoelectrochemical Water Splitting.” Langmuir, vol. 31, no. 38, American Chemical Society, 2015, pp. 10555–61, doi:10.1021/acs.langmuir.5b02490.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
Yu, Xuelian, et al. “Cu2ZnSnS4–PtM (M = Co, Ni) Nanoheterostructures for Photocatalytic Hydrogen Evolution.” Journal of Physical Chemistry C, vol. 119, no. 38, American Chemical Society, 2015, pp. 21882–88, doi:10.1021/acs.jpcc.5b06199.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Lu, Zhishan, et al. “Size and Aspect Ratio Control of Pd Inf 2 Inf Sn Nanorods and Their Water Denitration Properties.” Langmuir, vol. 31, no. 13, American Chemical Society, 2015, pp. 3952–57, doi:10.1021/la504906q.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, Krishnendu, et al. “Randomness for Free.” Information and Computation, vol. 245, no. 12, Elsevier, 2015, pp. 3–16, doi:10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 388 | OA
Alpichshev, Zhanybek, et al. “Confinement Deconfinement Transition as an Indication of Spin Liquid Type Behavior in Na2IrO3.” Physical Review Letters, vol. 114, no. 1, American Physical Society, 2015, doi:10.1103/PhysRevLett.114.017203.
View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc, Xavier, et al. Bounding Helly Numbers via Betti Numbers. Vol. 34, ACM, 2015, pp. 507–21, doi:10.4230/LIPIcs.SOCG.2015.507.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1678 | OA
Inglés Prieto, Álvaro, et al. “Light-Assisted Small-Molecule Screening against Protein Kinases.” Nature Chemical Biology, vol. 11, no. 12, Nature Publishing Group, 2015, pp. 952–54, doi:10.1038/nchembio.1933.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 473 | OA
Lewin, Mathieu, et al. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2, Ecole Polytechnique, 2015, pp. 65–115, doi:10.5802/jep.18.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 477
Holst, Katrin, et al. “The Serotonin Receptor 5-HT7R Regulates the Morphology and Migratory Properties of Dendritic Cells.” Journal of Cell Science, vol. 128, no. 15, Company of Biologists, 2015, pp. 2866–80, doi:10.1242/jcs.167999.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 532
Li, Wenyang, et al. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.” Cell, vol. 163, no. 3, Cell Press, 2015, pp. 670–83, doi:10.1016/j.cell.2015.09.037.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 523 | OA
Chatterjee, Krishnendu, et al. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 25–52, doi:10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 524 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 2–24, doi:10.1016/j.ic.2015.03.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1481 | OA
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.
View | Files available | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
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.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5431 | OA
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.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434 | OA
Anonymous, 1, and 2 Anonymous. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IEEE, 2015, pp. 244–56, doi:10.1109/LICS.2015.32.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, 7174926, IEEE, 2015, doi:10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 

2015 | Technical Report | IST-REx-ID: 5429 | OA
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.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5435 | OA
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.
View | Files available | DOI
 

Search

Filter Publications