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.

11583 Publications


2014 | Published | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi: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 TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 14018
Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. Faraday Discussions. 2014;171:113-132. doi:10.1039/c4fd00018h
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 14019
Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 2014;141(6). doi:10.1063/1.4890744
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 14020 | OA
Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 2014;113(2). doi: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 PM, Baykusheva DR, Wörner HJ. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 2014;47(12). doi:10.1088/0953-4075/47/12/124030
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2014 | Published | Journal Article | IST-REx-ID: 14301 | OA
Stahl E, Martin T, Praetorius FM, Dietz H. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 2014;126(47):12949-12954. doi: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, et al. Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation. Neuron. 2014;82(6):1255-1262. doi:10.1016/j.neuron.2014.04.036
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17977
Balducci G, Romeo M, Stener M, 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. 2014;119(4):1988-1995. doi:10.1021/jp512146t
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17978
Batra A, Cvetko D, Kladnik G, et al. Probing the mechanism for graphene nanoribbon formation on gold surfaces through X-ray spectroscopy. Chemical Science. 2014;5(11):4419-4423. doi:10.1039/c4sc01584c
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 17979
Liu Z-F, Wei S, Yoon H, et al. Control of single-molecule junction conductance of porphyrins via a transition-metal center. Nano Letters. 2014;14(9):5365-5370. doi:10.1021/nl5025062
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17980
Batra A, Kladnik G, Gorjizadeh N, et al. Trimethyltin-mediated covalent Gold–Carbon bond formation. Journal of the American Chemical Society. 2014;136(36):12556-12559. doi:10.1021/ja5061406
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17981
Hodgkiss J, Zysman-Colman E, Higgins S, et al. Molecular electronics: General discussion. Faraday Discuss. 2014;174:125-151. doi:10.1039/c4fd90049a
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17982
Batra A, Meisner JS, Darancet P, et al. Molecular diodes enabled by quantum interference. Faraday Discussions. 2014;174:79-89. doi:10.1039/c4fd00093e
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17983
Capozzi B, Dell EJ, Berkelbach TC, Reichman DR, Venkataraman L, Campos LM. Length-dependent conductance of oligothiophenes. Journal of the American Chemical Society. 2014;136(29):10486-10492. doi:10.1021/ja505277z
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17984
Aradhya SV, Nielsen A, Hybertsen MS, Venkataraman L. Quantitative bond energetics in atomic-scale junctions. ACS Nano. 2014;8(7):7522-7530. doi:10.1021/nn502836e
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17985 | OA
Xia J, Capozzi B, Wei S, et al. Breakdown of interference rules in azulene, a nonalternant hydrocarbon. Nano Letters. 2014;14(5):2941-2945. doi:10.1021/nl5010702
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 17986
Klausen RS, Widawsky JR, Su TA, et al. Evaluating atomic components in fluorene wires. Chemical Science. 2014;5(4). doi:10.1039/c4sc00064a
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed