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.

2645 Publications


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 | Journal Article | IST-REx-ID: 3372   OA
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   OA
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   OA
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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed