ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8924 Publications

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

Zdobinsky T, Sankar Maiti P, Klajn R. 2014. Support curvature and conformational freedom control chemical reactivity of immobilized species. Journal of the American Chemical Society. 136(7), 2711–2714.

View | DOI | PubMed | Europe PMC

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

Klajn R. 2014. Spiropyran-based dynamic materials. Chemical Society Reviews. 43(1), 148–184.

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

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

Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.

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

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

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181.

[Submitted Version] View | Files available | DOI

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

Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.

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

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

Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.

View

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

Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. 2014. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. Faraday Discussions. 171, 113–132.

View | DOI | PubMed | Europe PMC

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

Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. 2014. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 141(6), 064317.

View | DOI | PubMed | Europe PMC

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

Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.

View

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

Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2), 023001.

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

Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 47(12), 124030.

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

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

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

View | Files available

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

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

View

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

Stahl E, Martin T, Praetorius FM, Dietz H. 2014. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 126(47), 12949–12954.

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

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

Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.