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.

1621 Publications


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 | OA
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 | OA
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 | OA
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| Conference Paper | IST-REx-ID: 2163 | OA
Chatterjee K, Doyen L. 2014. Games with a weak adversary. Lecture Notes in Computer Science. ICALP: Automata, Languages and Programming, LNCS, vol. 8573, 110–121.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 |Published| Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5420 | OA
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5427 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
[Published Version] View | Files available | DOI
 

2014 |Published| Technical Report | IST-REx-ID: 5425 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.
[Published Version] View | Files available
 

2014 |Published| Conference Paper | IST-REx-ID: 5810
Biswas R, Bhowmick P. 2014. On Finding Spherical Geodesic Paths and Circles in ℤ3. 8668, 396–409.
View | DOI
 

2014 |Published| Conference Paper | IST-REx-ID: 6740 | OA
Mondelli M, Urbanke R, Hassani H. 2014. How to achieve the capacity of asymmetric channels. 52nd Annual Allerton Conference on Communication, Control, and Computing. Allerton Conference on Communication, Control, and Computing, 789–796.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 |Published| Journal Article | IST-REx-ID: 6744
Mondelli M, Zhou Q, Lottici V, Ma X. 2014. Joint power allocation and path selection for multi-hop noncoherent decode and forward UWB communications. IEEE Transactions on Wireless Communications. 13(3), 1397–1409.
View | DOI
 

2014 |Published| Conference Paper | IST-REx-ID: 10885
Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.
[Preprint] View | Files available | DOI | arXiv
 

2014 |Published| Book | IST-REx-ID: 6853
Edelsbrunner H. 2014. A Short Course in Computational Geometry and Topology 1st ed., Cham: Springer Nature, IX, 110p.
View | Files available | DOI
 

2014 |Published| Journal Article | IST-REx-ID: 7301
Li C, Fontaine O, Freunberger SA, Johnson L, Grugeon S, Laruelle S, Bruce PG, Armand M. 2014. Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent. The Journal of Physical Chemistry C. 118(7), 3393–3401.
View | DOI
 

2014 |Published| Conference Paper | IST-REx-ID: 773
Alistarh D-A, Aspnes J, King V, Saia J. 2014. Communication-efficient randomized consensus. DISC: Distributed Computing, LNCS, vol. 8784, 61–75.
View | DOI
 

2014 |Published| Journal Article | IST-REx-ID: 9594 | OA
Greenhill C, Kwan MA, Wind D. 2014. On the number of spanning trees in random regular graphs. The Electronic Journal of Combinatorics. 21(1), P1.45.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2014 |Published| Journal Article | IST-REx-ID: 12634
Pellicciotti F, Ragettli S, Carenzo M, McPhee J. 2014. Changes of glaciers in the Andes of Chile and priorities for future work. Science of The Total Environment. 493, 1197–1210.
View | DOI
 

2014 |Published| Journal Article | IST-REx-ID: 14020 | OA
Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2), 023001.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications