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
Lampert, Christoph. “Maximum Margin Multi-Label Structured Prediction.” Neural Information Processing Systems, 2011.
View
| Files available
2011 | Journal Article | IST-REx-ID: 3315   

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science 7, no. 4 (2011). https://doi.org/10.2168/LMCS-7(4:8)2011.
View
| Files available
| DOI
2011 | Conference Poster | IST-REx-ID: 3322
Lampert, Christoph. Maximum Margin Multi Label Structured Prediction. NIPS: Neural Information Processing Systems. Neural Information Processing Systems, 2011.
View
| Files available
2011 | Journal Article | IST-REx-ID: 3334
Edelsbrunner, Herbert, János Pach, and Günter Ziegler. “Letter from the New Editors-in-Chief.” Discrete & Computational Geometry 45, no. 1 (2011): 1–2. https://doi.org/10.1007/s00454-010-9313-9.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3346   

Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.10.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3353   

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS) 33, no. 4 (2011). https://doi.org/10.1145/1985342.1985345.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3358
Henzinger, Thomas A, Vasu Singh, Thomas Wies, and Damien Zufferey. “Scheduling Large Jobs by Abstraction Refinement,” 329–42. ACM, 2011. https://doi.org/10.1145/1966445.1966476.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3360   

Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3372   

Abbot, Patrick, Jun Abe, John Alcock, Samuel Alizon, Joao Alpedrinha, Malte Andersson, Jean Andre, et al. “Inclusive Fitness Theory and Eusociality.” Nature 471, no. 7339 (2011): E1–4. https://doi.org/10.1038/nature09831.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 3365   

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,” 6605:267–71. Springer, 2011. https://doi.org/10.1007/978-3-642-19835-9_24.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3377   

Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “Quantifying Transversality by Measuring the Robustness of Intersections.” Foundations of Computational Mathematics 11, no. 3 (2011): 345–61. https://doi.org/10.1007/s10208-011-9090-8.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3771
Pavan, Ana, Felipe Martins, Fabrício Santos, Albert Ditchfield, and Rodrigo 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 102, no. 3 (2011): 527–39. https://doi.org/10.1111/j.1095-8312.2010.01601.x.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3505
Sixt, Michael K, and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration 769 (2011): 149–65. https://doi.org/10.1007/978-1-61779-207-6_11.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3384   

Tkacik, Gasper, Patrick Garrigan, Charles Ratliff, Grega Milcinski, Jennifer Klein, Lucia Seyfarth, Peter Sterling, David Brainard, and Vijay Balasubramanian. “Natural Images from the Birthplace of the Human Eye.” PLoS One 6, no. 6 (2011). https://doi.org/10.1371/journal.pone.0020409.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3389
Blaschko, Matthew, Jacquelyn Shelton, Andreas Bartels, Christoph Lampert, and Arthur Gretton. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.” Pattern Recognition Letters 32, no. 11 (2011): 1572–83. https://doi.org/10.1016/j.patrec.2011.02.011.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3391   

Vladar, Harold de, and Nicholas H Barton. “The Contribution of Statistical Physics to Evolutionary Biology.” Trends in Ecology and Evolution 26, no. 8 (2011): 424–32. https://doi.org/10.1016/j.tree.2011.04.002.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3396   

Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development 138, no. 21 (2011): 4673–83. https://doi.org/10.1242/dev.071233.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 531
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design 39, no. 3 (2011): 297–331. https://doi.org/10.1007/s10703-011-0131-3.
View
| DOI
2011 | Technical Report | IST-REx-ID: 5380   

Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0008.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385   

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
View
| Files available
| DOI