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
Jha, Susmit, Stavros Tripakis, Sanjit Seshia, and Krishnendu Chatterjee. “Game Theoretic Secure Localization in Wireless Sensor Networks,” 85–90. IEEE, 2014. https://doi.org/10.1109/IOT.2014.7030120.
View | DOI
 

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: 1869
Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.” In HVC 2014, edited by Eran Yahav, 8855:68–74. Springer, 2014. https://doi.org/10.1007/978-3-319-13338-6_6.
View | DOI
 

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: 12634
Pellicciotti, Francesca, 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. Elsevier, 2014. https://doi.org/10.1016/j.scitotenv.2013.10.055.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12635
Pellicciotti, Francesca, 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. Elsevier, 2014. https://doi.org/10.1016/j.scitotenv.2014.04.022.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12636
Immerzeel, W.W., P.D.A. Kraaijenbrink, J.M. Shea, A.B. Shrestha, Francesca Pellicciotti, M.F.P. Bierkens, and S.M. de Jong. “High-Resolution Monitoring of Himalayan Glacier Dynamics Using Unmanned Aerial Vehicles.” Remote Sensing of Environment. Elsevier, 2014. https://doi.org/10.1016/j.rse.2014.04.025.
View | DOI
 

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.)
 

2014 | Published | Journal Article | IST-REx-ID: 1309
Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.” Nonlinear Differential Equations and Applications. Birkhäuser, 2014. https://doi.org/10.1007/s00030-013-0235-0.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1312
Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.” Archive for Rational Mechanics and Analysis. Springer, 2014. https://doi.org/10.1007/s00205-013-0690-0.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1979
Sazanov, Leonid A. “The Mechanism of Coupling between Electron Transfer and Proton Translocation in Respiratory Complex I.” Journal of Bioenergetics and Biomembranes. Springer, 2014. https://doi.org/10.1007/s10863-014-9554-z.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1980
Heikal, Adam, Yoshio Nakatani, Elyse Dunn, Marion Weimar, Catherine Day, Edward Baker, Shaun Lott, Leonid A Sazanov, and Gregory Cook. “Structure of the Bacterial Type II NADH Dehydrogenase: A Monotopic Membrane Protein with an Essential Role in Energy Generation.” Molecular Microbiology. Wiley-Blackwell, 2014. https://doi.org/10.1111/mmi.12507.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1989
Nguyen, Phuong, Aaron Groen, Martin Loose, Keisuke Ishihara, Martin Wühr, Christine Field, and Timothy Mitchison. “Spatial Organization of Cytokinesis Signaling Reconstituted in a Cell-Free System.” Science. American Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1256773.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1990
Loose, Martin, and Timothy Mitchison. “The Bacterial Cell Division Proteins FtsA and FtsZ Self-Organize into Dynamic Cytoskeletal Patterns.” Nature Cell Biology. Nature Publishing Group, 2014. https://doi.org/10.1038/ncb2885.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1994
Viaene, Tom, Katarina Landberg, Mattias Thelander, Eva Medvecka, Eric Pederson, Elena Feraru, Endymion Cooper, et al. “Directional Auxin Transport Mechanisms in Early Diverging Land Plants.” Current Biology. Cell Press, 2014. https://doi.org/10.1016/j.cub.2014.09.056.
View | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
Fratini, Filippo, Eduardo Mascarenhas, Laleh Safari, Jean Poizat, Daniel Valente, Alexia Auffèves, Dario Gerace, and Marcelo Santos. “Fabry-Perot Interferometer with Quantum Mirrors: Nonlinear Light Transport and Rectification.” Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/PhysRevLett.113.243601.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1996 | OA
Hazak, Ora, Uri Obolski, Tomas Prat, Jiří Friml, Lilach Hadany, and Shaul Yalovsky. “Bimodal Regulation of ICR1 Levels Generates Self-Organizing Auxin Distribution.” PNAS. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1413918111.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed