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
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 | OA
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 | OA
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).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14021 | OA
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 | PhD | 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 | OA
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 | Journal Article | IST-REx-ID: 1791
Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation
S. Baek, G. Kerjan, S. Bielas, J. Lee, A. Fenstermaker, G. Novarino, J. Gleeson, Neuron 82 (2014) 1255–1262.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17977
Computational study of amino mediated molecular interaction evidenced in N 1s NEXAFS: 1,4-diaminobenzene on Au (111)
G. Balducci, M. Romeo, M. Stener, G. Fronzoni, D. Cvetko, A. Cossaro, M. Dell’Angela, G. Kladnik, L. Venkataraman, A. Morgante, The Journal of Physical Chemistry C 119 (2014) 1988–1995.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17978
Probing the mechanism for graphene nanoribbon formation on gold surfaces through X-ray spectroscopy
A. Batra, D. Cvetko, G. Kladnik, O. Adak, C. Cardoso, A. Ferretti, D. Prezzi, E. Molinari, A. Morgante, L. Venkataraman, Chemical Science 5 (2014) 4419–4423.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17979
Control of single-molecule junction conductance of porphyrins via a transition-metal center
Z.-F. Liu, S. Wei, H. Yoon, O. Adak, I. Ponce, Y. Jiang, W.-D. Jang, L.M. Campos, L. Venkataraman, J.B. Neaton, Nano Letters 14 (2014) 5365–5370.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17980
Trimethyltin-mediated covalent Gold–Carbon bond formation
A. Batra, G. Kladnik, N. Gorjizadeh, J. Meisner, M. Steigerwald, C. Nuckolls, S.Y. Quek, D. Cvetko, A. Morgante, L. Venkataraman, Journal of the American Chemical Society 136 (2014) 12556–12559.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17981
Molecular electronics: General discussion
J. Hodgkiss, E. Zysman-Colman, S. Higgins, G. Solomon, I. Bâldea, I. Samuel, L. Venkataraman, F. Wudl, B. Xu, R. Venkatramani, H. Ottosson, D. Perepichka, U. Lemmer, P. Skabara, A. Mount, D. Bradley, Faraday Discuss. 174 (2014) 125–151.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17982
Molecular diodes enabled by quantum interference
A. Batra, J.S. Meisner, P. Darancet, Q. Chen, M.L. Steigerwald, C. Nuckolls, L. Venkataraman, Faraday Discussions 174 (2014) 79–89.
View | DOI | PubMed | Europe PMC
 

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

2014 | Published | Journal Article | IST-REx-ID: 17984
Quantitative bond energetics in atomic-scale junctions
S.V. Aradhya, A. Nielsen, M.S. Hybertsen, L. Venkataraman, ACS Nano 8 (2014) 7522–7530.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed