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.

103 Publications


2002 | Conference Paper | IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Springer, 2002, pp. 134–148.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2616
Differential distribution of group I metabotropic glutamate receptors during rat cortical development
G. López Bendito, R. Shigemoto, A. Fairén, R. Luján, Cerebral Cortex 12 (2002) 625–638.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2349   OA
Proof of Bose-Einstein condensation for dilute trapped gases
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2351   OA
Gross-Pitaevskii theory of the rotating Bose gas
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
View | DOI | Download (ext.)
 

2002 | Conference Paper | IST-REx-ID: 2421
On the Clique problem in intersection graphs of ellipses
C. Ambühl, U. Wagner, in:, Springer, 2002, pp. 489–500.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
A role for Neuregulin1 signaling in muscle spindle differentiation
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, S. Arber, Neuron 36 (2002) 1035–1049.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621   OA
General models of multilocus evolution
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.
View | Download (ext.)
 

2002 | Conference Paper | IST-REx-ID: 3424
3d supernovae collapse calculations
T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Implementation of shape grammar for plan analysis
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3998
An experimental study of sliver exudation
H. Edelsbrunner, D. Guoy, Engineering with Computers 18 (2002) 229–240.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Neutral evolution in spatially continuous populations
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.
View | DOI
 

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

2002 | Conference Paper | IST-REx-ID: 4422
Trading probability for fairness
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Springer, 2002, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Temporal safety proofs for systems code
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Springer, 2002, pp. 526–538.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2002, pp. 108–122.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Evolution of the mouse polyubiquitin C gene
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Dobzhansky-Muller incompatibilities in protein evolution
A. Kondrashov, S. Sunyaev, F. Kondrashov, PNAS 99 (2002) 14878–14883.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
Selection for short introns in highly expressed genes
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, F. Kondrashov, Nature Genetics 31 (2002) 415–418.
View | DOI
 

Filters and Search Terms

year=2002

Search

Filter Publications

Display / Sort

Export / Embed