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.

11357 Publications


2014 | Published | Conference Paper | IST-REx-ID: 1853
Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
View | DOI
 

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: 1869
Suraq - a controller synthesis tool using uninterpreted functions
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
View | DOI
 

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: 12634
Changes of glaciers in the Andes of Chile and priorities for future work
F. Pellicciotti, S. Ragettli, M. Carenzo, J. McPhee, Science of The Total Environment 493 (2014) 1197–1210.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12635
Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research
F. Pellicciotti, M. Carenzo, R. Bordoy, M. Stoffel, Science of The Total Environment 493 (2014) 1152–1170.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12636
High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles
W.W. Immerzeel, P.D.A. Kraaijenbrink, J.M. Shea, A.B. Shrestha, F. Pellicciotti, M.F.P. Bierkens, S.M. de Jong, Remote Sensing of Environment 150 (2014) 93–103.
View | DOI
 

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: 1309
Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models
J.L. Fischer, Nonlinear Differential Equations and Applications 21 (2014) 27–50.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1312
Upper bounds on waiting times for the Thin-film equation: The case of weak slippage
J.L. Fischer, Archive for Rational Mechanics and Analysis 211 (2014) 771–818.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1979
The mechanism of coupling between electron transfer and proton translocation in respiratory complex I
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1980
Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation
A. Heikal, Y. Nakatani, E. Dunn, M. Weimar, C. Day, E. Baker, S. Lott, L.A. Sazanov, G. Cook, Molecular Microbiology 91 (2014) 950–964.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1989
Spatial organization of cytokinesis signaling reconstituted in a cell-free system
P. Nguyen, A. Groen, M. Loose, K. Ishihara, M. Wühr, C. Field, T. Mitchison, Science 346 (2014) 244–247.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1990
The bacterial cell division proteins ftsA and ftsZ self-organize into dynamic cytoskeletal patterns
M. Loose, T. Mitchison, Nature Cell Biology 16 (2014) 38–46.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1994
Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
View | DOI | WoS
 

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
 

2014 | Published | Journal Article | IST-REx-ID: 1996 | OA
Bimodal regulation of ICR1 levels generates self-organizing auxin distribution
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, S. Yalovsky, PNAS 111 (2014) E5471–E5479.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed