ISTA Research Explorer

Please note that ISTA 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.

6326 Publications

Search / Filter

2011 | Published | 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. Wiley-Blackwell, pp. 4309–4322, 2011.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC

2011 | Published | Journal Article | IST-REx-ID: 531 |

R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed memory models,” Formal Methods in System Design, vol. 39, no. 3. Springer, pp. 297–331, 2011.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2011 | Published | Technical Report | IST-REx-ID: 5379 |

K. Chatterjee and M. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5380 |

K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5381 |

K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5382 |

K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5383 |

T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5384 |

K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5385 |

U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5386 |

C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5387 |

K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 6496 |

H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier, pp. 2336–2340, 2011.

[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC

2011 | Published | 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. Nature Publishing Group, pp. 117–123, 2011.

View | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 3505 |

M. K. Sixt and T. Lämmermann, “In vitro analysis of chemotactic leukocyte migration in 3D environments,” Cell Migration, vol. 769. Springer, pp. 149–165, 2011.

[Published Version] View | DOI | Download Published Version (ext.)

2011 | Published | Journal Article | IST-REx-ID: 3771

A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. 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, vol. 102, no. 3. Wiley-Blackwell, pp. 527–539, 2011.

View | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 3778 |

N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106, no. 2. Nature Publishing Group, pp. 205–206, 2011.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC

2011 | Published | Journal Article | IST-REx-ID: 3781

B. T. Fasy, “The difference in length of curves in R^n,” Acta Sci. Math. (Szeged), vol. 77, no. 1–2. Szegedi Tudományegyetem, pp. 359–367, 2011.

View

2011 | Published | 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. Cambridge University Press, pp. 485–492, 2011.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2011 | Published | Book Chapter | IST-REx-ID: 3791

G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Forces and Tension in Development, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.

View | DOI | WoS

2011 | Published | Book Chapter | IST-REx-ID: 3796 |

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.

[Submitted Version] View | Files available | DOI