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.

7340 Publications


2009 | Conference Paper | IST-REx-ID: 4391
Automated Analysis of Java Methods for Confidentiality
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
The role of nuclear pores in gene regulation, development and disease
M. Capelson, M. Hetzer, EMBO Reports 10 (2009) 697–705.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
ER membrane–bending proteins are necessary for de novo nuclear pore formation
T.R. Dawson, M.D. Lazarus, M. Hetzer, S.R. Wente, Journal of Cell Biology 184 (2009) 659–675.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11103 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells
M.A. D’Angelo, M. Raices, S.H. Panowski, M. Hetzer, Cell 136 (2009) 284–295.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo
D.J. Anderson, J.D. Vargas, J.P. Hsiao, M. Hetzer, Journal of Cell Biology 186 (2009) 183–191.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 2795
Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow
B. Hof, A. De Lózar, D. Kuik, J. Westerweel, Physical Review Letters 101 (2008).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2892
Networking networks
R. Azevedo, R. Lohaus, T. Paixao, Evolution & Development 10 (2008) 514–515.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3030
Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants
E. Růčková, J. Friml, P. Procházková Schrumpfová, J. Fajkus, Plant Molecular Biology 66 (2008) 637–646.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes
P. Dhonukshe, I. Grigoriev, R. Fischer, M. Tominaga, D. Robinson, J. Hašek, T. Paciorek, J. Petrášek, D. Seifertová, R. Tejos, L. Meisel, E. Zažímalová, T. Gadella, Y. Stierhof, T. Ueda, K. Oiwa, A. Akhmanova, R. Brock, A. Spang, J. Friml, PNAS 105 (2008) 4489–4494.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Visualization of auxin gradients in embryogenesis
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 137–144.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Plant biology: In their neighbour's shadow
J. Friml, M. Sauer, Nature 453 (2008) 298–299.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 71–76.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Auxin acts as a local morphogenetic trigger to specify lateral root founder cells
J. Dubrovsky, M. Sauer, S. Napsucialy Mendivil, M. Ivanchenko, J. Friml, S. Shishkova, J. Celenza, E. Benková, PNAS 105 (2008) 8790–8794.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
PIN polar targeting
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3038
The auxin influx carrier LAX3 promotes lateral root emergence
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3039
Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root
I. De Smet, V. Vassileva, B. De Rybel, M. Levesque, W. Grunewald, D. Van Damme, G. Van Noorden, M. Naudts, G. Van Isterdael, R. De Clercq, J. Wang, N. Meuli, S. Vanneste, J. Friml, P. Hilson, G. Jürgens, G. Ingram, D. Inzé, P. Benfey, T. Beeckman, Science 322 (2008) 594–597.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Cellular and molecular requirements for polar PIN targeting and transcytosis in plants
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses
D. Santelia, S. Henrichs, V. Vincenzetti, M. Sauer, L. Bigler, M. Klein, A. Bailly, Y. Lee, J. Friml, M. Geisler, E. Martinoia, Journal of Biological Chemistry 283 (2008) 31218–31226.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3042
Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting
J. Kleine Vehn, J. Leitner, M. Zwiewka, M. Sauer, L. Abas, C. Luschnig, J. Friml, PNAS 105 (2008) 17812–17817.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3043
Polar targeting and endocytic recycling in auxin-dependent plant development
J. Kleine Vehn, J. Friml, Annual Review of Cell and Developmental Biology 24 (2008) 447–473.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3044
Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development
J. Mravec, M. Kubeš, A. Bielach, V. Gaykova, J. Petrášek, P. Skůpa, S. Chand, E. Benková, E. Zažímalová, J. Friml, Development 135 (2008) 3345–3354.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions
P. Dhonukshe, H. Tanaka, T. Goh, K. Ebine, A. Mähönen, K. Prasad, I. Blilou, N. Geldner, J. Xu, T. Uemura, J. Chory, T. Ueda, A. Nakano, B. Scheres, J. Friml, Nature 456 (2008) 962–966.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3194
On partial optimality in multi label MRFs
P. Kohli, A. Shekhovtsov, C. Rother, V. Kolmogorov, P. Torr, in:, Omnipress, 2008, pp. 480–487.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3195
Graph cut based image segmentation with connectivity priors
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3196
A comparative study of energy minimization methods for Markov random fields with smoothness-based priors
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 30 (2008) 1068–1080.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3198
Feature correspondence via graph matching: Models and global optimization
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
A new mode of operation for block ciphers and length preserving MACs
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Robust multi property combiners for hash functions revisited
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3226
Weak pseudorandom functions in minicrypt
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Elektrowiz – system of measurement data management
P. Zubielik, J. Nadaczny, K.Z. Pietrzak, M. Lawenda, Przeglad Elektrotechniczny 84 (2008) 239–242.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3228
Compression from collisions or why CRHF combiners have a long output
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Leakage resilient cryptography
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus
P.S. Schmalhorst, S. Krappmann, W. Vervecken, M. Rohde, M. Müller, G. Braus, R. Contreras, A. Braun, H. Bakker, F. Routier, Eukaryotic Cell 7 (2008) 1268–1277.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3409
Fully automated single-molecule force spectroscopy for screening applications
J. Struckmeier, R. Wahl, M. Leuschner, J. Nunes, H.L. Janovjak, U. Geisler, G. Hofmann, T. Jähnke, D. Mueller, Nanotechnology 19 (2008).
View | DOI
 

2008 | Book Review | IST-REx-ID: 3410
From valleys to ridges: Exploring the energy landscape of single membrane proteins
H.L. Janovjak, T. Sapra, A. Kedrov, D. Mueller, ChemPhysChem 9 (2008) 954–966.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 844
Hypermutable non-synonymous sites are under stronger negative selection
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8480 View | DOI
 

2008 | Journal Article | IST-REx-ID: 8481
Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8482
Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load
T. Kern, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 190 (2008) 333–338.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8509
Geometry of Arnold diffusion
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8510
An example of Arnold diffusion for near-integrable Hamiltonians
V. Kaloshin, M. Levi, Bulletin of the American Mathematical Society 45 (2008) 409–427.
View | DOI
 

2008 | Thesis | IST-REx-ID: 4415
Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
View
 

Search

Filter Publications