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.
212 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 4135
D. Storch, A. Šizling, J. Reif, J. Polechova, E. Šizlingová, and K. Gaston, “The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales,” Ecology Letters, vol. 11, no. 8. Wiley-Blackwell, pp. 771–784, 2008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4150
E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P. J. Heisenberg, and R. Foty, “Quantitative differences in tissue surface tension influence zebrafish germ layer positioning,” HFSP Journal, vol. 2, no. 1. HFSP Publishing, pp. 42–56, 2008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4180
M. Krieg, J. Helenius, C.-P. J. Heisenberg, and D. Mueller, “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, pp. 9775–9777, 2008.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 4190
M. Kai, C.-P. J. Heisenberg, and M. Tada, “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, pp. 3043–3051, 2008.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4244
E. Yang, N. H. Barton, T. Arslan, and A. Erdogan, “A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks,” presented at the WCCI: IEEE World Congress on Computational Intelligence, 2008, pp. 2749–2756.
View
| DOI
2008 |
Published |
Book Chapter |
IST-REx-ID: 4371
O. Maler, D. Nickovic, and A. 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, Springer, 2008, pp. 475–505.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking transactional memories,” presented at the PLDI: Programming Languages Design and Implementation, 2008, pp. 372–382.
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4386
R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4387
R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4397
D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4400
A. Aviv et al., “Security Evaluation of ES&S Voting Machines and Election Management System,” presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, 2008.
View
| DOI
| Download (ext.)