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.

3453 Publications


2015 | Conference Paper | IST-REx-ID: 1992 | OA
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta, and T. Tarrach, “Succinct representation of concurrent trace sets,” presented at the POPL: Principles of Programming Languages, Mumbai, India, 2015, pp. 433–444.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1997 | OA
P. Noren, “The three-state toric homogeneous Markov chain model has Markov degree two,” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June. Elsevier, pp. 285–296, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2006 | OA
N. Hein, C. Hillar, A. Martin del Campo Sanchez, F. Sottile, and Z. Teitler, “The monotone secant conjecture in the real Schubert calculus,” Experimental Mathematics, vol. 24, no. 3. Taylor & Francis, pp. 261–269, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2008 | OA
A. Klimova and T. Rudas, “Iterative scaling in curved exponential families,” Scandinavian Journal of Statistics, vol. 42, no. 3. Wiley, pp. 832–847, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2014 | OA
A. Klimova, C. Uhler, and T. Rudas, “Faithfulness and learning hypergraphs from discrete distributions,” Computational Statistics & Data Analysis, vol. 87, no. 7. Elsevier, pp. 57–72, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2025 | OA
D. Kawada 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, pp. 144–156, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2030 | OA
L. Shi, M. Rampp, B. Hof, and M. Avila, “A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow,” Computers and Fluids, vol. 106, no. 1. Elsevier, pp. 1–11, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2034 | OA
B. Bérard, K. Chatterjee, and N. Sznajder, “Probabilistic opacity for Markov decision processes,” Information Processing Letters, vol. 115, no. 1. Elsevier, pp. 52–59, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035 | OA
H. Edelsbrunner, G. Jablonski, and M. Mrozek, “The persistent homology of a self-map,” Foundations of Computational Mathematics, vol. 15, no. 5. Springer, pp. 1213–1244, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085 | OA
P. Nam and R. Seiringer, “Collective excitations of Bose gases in the mean-field regime,” Archive for Rational Mechanics and Analysis, vol. 215, no. 2. Springer, pp. 381–417, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2166 | OA
L. Erdös and A. Knowles, “The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case,” Communications in Mathematical Physics, vol. 333, no. 3. Springer, pp. 1365–1416, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 473 | OA
M. Lewin, P. Nam, and N. Rougerie, “Derivation of nonlinear gibbs measures from many-body quantum mechanics,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2. Ecole Polytechnique, pp. 65–115, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 477
K. Holst 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, pp. 2866–2880, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 523 | OA
K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” Information and Computation, vol. 242, no. 6. Elsevier, pp. 25–52, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 524 | OA
K. Chatterjee and R. Ibsen-Jensen, “Qualitative analysis of concurrent mean payoff games,” Information and Computation, vol. 242, no. 6. Elsevier, pp. 2–24, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 532
W. Li et al., “EIN2-directed translational regulation of ethylene signaling in arabidopsis,” Cell, vol. 163, no. 3. Cell Press, pp. 670–683, 2015.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5429 | OA
K. Chatterjee, Z. Komarkova, and J. Kretinsky, Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431 | OA
K. Chatterjee, R. Ibsen-Jensen, and K. Hansen, The patience of concurrent stochastic games with safety and reachability objectives. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432 | OA
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolutionary games on graphs. IST Austria, 2015.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications