en
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.
2497 Publications
2011 | Conference Paper | IST-REx-ID: 3163
C. Lampert, “Maximum margin multi-label structured prediction,” presented at the NIPS: Neural Information Processing Systems, Granada, Spain, 2011.
View
| Files available
2011 | Journal Article | IST-REx-ID: 3315   

K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: Complexity and robustness,” Logical Methods in Computer Science, vol. 7, no. 4, 2011.
View
| Files available
| DOI
2011 | Conference Poster | IST-REx-ID: 3322
C. Lampert, Maximum margin multi label structured prediction. Neural Information Processing Systems, 2011.
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3346   

T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Two views on multiple mean payoff objectives in Markov Decision Processes,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3353   

S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “A theory of synchronous relational interfaces,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 2011.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3360   

U. Boker and T. A. Henzinger, “Determinizing discounted-sum automata,” presented at the CSL: Computer Science Logic, Bergen, Norway, 2011, vol. 12, pp. 82–96.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3372   

P. Abbot et al., “Inclusive fitness theory and eusociality,” Nature, vol. 471, no. 7339, pp. E1–E4, 2011.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 3365   

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “QUASY: quantitative synthesis tool,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany, 2011, vol. 6605, pp. 267–271.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3377   

H. Edelsbrunner, D. Morozov, and A. Patel, “Quantifying transversality by measuring the robustness of intersections,” Foundations of Computational Mathematics, vol. 11, no. 3, pp. 345–361, 2011.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3771
A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. A. Fernandes Redondo, “Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.,” Biological Journal of the Linnean Society, vol. 102, no. 3, pp. 527–539, 2011.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3384   

G. Tkacik et al., “Natural images from the birthplace of the human eye,” PLoS One, vol. 6, no. 6, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3391   

H. de Vladar and N. H. Barton, “The contribution of statistical physics to evolutionary biology,” Trends in Ecology and Evolution, vol. 26, no. 8, pp. 424–432, 2011.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3396   

P. Stockinger, C.-P. J. Heisenberg, and J.-L. Maître, “Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube,” Development, vol. 138, no. 21, pp. 4673–4683, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5380   

K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385   

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
View
| Files available
| DOI