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.
223 Publications
2008 | Published | Journal Article | IST-REx-ID: 4150
Schötz, Eva, et al. “Quantitative Differences in Tissue Surface Tension Influence Zebrafish Germ Layer Positioning.” HFSP Journal, vol. 2, no. 1, HFSP Publishing, 2008, pp. 42–56, doi:10.2976/1.2834817.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4161
Oteíza, Pablo, et al. “Origin and Shaping of the Laterality Organ in Zebrafish.” Development, vol. 135, no. 16, Company of Biologists, 2008, pp. 2807–13, doi:10.1242/dev.022228.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4180
Krieg, Michael, et al. “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics.” Angewandte Chemie - International Edition, vol. 47, no. 50, Wiley-Blackwell, 2008, pp. 9775–77, doi:10.1002/anie.200803552.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4181
Krieg, Michael, et al. “Tensile Forces Govern Germ-Layer Organization in Zebrafish.” Nature Cell Biology, vol. 10, no. 4, Nature Publishing Group, 2008, pp. 429–36, doi:10.1038/ncb1705.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4190
Kai, Masatake, et al. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.” Development, vol. 135, no. 18, Company of Biologists, 2008, pp. 3043–51, doi:10.1242/dev.020396.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4193
Helenius, Jonne, et al. “Single-Cell Force Spectroscopy.” Journal of Cell Science, vol. 121, no. 11, Company of Biologists, 2008, pp. 1785–91, doi:10.1242/jcs.030999.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4198
Heisenberg, Carl-Philipp J., and Lilianna Solnica Krezel. “Back and Forth between Cell Fate Specification and Movement during Vertebrate Gastrulation.” Current Opinion in Genetics & Development, vol. 18, no. 4, Elsevier, 2008, pp. 311–16, doi:10.1016/j.gde.2008.07.011.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4227
Bollenbach, Tobias, et al. “Precision of the Dpp Gradient.” Development, vol. 135, no. 6, Company of Biologists, 2008, pp. 1137–46, doi:10.1242/dev.012062.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4244
Yang, Erfu, et al. A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks. IEEE, 2008, pp. 2749–56, doi:10.1109/CEC.2008.4631167.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 4245
Pannebakker, Bart, et al. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic Evolution, vol. 62, no. 8, Wiley-Blackwell, 2008, pp. 1921–35, doi:10.1111/j.1558-5646.2008.00434.x.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, et al. Heap Assumptions on Demand. Vol. 5123, Springer, 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. USENIX, 2008, doi:1545.
View
| DOI
| Download (ext.)
2008 | Published | Thesis | 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 | 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.)