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.
9084 Publications
2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner, Herbert, et al. “Time-Varying Reeb Graphs for Continuous Space-Time Data.” Computational Geometry: Theory and Applications, vol. 41, no. 3, Elsevier, 2008, pp. 149–66, doi:10.1016/j.comgeo.2007.11.001.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner, Herbert, and John Harer. “Persistent Homology - a Survey.” Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–82.
View
2008 | Journal Article | IST-REx-ID: 4141
Vervenne, Hilke, et al. “Lpp Is Involved in Wnt/PCP Signaling and Acts Together with Scrib to Mediate Convergence and Extension Movements during Zebrafish Gastrulation.” Developmental Biology, vol. 320, no. 1, Elsevier, 2008, pp. 267–77, doi:10.1016/j.ydbio.2008.05.529.
View
| DOI
2008 | 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 | 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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
View
2008 | 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.)