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.
236 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 13422
Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers”
Y. Wei, R. Klajn, A.O. Pinchuk, B.A. Grzybowski, Small 4 (2008) 1635–1639.
View
| DOI
| PubMed | Europe PMC
Y. Wei, R. Klajn, A.O. Pinchuk, B.A. Grzybowski, Small 4 (2008) 1635–1639.
2008 |
Published |
Journal Article |
IST-REx-ID: 13423
Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates
R. Klajn, T.P. Gray, P.J. Wesson, B.D. Myers, V.P. Dravid, S.K. Smoukov, B.A. Grzybowski, Advanced Functional Materials 18 (2008) 2763–2769.
View
| DOI
R. Klajn, T.P. Gray, P.J. Wesson, B.D. Myers, V.P. Dravid, S.K. Smoukov, B.A. Grzybowski, Advanced Functional Materials 18 (2008) 2763–2769.
2008 |
Published |
Journal Article |
IST-REx-ID: 1460 |
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View
| DOI
| Download (ext.)
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
2008 |
Published |
Journal Article |
IST-REx-ID: 1717
The Decapentaplegic morphogen gradient a precise definition
A. Kicheva, M. González Gaitán, Current Opinion in Cell Biology 20 (2008) 137–143.
View
| DOI
A. Kicheva, M. González Gaitán, Current Opinion in Cell Biology 20 (2008) 137–143.
2008 |
Published |
Journal Article |
IST-REx-ID: 1719
Dynamics of anisotropic tissue growth
T. Bittig, O. Wartlick, A. Kicheva, M. González Gaitárr, F. Julicher, New Journal of Physics 10 (2008).
View
| DOI
T. Bittig, O. Wartlick, A. Kicheva, M. González Gaitárr, F. Julicher, New Journal of Physics 10 (2008).
2008 |
Published |
Journal Article |
IST-REx-ID: 1967
Chemical and NADH-induced, ROS-dependent, cross-linking between sublimits of complex I from Escherichia coli and Thermus thermophilus
J. Berrisford, C. Thompson, L.A. Sazanov, Biochemistry 47 (2008) 10262–10270.
View
| DOI
J. Berrisford, C. Thompson, L.A. Sazanov, Biochemistry 47 (2008) 10262–10270.
2008 |
Published |
Journal Article |
IST-REx-ID: 1968
Three-dimensional structure of respiratory complex I from Escherichia coli in ice in the presence of nucleotides
D. Morgan, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1777 (2008) 711–718.
View
| DOI
D. Morgan, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1777 (2008) 711–718.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4366
Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Proceedings of the 30th International Conference of Computer Aided Verifacation, Springer Nature, 2008, pp. 314–327.
View
| DOI
A. Podelski, A. Rybalchenko, T. Wies, in:, Proceedings of the 30th International Conference of Computer Aided Verifacation, Springer Nature, 2008, pp. 314–327.
2008 |
Published |
Book Chapter |
IST-REx-ID: 4371
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View
| Files available
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4387
Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4397
CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
View
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4400 |
Security evaluation of ES&S voting machines and election management system
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, 17th USENIX Security Symposium, 2008.
View
| Download None (ext.)
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, 17th USENIX Security Symposium, 2008.
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4409 |
Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
View
| Download None (ext.)
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4415
Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
View
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View
| DOI
| Download (ext.)
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
2008 |
Published |
Journal Article |
IST-REx-ID: 4509
Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
View
| DOI
| Download (ext.)
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4521
Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
View
| DOI
| Download (ext.)
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
2008 |
Published |
Thesis |
IST-REx-ID: 4524
A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
View
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.