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, Martin, et al. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” Science, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 257–60, doi:10.1126/science.1224143.

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

Diaz Jr, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.” Nature, vol. 486, no. 7404, Nature Publishing Group, 2012, pp. 537–40, doi:10.1038/nature11219.

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

Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.” Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:10.1016/j.tpb.2011.11.003.

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

Liang, Huixuan, et al. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open, vol. 1, no. 12, Company of Biologists, 2012, pp. 1200–03, doi:10.1242/bio.20122287.

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

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

Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, vol. 65, no. 2, Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2012, pp. 200–12.

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

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

Tkačik, Gašper, et al. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” Physical Review E, vol. 85, no. 4, 041903, American Physical Society, 2012, doi:10.1103/PhysRevE.85.041903.

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

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

Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.” Proceedings of the 10th ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.

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

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

Artner, Nicole M., et al. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang et al., vol. 6658, Springer, 2011, pp. 215–24, doi:10.1007/978-3-642-20844-7_22.

View | DOI

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

Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.” European Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.

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

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

Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.” Computational Intelligence and Neuroscience, vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.

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

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

Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.

View | DOI | WoS

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

Schraivogel, Daniel, 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, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.

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

Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.

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

Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.