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.

4967 Publications

Search / Filter

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

Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes. Science Signaling. 4(198), pe43.

View | DOI

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

Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.

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

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

Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.

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

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

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

[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, 53p.

[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, 43p.

[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, 18p.

[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, 25p.

[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, 30p.

[Published Version] View | Files available | DOI

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

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.

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

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

Hsieh T-F, Shin J, Uzawa R, Silva P, Cohen S, Bauer MJ, Hashimoto M, Kirkbride RC, Harada JJ, Zilberman D, Fischer RL. 2011. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 108(5), 1755–1762.

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

2011 | Published | Other Publication | IST-REx-ID: 9522 |

Zilberman D. 2011. Balancing parental contributions in plant embryonic gene activation, Elsevier,p.

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

2011 | Published | Conference Paper | IST-REx-ID: 9648 |

Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. 2011. Incremental-decremental algorithm for computing AT-models and persistent homology. Computer Analysis of Images and Patterns. CAIP: International Conference on Computer Analysis of Images and Patterns, LNCS, vol. 6854, 286–293.

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

2011 | Research Data Reference | IST-REx-ID: 9762 |

Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas), IST Austria, 10.5061/dryad.299h8.

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

2011 | Published | Conference Paper | IST-REx-ID: 9943 |

Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.

[Preprint] View | DOI | Download Preprint (ext.)

2010 | Published | Conference Paper | IST-REx-ID: 10908 |

Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.

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

2010 | Published | Conference Paper | IST-REx-ID: 10909

Chen C, Freedman D. 2010. Hardness results for homology localization. Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1594–1604.

View | Files available | DOI