Please note that IST 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.

2703 Publications


2011 | Journal Article | IST-REx-ID: 491
Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
View | DOI
 

2011 | Preprint | IST-REx-ID: 3338
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, ArXiv, 2011, pp. 1–51.
View | Files available | Download (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5384
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345   OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, doi:10.1007/978-3-642-22993-0_21.
View | Files available | DOI | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3326   OA
Almagor, Shaull, et al. What’s Decidable about Weighted Automata . Vol. 6996, Springer, 2011, pp. 482–91, doi:10.1007/978-3-642-24372-1_37.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed