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 | Thesis | IST-REx-ID: 2414
U. Wagner, “On k-Sets and Their Applications,” ETH Zurich, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
U. Wagner, “On the rectilinear crossing number of complete graphs,” presented at the SODA: Symposium on Discrete Algorithms, 2003, pp. 583–588.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
J. Matoušek and U. Wagner, “New constructions of weak epsilon-nets,” presented at the SoCG: Symposium on Computational Geometry, 2003, pp. 129–135.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
J. Giesen and U. Wagner, “Shape dimension and intrinsic metric from samples of manifolds with high co-dimension,” presented at the SoCG: Symposium on Computational Geometry, 2003, pp. 329–337.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2623
M. Coesmans et al., “Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies,” Annals of Neurology, vol. 53, no. 3. Wiley-Blackwell, pp. 325–336, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, and T. Hirano, “Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons,” European Journal of Neuroscience, vol. 17, no. 5. Wiley-Blackwell, pp. 1023–1032, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, and M. Takada, “Differential expression patterns of mGluR1α in monkey nigral dopamine neurons,” Neuroreport, vol. 14, no. 7. Lippincott, Williams & Wilkins, pp. 947–950, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, and I. Ito, “Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry,” Science, vol. 300, no. 5621. American Association for the Advancement of Science, pp. 990–994, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
A. Momiyama et al., “The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats,” Journal of Physiology, vol. 549, no. 1. Wiley-Blackwell, pp. 75–92, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, and R. Shigemoto, “High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus,” European Journal of Neuroscience, vol. 17, no. 12. Wiley-Blackwell, pp. 2503–2520, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2630
T. Toyono, Y. Seta, S. Kataoka, S. Kawano, R. Shigemoto, and K. Toyoshima, “Expression of metabotropic glutamate receptor group I in rat gustatory papillae,” Cell and Tissue Research, vol. 313, no. 1. Springer, pp. 29–35, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2631
H. Higashida et al., “Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells,” Journal of Neurochemistry, vol. 85, no. 5. Wiley-Blackwell, pp. 1148–1158, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2632
N. Holderith, R. Shigemoto, and Z. Nusser, “Cell type-dependent expression of HCN1 in the main olfactory bulb,” European Journal of Neuroscience, vol. 18, no. 2. Wiley-Blackwell, pp. 344–354, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2633
C. Millán, E. Castro, M. Torres, R. Shigemoto, and J. Sánchez Prieto, “Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats,” Journal of Biological Chemistry, vol. 278, no. 26. American Society for Biochemistry and Molecular Biology, pp. 23955–23962, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2634
G. López Bendito, R. Luján, R. Shigemoto, P. Ganter, O. Paulsen, and Z. Molnár, “Blockade of GABAB receptors alters the tangential migration of cortical neurons,” Cerebral Cortex, vol. 13, no. 9. Oxford University Press, pp. 932–942, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2635
Á. Kulik et al., “Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus,” Journal of Neuroscience, vol. 23, no. 35. Society for Neuroscience, pp. 11026–11035, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 2637
K. Bell, G. J. De Kort, S. Steggerda, R. Shigemoto, A. Ribeiro Da Silva, and A. Cuello, “Structural involvement of the glutamatergic presynaptic boutons in a transgenic mouse model expressing early onset amyloid pathology,” Neuroscience Letters, vol. 353, no. 2. Elsevier, pp. 143–147, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2784
B. Hof, A. Juel, and T. Mullin, “Magnetohydrodynamic damping of convective flows in molten gallium,” Journal of Fluid Mechanics, vol. 482. Cambridge University Press, pp. 163–179, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
B. Hof, A. Juel, and T. Mullin, “Scaling of the turbulence transition threshold in a pipe,” Physical Review Letters, vol. 91, no. 24. American Physical Society, p. 244502/1-244502/4, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2990
J. Friml, “Auxin transport - Shaping the plant,” Current Opinion in Plant Biology, vol. 6, no. 1. Elsevier, pp. 7–12, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, and B. Scheres, “Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function,” Plant Cell, vol. 15, no. 3. American Society of Plant Biologists, pp. 612–625, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
J. Friml, E. Benková, U. Mayer, K. Palme, and G. Muster, “Automated whole mount localisation techniques for plant seedlings,” Plant Journal, vol. 34, no. 1. Wiley-Blackwell, pp. 115–124, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
D. Reinhardt et al., “Regulation of phyllotaxis by polar auxin transport,” Nature, vol. 426, no. 6964. Nature Publishing Group, pp. 255–260, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
J. Friml et al., “Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis,” Nature, vol. 426, no. 6963. Nature Publishing Group, pp. 147–153, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2996
E. Benková et al., “Local, efflux-dependent auxin gradients as a common module for plant organ formation,” Cell, vol. 115, no. 5. Cell Press, pp. 591–602, 2003.
View | DOI
 

2003 | Book Review | IST-REx-ID: 3139
H. Chen, S. Hippenmeyer, S. Arber, and E. Frank, “Development of the monosynaptic stretch reflex circuit,” Current Opinion in Neurobiology, vol. 13, no. 1. Elsevier, pp. 96–102, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3150
D. E. Siekhaus and D. Drubin, “Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant,” Nature Cell Biology, vol. 5, no. 3. Nature Publishing Group, pp. 231–235, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
L. Rayburn et al., “Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development,” Genetics, vol. 163, no. 1. Genetics Society of America, pp. 227–237, 2003.
View
 

2003 | Conference Paper | IST-REx-ID: 3170
Y. Boykov and V. Kolmogorov, “Computing geodesics and minimal surfaces via graph cuts,” presented at the ICCV: International Conference on Computer Vision, 2003, vol. 1, pp. 26–33.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3171
V. Kolmogorov, R. Zabih, and S. Gortler, “Generalized multi camera scene reconstruction using graph cuts,” presented at the EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, 2003, vol. 2683, pp. 501–516.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3174
J. Kim, V. Kolmogorov, and R. Zabih, “Visual correspondence using energy minimization and mutual information,” presented at the ICCV: International Conference on Computer Vision, 2003, vol. 2, pp. 1033–1040.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3209
K. Z. Pietrzak, “On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems,” Journal of Computer and System Sciences, vol. 67, no. 4. Elsevier, pp. 757–771, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3210
U. Maurer and K. Z. Pietrzak, “The security of many round Luby Rackoff pseudo random permutations,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2003, vol. 2656, pp. 544–561.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3425
M. T. Bollenbach, T. Strother, and W. Bauer, “3D supernova collapse calculations,” presented at the NATO ASI on Structure and Dynamics of Elementary Matter, 2003, vol. 166, pp. 277–288.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3458
P. M. Jonas and K. Unsicker, “Molekulare und zelluläre Grundlagen des Nervensystems.,” in Lehrbuch Vorklinik, vol. B, R. Schmidt, Ed. Deutscher Ärzte Verlag, 2003, pp. 3–26.
View
 

2003 | Journal Article | IST-REx-ID: 3526
K. Harris, J. L. Csicsvari, H. Hirase, G. Dragoi, and G. Buzsáki, “Organization of cell assemblies in the hippocampus,” Nature, vol. 424, no. 6948. Nature Publishing Group, pp. 552–556, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3528
J. L. Csicsvari, B. Jamieson, K. Wise, and G. Buzsáki, “Mechanisms of gamma oscillations in the hippocampus of the behaving rat,” Neuron, vol. 37, no. 2. Elsevier, pp. 311–322, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
J. L. Csicsvari et al., “Massively parallel recording of unit and local field potentials with silicon-based electrodes,” Journal of Neurophysiology, vol. 90, no. 2. American Physiological Society, pp. 1314–1323, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3536
G. Buzsáki, D. Buhl, K. Harris, J. L. Csicsvari, B. Czéh, and A. Morozov, “Hippocampal network patterns of activity in the mouse,” Neuroscience, vol. 116, no. 1. Elsevier, pp. 201–211, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
A. Sirota, J. L. Csicsvari, D. Buhl, and G. Buzsáki, “Communication between neocortex and hippocampus during sleep in rodents,” PNAS, vol. 100, no. 4. National Academy of Sciences, pp. 2065–2069, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3556
H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Morse-Smale complexes for piecewise linear 3-manifolds,” presented at the SCG: Symposium on Computational Geometry, 2003, pp. 361–370.
View | DOI | Download (ext.)
 

2003 | Book Chapter | IST-REx-ID: 3573
H. Edelsbrunner, “Surface reconstruction by wrapping finite sets in space,” in Discrete & Computational Geometry, Springer, 2003, pp. 379–404.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3584
H. Edelsbrunner and A. Zomorodian, “Computing linking numbers of a filtration,” Homology, Homotopy and Applications, vol. 5, no. 2. International Press, pp. 19–37, 2003.
View | Download None (ext.)
 

2003 | Journal Article | IST-REx-ID: 3593
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “A branching time temporal framework for quantitative reasoning,” Journal of Automated Reasoning, vol. 30, no. 2. Springer, pp. 205–232, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 117–133.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Discounting the future in systems theory,” presented at the ICALP: Automata, Languages and Programming, 2003, vol. 2719, pp. 1022–1037.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “The element of surprise in timed games,” presented at the CONCUR: Concurrency Theory, 2003, vol. 2761, pp. 144–158.
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 3752 | OA
J. Vilar, C. C. Guet, and S. Leibler, “Modeling network dynamics: the lac operon, a case study,” Journal of Cell Biology, vol. 161, no. 3. Rockefeller University Press, pp. 471–476, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3797
W. Bauer, M. Kleine Berkenbusch, and M. T. Bollenbach, “Breaking atomic nuclei into little pieces: evidence for a phase transition,” Revista Mexicana De Fisica, vol. 49, no. 4. Sociedad Mexicana de Física, pp. 1–6, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3804
C. Lien and P. M. Jonas, “Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons,” Journal of Neuroscience, vol. 23, no. 6. Society for Neuroscience, pp. 2058–68, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3806
S. Hallermann, C. Pawlu, P. M. Jonas, and M. Heckmann, “A large pool of releasable vesicles in a cortical glutamatergic synapse,” PNAS, vol. 100, no. 15. National Academy of Sciences, pp. 8975–80, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
T. Vines and N. H. Barton, “A new approach to detecting mixed families,” Molecular Ecology, vol. 12, no. 7. Wiley-Blackwell, pp. 1999–2002, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3619
S. Baird, N. H. Barton, and A. Etheridge, “The distribution of surviving blocks of an ancestral genome,” Theoretical Population Biology, vol. 64, no. 4. Academic Press, pp. 451–471, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
B. Nürnberger et al., “A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae),” Heredity, vol. 91, no. 2. Nature Publishing Group, pp. 136–142, 2003.
View | DOI
 

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

2003 | Conference Paper | IST-REx-ID: 3897
K. Chatterjee, M. Jurdziński, and T. A. Henzinger, “Simple stochastic parity games,” presented at the CSL: Computer Science Logic, 2003, vol. 2803, pp. 100–113.
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 3917
S. Cremer and J. Heinze, “Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen,” Blick in die Wissenschaft, vol. 12, no. 15. Schnell und Steiner, pp. 32–36, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3921
C. Anderson, S. Cremer, and J. Heinze, “Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals,” Behavioral Ecology, vol. 14, no. 1. Oxford University Press, pp. 54–62, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
S. Cremer and J. Heinze, “Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants,” Current Biology, vol. 13, no. 3. Cell Press, pp. 219–223, 2003.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3991
H. Cheng and H. Edelsbrunner, “Area and perimeter derivatives of a union of disks,” in Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3992
H. Edelsbrunner and P. Koehl, “The weighted-volume derivative of a space-filling diagram,” PNAS, vol. 100, no. 5. National Academy of Sciences, pp. 2203–2208, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
H. Edelsbrunner, J. Harer, and A. Zomorodian, “Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds,” Discrete & Computational Geometry, vol. 30, no. 1. Springer, pp. 87–107, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
H. Cheng and H. Edelsbrunner, “Area, perimeter and derivatives of a skin curve,” Computational Geometry: Theory and Applications, vol. 26, no. 2. Elsevier, pp. 173–192, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A multi-resolution data structure for two-dimensional Morse-Smale functions,” presented at the VIS: IEEE Visualization, 2003, pp. 139–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
H. Edelsbrunner and A. Üngör, “Relaxed scheduling in dynamic skin triangulation,” presented at the JCDCG: Japanese Conference on Discrete and Computational Geometry, 2003, vol. 2866, pp. 135–151.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4146
F. Ulrich et al., “Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation,” Development, vol. 130, no. 22. Company of Biologists, pp. 5375–5384, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
J. Montero and C.-P. J. Heisenberg, “Adhesive crosstalk in gastrulation,” Developmental Cell, vol. 5, no. 2. Cell Press, pp. 190–191, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
J. Montero, B. Kilian, J. Chan, P. Bayliss, and C.-P. J. Heisenberg, “Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells,” Current Biology, vol. 13, no. 15. Cell Press, pp. 1279–1289, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, and C.-P. J. Heisenberg, “The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation,” Mechanisms of Development, vol. 120, no. 4. Elsevier, pp. 467–476, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4254
A. Navarro and N. H. Barton, “Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation,” Evolution; International Journal of Organic Evolution, vol. 57, no. 3. Wiley-Blackwell, pp. 447–459, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
A. Navarro and N. H. Barton, “Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes,” Science, vol. 300, no. 5617. American Association for the Advancement of Science, pp. 321–324, 2003.
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
N. H. Barton and W. Zuidema, “The erratic path towards complexity,” Current Biology, vol. 13, no. 16. Cell Press, pp. R649–R651, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
B. Charlesworth, D. Charlesworth, and N. H. Barton, “The effects of genetic and geographic structure on neutral variation,” Annual Review of Ecology and Systematics, vol. 34. Annual Reviews, pp. 99–125, 2003.
View | DOI
 

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
 

Search

Filter Publications