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.




2509 Publications

2011 | Journal Article | IST-REx-ID: 3784
Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.” Journal of the Marine Biological Association of the United Kingdom 91, no. 2 (2011): 485–92. https://doi.org/10.1017/S0025315410000287.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J Heisenberg. “Cell Sorting in Development.” In Current Topics in Developmental Biology, edited by Michel Labouesse, 95:189–213. Forces and Tension in Development. Elsevier, 2011. https://doi.org/10.1016/B978-0-12-385065-2.00006-2.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3796   OA
Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.” In Rainbow of Computer Science, edited by Cristian Calude, Grzegorz Rozenberg, and Arto Salomaa, 6570:20–35. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer, 2011. https://doi.org/10.1007/978-3-642-19391-0_2.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3385
Sixt, Michael K. “Interstitial Locomotion of Leukocytes.” Immunology Letters 138, no. 1 (2011): 32–34. https://doi.org/10.1016/j.imlet.2011.02.013.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3392
Soriano, Silvia, Miroslav Hons, Kathrin Schumann, Varsha Kumar, Timo Dennier, Ruth Lyck, Michael K Sixt, and Jens Stein. “In Vivo Analysis of Uropod Function during Physiological T Cell Trafficking.” Journal of Immunology 187, no. 5 (2011): 2356–64. https://doi.org/10.4049/jimmunol.1100935.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3397   OA
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “The Role of Adhesion Energy in Controlling Cell-Cell Contacts.” Current Opinion in Cell Biology 23, no. 5 (2011): 508–14. https://doi.org/10.1016/j.ceb.2011.07.004.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3405   OA
Janovjak, Harald L, Guillaume Sandoz, and Ehud Isacoff. “Modern Ionotropic Glutamate Receptor with a K+ Selectivity Signature Sequence.” Nature Communications 2, no. 232 (2011): 1–6. https://doi.org/10.1038/ncomms1231.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3429
Plachta, Nicolas, Mark Tobias Bollenbach, Shirley Pease, Scott Fraser, and Periklis Pantazis. “Oct4 Kinetics Predict Cell Lineage Patterning in the Early Mammalian Embryo.” Nature Cell Biology 13, no. 2 (2011): 117–23. https://doi.org/10.1038/ncb2154.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3373   OA
Jahnel, Marcus, Martin Behrndt, Anita Jannasch, Erik Schaeffer, and Stephan Grill. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters 36, no. 7 (2011): 1260–62. https://doi.org/10.1364/OL.36.001260.
View | Files available | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3378
Bendich, Paul, and John Harer. “Persistent Intersection Homology.” Foundations of Computational Mathematics 11, no. 3 (2011): 305–36. https://doi.org/10.1007/s10208-010-9081-1.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3380
Logeswaran, Sayanthan, and Nicholas H Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.” Genetical Research 93, no. 3 (2011): 221–32. https://doi.org/10.1017/S0016672311000115.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 518
Schraivogel, Daniel, Lasse Weinmann, Dagmar Beier, Ghazaleh Tabatabai, Alexander Eichner, Jia Zhu, Martina Anton, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal 30, no. 20 (2011): 4309–22. https://doi.org/10.1038/emboj.2011.301.
View | DOI
 
2011 | Technical Report | IST-REx-ID: 5386   OA
Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3323
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,” 6803:476–91. Springer, 2011. https://doi.org/10.1007/978-3-642-22438-6_36.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5381
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3316
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.” In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011. https://doi.org/10.1109/SIES.2011.5953660.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366   OA
Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20 .
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3342   OA
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_21.
View | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A Henzinger. “From Boolean to Quantitative Synthesis,” 149–54. ACM, 2011. https://doi.org/10.1145/2038642.2038666.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,” 205–17. IEEE, 2011. https://doi.org/10.1109/CSF.2011.21.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed