Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2740 Publications

2011 | Journal Article | IST-REx-ID: 491
Setting the clock for recirculating lymphocytes
A. Eichner, M.K. Sixt, Science Signaling 4 (2011).
View | DOI
 
2011 | Preprint | IST-REx-ID: 3338
Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (2011) 1–51.
View | Files available | Download (ext.) | arXiv
 
2011 | Technical Report | IST-REx-ID: 5384
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3345   OA
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
View | Files available | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3326   OA
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed