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.




2510 Publications

2011 | Conference Paper | IST-REx-ID: 3328
E. Berberich, M. Hemmer, and M. Kerber, “A generic algebraic kernel for non linear geometric applications,” presented at the SCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 179–186.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3784
F. Palero, G. Guerao, P. Clark, and P. 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, vol. 91, no. 2, pp. 485–492, 2011.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3791
G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Current Topics in Developmental Biology, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3796   OA
H. Edelsbrunner and M. Kerber, “Covering and packing with spheres by diagonal distortion in R^n,” in Rainbow of Computer Science, vol. 6570, C. Calude, G. Rozenberg, and A. Salomaa, Eds. Springer, 2011, pp. 20–35.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3385
M. K. Sixt, “Interstitial locomotion of leukocytes,” Immunology Letters, vol. 138, no. 1, pp. 32–34, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3392
S. Soriano et al., “In vivo analysis of uropod function during physiological T cell trafficking,” Journal of Immunology, vol. 187, no. 5, pp. 2356–2364, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3397   OA
J.-L. Maître and C.-P. J. Heisenberg, “The role of adhesion energy in controlling cell-cell contacts,” Current Opinion in Cell Biology, vol. 23, no. 5, pp. 508–514, 2011.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3405   OA
H. L. Janovjak, G. Sandoz, and E. Isacoff, “Modern ionotropic glutamate receptor with a K+ selectivity signature sequence,” Nature Communications, vol. 2, no. 232, pp. 1–6, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3429
N. Plachta, M. T. Bollenbach, S. Pease, S. Fraser, and P. Pantazis, “Oct4 kinetics predict cell lineage patterning in the early mammalian embryo,” Nature Cell Biology, vol. 13, no. 2, pp. 117–123, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3373   OA
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, and S. Grill, “Measuring the complete force field of an optical trap,” Optics Letters, vol. 36, no. 7, pp. 1260–1262, 2011.
View | Files available | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3378
P. Bendich and J. Harer, “Persistent intersection homology,” Foundations of Computational Mathematics, vol. 11, no. 3, pp. 305–336, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3380
S. Logeswaran and N. H. Barton, “Mapping Mendelian traits in asexual progeny using changes in marker allele frequency,” Genetical Research, vol. 93, no. 3, pp. 221–232, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 518
D. Schraivogel et al., “CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20, pp. 4309–4322, 2011.
View | DOI
 
2011 | Technical Report | IST-REx-ID: 5386   OA
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5381
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3316
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Specification-centered robustness,” in 6th IEEE International Symposium on Industrial and Embedded Systems, Vasteras, Sweden, 2011, pp. 176–185.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366   OA
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3342   OA
K. Chatterjee, M. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.
View | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3359
P. Cerny and T. A. Henzinger, “From boolean to quantitative synthesis,” presented at the EMSOFT: Embedded Software , Taipei; Taiwan, 2011, pp. 149–154.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed