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.

5883 Publications


2003 | Journal Article | IST-REx-ID: 3593
Chatterjee K, Dasgupta P, Chakrabarti P. 2003. A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. 30(2), 205–232.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
Vines T, Barton NH. 2003. A new approach to detecting mixed families. Molecular Ecology. 12(7), 1999–2002.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3619
Baird S, Barton NH, Etheridge A. 2003. The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. 64(4), 451–471.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
Nürnberger B, Hofman S, Förg Brey B, Praetzel G, Maclean A, Szymura J, Abbott C, Barton NH. 2003. A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. 91(2), 136–142.
View | DOI
 

2003 | Thesis | IST-REx-ID: 3678
Lampert C. 2003. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric , Universität Bonn, Fachbibliothek Mathematik,p.
View | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3725 | OA
Janovjak HL, Kessler M, Oesterhelt D, Gaub H, Mueller D. 2003. Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. 22(19), 5220–5229.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3752 | OA
Vilar J, Guet CC, Leibler S. 2003. Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. 161(3), 471–476.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3797
Bauer W, Kleine Berkenbusch M, Bollenbach T. 2003. Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. 49(4), 1–6.
View
 

2003 | Journal Article | IST-REx-ID: 3804
Lien C, Jonas PM. 2003. Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. 23(6), 2058–68.
View
 

2003 | Journal Article | IST-REx-ID: 3806
Hallermann S, Pawlu C, Jonas PM, Heckmann M. 2003. A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. 100(15), 8975–80.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee K, Jurdziński M, Henzinger TA. 2003. Simple stochastic parity games. CSL: Computer Science Logic, LNCS, vol. 2803. 100–113.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2003. Stack size analysis for interrupt-driven programs. SAS: Static Analysis Symposium, LNCS, vol. 2694. 109–126.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 204
Browning TD. 2002. Equal Sums of Two kth Powers. Journal of Number Theory. 96(2), 293–318.
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338
Lieb É, Solovej J, Seiringer R, Yngvason J. 2002. The ground state of the Bose gas. Current Developments in Mathematics, 2001. , Current Developments in Mathematics, 131–178.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
Seiringer R. 2002. Symmetry breaking in a model of a rotating Bose gas. QMath: Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307. 281–286.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2350 | OA
Hainzl C, Seiringer R. 2002. Mass renormalization and energy level shift in non-relativistic QED. Advances in Theoretical and Mathematical Physics. 6(5), 847–871.
View | Download (ext.)
 

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

2002 | Journal Article | IST-REx-ID: 2352 | OA
Hainzl C, Seiringer R. 2002. General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. 61(1), 75–84.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2353 | OA
Lieb É, Seiringer R, Yngvason J. 2002. Superfluidity in dilute trapped Bose gases. Physical Review B - Condensed Matter and Materials Physics. 66(13).
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2420
Wagner U. 2002. On the number of corner cuts. Advances in Applied Mathematics. 29(2), 152–161.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2421
Ambühl C, Wagner U. 2002. On the Clique problem in intersection graphs of ellipses. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 2518. 489–500.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2613
Kitano J, Kimura K, Yamazaki Y, Soda T, Shigemoto R, Nakajima Y, Nakanishi S. 2002. Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins. Journal of Neuroscience. 22(4), 1280–1289.
View
 

2002 | Journal Article | IST-REx-ID: 2614
Millán C, Luján R, Shigemoto R, Sánchez Prieto J. 2002. The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals. Journal of Biological Chemistry. 277(16), 14092–14101.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2615
Toyono T, Seta Y, Sataoka S, Harada H, Morotomi T, Kawano S, Shigemoto R, Toyoshima K. 2002. Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae. Archives of Histology and Cytology. 65(1), 91–96.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2617 | OA
Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. 2002. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 542(1), 193–210.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2618
Nunzi M, Shigemoto R, Mugnaini E. 2002. Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. 451(2), 189–199.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2619
Dalezios Y, Luján R, Shigemoto R, Roberts J, Somogyi P. 2002. Enrichment of mGluR7a in the presynaptic active zones of GABAergic and non-GABAergic terminals on interneurons in the rat somatosensory cortex. Cerebral Cortex. 12(9), 961–974.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Cremer S, Heinze J. 2002. Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition. Proceedings of the Royal Society of London Series B Biological Sciences. 269(1489), 417–422.
View | DOI | Download None (ext.)
 

2002 | Journal Article | IST-REx-ID: 3920
Turillazzi S, Sledge M, Cremer S, Heinze J. 2002. A method for analysing small-size specimens in GC-MS. Insect Social Life. 4, 169–175.
View
 

2002 | Journal Article | IST-REx-ID: 3924
Cremer S, Lautenschläger B, Heinze J. 2002. A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior. Insectes Sociaux. 49(3), 221–228.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
Cremer S, Sledge M, Heinze J. 2002. Chemical mimicry: Male ants disguised by the queen’s bouquet. Nature. 419, 897–897.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal P, Guibas L, Edelsbrunner H, Erickson J, Isard M, Har Peled S, Hershberger J, Jensen C, Kavraki L, Koehl P, Lin M, Manocha D, Metaxas D, Mirtich B, Mount D, Muthukrishnan S, Pai D, Sacks E, Snoeyink J, Suri S, Wolefson O. 2002. Algorithmic issues in modeling motion. ACM Computing Surveys. 34(4), 550–572.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner H, Letscher D, Zomorodian A. 2002. Topological persistence and simplification. Discrete & Computational Geometry. 28(4), 511–533.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian A, Edelsbrunner H. 2002. Fast software for box intersections. International Journal of Computational Geometry and Applications. 12(1–2), 143–172.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal P, Edelsbrunner H, Wang Y. 2002. Computing the writhing number of a polygonal knot. SODA: Symposium on Discrete Algorithms 791–799.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova J, Stopka P. 2002. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 80(8), 1383–1388.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4194
Houart C, Caneparo L, Heisenberg C, Barth KA, Take Uchi M, Wilson S. 2002. Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. 35(2), 255–265.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4196
Heisenberg C, Tada M. 2002. Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell & Developmental Biology. 13(6), 471–479.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg C, Tada M. 2002. Wnt signalling: A moving picture emerges from van gogh. Current Biology. 12(4), R126–R128.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg C. 2002. Wnt signalling: Refocusing on Strabismus. Current Biology. 12(19), R657–R659.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
Hannus M, Feiguin F, Heisenberg C, Eaton S. 2002. Planar cell polarization requires Widerborst, a B ’ regulatory subunit of protein phosphatase 2A. Development. 129(14), 3493–3503.
View
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro A, Barton NH. 2002. The effects of multilocus balancing selection on neutral variability. Genetics. 161(2), 849–863.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive M, Barton NH. 2002. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 162(3), 1469–1485.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson T, Barton NH. 2002. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 162(1), 395–411.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. 2002. Understanding quantitative genetic variation. Nature Reviews Genetics. 3, 11–21.
View | DOI
 

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

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

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. 2002. Inferring the root of a phylogenetic tree. Systematic Biology. 51(1), 32–43.
View | DOI
 

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

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

2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. ICCAD: Computer-Aided Design 132–139.
View | DOI
 

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

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. 2002. A Giotto-based helicopter control system. EMSOFT: Embedded Software , LNCS, vol. 2491. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. 2002. Trading probability for fairness. CSL: Computer Science Logic, LNCS, vol. 2471. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. IFAC: World Congress on Automatic Control vol. 15.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. 2002. The embedded machine: predictable, portable real-time code. PLDI: Programming Languages Design and Implementation 315–326.
View | DOI
 

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 | Journal Article | IST-REx-ID: 1032
Fürst J, Ritter M, Rudzki J, Danzl J, Gschwentner M, Scandella E, Jakab M, König M, Oehl B, Lang F, Deetjen P, Paulmichl M. 2002. ICln ion channel splice variants in Caenorhabditis elegans: Voltage dependence and interaction with an operon partner protein. Journal of Biological Chemistry. 277(6), 4435–4445.
View | DOI
 

Search

Filter Publications