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.
10932 Publications
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., & Yang, H. (2007). Shape analysis for composite data structures. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 178–192). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: A property-based monitoring tool for analog systems. In 5th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. https://doi.org/10.1007/978-3-540-75454-1_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 95–107). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_12
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4344
Danowski, P., & Heller, L. (2007). Bibliothek 2.0? Wird alles anders? Bibliothek - Forschung Und Praxis. De Gruyter. https://doi.org/10.1515/BFUP.2007.130
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4343
Danowski, P., & Pfeifer, B. (2007). Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung Und Praxis. De Gruyter. https://doi.org/10.1515/BFUP.2007.149
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4233
de Vladar, H. (2007). Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In N. Falcón & Y. Loyo De Sardi (Eds.) (pp. 91–109). Presented at the Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, Consejo de Desarrollo Cientifico y Tecnologico.
View
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2007). Strategy logic (Vol. 4703, pp. 59–73). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-74407-8_5
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 13428
Kalsin, A. M., Kowalczyk, B., Smoukov, S. K., Klajn, R., & Grzybowski, B. A. (2006). Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja0642966
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13429
Bishop, K. J. M., Klajn, R., & Grzybowski, B. A. (2006). The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200600881
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13430
Fialkowski, M., Bishop, K. J. M., Klajn, R., Smoukov, S. K., Campbell, C. J., & Grzybowski, B. A. (2006). Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/jp054153q
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 1461 | 
Hausel, T., & Swartz, E. (2006). Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0002-9939-06-08248-7
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 1462 |
Hausel, T. (2006). Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0601337103
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo, M. A., & Hetzer, M. (2006). The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. Springer Nature. https://doi.org/10.1007/s00018-005-5361-3
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 11118
D’Angelo, M. A., Anderson, D. J., Richard, E., & Hetzer, M. (2006). Nuclear pores form de novo from both sides of the nuclear envelope. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1124196
View
| DOI
| PubMed | Europe PMC
2006 | Published | Book Chapter | IST-REx-ID: 11119
Harris JR, Almouzni G, Kirschner D, Dimitrova D, Nickerson JA, Underwood J, Wagner S, Korbei B, Foisner R, Walther TC, Hetzer M, Peters R, Walev I, de Kroon AIPM, Staffhorst RWHM, de Kruijff B, Burger KNJ, Netto LES, Bertrand E, Alimonti JB, Greenberg AH, Xiao J, Pradhan A, Liu Y, Paiement J, Young R, Goñi FM, Villar A-V, Contreras F-X, Alonso A, Peter BJ, Mills IG, Higgins MK, Brown WJ, Chambers K, Doody A, Cheng CY, Mruk DD, Yang C, Kirchhoff H, Haase W, Boggasch S, Paulsen H, Benesova J, Liffers S-T, Rögner M, Gao Y, Sztul E, Thiemann M, Fahimi HD, Gniadecki R, Gajkowska B, Bane SL, Hess JF, Voss JC, Fitzgerald PG, Hisanaga S, Sasaki T, Uéda K, Town T, Tan J, Milton NGN, Chi R, Keller TCS, Kriajevska M, Bronstein I, Lukanidin E, Holmes DF, Kadler KE. 2006.In Vitro Techniques. In: Cell Biology Protocols. , 201–378.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 11929
Henzinger, M. (2006). Finding near-duplicate web pages: A large-scale evaluation of algorithms. In 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 284–291). Seattle, WA, United States: Association for Computing Machinery. https://doi.org/10.1145/1148170.1148222
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1715
Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., & González Gaitán, M. (2006). Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.02.061
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1745
Katsaros, G., Rastelli, A., Stoffel, M., Isella, G., Von Känel, H., Bittner, A., … Kern, K. (2006). Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. Elsevier. https://doi.org/10.1016/j.susc.2006.04.027
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1746
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Songmuang, R., Katsaros, G., … Kern, K. (2006). Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.96.226106
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1747
Rastelli, A., Stoffel, M., Katsaros, G., Tersoff, J., Denker, U., Merdzhanova, T., … Schmidt, O. (2006). Reading the footprints of strained islands. Microelectronics Journal. Elsevier. https://doi.org/10.1016/j.mejo.2006.05.029
View
| DOI