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.

6122 Publications


2003 | Journal Article | IST-REx-ID: 4348
J. Huelsenbeck, R. Nielsen, and J. P. Bollback, “Stochastic mapping of morphological characters,” Systematic Biology, vol. 52, no. 2. Oxford University Press, pp. 131–58, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
J. Harshman, C. Huddleston, J. P. Bollback, T. Parsons, and M. Braun, “True and false gharials: A nuclear gene phylogeny of crocodylia,” Systematic Biology, vol. 52, no. 3. Oxford University Press, pp. 386–402, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
J. González, H. de Vladar, and M. Rebolledo, “New Late–Intensification Schedules for Cancer Treatments,” Acta Científica Venezolana, vol. 54. Asociación Venezolana para el Avance de la Ciencia., pp. 263–273, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
T. Vines et al., “On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata,” Evolution; International Journal of Organic Evolution, vol. 57, no. 8. Wiley-Blackwell, pp. 1876–1888, 2003.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
View
 

2003 | Thesis | IST-REx-ID: 4425
B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 4460
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” presented at the ICALP: Automata, Languages and Programming, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” presented at the CAV: Computer Aided Verification, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” presented at the SPIN: Model Checking Software, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 576
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, and M. Tosi, “Free expansion of two-dimensional condensates with a vortex,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 36, no. 12. IOP Publishing Ltd., pp. 2455–2463, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
C. Rogers et al., “Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1,” Nature Neuroscience, vol. 6, no. 11. Springer Nature, pp. 1178–1185, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
M. de Bono, “Molecular approaches to aggregation behavior and social attachment,” Journal of Neurobiology, vol. 54, no. 1. Wiley, pp. 78–92, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 847
S. Sunyaev, F. Kondrashov, P. Bork, and V. Ramensky, “Impact of selection, mutation rate and genetic drift on human genetic variation,” Human Molecular Genetics, vol. 12, no. 24. Oxford University Press, pp. 3325–3330, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 8519
V. Kaloshin, “The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles,” Inventiones mathematicae, vol. 151, no. 3. Springer Nature, pp. 451–512, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 876
F. Kondrashov and E. Koonin, “Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences,” Trends in Genetics, vol. 19, no. 3. Elsevier, pp. 115–119, 2003.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica, vol. 7, no. 1. Deutsche Mathematiker Vereinigung, pp. 495–534, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 1737
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, and P. Falaras, “A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells,” Journal of Photochemistry and Photobiology A: Chemistry, vol. 149, no. 1–3. Elsevier, pp. 191–198, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
P. Falaras et al., “Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes,” presented at the Organic Photovoltaics, 2002, vol. 4801, pp. 125–135.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 204
T. D. Browning, “Equal Sums of Two kth Powers,” Journal of Number Theory, vol. 96, no. 2. Academic Press, pp. 293–318, 2002.
View | DOI
 

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

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

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

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

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

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

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

2002 | Journal Article | IST-REx-ID: 2420
U. Wagner, “On the number of corner cuts,” Advances in Applied Mathematics, vol. 29, no. 2. ACM, pp. 152–161, 2002.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2613
J. Kitano et al., “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, vol. 22, no. 4. Society for Neuroscience, pp. 1280–1289, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 2614
C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “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, vol. 277, no. 16. American Society for Biochemistry and Molecular Biology, pp. 14092–14101, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2615
T. Toyono et al., “Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae,” Archives of Histology and Cytology, vol. 65, no. 1. Japan Society of Histological Documentation, pp. 91–96, 2002.
View | DOI
 

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

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

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

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

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

2002 | Journal Article | IST-REx-ID: 2621
C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals,” Journal of Biological Chemistry, vol. 277, no. 49. American Society for Biochemistry and Molecular Biology, pp. 47796–47803, 2002.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2624
Á. Kulik et al., “Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus,” European Journal of Neuroscience, vol. 15, no. 2. Wiley-Blackwell, pp. 291–307, 2002.
View | DOI
 

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

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

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

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

Search

Filter Publications