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
S. Jha, S. Tripakis, S. Seshia, and K. Chatterjee, “Game theoretic secure localization in wireless sensor networks,” presented at the IOT: Internet of Things, Cambridge, USA, 2014, pp. 85–90.
View | DOI
 

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

2014 | Published | Journal Article | IST-REx-ID: 1862 | OA
X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729. Nature Publishing Group, pp. 90–93, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2014 | Published | Conference Paper | IST-REx-ID: 1869
G. Hofferek and A. Gupta, “Suraq - a controller synthesis tool using uninterpreted functions,” in HVC 2014, Haifa, Israel, 2014, vol. 8855, pp. 68–74.
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1870 | OA
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of finite-state transducers,” in Leibniz International Proceedings in Informatics, LIPIcs, Delhi, India, 2014, vol. 29, pp. 431–443.
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
A. Gupta, L. Kovács, B. Kragl, and A. Voronkov, “Extensional crisis and proving identity,” in ATVA 2014, Sydney, Australia, 2014, vol. 8837, pp. 185–200.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12632 | OA
J. Gabbi, M. Carenzo, F. Pellicciotti, A. Bauder, and M. Funk, “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, pp. 1140–1154, 2014.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 12634
F. Pellicciotti, S. Ragettli, M. Carenzo, and J. McPhee, “Changes of glaciers in the Andes of Chile and priorities for future work,” Science of The Total Environment, vol. 493. Elsevier, pp. 1197–1210, 2014.
View | DOI
 

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

2014 | Published | Journal Article | IST-REx-ID: 12636
W. W. Immerzeel et al., “High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles,” Remote Sensing of Environment, vol. 150, no. 7. Elsevier, pp. 93–103, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12637 | OA
W. W. Immerzeel, L. Petersen, S. Ragettli, and F. 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, vol. 50, no. 3. American Geophysical Union, pp. 2212–2226, 2014.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1309
J. L. Fischer, “Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models,” Nonlinear Differential Equations and Applications, vol. 21, no. 1. Birkhäuser, pp. 27–50, 2014.
View | DOI
 

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

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

2014 | Published | Journal Article | IST-REx-ID: 1980
A. Heikal et al., “Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation,” Molecular Microbiology, vol. 91, no. 5. Wiley-Blackwell, pp. 950–964, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1989
P. Nguyen et al., “Spatial organization of cytokinesis signaling reconstituted in a cell-free system,” Science, vol. 346, no. 6206. American Association for the Advancement of Science, pp. 244–247, 2014.
View | DOI
 

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

2014 | Published | Journal Article | IST-REx-ID: 1994
T. Viaene et al., “Directional auxin transport mechanisms in early diverging land plants,” Current Biology, vol. 24, no. 23. Cell Press, pp. 2786–2791, 2014.
View | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
F. Fratini et al., “Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification,” Physical Review Letters, vol. 113, no. 24. American Physical Society, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed