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.

5752 Publications


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, 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, 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, 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, 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, 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, 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, pp. 205–232, 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, 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, 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, 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 , vol. 356. Universität Bonn, Fachbibliothek Mathematik, 2003, pp. 1–165.
View | Download (ext.)
 

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, 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, pp. 471–476, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3797
W. Bauer, M. Kleine Berkenbusch, and T. Bollenbach, “Breaking atomic nuclei into little pieces: evidence for a phase transition,” Revista Mexicana De Fisica, vol. 49, no. 4, 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, 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, pp. 8975–80, 2003.
View | DOI
 

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, 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, 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, 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, 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, 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, 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, pp. 5375–5384, 2003.
View | DOI
 

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, pp. 3325–3330, 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, pp. 115–119, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
T. Hausel and M. Thaddeus, “Mirror symmetry, langlands duality, and the Hitchin system,” Inventiones Mathematicae, vol. 153, no. 1, pp. 197–229, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
T. Hausel and M. Thaddeus, “Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles,” Journal of the American Mathematical Society, vol. 16, no. 2, pp. 303–329, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
G. Etesi and T. Hausel, “On Yang-Mills instantons over multi-centered gravitational instantons,” Communications in Mathematical Physics, vol. 235, no. 2, pp. 275–288, 2003.
View | DOI | 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, pp. 291–307, 2002.
View | DOI
 

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

2002 | Conference Paper | IST-REx-ID: 2708
L. Erdös, “Two dimensional Pauli operator via scalar potential,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 129–133.
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, 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, 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, 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, p. 1833–1874+XI+VII, 2002.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4194
C. Houart, L. Caneparo, C. Heisenberg, K. A. Barth, M. Take Uchi, and S. Wilson, “Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling,” Neuron, vol. 35, no. 2, pp. 255–265, 2002.
View | DOI
 

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

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

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

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

2002 | Journal Article | IST-REx-ID: 4258
A. Navarro and N. H. Barton, “The effects of multilocus balancing selection on neutral variability,” Genetics, vol. 161, no. 2, pp. 849–863, 2002.
View | Download (ext.)
 

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

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

2002 | Journal Article | IST-REx-ID: 4261
N. H. Barton and P. Keightley, “Understanding quantitative genetic variation,” Nature Reviews Genetics, vol. 3, pp. 11–21, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
N. H. Barton and A. Navarro, “Extending the coalescent to multilocus systems: the case of balancing selection,” Genetical Research, vol. 79, no. 2, pp. 129–139, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
N. H. Barton, F. Depaulis, and A. Etheridge, “Neutral evolution in spatially continuous populations,” Theoretical Population Biology, vol. 61, no. 1, pp. 31–48, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
J. Huelsenbeck, J. P. Bollback, and A. Levine, “Inferring the root of a phylogenetic tree,” Systematic Biology, vol. 51, no. 1, pp. 32–43, 2002.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4407
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” Theoretical Computer Science, vol. 274, no. 1–2, pp. 151–182, 2002.
View | DOI
 

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

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

2002 | Conference Paper | IST-REx-ID: 4421
C. Kirsch, M. Sanvido, T. A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” presented at the CSL: Computer Science Logic, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” presented at the IFAC: World Congress on Automatic Control, 2002, vol. 15, no. 1.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
T. A. Henzinger and C. Kirsch, “The embedded machine: predictable, portable real-time code,” presented at the PLDI: Programming Languages Design and Implementation, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” presented at the ICALP: Automata, Languages and Programming, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 526–538.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4474
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1, pp. 64–81, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” presented at the POPL: Principles of Programming Languages, 2002, pp. 58–70.
View | DOI
 

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

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

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

2002 | Journal Article | IST-REx-ID: 4595
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” Journal of the ACM, vol. 49, no. 5, pp. 672–713, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 108–122.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans,” Nature, vol. 419, no. 6910, pp. 925–929, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910, pp. 899–903, 2002.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications