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.

6456 Publications

2012 | Research Data Reference | IST-REx-ID: 9757 |

Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. 2012. doi:10.5061/dryad.61649

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

2012 | Research Data Reference | IST-REx-ID: 9758 |

Aeschbacher S, Futschik A, Beaumont M. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. 2012. doi:10.5061/dryad.274b1

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

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

Pausinger F. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 2012;8(1):63-78.

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

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

Artner NM, Ion A, Kropatsch WG. Spatio-temporal extraction of articulated models in a graph pyramid. In: Jiang X, Ferrer M, Torsello A, eds. Graph-Based Representations in Pattern Recognition. Vol 6658. LNIP. Berlin, Heidelberg: Springer; 2011:215-224. doi:10.1007/978-3-642-20844-7_22

View | DOI

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

Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 2011;31(12):4593-4606. 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 A, Vidaurre C, Sander T. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011;2011. doi:10.1155/2011/935364

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

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

Eichner A, Sixt MK. Setting the clock for recirculating lymphocytes. Science Signaling. 2011;4(198). doi:10.1126/scisignal.2002617

View | DOI | WoS

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

Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322. doi:10.1038/emboj.2011.301

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

Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3

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

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