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.
2995 Publications
2010 | Journal Article | IST-REx-ID: 3901 | 
Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010. https://doi.org/10.1109/TVCG.2010.139.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:13)2010.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3863 |
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation. Elsevier, 2010. https://doi.org/10.1016/j.ic.2009.09.006.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3861 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.” Information and Computation. Elsevier, 2010. https://doi.org/10.1016/j.ic.2009.07.004.
View
| Files available
| DOI
2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger. “ Dendritic Cell Migration across Basement Membranes in the Skin.” IST Austria, 2010.
View