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.




2465 Publications

2011 | Journal Article | IST-REx-ID: 491
Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes. Science Signaling. 4(198).
View | DOI
 
2011 | Journal Article | IST-REx-ID: 504   OA
Polechova J, Barton NH, Marion G. 2011. Erratum: Species’ range: Adaptation in space and time (American Naturalist 174 (E186 E204)) . American Naturalist. 177(4), 546–547.
View | Files available | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3345
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907. 206–218.
View | Files available | DOI | Download (ext.) | arXiv
 
2011 | Technical Report | IST-REx-ID: 5384   OA
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
View | Files available | DOI
 
2011 | Preprint | IST-REx-ID: 3338
Chatterjee K. 2011. Bounded rationality in concurrent parity games. arXiv., 1–51.
View | Files available | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3264
Gupta A, Popeea C, Rybalchenko A. 2011. Solving recursion-free Horn clauses over LI+UIF. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 7078. 188–203.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3269
Sheng Y, Cutler B, Chen C, Nasman J. 2011. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 30(4), 1261–1268.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3271
Wagner H, Chen C, Vuçini E. 2011. Efficient computation of persistent homology for cubical data. Topological Methods in Data Analysis and Visualization II. , Theory, Algorithms, and Applications, 91–106.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3288   OA
Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. 2011. Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. 6(7).
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3290   OA
Lohse K, Harrison R, Barton NH. 2011. A general method for calculating likelihoods under the coalescent process. Genetics. 189(3), 977–987.
View | DOI | Download (ext.)
 
2011 | Preprint | IST-REx-ID: 3339   OA
Chatterjee K, De Alfaro L, Pritam R. 2011. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv.
View | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3163
Lampert C. 2011. Maximum margin multi-label structured prediction. NIPS: Neural Information Processing Systems
View | Files available
 
2011 | Journal Article | IST-REx-ID: 3315   OA
Chatterjee K, Henzinger TA, Prabhu V. 2011. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 7(4).
View | Files available | DOI
 
2011 | Conference Poster | IST-REx-ID: 3322
Lampert C. 2011. Maximum margin multi label structured prediction, Neural Information Processing Systems,p.
View | Files available
 
2011 | Journal Article | IST-REx-ID: 3334
Edelsbrunner H, Pach J, Ziegler G. 2011. Letter from the new editors-in-chief. Discrete & Computational Geometry. 45(1), 1–2.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3346   OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. 2011. Two views on multiple mean payoff objectives in Markov Decision Processes. LICS: Logic in Computer Science
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3353   OA
Tripakis S, Lickly B, Henzinger TA, Lee E. 2011. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 33(4).
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3358
Henzinger TA, Singh V, Wies T, Zufferey D. 2011. Scheduling large jobs by abstraction refinement. EuroSys 329–342.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3360   OA
Boker U, Henzinger TA. 2011. Determinizing discounted-sum automata. CSL: Computer Science Logic, LIPIcs, vol. 12. 82–96.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3372   OA
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed