Please note that IST 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.

6073 Publications


2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach, Mark Tobias, et al. 3D Supernova Collapse Calculations. Vol. 166, Springer, 2003, pp. 277–88, doi:10.1007/978-1-4020-2705-5_21.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3797
Bauer, Wolfgang, et al. “Breaking Atomic Nuclei into Little Pieces: Evidence for a Phase Transition.” Revista Mexicana De Fisica, vol. 49, no. 4, Sociedad Mexicana de Física, 2003, pp. 1–6.
View
 

2003 | Journal Article | IST-REx-ID: 4146
Ulrich, Florian, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.” Development, vol. 130, no. 22, Company of Biologists, 2003, pp. 5375–84, doi:10.1242/dev.00758.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, Juan, et al. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.” Current Biology, vol. 13, no. 15, Cell Press, 2003, pp. 1279–89, doi:10.1016/S0960-9822(03)00505-0.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
Montero, Juan, and Carl-Philipp J. Heisenberg. “Adhesive Crosstalk in Gastrulation.” Developmental Cell, vol. 5, no. 2, Cell Press, 2003, pp. 190–91, doi:10.1016/S1534-5807(03)00235-1.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
Kilian, Beate, et al. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.” Mechanisms of Development, vol. 120, no. 4, Elsevier, 2003, pp. 467–76, doi:10.1016/S0925-4773(03)00004-2.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
González, J., et al. “New Late–Intensification Schedules for Cancer Treatments.” Acta Científica Venezolana, vol. 54, Asociación Venezolana para el Avance de la Ciencia., 2003, pp. 263–73, doi:3800.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. Symbolic Algorithms for Verification and Control. University of California, Berkeley, 2003, pp. 1–201.
View
 

Search

Filter Publications