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

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

View | DOI | PubMed | Europe PMC

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

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

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

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

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

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

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

A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.

[Submitted Version] View | Files available | DOI

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

Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.

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

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

Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
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

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

View | DOI | PubMed | Europe PMC

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

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

View | DOI | PubMed | Europe PMC

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

Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
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 |

Two-pulse field-free orientation reveals anisotropy of molecular shape resonance
P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).

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

Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules
P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 47 (2014).

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

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

Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.

View | Files available

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

Evolution of a fungal pathogen towards individual versus social immunity in ants
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 |

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

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

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

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