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.

11357 Publications


2014 | Published | Conference Paper | IST-REx-ID: 1392 | OA
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 | OA
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 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14021 | OA
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 | PhD | 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 | OA
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 | Journal Article | IST-REx-ID: 1791
Baek, S., Kerjan, G., Bielas, S., Lee, J., Fenstermaker, A., Novarino, G., & Gleeson, J. (2014). Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2014.04.036
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17977
Balducci, G., Romeo, M., Stener, M., Fronzoni, G., Cvetko, D., Cossaro, A., … Morgante, A. (2014). Computational study of amino mediated molecular interaction evidenced in N 1s NEXAFS: 1,4-diaminobenzene on Au (111). The Journal of Physical Chemistry C. American Chemical Society. https://doi.org/10.1021/jp512146t
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17978
Batra, A., Cvetko, D., Kladnik, G., Adak, O., Cardoso, C., Ferretti, A., … Venkataraman, L. (2014). Probing the mechanism for graphene nanoribbon formation on gold surfaces through X-ray spectroscopy. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/c4sc01584c
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17979
Liu, Z.-F., Wei, S., Yoon, H., Adak, O., Ponce, I., Jiang, Y., … Neaton, J. B. (2014). Control of single-molecule junction conductance of porphyrins via a transition-metal center. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl5025062
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17980
Batra, A., Kladnik, G., Gorjizadeh, N., Meisner, J., Steigerwald, M., Nuckolls, C., … Venkataraman, L. (2014). Trimethyltin-mediated covalent Gold–Carbon bond formation. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja5061406
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17981
Hodgkiss, J., Zysman-Colman, E., Higgins, S., Solomon, G., Bâldea, I., Samuel, I., … Bradley, D. (2014). Molecular electronics: General discussion. Faraday Discuss. Royal Society of Chemistry. https://doi.org/10.1039/c4fd90049a
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17982
Batra, A., Meisner, J. S., Darancet, P., Chen, Q., Steigerwald, M. L., Nuckolls, C., & Venkataraman, L. (2014). Molecular diodes enabled by quantum interference. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/c4fd00093e
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17983
Capozzi, B., Dell, E. J., Berkelbach, T. C., Reichman, D. R., Venkataraman, L., & Campos, L. M. (2014). Length-dependent conductance of oligothiophenes. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja505277z
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17984
Aradhya, S. V., Nielsen, A., Hybertsen, M. S., & Venkataraman, L. (2014). Quantitative bond energetics in atomic-scale junctions. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn502836e
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed