Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2644 Publications


2011 | Journal Article | IST-REx-ID: 3389
Blaschko, M., Shelton, J., Bartels, A., Lampert, C., & Gretton, A. (2011). Semi supervised kernel canonical correlation analysis with application to human fMRI. Pattern Recognition Letters, 32(11), 1572–1583. https://doi.org/10.1016/j.patrec.2011.02.011
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3391   OA
de Vladar, H., & Barton, N. H. (2011). The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution, 26(8), 424–432. https://doi.org/10.1016/j.tree.2011.04.002
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3396   OA
Stockinger, P., Heisenberg, C.-P. J., & Maître, J.-L. (2011). Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development, 138(21), 4673–4683. https://doi.org/10.1242/dev.071233
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3505
Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration, 769, 149–165. https://doi.org/10.1007/978-1-61779-207-6_11
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3315
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science, 7(4). https://doi.org/10.2168/LMCS-7(4:8)2011
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 531
Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM on relaxed memory models. Formal Methods in System Design, 39(3), 297–331. https://doi.org/10.1007/s10703-011-0131-3
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5380   OA
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0008
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 6496   OA
Park, H., Oikonomou, P., Guet, C. C., & Cluzel, P. (2011). Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal, 101(10), 2336–2340. https://doi.org/10.1016/j.bpj.2011.09.040
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 3346   OA
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2011). Two views on multiple mean payoff objectives in Markov Decision Processes. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.10
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3353   OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2011). A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS), 33(4). https://doi.org/10.1145/1985342.1985345
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed