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. 19th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4590, 178–192.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. 2007. AMT: A property-based monitoring tool for analog systems. 5th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4763, 304–319.
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. Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 91–109.
View
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 13428
Kalsin AM, Kowalczyk B, Smoukov SK, Klajn R, Grzybowski BA. 2006. Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. 128(47), 15046–15047.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13429
Bishop KJM, Klajn R, Grzybowski BA. 2006. The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. 45(32), 5348–5354.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13430
Fialkowski M, Bishop KJM, Klajn R, Smoukov SK, Campbell CJ, Grzybowski BA. 2006. Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. 110(6), 2482–2496.
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. 134(8), 2403–2409.
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. 103(16), 6120–6124.
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. 2006. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 63(3), 316–332.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 11118
D’Angelo MA, Anderson DJ, Richard E, Hetzer M. 2006. Nuclear pores form de novo from both sides of the nuclear envelope. Science. 312(5772), 440–443.
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. 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR: International Conference on Research and Development in Information Retrieval, 284–291.
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. 16(7), 625–635.
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, Tersoff J, Denker U, Schmidt O, Costantini G, Kern K. 2006. Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. 600(12), 2608–2613.
View
| DOI