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.
289 Publications
2010 | Conference Paper | IST-REx-ID: 10908 | 
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
2010 | Journal Article | IST-REx-ID: 11097
The nuclear envelope
M. Hetzer, Cold Spring Harbor Perspectives in Biology 2 (2010) a000539–a000539.
View
| DOI
| PubMed | Europe PMC
M. Hetzer, Cold Spring Harbor Perspectives in Biology 2 (2010) a000539–a000539.
2010 | Journal Article | IST-REx-ID: 11099
Nuclear pore biogenesis into an intact nuclear envelope
C.M. Doucet, M. Hetzer, Chromosoma 119 (2010) 469–477.
View
| DOI
| PubMed | Europe PMC
C.M. Doucet, M. Hetzer, Chromosoma 119 (2010) 469–477.
2010 | Journal Article | IST-REx-ID: 11102 |
Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes
M. Capelson, Y. Liang, R. Schulte, W. Mair, U. Wagner, M. Hetzer, Cell 140 (2010) 372–383.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Capelson, Y. Liang, R. Schulte, W. Mair, U. Wagner, M. Hetzer, Cell 140 (2010) 372–383.
2010 | Journal Article | IST-REx-ID: 11101 |
Cell cycle-dependent differences in nuclear pore complex assembly in metazoa
C.M. Doucet, J.A. Talamas, M. Hetzer, Cell 141 (2010) 1030–1041.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C.M. Doucet, J.A. Talamas, M. Hetzer, Cell 141 (2010) 1030–1041.