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, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures.” In 19th International Conference on Computer Aided Verification, 4590:178–92. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_22.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” In 5th International Conference on Formal Modeling and Analysis of Timed Systems, 4763:304–19. Springer, 2007. https://doi.org/10.1007/978-3-540-75454-1_22.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “On Synthesizing Controllers from Bounded-Response Properties.” In 19th International Conference on Computer Aided Verification, 4590:95–107. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_12.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4344
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0? Wird Alles Anders?” Bibliothek - Forschung Und Praxis. De Gruyter, 2007. https://doi.org/10.1515/BFUP.2007.130.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4343
Danowski, Patrick, and Barbara Pfeifer. “Wikipedia Und Normdateien: Wege Der Vernetzung Am Beispiel Der Kooperation Mit Der Personennamendatei.” Bibliothek - Forschung Und Praxis. De Gruyter, 2007. https://doi.org/10.1515/BFUP.2007.149.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4233
Vladar, Harold de. “Alternativas Prebióticas Para La Síntesis de Amino- Ácidos y Otras Moléculas Relacionadas.” edited by N. Falcón and Y. Loyo De Sardi, 91–109. Consejo de Desarrollo Cientifico y Tecnologico, 2007.
View
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic,” 4703:59–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007. https://doi.org/10.1007/978-3-540-74407-8_5.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 13428
Kalsin, Alexander M., Bartlomiej Kowalczyk, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski. “Ionic-like Behavior of Oppositely Charged Nanoparticles.” Journal of the American Chemical Society. American Chemical Society, 2006. https://doi.org/10.1021/ja0642966.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13429
Bishop, Kyle J. M., Rafal Klajn, and Bartosz A. Grzybowski. “The Core and Most Useful Molecules in Organic Chemistry.” Angewandte Chemie International Edition. Wiley, 2006. https://doi.org/10.1002/anie.200600881.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13430
Fialkowski, Marcin, Kyle J. M. Bishop, Rafal Klajn, Stoyan K. Smoukov, Christopher J. Campbell, and Bartosz A. Grzybowski. “Principles and Implementations of Dissipative (Dynamic) Self-Assembly.” The Journal of Physical Chemistry B. American Chemical Society, 2006. https://doi.org/10.1021/jp054153q.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 1461 | 
Hausel, Tamás, and Edward Swartz. “Intersection Forms of Toric Hyperkähler Varieties.” Proceedings of the American Mathematical Society. American Mathematical Society, 2006. https://doi.org/10.1090/S0002-9939-06-08248-7.
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 1462 |
Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.” PNAS. National Academy of Sciences, 2006. https://doi.org/10.1073/pnas.0601337103.
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo, M. A., and Martin Hetzer. “The Role of the Nuclear Envelope in Cellular Organization.” Cellular and Molecular Life Sciences. Springer Nature, 2006. https://doi.org/10.1007/s00018-005-5361-3.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 11118
D’Angelo, Maximiliano A., Daniel J. Anderson, Erin Richard, and Martin Hetzer. “Nuclear Pores Form de Novo from Both Sides of the Nuclear Envelope.” Science. American Association for the Advancement of Science, 2006. 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, Monika. “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, 284–91. Association for Computing Machinery, 2006. https://doi.org/10.1145/1148170.1148222.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1715
Dudu, Veronika, Thomas Bittig, Eugeni Entchev, Anna Kicheva, Frank Julicher, and Marcos González Gaitán. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” Current Biology. Cell Press, 2006. https://doi.org/10.1016/j.cub.2006.02.061.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1745
Katsaros, Georgios, Armando Rastelli, Mathieu Stoffel, Giovanni Isella, Hans Von Känel, Alexander Bittner, Jerry Tersoff, et al. “Investigating the Lateral Motion of SiGe Islands by Selective Chemical Etching.” Surface Science. Elsevier, 2006. https://doi.org/10.1016/j.susc.2006.04.027.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1746
Costantini, Giovanni, Armando Rastelli, Carlos Manzano, P Acosta Diaz, Rudeeson Songmuang, Georgios Katsaros, Oliver Schmidt, and Klaus Kern. “Interplay between Thermodynamics and Kinetics in the Capping of InAs/GaAs (001) Quantum Dots.” Physical Review Letters. American Physical Society, 2006. https://doi.org/10.1103/PhysRevLett.96.226106.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 1747
Rastelli, Armando, Mathieu Stoffel, Georgios Katsaros, Jerry Tersoff, Ulrich Denker, Tsvetelina Merdzhanova, Gouranga Kar, et al. “Reading the Footprints of Strained Islands.” Microelectronics Journal. Elsevier, 2006. https://doi.org/10.1016/j.mejo.2006.05.029.
View
| DOI