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.
10506 Publications
2014 | Published | Journal Article | IST-REx-ID: 13399
Kundu PK, Klajn R. Watching single molecules move in response to light. ACS Nano. 2014;8(12):11913-11916. doi:10.1021/nn506656r
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13400
Singh G, Chan H, Baskin A, et al. Self-assembly of magnetite nanocubes into helical superstructures. Science. 2014;345(6201):1149-1153. doi:10.1126/science.1254132
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13401
Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. Journal of the American Chemical Society. 2014;136(32):11276-11279. doi:10.1021/ja505948q
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13402 | 
Kundu PK, Olsen GL, Kiss V, Klajn R. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 2014;5. doi:10.1038/ncomms4588
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13403
Zdobinsky T, Sankar Maiti P, Klajn R. Support curvature and conformational freedom control chemical reactivity of immobilized species. Journal of the American Chemical Society. 2014;136(7):2711-2714. doi:10.1021/ja411573a
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 13404 |
Klajn R. Spiropyran-based dynamic materials. Chemical Society Reviews. 2014;43(1):148-184. doi:10.1039/c3cs60181a
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1375 |
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.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 1392 |
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 |
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 |
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 |
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 | Journal Article | IST-REx-ID: 14301 |
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 | Book Chapter | IST-REx-ID: 10817
Günther D, Reininghaus J, Seidel H-P, Weinkauf T. Notes on the simplification of the Morse-Smale complex. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological Methods in Data Analysis and Visualization III. Mathematics and Visualization. Cham: Springer Nature; 2014:135-150. doi:10.1007/978-3-319-04099-8_9
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10884 |
Aminof B, Jacobs S, Khalimov A, Rubin S. Parameterized model checking of token-passing systems. In: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:262-281. doi:10.1007/978-3-642-54013-4_15
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10885
Chatterjee K, Doyen L, Filiot E, Raskin J-F. Doomsday equilibria for omega-regular games. In: VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:78-97. doi:10.1007/978-3-642-54013-4_5
[Preprint]
View
| Files available
| DOI
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10886
Zobel V, Reininghaus J, Hotz I. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. In: Topological Methods in Data Analysis and Visualization III . Springer; 2014:249-262. doi:10.1007/978-3-319-04099-8_16
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10892
Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. In: 25th International Symposium, ISAAC 2014. Vol 8889. Springer Nature; 2014:117-127. doi:10.1007/978-3-319-13075-0_10
View
| Files available
| DOI
2014 | Published | Book Chapter | IST-REx-ID: 10893
Kasten J, Reininghaus J, Reich W, Scheuermann G. Toward the extraction of saddle periodic orbits. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological Methods in Data Analysis and Visualization III . Vol 1. Mathematics and Visualization. Cham: Springer; 2014:55-69. doi:10.1007/978-3-319-04099-8_4
View
| DOI