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.




3166 Publications

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3868 | OA
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: 3901 | OA
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 | Thesis | IST-REx-ID: 3962
Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” IST Austria, 2010.
View
 
2010 | Journal Article | IST-REx-ID: 4134
Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1461-0248.2010.01442.x.
View | DOI
 

Search

Filter Publications