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.

5703 Publications


2002 | Journal Article | IST-REx-ID: 4148
M. Tada, M. Concha, and C. Heisenberg, “Non-canonical Wnt signalling and regulation of gastrulation movements,” Seminars in Cell & Developmental Biology, vol. 13, no. 3, pp. 251–260, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
N. H. Barton, F. Depaulis, and A. Etheridge, “Neutral evolution in spatially continuous populations,” Theoretical Population Biology, vol. 61, no. 1, pp. 31–48, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” presented at the CSL: Computer Science Logic, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 108–122.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed