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.
233 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 13422
Wei, Yanhu, et al. “Synthesis, Shape Control, and Optical Properties of Hybrid Au/Fe3O4 ‘Nanoflowers.’” Small, vol. 4, no. 10, Wiley, 2008, pp. 1635–39, doi:10.1002/smll.200800511.
View
| DOI
| PubMed | Europe PMC
2008 |
Published |
Journal Article |
IST-REx-ID: 13423
Klajn, Rafal, et al. “Bulk Synthesis and Surface Patterning of Nanoporous Metals and Alloys from Supraspherical Nanoparticle Aggregates.” Advanced Functional Materials, vol. 18, no. 18, Wiley, 2008, pp. 2763–69, doi:10.1002/adfm.200800293.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1460 |
Hausel, Tamás, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae, vol. 174, no. 3, Springer, 2008, pp. 555–624, doi:10.1007/s00222-008-0142-x.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 1717
Kicheva, Anna, and Marcos González Gaitán. “The Decapentaplegic Morphogen Gradient a Precise Definition.” Current Opinion in Cell Biology, vol. 20, no. 2, Elsevier, 2008, pp. 137–43, doi:10.1016/j.ceb.2008.01.008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1719
Bittig, Thomas, et al. “Dynamics of Anisotropic Tissue Growth.” New Journal of Physics, vol. 10, IOP Publishing Ltd., 2008, doi:10.1088/1367-2630/10/6/063001.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1967
Berrisford, John, et al. “Chemical and NADH-Induced, ROS-Dependent, Cross-Linking between Sublimits of Complex I from Escherichia Coli and Thermus Thermophilus.” Biochemistry, vol. 47, no. 39, ACS, 2008, pp. 10262–70, doi:10.1021/bi801160u.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1968
Morgan, David, and Leonid A. Sazanov. “Three-Dimensional Structure of Respiratory Complex I from Escherichia Coli in Ice in the Presence of Nucleotides.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1777, no. 7–8, Elsevier, 2008, pp. 711–18, doi:10.1016/j.bbabio.2008.03.023.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4366
Podelski, Andreas, et al. “Heap Assumptions on Demand.” Proceedings of the 30th International Conference of Computer Aided Verifacation, vol. 5123, Springer Nature, 2008, pp. 314–27, doi:10.1007/978-3-540-70545-1_31.
View
| DOI
2008 |
Published |
Book Chapter |
IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4397
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4400 |
Aviv, Adam, et al. “Security Evaluation of ES&S Voting Machines and Election Management System.” 17th USENIX Security Symposium, 2008.
View
| Download None (ext.)
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4409 |
Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
View
| Download None (ext.)
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4415
Matic, Slobodan. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley, 2008, pp. 1–148.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View
| DOI
| Download (ext.)
2008 |
Published |
Thesis |
IST-REx-ID: 4524
Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
View