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, vol. 43, no. 1, Royal Society of Chemistry, 2014, pp. 148–84, doi:10.1039/c3cs60181a.

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

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

Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.

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

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

Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.

[Submitted Version] View | Files available | DOI

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

Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi: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, et al. “The Sensitivities of High-Harmonic Generation and Strong-Field Ionization to Coupled Electronic and Nuclear Dynamics.” Faraday Discussions, vol. 171, Royal Society of Chemistry, 2014, pp. 113–32, doi:10.1039/c4fd00018h.

View | DOI | PubMed | Europe PMC

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

Vasilatou, K., et al. “The Cyclopropene Radical Cation: Rovibrational Level Structure at Low Energies from High-Resolution Photoelectron Spectra.” The Journal of Chemical Physics, vol. 141, no. 6, 064317, AIP Publishing, 2014, doi: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., et al. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical Review Letters, vol. 113, no. 2, 023001, American Physical Society, 2014, doi:10.1103/physrevlett.113.023001.

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

Kraus, P. M., et al. “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, 124030, IOP Publishing, 2014, doi: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, et al. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte Chemie International Edition, vol. 126, no. 47, Wiley, 2014, pp. 12949–54, doi: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, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.