ISTA Research Explorer

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.

1481 Publications

2014 |Published| Journal Article | IST-REx-ID: 2240

Gadeyne A, Sánchez Rodríguez C, Vanneste S, Di Rubbo S, Zauber H, Vanneste K, Van Leene J, De Winne N, Eeckhout D, Persiau G, Van De Slijke E, Cannoot B, Vercruysse L, Mayers J, Adamowski M, Kania U, Ehrlich M, Schweighofer A, Ketelaar T, Maere S, Bednarek S, Friml J, Gevaert K, Witters E, Russinova E, Persson S, De Jaeger G, Van Damme D. 2014. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 156(4), 691–704.

View | DOI

2014 |Published| Journal Article | IST-REx-ID: 2241

K. Beppu et al., “Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage,” Neuron, vol. 81, no. 2. Elsevier, pp. 314–320, 2014.

View | DOI

2014 |Published| Journal Article | IST-REx-ID: 2407 |

É. Lieb and R. Seiringer, “Equivalence of two definitions of the effective mass of a polaron,” Journal of Statistical Physics, vol. 154, no. 1–2. Springer, pp. 51–57, 2014.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2014 |Published| Journal Article | IST-REx-ID: 2141 |

K. Chatterjee and M. H. Henzinger, “Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition,” Journal of the ACM, vol. 61, no. 3. ACM, 2014.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2014 |Published| Conference Paper | IST-REx-ID: 2054

K. Chatterjee, “Qualitative concurrent parity games: Bounded rationality,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Rome, Italy, 2014, vol. 8704, pp. 544–559.

View | Files available | DOI

2014 |Published| Journal Article | IST-REx-ID: 355

X. Yu, X. An, A. Shavel, M. Ibáñez, and A. Cabot, “The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals,” Journal of Materials Chemistry A, vol. 2, no. 31. Royal Society of Chemistry, pp. 12317–12322, 2014.

View | DOI

2014 |Published| Journal Article | IST-REx-ID: 357

A. Fairbrother et al., “ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation,” CrystEngComm, vol. 16, no. 20. Royal Society of Chemistry, pp. 4120–4125, 2014.

View | DOI

2014 |Published| Journal Article | IST-REx-ID: 2852

M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi-property combiners for hash functions,” Journal of Cryptology, vol. 27, no. 3. Springer, pp. 397–428, 2014.

View | Files available | DOI

2014 |Published| Journal Article | IST-REx-ID: 350 |

W. Li et al., “Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4,” Journal of Nanoparticle Research, vol. 16, no. 3. Kluwer, 2014.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2014 |Published| Journal Article | IST-REx-ID: 2211 |

K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2. ACM, 2014.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 |Published| Conference Paper | IST-REx-ID: 2162 |

K. Chatterjee and R. Ibsen-Jensen, “The complexity of ergodic mean payoff games,” presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 122–133.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 |Published| Conference Paper | IST-REx-ID: 2213 |

K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 |Published| Conference Paper | IST-REx-ID: 2212

K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, “Perfect-information stochastic mean-payoff parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 210–225.

View | Files available | DOI

2014 |Published| Technical Report | IST-REx-ID: 5413 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.