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. American Chemical Society. https://doi.org/10.1021/ja411573a

View | DOI | PubMed | Europe PMC

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

Klajn, R. (2014). Spiropyran-based dynamic materials. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/c3cs60181a

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

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

Chatterjee, K., Henzinger, M. H., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031

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

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

Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10

[Submitted Version] View | Files available | DOI

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

Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900

[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, D. R., Kraus, P. M., Zhang, S. B., Rohringer, N., & Wörner, H. J. (2014). The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/c4fd00018h

View | DOI | PubMed | Europe PMC

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

Vasilatou, K., Michaud, J. M., Baykusheva, D. R., 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. AIP Publishing. https://doi.org/10.1063/1.4890744

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, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.113.023001

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

Kraus, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/0953-4075/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, F. M., & Dietz, H. (2014). Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/ange.201405991

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

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

Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1