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.




2509 Publications

2010 | Journal Article | IST-REx-ID: 3783
F. Palero, F. González Candelas, and M. Pascual, “Microsatelight – Pipeline to expedite microsatellite analysis,” Journal of Heredity, vol. 102, no. 2, pp. 247–249, 2010.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3788
A. Klopper, G. Krens, S. Grill, and C.-P. J. Heisenberg, “Finite-size corrections to scaling behavior in sorted cell aggregates,” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2, pp. 99–103, 2010.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3790   OA
A. Diz Muñoz et al., “Control of directed cell migration in vivo by membrane-to-cortex attachment,” PLoS Biology, vol. 8, no. 11, 2010.
View | Files available | DOI
 
2010 | Book Chapter | IST-REx-ID: 3795   OA
H. Edelsbrunner, D. Morozov, and A. Patel, “The stability of the apparent contour of an orientable 2-manifold,” in Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3834   OA
V. Wolf, R. Goel, M. Mateescu, and T. A. Henzinger, “Solving the chemical master equation using sliding windows,” BMC Systems Biology, vol. 4, no. 42, pp. 1–19, 2010.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3839   OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3853   OA
K. Chatterjee, L. Doyen, H. Edelsbrunner, T. A. Henzinger, and P. Rannou, “Mean-payoff automaton expressions,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 269–283.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3858
K. Chatterjee and L. Doyen, “The complexity of partial-observation parity games,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 1–14.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3860   OA
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Generalized mean-payoff and energy games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 505–516.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3865
K. Chatterjee, L. De Alfaro, V. Raman, and C. Sánchez, “Analyzing the impact of change in multi-threaded programs,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 293–307.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed