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.

4863 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 | Conference Paper | IST-REx-ID: 3163

Lampert C. 2011. Maximum margin multi-label structured prediction. NIPS: Neural Information Processing Systems.

View | Files available

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

Gupta A, Popeea C, Rybalchenko A. 2011. Solving recursion-free Horn clauses over LI+UIF. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 7078, 188–203.

View | DOI

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

Ion A, Carreira J, Sminchisescu C. 2011. Probabilistic joint image segmentation and labeling. NIPS Proceedings. NIPS: Neural Information Processing Systems vol. 24, 1827–1835.

View

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

Chen C, Freedman D. 2011. Hardness results for homology localization. Discrete & Computational Geometry. 45(3), 425–448.

View | Files available | DOI

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

Sheng Y, Cutler B, Chen C, Nasman J. 2011. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 30(4), 1261–1268.

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

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

Chen C, Kerber M. 2011. Persistent homology computation with a twist. EuroCG: European Workshop on Computational Geometry, 197–200.

View

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

Wagner H, Chen C, Vuçini E. 2011.Efficient computation of persistent homology for cubical data. In: Topological Methods in Data Analysis and Visualization II. Theory, Algorithms, and Applications, , 91–106.

View | DOI

2011 | Published | Thesis | PhD | IST-REx-ID: 3273

Maître J-L. 2011. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.

View

2011 | Published | Thesis | PhD | IST-REx-ID: 3275 |

Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.

[Published Version] View | Files available