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.
10718 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny P, Alur R. Automated analysis of Java methods for confidentiality. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:173-187. doi:10.1007/978-3-642-02658-4_16
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir M, Podelski A, Wies T. Abstraction refinement for quantified array assertions. In: 16th International Symposium on Static Analysis. Vol 5673. Springer; 2009:3-18. doi:10.1007/978-3-642-03237-0_3
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module inference. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:493-508. doi:10.1007/978-3-642-02658-4_37
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3768
Kupczok A, Von Haeseler A. Comment on “A congruence index for testing topological similarity between trees.” Bioinformatics. 2009;25(1):147-149. doi:10.1093/bioinformatics/btn539
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar H. Stochasticity and Variability in the dynamics and genetics of populations. 2009.
View
2008 | Published | Journal Article | IST-REx-ID: 13422
Wei Y, Klajn R, Pinchuk AO, Grzybowski BA. Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers.” Small. 2008;4(10):1635-1639. doi:10.1002/smll.200800511
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 13423
Klajn R, Gray TP, Wesson PJ, et al. Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. 2008;18(18):2763-2769. doi:10.1002/adfm.200800293
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1460 | 
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi:10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11109
Kutay U, Hetzer M. Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. 2008;20(6):669-677. doi:10.1016/j.ceb.2008.09.010
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11110
D’Angelo MA, Hetzer M. Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. 2008;18(10):456-466. doi:10.1016/j.tcb.2008.07.009
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 2008;182(5):911-924. doi:10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11112
Anderson DJ, Hetzer M. The life cycle of the metazoan nuclear envelope. Current Opinion in Cell Biology. 2008;20(4):386-392. doi:10.1016/j.ceb.2008.03.016
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11113 |
Anderson DJ, Hetzer M. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 2008;121(2):137-142. doi:10.1242/jcs.005777
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11114 |
Schulte R, Talamas J, Doucet C, Hetzer M. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 2008;3(4). doi:10.1371/journal.pone.0002061
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11878
Baykan E, Henzinger M, Weber I. Web page language identification based on URLs. Proceedings of the VLDB Endowment. 2008;1(1):176-187. doi:10.14778/1453856.1453880
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1717
Kicheva A, González Gaitán M. The Decapentaplegic morphogen gradient a precise definition. Current Opinion in Cell Biology. 2008;20(2):137-143. doi:10.1016/j.ceb.2008.01.008
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1719
Bittig T, Wartlick O, Kicheva A, González Gaitárr M, Julicher F. Dynamics of anisotropic tissue growth. New Journal of Physics. 2008;10. doi:10.1088/1367-2630/10/6/063001
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1749
Rastelli A, Stoffel M, Malachias Â, et al. Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. 2008;8(5):1404-1409. doi:10.1021/nl080290y
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1751
Katsaros G, Tersoff J, Stoffel M, et al. Positioning of strained islands by interaction with surface nanogrooves. Physical Review Letters. 2008;101(9). doi:10.1103/PhysRevLett.101.096103
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1763 |
Fink JM, Göppl M, Baur M, et al. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 2008;454(7202):315-318. doi:10.1038/nature07112
View
| DOI
| Download (ext.)