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.
9087 Publications
2014 | Journal Article | IST-REx-ID: 2716 |
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
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
2014 | Conference Paper | IST-REx-ID: 2905 |
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
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.
2014 | Journal Article | IST-REx-ID: 1733 |
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.)
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
2014 | Journal Article | IST-REx-ID: 2141 |
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.)
K. Chatterjee, M.H. Henzinger, Journal of the ACM 61 (2014).
2014 | Journal Article | IST-REx-ID: 3263 |
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
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 332
Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American Chemical Society 136 (2014) 9236–9239.
View
| DOI
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American Chemical Society 136 (2014) 9236–9239.
2014 | Conference Paper | IST-REx-ID: 2054
Qualitative concurrent parity games: Bounded rationality
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
View
| Files available
| DOI
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
2014 | Journal Article | IST-REx-ID: 349
Bottom up processing of PbTe PbS thermoelectric nanocomposites
S. Ortega, M. Ibáñez, D. Cadavid, A. Cabot, International Journal of Nanotechnology 11 (2014) 955–970.
View
| DOI
S. Ortega, M. Ibáñez, D. Cadavid, A. Cabot, International Journal of Nanotechnology 11 (2014) 955–970.
2014 | Journal Article | IST-REx-ID: 355
The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals
X. Yu, X. An, A. Shavel, M. Ibáñez, A. Cabot, Journal of Materials Chemistry A 2 (2014) 12317–12322.
View
| DOI
X. Yu, X. An, A. Shavel, M. Ibáñez, A. Cabot, Journal of Materials Chemistry A 2 (2014) 12317–12322.
2014 | Journal Article | IST-REx-ID: 357
ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation
A. Fairbrother, V. Izquierdo Roca, X. Fontané, M. Ibáñez, A. Cabot, E. Saucedo, A. Pérez Rodríguez, CrystEngComm 16 (2014) 4120–4125.
View
| DOI
A. Fairbrother, V. Izquierdo Roca, X. Fontané, M. Ibáñez, A. Cabot, E. Saucedo, A. Pérez Rodríguez, CrystEngComm 16 (2014) 4120–4125.