Shape analysis for composite data structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 178–192.

AMT: A property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319.

On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 95–107.

Bibliothek 2.0? Wird alles anders?
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.

Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei
P. Danowski, B. Pfeifer, Bibliothek - Forschung Und Praxis 31 (2007) 149–155.

Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.

Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.

Ionic-like behavior of oppositely charged nanoparticles
A.M. Kalsin, B. Kowalczyk, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Journal of the American Chemical Society 128 (2006) 15046–15047.

The core and most useful molecules in organic chemistry
K.J.M. Bishop, R. Klajn, B.A. Grzybowski, Angewandte Chemie International Edition 45 (2006) 5348–5354.

Principles and implementations of dissipative (dynamic) self-assembly
M. Fialkowski, K.J.M. Bishop, R. Klajn, S.K. Smoukov, C.J. Campbell, B.A. Grzybowski, The Journal of Physical Chemistry B 110 (2006) 2482–2496.

Intersection forms of toric hyperkähler varieties
T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409.

Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform
T. Hausel, PNAS 103 (2006) 6120–6124.

The role of the nuclear envelope in cellular organization
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.

Nuclear pores form de novo from both sides of the nuclear envelope
M.A. D’Angelo, D.J. Anderson, E. Richard, M. Hetzer, Science 312 (2006) 440–443.

In Vitro Techniques
J.R. Harris, G. Almouzni, D. Kirschner, D. Dimitrova, J.A. Nickerson, J. Underwood, S. Wagner, B. Korbei, R. Foisner, T.C. Walther, M. Hetzer, R. Peters, I. Walev, A.I.P.M. de Kroon, R.W.H.M. Staffhorst, B. de Kruijff, K.N.J. Burger, L.E.S. Netto, E. Bertrand, J.B. Alimonti, A.H. Greenberg, J. Xiao, A. Pradhan, Y. Liu, J. Paiement, R. Young, F.M. Goñi, A.-V. Villar, F.-X. Contreras, A. Alonso, B.J. Peter, I.G. Mills, M.K. Higgins, W.J. Brown, K. Chambers, A. Doody, C.Y. Cheng, D.D. Mruk, C. Yang, H. Kirchhoff, W. Haase, S. Boggasch, H. Paulsen, J. Benesova, S.-T. Liffers, M. Rögner, Y. Gao, E. Sztul, M. Thiemann, H.D. Fahimi, R. Gniadecki, B. Gajkowska, S.L. Bane, J.F. Hess, J.C. Voss, P.G. Fitzgerald, S. Hisanaga, T. Sasaki, K. Uéda, T. Town, J. Tan, N.G.N. Milton, R. Chi, T.C.S. Keller, M. Kriajevska, I. Bronstein, E. Lukanidin, D.F. Holmes, K.E. Kadler, in:, R. Harris, J. Graham, D. Rickwood (Eds.), Cell Biology Protocols, Wiley, Chichester, UK, 2006, pp. 201–378.

Finding near-duplicate web pages: A large-scale evaluation of algorithms
M. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.

Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.

Investigating the lateral motion of SiGe islands by selective chemical etching
G. Katsaros, A. Rastelli, M. Stoffel, G. Isella, H. Von Känel, A. Bittner, J. Tersoff, U. Denker, O. Schmidt, G. Costantini, K. Kern, Surface Science 600 (2006) 2608–2613.

Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, R. Songmuang, G. Katsaros, O. Schmidt, K. Kern, Physical Review Letters 96 (2006).

Reading the footprints of strained islands
A. Rastelli, M. Stoffel, G. Katsaros, J. Tersoff, U. Denker, T. Merdzhanova, G. Kar, G. Costantini, K. Kern, H. Von Känel, O. Schmidt, Microelectronics Journal 37 (2006) 1471–1476.