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.

7667 Publications


2014 | Published | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, 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, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 14020 | OA
Kraus, P. M., et al. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical Review Letters, vol. 113, no. 2, 023001, American Physical Society, 2014, 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, P. M., et al. “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, 124030, IOP Publishing, 2014, doi:10.1088/0953-4075/47/12/124030.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14301 | OA
Stahl, Evi, et al. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte Chemie International Edition, vol. 126, no. 47, Wiley, 2014, pp. 12949–54, doi:10.1002/ange.201405991.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17985 | OA
Xia, Jianlong, et al. “Breakdown of Interference Rules in Azulene, a Nonalternant Hydrocarbon.” Nano Letters, vol. 14, no. 5, American Chemical Society, 2014, pp. 2941–45, doi:10.1021/nl5010702.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1816 | OA
Huber, Stefan, et al. “Topology-Preserving Watermarking of Vector Graphics.” International Journal of Computational Geometry and Applications, vol. 24, no. 1, World Scientific Publishing, 2014, pp. 61–86, doi:10.1142/S0218195914500034.
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 18200 | OA
Leonard, Julian, et al. “Optical Transport and Manipulation of an Ultracold Atomic Cloud Using Focus-Tunable Lenses.” New Journal of Physics, vol. 16, no. 9, 093028, IOP Publishing, 2014, doi:10.1088/1367-2630/16/9/093028.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1821 | OA
Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” Journal of Mathematical Physics, vol. 55, no. 7, 1.4881536, American Institute of Physics, 2014, doi:10.1063/1.4881536.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 18414 | OA
Masci, Jonathan, et al. “Multimodal Similarity-Preserving Hashing.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 36, no. 4, IEEE, 2014, pp. 824–30, doi:10.1109/tpami.2013.225.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1842 | OA
Cibulka, Josef, et al. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry, vol. 53, no. 1, Springer, 2014, pp. 64–79, doi:10.1007/s00454-014-9646-x.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1844 | OA
Risso, Valeria, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution, vol. 32, no. 2, Oxford University Press, 2014, pp. 440–55, doi:10.1093/molbev/msu312.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1852 | OA
Sassi, Massimiliano, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.” Current Biology, vol. 24, no. 19, Cell Press, 2014, pp. 2335–42, doi:10.1016/j.cub.2014.08.036.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1854 | OA
Guerrero, Paul, et al. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum, vol. 34, no. 1, Wiley, 2014, pp. 239–52, doi:10.1111/cgf.12509.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1862 | OA
Chen, Xu, et al. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature, vol. 516, no. 729, Nature Publishing Group, 2014, pp. 90–93, doi:10.1038/nature13889.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2014 | Published | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.” Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.” ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12632 | OA
Gabbi, Jeannette, et al. “A Comparison of Empirical and Physically Based Glacier Surface Melt Models for Long-Term Simulations of Glacier Response.” Journal of Glaciology, vol. 60, no. 224, International Glaciological Society, 2014, pp. 1140–54, doi:10.3189/2014jog14j011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 12637 | OA
Immerzeel, W. W., et al. “The Importance of Observed Gradients of Air Temperature and Precipitation for Modeling Runoff from a Glacierized Watershed in the Nepalese Himalayas.” Water Resources Research, vol. 50, no. 3, American Geophysical Union, 2014, pp. 2212–26, doi:10.1002/2013wr014506.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
Fratini, Filippo, et al. “Fabry-Perot Interferometer with Quantum Mirrors: Nonlinear Light Transport and Rectification.” Physical Review Letters, vol. 113, no. 24, 243601, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.243601.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed