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.

6742 Publications

2012 | Published | Journal Article | IST-REx-ID: 2950

Behrndt M, Salbreux G, Campinho P, Hauschild R, Oswald F, Roensch J, Grill S, Heisenberg C-PJ. 2012. Forces driving epithelial spreading in zebrafish gastrulation. Science. 338(6104), 257–260.

2012 | Published | Journal Article | IST-REx-ID: 3157 |

Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.

2012 | Published | Journal Article | IST-REx-ID: 3260 |

Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 81(1), 69–80.

2012 | Published | Journal Article | IST-REx-ID: 2263 |

Liang H, Hippenmeyer S, Ghashghaei H. 2012. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology Open. 1(12), 1200–1203.

[Published Version] View | Files available | DOI | WoS

2012 | Published | Journal Article | IST-REx-ID: 2965 |

Danowski P. 2012. Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 65(2), 200–212.

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

2012 | Published | Journal Article | IST-REx-ID: 3262 |

Tkačik G, Walczak A, Bialek W. 2012. Optimizing information flow in small genetic networks. III. A self-interacting gene. Physical Review E. 85(4), 041903.

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

2012 | Published | Conference Paper | IST-REx-ID: 2936 |

Chatterjee K, Henzinger TA, Prabhu V. 2012. Finite automata with time delay blocks. Proceedings of the 10th ACM international conference on Embedded software. EMSOFT: Embedded Software , 43–52.

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

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

Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.

View | DOI

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

Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.

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

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

Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011, 935364.

[Published Version] View | Files available | DOI | WoS

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 | WoS

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.

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.) | WoS

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