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.

416 Publications

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

R. Klajn, “Spiropyran-based dynamic materials,” Chemical Society Reviews, vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.

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

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 | Journal Article | IST-REx-ID: 14018

D. R. Baykusheva, P. M. Kraus, S. B. Zhang, N. Rohringer, and H. J. Wörner, “The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics,” Faraday Discussions, vol. 171. Royal Society of Chemistry, pp. 113–132, 2014.

View | DOI | PubMed | Europe PMC

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

K. Vasilatou, J. M. Michaud, D. R. Baykusheva, G. Grassi, and F. Merkt, “The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra,” The Journal of Chemical Physics, vol. 141, no. 6. AIP Publishing, 2014.

View | DOI | PubMed | Europe PMC

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 | Journal Article | IST-REx-ID: 14020 |

P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse field-free orientation reveals anisotropy of molecular shape resonance,” Physical Review Letters, vol. 113, no. 2. American Physical Society, 2014.

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

P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 47, no. 12. IOP Publishing, 2014.

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

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 | Journal Article | IST-REx-ID: 14301 |

E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable preparation of pure and dense DNA origami solutions,” Angewandte Chemie International Edition, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.

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

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.