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.

6030 Publications


2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. 2002. Time-safety checking for embedded programs. EMSOFT: Embedded Software , LNCS, vol. 2491. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. ICALP: Automata, Languages and Programming, LNCS, vol. 2380. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. CAV: Computer Aided Verification, LNCS, vol. 2404. 526–538.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 2002. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 24(1), 51–64.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger TA, Kupferman O, Rajamani S. 2002. Fair simulation. Information and Computation. 173(1), 64–81.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. 2002. Lazy abstraction. POPL: Principles of Programming Languages 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional component interfaces. CAV: Computer Aided Verification, LNCS, vol. 2404. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. 2002. Interface compatibility checking for software modules. CAV: Computer Aided Verification, LNCS, vol. 2404. 428–441.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. EMSOFT: Embedded Software , LNCS, vol. 2491. 108–122.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates JC, de Bono M. 2002. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 419(6910), 925–929.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 419(6910), 899–903.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz A, Notomi T, Tamás G, Shigemoto R, Nusser Z. 2002. Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. Nature Neuroscience. 5(11), 1185–1193.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2621
Millán C, Luján R, Shigemoto R, Sánchez Prieto J. 2002. Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals. Journal of Biological Chemistry. 277(49), 47796–47803.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2622
López Bendito G, Shigemoto R, Kulik Á, Paulsen O, Fairén A, Luján R. 2002. Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development. European Journal of Neuroscience. 15(11), 1766–1778.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2624
Kulik Á, Nakadate K, Nyíri G, Notomi T, Malitschek B, Bettler B, Shigemoto R. 2002. Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus. European Journal of Neuroscience. 15(2), 291–307.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Erdös L. 2002. Scaling limits of Schrödinger quantum mechanics. 38th Winter School of Theoretical Physics : Dynamical Semigroups: Dissipation, Chaos, Quanta, LNP, vol. 597. 487–506.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2708
Erdös L. 2002. Two dimensional Pauli operator via scalar potential. QMath: Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307. 129–133.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2737
Bardos C, Erdös L, Golse F, Mauser N, Yau H. 2002. Derivation of the Schrödinger-Poisson equation from the quantum N-body problem. Comptes Rendus Mathematique. 334(6), 515–520.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2738
Erdös L. 2002. Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field. Journal of Statistical Physics. 107(5–6), 1043–1127.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2739
Erdös L, Vougalter V. 2002. Pauli operator and Aharonov-Casher theorem for measure valued magnetic fields. Communications in Mathematical Physics. 225(2), 399–421.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2740
Erdös L. 2002. Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions. Annales de l’Institut Fourier. 52(6), 1833–1874+XI+VII.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2866
Hamann T, Benková E, Bäurle I, Kientz M, Jürgens G. 2002. The Arabidopsis BODENLOS gene encodes an auxin response protein inhibiting MONOPTEROS-mediated embryo patterning. Genes and Development. 16(13), 1610–1615.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov V, Zabih R. 2002. Multi-camera scene reconstruction via graph cuts. ECCV: European Conference on Computer Vision 65–81.
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 | Journal Article | IST-REx-ID: 1737
Katsaros G, Stergiopoulos T, Arabatzis I, Papadokostaki K, Falaras P. 2002. A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells. Journal of Photochemistry and Photobiology A: Chemistry. 149(1–3), 191–198.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos T, Arabatzis I, Katsaros G, Falaras P. 2002. Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. 2(11), 1259–1261.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 871
Kondrashov F, Rogozin I, Wolf Y, Koonin E. 2002. Selection in the evolution of gene duplications . Genome Biology. 3(2).
View | DOI
 

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

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

2002 | Journal Article | IST-REx-ID: 1451 | OA
Hausel T, Sturmfels B. 2002. Toric hyperkähler varieties. Documenta Mathematica. 7(1), 495–534.
View | Download (ext.)
 

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

2002 | Journal Article | IST-REx-ID: 3757
Guet CC, Elowitz M, Hsing W, Leibler S. 2002. Combinatorial synthesis of genetic networks. Science. 296(5572), 1466–1470.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
Lien C, Martina M, Schultz J, Ehmke H, Jonas PM. 2002. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 538(Pt 2), 405–419.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos M, Vida I, Frotscher M, Meyer A, Monyer H, Geiger J, Jonas PM. 2002. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 99(20), 13222–13227.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft S, Kraushaar U, Geiger J, Jonas PM. 2002. Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus. Journal of Physiology. 539(Pt 1), 201–8.
View | DOI
 

Search

Filter Publications