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.
11746 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 1717
Kicheva, A., & González Gaitán, M. (2008). The Decapentaplegic morphogen gradient a precise definition. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2008.01.008
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1719
Bittig, T., Wartlick, O., Kicheva, A., González Gaitárr, M., & Julicher, F. (2008). Dynamics of anisotropic tissue growth. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/10/6/063001
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1967
Berrisford, J., Thompson, C., & Sazanov, L. A. (2008). Chemical and NADH-induced, ROS-dependent, cross-linking between sublimits of complex I from Escherichia coli and Thermus thermophilus. Biochemistry. ACS. https://doi.org/10.1021/bi801160u
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1968
Morgan, D., & Sazanov, L. A. (2008). Three-dimensional structure of respiratory complex I from Escherichia coli in ice in the presence of nucleotides. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2008.03.023
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4366
Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on Demand. In Proceedings of the 30th international conference of computer aided verifacation (Vol. 5123, pp. 314–327). Princeton, NJ, United Stated: Springer Nature. https://doi.org/10.1007/978-3-540-70545-1_31
View
| DOI
2008 |
Published |
Book Chapter |
IST-REx-ID: 4371
Maler, O., Nickovic, D., & Pnueli, A. (2008). Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer. https://doi.org/10.1007/978-3-540-78127-1_26
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4386
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4387
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_6
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4397
Beyer, D., Zufferey, D., & Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4400 |
Aviv, A., Cerny, P., Clark, S., Cronin, E., Shah, G., Sherr, M., & Blaze, M. (2008). Security evaluation of ES&S voting machines and election management system. In 17th USENIX Security Symposium. San Jose, CA, United States.
View
| Download None (ext.)
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4409 |
Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4415
Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4452
Henzinger, T. A., Hottelier, T., & Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer. https://doi.org/10.1007/978-3-540-89439-1_24
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4509
Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0141
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4521
Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., & Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1328438.1328459
View
| DOI
| Download (ext.)
2008 |
Published |
Thesis |
IST-REx-ID: 4524
Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4527
Fisher, J., Henzinger, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-540-68413-8_2
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
Doyen, L., Henzinger, T. A., & Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054108005814
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1450058.1450070
View
| DOI
| Download (ext.)