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 |

M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, and R. Shigemoto, “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, pp. 4023–4042, 2014.

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

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

K. Chatterjee, M. H. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.

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

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

C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.

[Submitted Version] View | Files available | DOI

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

A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.

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

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

M. Konrad, “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

P. Marhavá, “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

M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.

View | Files available

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

M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” IST Austria, 2014.

View

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

P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.