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: 4141
Vervenne, Hilke, Koen Crombez, Kathleen Lambaerts, Lara Carvalho, Mathias Köppen, Carl-Philipp J Heisenberg, Wim Van De Ven, and Marleen Petit. “Lpp Is Involved in Wnt/PCP Signaling and Acts Together with Scrib to Mediate Convergence and Extension Movements during Zebrafish Gastrulation.” Developmental Biology. Elsevier, 2008. https://doi.org/10.1016/j.ydbio.2008.05.529.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4150
Schötz, Eva, Rebecca Burdine, Frank Julicher, Malcolm Steinberg, Carl-Philipp J Heisenberg, and Ramsey Foty. “Quantitative Differences in Tissue Surface Tension Influence Zebrafish Germ Layer Positioning.” HFSP Journal. HFSP Publishing, 2008. https://doi.org/10.2976/1.2834817.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4161
Oteíza, Pablo, Mathias Köppen, Miguel Concha, and Carl-Philipp J Heisenberg. “Origin and Shaping of the Laterality Organ in Zebrafish.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.022228.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4180
Krieg, Michael, Jonne Helenius, Carl-Philipp J Heisenberg, and Daniel Mueller. “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics.” Angewandte Chemie - International Edition. Wiley-Blackwell, 2008. https://doi.org/10.1002/anie.200803552.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4181
Krieg, Michael, Yohanna Arboleda Estudillo, Pierre Puech, Jos Käfer, François Graner, Daniel Mueller, and Carl-Philipp J Heisenberg. “Tensile Forces Govern Germ-Layer Organization in Zebrafish.” Nature Cell Biology. Nature Publishing Group, 2008. https://doi.org/10.1038/ncb1705.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4190
Kai, Masatake, Carl-Philipp J Heisenberg, and Masazumi Tada. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.020396.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4193
Helenius, Jonne, Carl-Philipp J Heisenberg, Hermann Gaub, and Daniel Mueller. “Single-Cell Force Spectroscopy.” Journal of Cell Science. Company of Biologists, 2008. https://doi.org/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. Elsevier, 2008. https://doi.org/10.1016/j.gde.2008.07.011.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4227
Bollenbach, Tobias, Periklis Pantazis, Anna Kicheva, Christian Bokel, Marcos González Gaitán, and Frank Julicher. “Precision of the Dpp Gradient.” Development. Company of Biologists, 2008. https://doi.org/10.1242/dev.012062.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4244
Yang, Erfu, Nicholas H Barton, Tughrul Arslan, and Ahmet Erdogan. “A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks,” 2749–56. IEEE, 2008. https://doi.org/10.1109/CEC.2008.4631167.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4245
Pannebakker, Bart, Daniel Halligan, K Tracy Reynolds, Gavin Ballantyne, David Shuker, Nicholas H Barton, and Stuart West. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2008. https://doi.org/10.1111/j.1558-5646.2008.00434.x.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4366
Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,” 5123:314–27. Springer, 2008. https://doi.org/10.1007/978-3-540-70545-1_31.
View
| DOI
2008 |
Published |
Book Chapter |
IST-REx-ID: 4371
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “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, 475–505. Springer, 2008. https://doi.org/10.1007/978-3-540-78127-1_26.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh. “Model Checking Transactional Memories,” 372–82. ACM, 2008. https://doi.org/10.1145/1375581.1375626.
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4386
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,” 5218:305–19. Springer, 2008. https://doi.org/10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4387
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,” 5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. https://doi.org/10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4397
Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4400 |
Aviv, Adam, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, and Matt Blaze. “Security Evaluation of ES&S Voting Machines and Election Management System.” In 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.
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.
View