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.

2023 Publications

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

Jetchev D, Pietrzak KZ. 2014. How to fake auxiliary input. TCC: Theory of Cryptography Conference, LNCS, vol. 8349, 566–590.

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

2014 |Published| Book Chapter | IST-REx-ID: 2245

Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. 2014.Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Plant Chemical Genomics. Methods in Molecular Biology, vol. 1056, 255–264.

View | DOI

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

Lieb É, Seiringer R. 2014. Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. 154(1–2), 51–57.

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

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

Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics, 31–50.

[Submitted Version] View | Files available | DOI

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

Chatterjee K, Henzinger MH. 2014. Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. 61(3), a15.

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

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

Chatterjee K. 2014. Qualitative concurrent parity games: Bounded rationality. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704, 544–559.

View | Files available | DOI

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

Li W, Ibáñez M, Cadavid D, Zamani R, Rubio Garcia J, Gorsse S, Morante J, Arbiol J, Cabot A. 2014. Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. 16(3).

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

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

Pilarczyk P, Real P. 2014. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. 41(1), 253–275.

View | DOI | Download (ext.)

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

Chatterjee K. 2014. Partial-observation stochastic reachability and parity games. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 8634, 1–4.

View | Files available | DOI

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

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

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

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

Chatterjee K, Ibsen-Jensen R. 2014. The complexity of ergodic mean payoff games. ICST: International Conference on Software Testing, Verification and Validation, LNCS, vol. 8573, 122–133.

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

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

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

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

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

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.

View | Files available | DOI

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

Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.