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.
220 Publications
2007 |
Published |
Journal Article |
IST-REx-ID: 13425 |
Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures
R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy of Sciences 104 (2007) 10305–10309.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy of Sciences 104 (2007) 10305–10309.
2007 |
Published |
Journal Article |
IST-REx-ID: 13426
Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin
M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007) 5419–5422.
View
| DOI
| PubMed | Europe PMC
M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007) 5419–5422.
2007 |
Published |
Journal Article |
IST-REx-ID: 13427
Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates
R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P. Gray, B.A. Grzybowski, Science 316 (2007) 261–264.
View
| DOI
| PubMed | Europe PMC
R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P. Gray, B.A. Grzybowski, Science 316 (2007) 261–264.
2007 |
Published |
Book Chapter |
IST-REx-ID: 167 |
Simultaneous equal sums of three powers
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
2007 |
Published |
Journal Article |
IST-REx-ID: 1964
Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain
L.A. Sazanov, Biochemistry 46 (2007) 2275–2288.
View
| DOI
L.A. Sazanov, Biochemistry 46 (2007) 2275–2288.
2007 |
Published |
Journal Article |
IST-REx-ID: 1965
Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution
E. Baranova, P. Holt, L.A. Sazanov, Journal of Molecular Biology 366 (2007) 140–154.
View
| DOI
E. Baranova, P. Holt, L.A. Sazanov, Journal of Molecular Biology 366 (2007) 140–154.
2007 |
Published |
Journal Article |
IST-REx-ID: 1969
Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I
E. Baranova, D. Morgan, L.A. Sazanov, Journal of Structural Biology 159 (2007) 238–242.
View
| DOI
E. Baranova, D. Morgan, L.A. Sazanov, Journal of Structural Biology 159 (2007) 238–242.
2007 |
Published |
Journal Article |
IST-REx-ID: 4344
Bibliothek 2.0? Wird alles anders?
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.
View
| DOI
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.
2007 |
Published |
Journal Article |
IST-REx-ID: 4353
The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing
J. Binladen, M.T. Gilbert, J.P. Bollback, F. Panitz, C. Bendixen, R. Nielsen, E. Willerslev, PLoS One 2 (2007).
View
| DOI
J. Binladen, M.T. Gilbert, J.P. Bollback, F. Panitz, C. Bendixen, R. Nielsen, E. Willerslev, PLoS One 2 (2007).
2007 |
Published |
Journal Article |
IST-REx-ID: 4354
Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.
View
| DOI
| Download (ext.)
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.
2007 |
Published |
Journal Article |
IST-REx-ID: 4355
Clonal interference is alleviated by high mutation rates in large populations
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.
2007 |
Published |
Journal Article |
IST-REx-ID: 4356
Genes under positive selection in Escherichia coli
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.
View
| DOI
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4368
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.
View
| DOI
D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4370
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.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 95–107.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4394
Using first-order theorem provers in the Jahob data structure verification system
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2007, pp. 74–88.
View
| DOI
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2007, pp. 74–88.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4398
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.
View
| DOI
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.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View
| DOI
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4402
Model checking on trees with path equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2007, pp. 664–678.
View
| DOI
R. Alur, P. Cerny, S. Chaudhuri, in:, 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2007, pp. 664–678.
2007 |
Published |
Journal Article |
IST-REx-ID: 4405
Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
View
| DOI
| Download (ext.)
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
2007 |
Published |
Book Chapter |
IST-REx-ID: 4417
Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
View
| DOI
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.