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.

5707 Publications


2002 | Journal Article | IST-REx-ID: 3803
TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus
J. Bischofberger, P.M. Jonas, Trends in Neurosciences 25 (2002) 600–603.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3423
The percolation interpretation of the nuclear fragmentation phase transition
W. Bauer, T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, EP Systema, 2002, pp. 111–118.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Patch-clamp recording in brain slices with improved slicer technology
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, SIAM, 2002, pp. 791–799.
View
 

2002 | Journal Article | IST-REx-ID: 4262
Extending the coalescent to multilocus systems: the case of balancing selection
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bayesian model adequacy and choice in phylogenetics
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
A Giotto-based helicopter control system
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, ACM, 2002, pp. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Springer, 2002, pp. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, ACM, 2002, pp. 58–70.
View | DOI
 

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: 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: 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: 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 | 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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed