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.

6487 Publications


2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289, 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. 2002. Alternating-time temporal logic. Journal of the ACM. 49(5), 672–713.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml J, Wiśniewska J, Benková E, Mendgen K, Palme K. 2002. Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature. 415(6873), 806–809.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter M, Topping J, Pullen M, Friml J, Palme K, Hackett R, Grierson D, Lindsey K. 2002. Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell. 14(5), 1017–1031.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2989
Friml J, Benková E, Blilou I, Wiśniewska J, Hamann T, Ljung K, Woody S, Sandberg G, Scheres B, Jürgens G, Palme K. 2002. AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. 108(5), 661–673.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml J, Palme K. 2002. Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. 49(3–4), 273–284.
View | DOI
 

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

2002 | Book Review | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. 2002. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 79(1–3), 1–43.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller P, Janovjak HL, Miserez A, Dobbie Z. 2002. Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. 32(6), 1372–1379.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer W, Bollenbach MT, Kleine Berkenbusch M, Harreis H. 2002. The percolation interpretation of the nuclear fragmentation phase transition. Winter Workshop on Nuclear Dynamics, 111–118.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach MT, Bauer W. 2002. 3d supernovae collapse calculations. CRIS: Catania Relativistic Ion Studies , Exotic Clustering, American Institute of Physics Conference Proceedings, vol. 644, 219–232.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick S, Chatterjee K, Merchant A, Dasgupta P. 2002. Implementation of shape grammar for plan analysis. IT-Built: Information Technology For Built Environment.
View
 

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

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner H, Fu P. 2002. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki G, Csicsvari JL, Dragoi G, Harris K, Henze D, Hirase H. 2002. Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex. 12(9), 893–899.
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126, 307–314.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner B, Seiringer R. 2001. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2(1), 41–76.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer R. 2001. On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. 34(9), 1943–1948.
View | DOI | Download (ext.)
 

Search

Filter Publications