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.




2984 Publications

2010 | Journal Article | IST-REx-ID: 3868 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–27, 2010.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3863 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Strategy construction for parity games with imperfect information,” Information and Computation, vol. 208, no. 10. Elsevier, pp. 1206–1220, 2010.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3861 | OA
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6. Elsevier, pp. 677–693, 2010.
View | Files available | DOI
 
2010 | Thesis | IST-REx-ID: 3962
H. Pflicke, “  Dendritic cell migration across basement membranes in the skin,” IST Austria, 2010.
View
 
2010 | Journal Article | IST-REx-ID: 4134
J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” Ecology Letters, vol. 13, no. 4. Wiley-Blackwell, pp. 485–494, 2010.
View | DOI
 

Search

Filter Publications