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.
10717 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir, M., Podelski, A., & Wies, T. (2009). Abstraction refinement for quantified array assertions. In 16th International Symposium on Static Analysis (Vol. 5673, pp. 3–18). Los Angeles, CA, United States: Springer. https://doi.org/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. (2009). Intra-module inference. In 21st International Conference on Computer Aided Verification (Vol. 5643, pp. 493–508). Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_37
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3768
Kupczok, A., & Von Haeseler, A. (2009). Comment on “A congruence index for testing topological similarity between trees.” Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/btn539
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
View
2008 | Published | Journal Article | IST-REx-ID: 13422
Wei, Y., Klajn, R., Pinchuk, A. O., & Grzybowski, B. A. (2008). Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers.” Small. Wiley. https://doi.org/10.1002/smll.200800511
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 13423
Klajn, R., Gray, T. P., Wesson, P. J., Myers, B. D., Dravid, V. P., Smoukov, S. K., & Grzybowski, B. A. (2008). Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. Wiley. https://doi.org/10.1002/adfm.200800293
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1460 | 
Hausel, T., & Rodríguez Villegas, F. (2008). Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 11109
Kutay, U., & Hetzer, M. (2008). Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2008.09.010
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11110
D’Angelo, M. A., & Hetzer, M. (2008). Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. Elsevier. https://doi.org/10.1016/j.tcb.2008.07.009
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson, D. J., & Hetzer, M. (2008). Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11112
Anderson, D. J., & Hetzer, M. (2008). The life cycle of the metazoan nuclear envelope. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2008.03.016
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11113 |
Anderson, D. J., & Hetzer, M. (2008). Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. The Company of Biologists. https://doi.org/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. (2008). Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. Public Library of Science. https://doi.org/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. (2008). Web page language identification based on URLs. Proceedings of the VLDB Endowment. Association for Computing Machinery. https://doi.org/10.14778/1453856.1453880
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1717
Kicheva, A., & González Gaitán, M. (2008). The Decapentaplegic morphogen gradient a precise definition. Current Opinion in Cell Biology. Elsevier. https://doi.org/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. (2008). Dynamics of anisotropic tissue growth. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/10/6/063001
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1749
Rastelli, A., Stoffel, M., Malachias, Â., Merdzhanova, T., Katsaros, G., Kern, K., … Schmidt, O. (2008). Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl080290y
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1751
Katsaros, G., Tersoff, J., Stoffel, M., Rastelli, A., Acosta Diaz, P., Kar, G., … Kern, K. (2008). Positioning of strained islands by interaction with surface nanogrooves. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.101.096103
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1763 |
Fink, J. M., Göppl, M., Baur, M., Bianchetti, R., Leek, P., Blais, A., & Wallraff, A. (2008). Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07112
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 1764
Fragner, A., Göppl, M., Fink, J. M., Baur, M., Bianchetti, R., Leek, P., … Wallraff, A. (2008). Resolving vacuum fluctuations in an electrical circuit by measuring the lamb shift. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1164482
View
| DOI