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.
11357 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 4190
Kai, M., Heisenberg, C.-P. J., & Tada, M. (2008). Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.020396
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4193
Helenius, J., Heisenberg, C.-P. J., Gaub, H., & Mueller, D. (2008). Single-cell force spectroscopy. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.030999
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4198
Heisenberg, C.-P. J., & Solnica Krezel, L. (2008). Back and forth between cell fate specification and movement during vertebrate gastrulation. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2008.07.011
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4227
Bollenbach, T., Pantazis, P., Kicheva, A., Bokel, C., González Gaitán, M., & Julicher, F. (2008). Precision of the Dpp gradient. Development. Company of Biologists. https://doi.org/10.1242/dev.012062
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4244
Yang, E., Barton, N. H., Arslan, T., & Erdogan, A. (2008). A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks (pp. 2749–2756). Presented at the WCCI: IEEE World Congress on Computational Intelligence, IEEE. https://doi.org/10.1109/CEC.2008.4631167
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4245
Pannebakker, B., Halligan, D., Reynolds, K. T., Ballantyne, G., Shuker, D., Barton, N. H., & West, S. (2008). Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2008.00434.x
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4366
Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification, Springer. 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.)