ISTA Research Explorer

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.

6331 Publications

Search / Filter

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

Eichner, A., & Sixt, M. K. (2011). Setting the clock for recirculating lymphocytes. Science Signaling. American Association for the Advancement of Science. https://doi.org/10.1126/scisignal.2002617

View | DOI | WoS

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

Schraivogel, D., Weinmann, L., Beier, D., Tabatabai, G., Eichner, A., Zhu, J., … Meister, G. (2011). CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.301

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

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

Guerraoui, R., Henzinger, T. A., & Singh, V. (2011). Verification of STM on relaxed memory models. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-011-0131-3

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

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

Chatterjee, K., & Henzinger, M. (2011). An O(n2) time algorithm for alternating Büchi games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0009

[Published Version] View | Files available | DOI

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

Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0008

[Published Version] View | Files available | DOI

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

Chatterjee, K., & Doyen, L. (2011). Partial-observation stochastic games: How to win when belief fails. IST Austria. https://doi.org/10.15479/AT:IST-2011-0007

[Published Version] View | Files available | DOI

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

Chatterjee, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006

[Published Version] View | Files available | DOI

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

Wies, T., Muñiz, M., & Kuncak, V. (2011). On an efficient decision procedure for imperative tree data structures. IST Austria. https://doi.org/10.15479/AT:IST-2011-0005

[Published Version] View | Files available | DOI

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

Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004

[Published Version] View | Files available | DOI

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

Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003

[Published Version] View | Files available | DOI