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
P. Cerny and R. Alur, “Automated analysis of Java methods for confidentiality,” in 21st International Conference on Computer Aided Verification, 2009, vol. 5643, pp. 173–187.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
M. Seghir, A. Podelski, and T. Wies, “Abstraction refinement for quantified array assertions,” in 16th International Symposium on Static Analysis, Los Angeles, CA, United States, 2009, vol. 5673, pp. 3–18.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4375
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module inference,” in 21st International Conference on Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 493–508.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3768
A. Kupczok and A. Von Haeseler, “Comment on ‘A congruence index for testing topological similarity between trees,’” Bioinformatics, vol. 25, no. 1. Oxford University Press, pp. 147–149, 2009.
View | DOI
 

2009 | Published | Thesis | IST-REx-ID: 4232
H. de Vladar, “Stochasticity and Variability in the dynamics and genetics of populations,” Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
 

2008 | Published | Journal Article | IST-REx-ID: 13422
Y. Wei, R. Klajn, A. O. Pinchuk, and B. A. Grzybowski, “Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 ‘nanoflowers,’” Small, vol. 4, no. 10. Wiley, pp. 1635–1639, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 13423
R. Klajn et al., “Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates,” Advanced Functional Materials, vol. 18, no. 18. Wiley, pp. 2763–2769, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1460 | OA
T. Hausel and F. Rodríguez Villegas, “Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz,” Inventiones Mathematicae, vol. 174, no. 3. Springer, pp. 555–624, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 11109
U. Kutay and M. Hetzer, “Reorganization of the nuclear envelope during open mitosis,” Current Opinion in Cell Biology, vol. 20, no. 6. Elsevier, pp. 669–677, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11110
M. A. D’Angelo and M. Hetzer, “Structure, dynamics and function of nuclear pore complexes,” Trends in Cell Biology, vol. 18, no. 10. Elsevier, pp. 456–466, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11111
D. J. Anderson and M. Hetzer, “Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation,” Journal of Cell Biology, vol. 182, no. 5. Rockefeller University Press, pp. 911–924, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11112
D. J. Anderson and M. Hetzer, “The life cycle of the metazoan nuclear envelope,” Current Opinion in Cell Biology, vol. 20, no. 4. Elsevier, pp. 386–392, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11113 | OA
D. J. Anderson and M. Hetzer, “Shaping the endoplasmic reticulum into the nuclear envelope,” Journal of Cell Science, vol. 121, no. 2. The Company of Biologists, pp. 137–142, 2008.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11114 | OA
R. Schulte, J. Talamas, C. Doucet, and M. Hetzer, “Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions,” PLoS ONE, vol. 3, no. 4. Public Library of Science, 2008.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11878
E. Baykan, M. Henzinger, and I. Weber, “Web page language identification based on URLs,” Proceedings of the VLDB Endowment, vol. 1, no. 1. Association for Computing Machinery, pp. 176–187, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1717
A. Kicheva and M. González Gaitán, “The Decapentaplegic morphogen gradient a precise definition,” Current Opinion in Cell Biology, vol. 20, no. 2. Elsevier, pp. 137–143, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1719
T. Bittig, O. Wartlick, A. Kicheva, M. González Gaitárr, and F. Julicher, “Dynamics of anisotropic tissue growth,” New Journal of Physics, vol. 10. IOP Publishing Ltd., 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1749
A. Rastelli et al., “Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography,” Nano Letters, vol. 8, no. 5. American Chemical Society, pp. 1404–1409, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1751
G. Katsaros et al., “Positioning of strained islands by interaction with surface nanogrooves,” Physical Review Letters, vol. 101, no. 9. American Physical Society, 2008.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1763 | OA
J. M. Fink et al., “Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system,” Nature, vol. 454, no. 7202. Nature Publishing Group, pp. 315–318, 2008.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed