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.

5784 Publications


2014 | Conference Paper | IST-REx-ID: 2275 | OA
Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2285 | OA
Morpho-physiological criteria divide dentate gyrus interneurons into classes
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407 | OA
Equivalence of two definitions of the effective mass of a polaron
É. Lieb, R. Seiringer, Journal of Statistical Physics 154 (2014) 51–57.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 248 | OA
Rational points on pencils of conics and quadrics with many degenerate fibres
T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180 (2014) 381–402.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2699 | OA
Universality of general β-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
[Preprint] View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716 | OA
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
Persistent homology: Theory and practice
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2141 | OA
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
K. Chatterjee, M.H. Henzinger, Journal of the ACM 61 (2014).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
Adaptation to changes in higher-order stimulus statistics in the salamander retina
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 350 | OA
Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4
W. Li, M. Ibáñez, D. Cadavid, R. Zamani, J. Rubio Garcia, S. Gorsse, J. Morante, J. Arbiol, A. Cabot, Journal of Nanoparticle Research 16 (2014).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 451 | OA
Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468 | OA
Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475 | OA
First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 537 | OA
Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2211 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic (TOCL) 15 (2014).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2038 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
[Submitted Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2162 | OA
The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2213 | OA
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2216 | OA
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications