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.

7350 Publications


2009 | Journal Article | IST-REx-ID: 4357
Bollback, Jonathan P, and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.” Genetics. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.107.085225.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations,” 366–82. Springer, 2009. https://doi.org/1558.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.
View
 

2009 | Conference Paper | IST-REx-ID: 4365
Seghir, Mohamed, Andreas Podelski, and Thomas Wies. “Abstraction Refinement for Quantified Array Assertions,” 3–18. Springer, 2009. https://doi.org/1556.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,” 493–508. Springer, 2009. https://doi.org/1555.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies,” 61–80. ACM, 2009. https://doi.org/1546.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,” 338–53. Springer, 2009. https://doi.org/1557.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories,” 7–16. ACM, 2009. https://doi.org/1533.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality,” 173–87. Springer, 2009. https://doi.org/1548.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
Capelson, Maya, and Martin Hetzer. “The Role of Nuclear Pores in Gene Regulation, Development and Disease.” EMBO Reports. EMBO, 2009. https://doi.org/10.1038/embor.2009.147.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
Dawson, T. Renee, Michelle D. Lazarus, Martin Hetzer, and Susan R. Wente. “ER Membrane–Bending Proteins Are Necessary for de Novo Nuclear Pore Formation.” Journal of Cell Biology. Rockefeller University Press, 2009. https://doi.org/10.1083/jcb.200806174.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
Hetzer, Martin, and Susan R. Wente. “Border Control at the Nucleus: Biogenesis and Organization of the Nuclear Membrane and Pore Complexes.” Developmental Cell. Elsevier, 2009. https://doi.org/10.1016/j.devcel.2009.10.007.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
D’Angelo, Maximiliano A., Marcela Raices, Siler H. Panowski, and Martin Hetzer. “Age-Dependent Deterioration of Nuclear Pore Complexes Causes a Loss of Nuclear Integrity in Postmitotic Cells.” Cell. Elsevier, 2009. https://doi.org/10.1016/j.cell.2008.11.037.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Anderson, Daniel J., Jesse D. Vargas, Joshua P. Hsiao, and Martin Hetzer. “Recruitment of Functionally Distinct Membrane Proteins to Chromatin Mediates Nuclear Envelope Formation in Vivo.” Journal of Cell Biology. Rockefeller University Press, 2009. https://doi.org/10.1083/jcb.200901106.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 11752
Yang, Xiaodong, Peter S Riseborough, Kimberly A Modic, R A Fisher, C P Oppeil, T R Finlayson, J C Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” In Journal of Physics: Conference Series, Vol. 200. IOP Publishing, 2009. https://doi.org/10.1088/1742-6596/200/3/032062.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7080
Yang, X.-D., P.S. Riseborough, Kimberly A Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Philosophical Magazine. Taylor & Francis, 2009. https://doi.org/10.1080/14786430902865518.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 2795
Hof, Björn, Alberto De Lózar, Dirk Kuik, and Jerry Westerweel. “Repeller or Attractor? Selecting the Dynamical Model for the Onset of Turbulence in Pipe Flow.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.101.214501.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2892
Azevedo, Ricardo, Rolf Lohaus, and Tiago Paixao. “Networking Networks.” Evolution & Development. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1525-142X.2008.00265.x.
View | DOI
 

Search

Filter Publications