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
A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1393 | OA
Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 14020 | OA
Two-pulse field-free orientation reveals anisotropy of molecular shape resonance
P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14021 | OA
Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules
P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 47 (2014).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14301 | OA
Facile and scalable preparation of pure and dense DNA origami solutions
E. Stahl, T. Martin, F.M. Praetorius, H. Dietz, Angewandte Chemie International Edition 126 (2014) 12949–12954.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 17985 | OA
Breakdown of interference rules in azulene, a nonalternant hydrocarbon
J. Xia, B. Capozzi, S. Wei, M. Strange, A. Batra, J.R. Moreno, R.J. Amir, E. Amir, G.C. Solomon, L. Venkataraman, L.M. Campos, Nano Letters 14 (2014) 2941–2945.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1816 | OA
Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 18200 | OA
Optical transport and manipulation of an ultracold atomic cloud using focus-tunable lenses
J. Leonard, M. Lee, A. Morales, T.M. Karg, T. Esslinger, T. Donner, New Journal of Physics 16 (2014).
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1821 | OA
Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 18414 | OA
Multimodal similarity-preserving hashing
J. Masci, M.M. Bronstein, A.M. Bronstein, J. Schmidhuber, IEEE Transactions on Pattern Analysis and Machine Intelligence 36 (2014) 824–830.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1842 | OA
On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1844 | OA
Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1852 | OA
An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1854 | OA
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1862 | OA
Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusova, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2014 | Published | Conference Paper | IST-REx-ID: 1870 | OA
Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12632 | OA
A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response
J. Gabbi, M. Carenzo, F. Pellicciotti, A. Bauder, M. Funk, Journal of Glaciology 60 (2014) 1140–1154.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 12637 | OA
The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas
W.W. Immerzeel, L. Petersen, S. Ragettli, F. Pellicciotti, Water Resources Research 50 (2014) 2212–2226.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification
F. Fratini, E. Mascarenhas, L. Safari, J. Poizat, D. Valente, A. Auffèves, D. Gerace, M. Santos, Physical Review Letters 113 (2014).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed