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.

7668 Publications


2014 | Published | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science. Elsevier, 2014. https://doi.org/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, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/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, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 14020 | OA
Kraus, P. M., Denitsa Rangelova Baykusheva, and H. J. Wörner. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical Review Letters. American Physical Society, 2014. https://doi.org/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, Denitsa Rangelova 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. IOP Publishing, 2014. https://doi.org/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, Thomas Martin, Florian M Praetorius, and Hendrik Dietz. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte Chemie International Edition. Wiley, 2014. https://doi.org/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, Brian Capozzi, Sujun Wei, Mikkel Strange, Arunabh Batra, Jose R. Moreno, Roey J. Amir, et al. “Breakdown of Interference Rules in Azulene, a Nonalternant Hydrocarbon.” Nano Letters. American Chemical Society, 2014. https://doi.org/10.1021/nl5010702.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1816 | OA
Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2014. https://doi.org/10.1142/S0218195914500034.
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 18200 | OA
Leonard, Julian, Moonjoo Lee, Andrea Morales, Thomas M Karg, Tilman Esslinger, and Tobias Donner. “Optical Transport and Manipulation of an Ultracold Atomic Cloud Using Focus-Tunable Lenses.” New Journal of Physics. IOP Publishing, 2014. https://doi.org/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. American Institute of Physics, 2014. https://doi.org/10.1063/1.4881536.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 18414 | OA
Masci, Jonathan, Michael M. Bronstein, Alex M. Bronstein, and Jurgen Schmidhuber. “Multimodal Similarity-Preserving Hashing.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2014. https://doi.org/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, Pu Gao, Marek Krcál, Tomáš Valla, and Pavel Valtr. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry. Springer, 2014. https://doi.org/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, Fadia Manssour Triedo, Asuncion Delgado Delgado, Rocio Arco, Alicia Barroso Deljesús, Álvaro Inglés Prieto, Raquel Godoy Ruiz, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution. Oxford University Press, 2014. https://doi.org/10.1093/molbev/msu312.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1852 | OA
Sassi, Massimiliano, Olivier Ali, Frédéric Boudon, Gladys Cloarec, Ursula Abad, Coralie Cellier, Xu Chen, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.” Current Biology. Cell Press, 2014. https://doi.org/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, Thomas Auzinger, Michael Wimmer, and Stefan Jeschke. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum. Wiley, 2014. https://doi.org/10.1111/cgf.12509.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1862 | OA
Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusova, Eva Benková, Catherine Perrot Rechenmann, and Jiří Friml. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature. Nature Publishing Group, 2014. https://doi.org/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, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.” In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431.
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.” In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014. https://doi.org/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, Marco Carenzo, Francesca Pellicciotti, Andreas Bauder, and Martin Funk. “A Comparison of Empirical and Physically Based Glacier Surface Melt Models for Long-Term Simulations of Glacier Response.” Journal of Glaciology. International Glaciological Society, 2014. https://doi.org/10.3189/2014jog14j011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 12637 | OA
Immerzeel, W. W., L. Petersen, S. Ragettli, and Francesca Pellicciotti. “The Importance of Observed Gradients of Air Temperature and Precipitation for Modeling Runoff from a Glacierized Watershed in the Nepalese Himalayas.” Water Resources Research. American Geophysical Union, 2014. https://doi.org/10.1002/2013wr014506.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed