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
C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1393 | OA
A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1395
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
D. R. Baykusheva, P. M. Kraus, S. B. Zhang, N. Rohringer, and H. J. Wörner, “The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics,” Faraday Discussions, vol. 171. Royal Society of Chemistry, pp. 113–132, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 14019
K. Vasilatou, J. M. Michaud, D. R. 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, vol. 141, no. 6. AIP Publishing, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1402
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
P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse field-free orientation reveals anisotropy of molecular shape resonance,” Physical Review Letters, vol. 113, no. 2. American Physical Society, 2014.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14021 | OA
P. M. Kraus, D. R. 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, vol. 47, no. 12. IOP Publishing, 2014.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1403
M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.
View | Files available
 

2014 | Published | Thesis | IST-REx-ID: 1404
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
E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable preparation of pure and dense DNA origami solutions,” Angewandte Chemie International Edition, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1791
S. Baek et al., “Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation,” Neuron, vol. 82, no. 6. Elsevier, pp. 1255–1262, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17977
G. Balducci et al., “Computational study of amino mediated molecular interaction evidenced in N 1s NEXAFS: 1,4-diaminobenzene on Au (111),” The Journal of Physical Chemistry C, vol. 119, no. 4. American Chemical Society, pp. 1988–1995, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17978
A. Batra et al., “Probing the mechanism for graphene nanoribbon formation on gold surfaces through X-ray spectroscopy,” Chemical Science, vol. 5, no. 11. Royal Society of Chemistry, pp. 4419–4423, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17979
Z.-F. Liu et al., “Control of single-molecule junction conductance of porphyrins via a transition-metal center,” Nano Letters, vol. 14, no. 9. American Chemical Society, pp. 5365–5370, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17980
A. Batra et al., “Trimethyltin-mediated covalent Gold–Carbon bond formation,” Journal of the American Chemical Society, vol. 136, no. 36. American Chemical Society, pp. 12556–12559, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17981
J. Hodgkiss et al., “Molecular electronics: General discussion,” Faraday Discuss., vol. 174. Royal Society of Chemistry, pp. 125–151, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17982
A. Batra et al., “Molecular diodes enabled by quantum interference,” Faraday Discussions, vol. 174. Royal Society of Chemistry, pp. 79–89, 2014.
View | DOI | PubMed | Europe PMC
 

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

2014 | Published | Journal Article | IST-REx-ID: 17984
S. V. Aradhya, A. Nielsen, M. S. Hybertsen, and L. Venkataraman, “Quantitative bond energetics in atomic-scale junctions,” ACS Nano, vol. 8, no. 7. American Chemical Society, pp. 7522–7530, 2014.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed