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.




2616 Publications

2011 | Conference Paper | IST-REx-ID: 3326
Almagor, S., Boker, U., & Kupferman, O. (2011). What’s decidable about weighted automata . In T. Bultan & P.-A. Hsiung (Eds.) (Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer. https://doi.org/10.1007/978-3-642-24372-1_37
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, K., Henzinger, T. A., & Horn, F. (2011). The complexity of request-response games. In A.-H. Dediu, S. Inenaga, & C. Martín-Vide (Eds.) (Vol. 6638, pp. 227–237). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer. https://doi.org/10.1007/978-3-642-21254-3_17
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3383
Heisenberg, C.-P. J. (2011). Invited Lectures ‐ Symposia Area. FEBS Journal, 278(S1), 24–24. https://doi.org/10.1111/j.1742-4658.2011.08136.x
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3388   OA
Ugelvig, L. V., Nielsen, P., Boomsma, J., & Nash, D. (2011). Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology, 11(201). https://doi.org/10.1186/1471-2148-11-201
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3390   OA
Barton, N. H., & Etheridge, A. (2011). The relation between reproductive value and genetic contribution. Genetics, 188(4), 953–973. https://doi.org/10.1534/genetics.111.127555
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3395
Palero, F., Abello, P., Macpherson, E., Beaumont, M., & Pascual, M. (2011). Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas . Biological Journal of the Linnean Society, 104(2), 407–418. https://doi.org/10.1111/j.1095-8312.2011.01728.x
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3376   OA
Bollenbach, M. T., & Kishony, R. (2011). Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell, 42(4), 413–425. https://doi.org/10.1016/j.molcel.2011.04.016
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade, A., & Jonas, P. M. (2011). The multiple faces of RIM. Neuron, 69(2), 185–187. https://doi.org/10.1016/j.neuron.2011.01.010
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3371   OA
Sixt, M. K., & Parent, C. (2011). Cells on the move in Philadelphia. Molecular Biology and Evolution, 22(6), 724. https://doi.org/10.1091/mbc.E10-12-0958
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3965
Wang, B., Edelsbrunner, H., & Morozov, D. (2011). Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics, 16(2.2), 1–13. https://doi.org/10.1145/1963190.1970375
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3364
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science, 412(21), 2128–2141. https://doi.org/10.1016/j.tcs.2010.10.022
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 491
Eichner, A., & Sixt, M. K. (2011). Setting the clock for recirculating lymphocytes. Science Signaling, 4(198). https://doi.org/10.1126/scisignal.2002617
View | DOI
 
2011 | Journal Article | IST-REx-ID: 504   OA
Polechova, J., Barton, N. H., & Marion, G. (2011). Erratum: Species’ range: Adaptation in space and time (American Naturalist 174 (E186 E204)) . American Naturalist, 177(4), 546–547. https://doi.org/10.1086/659642
View | Files available | DOI | Download (ext.)
 
2011 | Preprint | IST-REx-ID: 3338
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. ArXiv. ArXiv.
View | Files available | Download (ext.) | arXiv
 
2011 | Technical Report | IST-REx-ID: 5384
Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3345   OA
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-642-22993-0_21
View | Files available | DOI | Download (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 3269
Sheng, Y., Cutler, B., Chen, C., & Nasman, J. (2011). Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum, 30(4), 1261–1268. https://doi.org/10.1111/j.1467-8659.2011.01985.x
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3271
Wagner, H., Chen, C., & Vuçini, E. (2011). Efficient computation of persistent homology for cubical data. In R. Peikert, H. Hauser, H. Carr, & R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II (pp. 91–106). Springer. https://doi.org/10.1007/978-3-642-23175-9_7
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3288   OA
Smutny, M., Wu, S., Gomez, G., Mangold, S., Yap, A., & Hamilton, N. (2011). Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One, 6(7). https://doi.org/10.1371/journal.pone.0022458
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3290   OA
Lohse, K., Harrison, R., & Barton, N. H. (2011). A general method for calculating likelihoods under the coalescent process. Genetics, 189(3), 977–987. https://doi.org/10.1534/genetics.111.129569
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed