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.




3802 Publications

2012 | Journal Article | IST-REx-ID: 3168
Feret, Jérôme, et al. “Lumpability Abstractions of Rule Based Systems.” Theoretical Computer Science, vol. 431, Elsevier, 2012, pp. 137–64, doi:10.1016/j.tcs.2011.12.059.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad, Matthias, et al. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” PLoS Biology, vol. 10, no. 4, e1001300, Public Library of Science, 2012, doi:10.1371/journal.pbio.1001300.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3245
Behrndt, Martin, and Carl-Philipp J. Heisenberg. “Spurred by Resistance Mechanosensation in Collective Migration.” Developmental Cell, vol. 22, no. 1, Cell Press, 2012, pp. 3–4, doi:10.1016/j.devcel.2011.12.018.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3246
Barone, Vanessa, and Carl-Philipp J. Heisenberg. “Cell Adhesion in Embryo Morphogenesis.” Current Opinion in Cell Biology, vol. 24, no. 1, Elsevier, 2012, pp. 148–53, doi:10.1016/j.ceb.2011.11.006.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3247
Vilaça, Sibelle, et al. “Remaining Genetic Diversity in Brazilian Merganser (Mergus Octosetaceus).” Conservation Genetics, vol. 13, no. 1, Springer, 2012, pp. 293–98, doi:10.1007/s10592-011-0262-5.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3249
Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3250
Pietrzak, Krzysztof Z. Cryptography from Learning Parity with Noise. Vol. 7147, Springer, 2012, pp. 99–114, doi:10.1007/978-3-642-27660-6_9.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3251 | OA
Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3252 | OA
Chatterjee, Krishnendu, and Vishwanath Raman. Synthesizing Protocols for Digital Contract Signing. Vol. 7148, Springer, 2012, pp. 152–68, doi:10.1007/978-3-642-27940-9_11.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3253
Bouajjani, Ahmed, et al. Abstract Domains for Automated Reasoning about List Manipulating Programs with Infinite Data. Vol. 7148, Springer, 2012, pp. 1–22, doi:10.1007/978-3-642-27940-9_1.
View | DOI
 

Search

Filter Publications