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.

12317 Publications


2014 | Published | Conference Paper | IST-REx-ID: 2190 | OA
J. Esparza and J. Kretinsky, “From LTL to deterministic automata: A safraless compositional approach,” presented at the CAV: Computer Aided Verification, 2014, vol. 8559, pp. 192–208.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 13399
P. K. Kundu and R. Klajn, “Watching single molecules move in response to light,” ACS Nano, vol. 8, no. 12. American Chemical Society, pp. 11913–11916, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13400
G. Singh et al., “Self-assembly of magnetite nanocubes into helical superstructures,” Science, vol. 345, no. 6201. American Association for the Advancement of Science, pp. 1149–1153, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13401
P. K. Kundu, A. Lerner, K. Kučanda, G. Leitus, and R. Klajn, “Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran,” Journal of the American Chemical Society, vol. 136, no. 32. American Chemical Society, pp. 11276–11279, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13402 | OA
P. K. Kundu, G. L. Olsen, V. Kiss, and R. Klajn, “Nanoporous frameworks exhibiting multiple stimuli responsiveness,” Nature Communications, vol. 5. Springer Nature, 2014.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13403
T. Zdobinsky, P. Sankar Maiti, and R. Klajn, “Support curvature and conformational freedom control chemical reactivity of immobilized species,” Journal of the American Chemical Society, vol. 136, no. 7. American Chemical Society, pp. 2711–2714, 2014.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13404 | OA
R. Klajn, “Spiropyran-based dynamic materials,” Chemical Society Reviews, vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1375 | OA
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 1507 | OA
L. Erdös, “Random matrices, log-gases and Hölder regularity,” in Proceedings of the International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 1516 | OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany, 2014, pp. 127–137.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 15161 | OA
W. Guan, A. K. Michael, M. L. McIntosh, L. Koren-Selfridge, J. P. Scott, and T. B. Clark, “Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters,” The Journal of Organic Chemistry, vol. 79, no. 15. American Chemical Society, pp. 7199–7204, 2014.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1629 | OA
P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” ACM Transactions on Graphics, vol. 33, no. 2. ACM, 2014.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 1643 | OA
G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | Cryptology ePrint
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed