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 |

Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” Chemical Society Reviews. Royal Society of Chemistry, 2014. 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, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science. Elsevier, 2014. 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, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. 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, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.

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

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

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

Baykusheva, Denitsa Rangelova, Peter M. Kraus, Song Bin Zhang, Nina Rohringer, and Hans Jakob Wörner. “The Sensitivities of High-Harmonic Generation and Strong-Field Ionization to Coupled Electronic and Nuclear Dynamics.” Faraday Discussions. Royal Society of Chemistry, 2014. https://doi.org/10.1039/c4fd00018h.

View | DOI | PubMed | Europe PMC

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

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

View | DOI | PubMed | Europe PMC

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

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

Kraus, P. M., Denitsa Rangelova Baykusheva, and H. J. Wörner. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/physrevlett.113.023001.

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

Kraus, P M, Denitsa Rangelova 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. IOP Publishing, 2014. 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, Martin. “Forces Driving Epithelial Spreading in Zebrafish Epiboly.” IST Austria, 2014.

View | Files available

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

Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.

View

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

Stahl, Evi, Thomas Martin, Florian M Praetorius, and Hendrik Dietz. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte Chemie International Edition. Wiley, 2014. 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, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.