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.

4967 Publications

2014 | Published | Journal Article | IST-REx-ID: 2064 |

Rubio, Maía, et al. “Target- and Input-Dependent Organization of AMPA and NMDA Receptors in Synaptic Connections of the Cochlear Nucleus.” Journal of Comparative Neurology, vol. 522, no. 18, Wiley-Blackwell, 2014, pp. 4023–42, doi:10.1002/cne.23654.

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

2014 | Published | Journal Article | IST-REx-ID: 1375 |

Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.

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

2014 | Published | Conference Paper | IST-REx-ID: 1392 |

Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.

[Submitted Version] View | Files available | DOI

2014 | Published | Conference Paper | IST-REx-ID: 1393 |

Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.

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

2014 | Published | Thesis | PhD | IST-REx-ID: 1395

Konrad, Matthias. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. Institute of Science and Technology Austria, 2014.

View

2014 | Published | Thesis | PhD | IST-REx-ID: 1402

Marhavá, Petra. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. Institute of Science and Technology Austria, 2014.

View

2014 | Published | Thesis | IST-REx-ID: 1403

Behrndt, Martin. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria, 2014.

View | Files available

2014 | Published | Thesis | IST-REx-ID: 1404

Stock, Miriam. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria, 2014.

View

2014 | Published | Technical Report | IST-REx-ID: 5411 |

Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.