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.

7346 Publications


2009 | Conference Paper | IST-REx-ID: 4376
R. Lublinerman, S. Chaudhuri, and P. Cerny, “Parallel programming with object assemblies,” presented at the Oopsla Object Oriented Programming Systems Languages and Applications, 2009, pp. 61–80.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s Doomed; We Can Prove It,” presented at the FM: Formal Methods, 2009, pp. 338–353.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
A. Dragojevic, R. Guerraoui, A. Singh, and V. Singh, “Preventing versus curing: avoiding conflicts in transactional memories,” presented at the POPL: Principles of Programming Languages, 2009, pp. 7–16.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
P. Cerny and R. Alur, “Automated Analysis of Java Methods for Confidentiality,” presented at the CAV: Computer Aided Verification, 2009, pp. 173–187.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

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

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

2009 | Journal Article | IST-REx-ID: 11103 | OA
M. Hetzer and S. R. Wente, “Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes,” Developmental Cell, vol. 17, no. 5. Elsevier, pp. 606–616, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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

2009 | Conference Paper | IST-REx-ID: 11752
X. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” in Journal of Physics: Conference Series, Karlsruhe, Germany, 2009, vol. 200, no. 3.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7080
X.-D. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” Philosophical Magazine, vol. 89, no. 22–24. Taylor & Francis, pp. 2083–2091, 2009.
View | Files available | DOI
 

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

2008 | Journal Article | IST-REx-ID: 2892
R. Azevedo, R. Lohaus, and T. Paixao, “Networking networks,” Evolution & Development, vol. 10, no. 5. Wiley-Blackwell, pp. 514–515, 2008.
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 3031
P. Dhonukshe et al., “Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes,” PNAS, vol. 105, no. 11. National Academy of Sciences, pp. 4489–4494, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
J. Kleine Vehn et al., “ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis,” Current Biology, vol. 18, no. 7. Cell Press, pp. 526–531, 2008.
View | DOI
 

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

2008 | Journal Article | IST-REx-ID: 3034
J. Friml and M. Sauer, “Plant biology: In their neighbour’s shadow,” Nature, vol. 453, no. 7193. Nature Publishing Group, pp. 298–299, 2008.
View | DOI
 

Search

Filter Publications