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.




2742 Publications

2011 | Conference Paper | IST-REx-ID: 3345   OA
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
View | Files available | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3326   OA
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
View | Files available | DOI
 
2011 | Book Chapter | IST-REx-ID: 3271
Efficient computation of persistent homology for cubical data
H. Wagner, C. Chen, E. Vuçini, in:, R. Peikert, H. Hauser, H. Carr, R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II, Springer, 2011, pp. 91–106.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3288   OA
Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3290   OA
A general method for calculating likelihoods under the coalescent process
K. Lohse, R. Harrison, N.H. Barton, Genetics 189 (2011) 977–987.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed