Please note that ISTA 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.

5611 Publications


2015 | Published | Journal Article | IST-REx-ID: 2035 | OA
The persistent homology of a self-map
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.
[Published Version] View | Files available | DOI
 

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

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

2015 | Published | Journal Article | IST-REx-ID: 2271 | OA
The power of linear programming for general-valued CSPs
V. Kolmogorov, J. Thapper, S. Živný, SIAM Journal on Computing 44 (2015) 1–36.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 6736 | OA
Scaling exponent of list decoders with applications to polar codes
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 4838–4851.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 6737 | OA
Achieving Marton’s region for broadcast channels using polar codes
M. Mondelli, H. Hassani, I. Sason, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 783–800.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 7739 | OA
Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations
A.W. Santure, J. Poissant, I. De Cauwer, K. van Oers, M.R. Robinson, J.L. Quinn, M.A.M. Groenen, M.E. Visser, B.C. Sheldon, J. Slate, Molecular Ecology 24 (2015) 6148–6162.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 7741 | OA
Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird
M.J. Adams, M.R. Robinson, M.-E. Mannarelli, B.J. Hatchwell, Proceedings of the Royal Society B: Biological Sciences 282 (2015).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 473 | OA
Derivation of nonlinear gibbs measures from many-body quantum mechanics
M. Lewin, P. Nam, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.
[Published Version] View | Files available | DOI
 

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

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

2015 | Published | Technical Report | IST-REx-ID: 5429 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5430 | OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5431 | OA
The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5432 | OA
The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5434 | OA
Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
1 Anonymous, 2 Anonymous, Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs, IST Austria, 2015.
[Published Version] View | Files available
 

2015 | Published | Technical Report | IST-REx-ID: 5435 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5437 | OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5438 | OA
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed