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, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3868 | OA
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3901 | OA
Bendich, Paul, et al. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, IEEE, 2010, pp. 1251–60, doi: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, et al. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters, vol. 13, no. 4, Wiley-Blackwell, 2010, pp. 485–94, doi:10.1111/j.1461-0248.2010.01442.x.
View | DOI
 

Search

Filter Publications