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.

6029 Publications


2003 | Journal Article | IST-REx-ID: 1457 | OA
Hausel, T., & Thaddeus, M. (2003). Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae, 153(1), 197–229. https://doi.org/10.1007/s00222-003-0286-7
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
Hausel, T., & Thaddeus, M. (2003). Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society, 16(2), 303–329. https://doi.org/10.1090/S0894-0347-02-00417-4
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
Etesi, G., & Hausel, T. (2003). On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics, 235(2), 275–288. https://doi.org/10.1007/s00220-003-0806-8
View | DOI | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 3170
Boykov, Y., & Kolmogorov, V. (2003). Computing geodesics and minimal surfaces via graph cuts (Vol. 1, pp. 26–33). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2003.1238310
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov, V., Zabih, R., & Gortler, S. (2003). Generalized multi camera scene reconstruction using graph cuts (Vol. 2683, pp. 501–516). Presented at the EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, Springer. https://doi.org/10.1007/978-3-540-45063-4_32
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3174
Kim, J., Kolmogorov, V., & Zabih, R. (2003). Visual correspondence using energy minimization and mutual information (Vol. 2, pp. 1033–1040). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2003.1238463
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3209
Pietrzak, K. Z. (2003). On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. Journal of Computer and System Sciences, 67(4), 757–771. https://doi.org/10.1016/S0022-0000(03)00078-3
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3210
Maurer, U., & Pietrzak, K. Z. (2003). The security of many round Luby Rackoff pseudo random permutations (Vol. 2656, pp. 544–561). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/3-540-39200-9_34
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 3526
Harris, K., Csicsvari, J. L., Hirase, H., Dragoi, G., & Buzsáki, G. (2003). Organization of cell assemblies in the hippocampus. Nature, 424(6948), 552–556. https://doi.org/0.1038/nature01834
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3528
Csicsvari, J. L., Jamieson, B., Wise, K., & Buzsáki, G. (2003). Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron, 37(2), 311–322. https://doi.org/10.1016/S0896-6273(02)01169-8
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
Csicsvari, J. L., Henze, D., Jamieson, B., Harris, K., Sirota, A., Bartho, P., … Buzsáki, G. (2003). Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology, 90(2), 1314–1323. https://doi.org/10.1152/jn.00116.2003
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3536
Buzsáki, G., Buhl, D., Harris, K., Csicsvari, J. L., Czéh, B., & Morozov, A. (2003). Hippocampal network patterns of activity in the mouse. Neuroscience, 116(1), 201–211. https://doi.org/10.1016/S0306-4522(02)00669-3
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
Sirota, A., Csicsvari, J. L., Buhl, D., & Buzsáki, G. (2003). Communication between neocortex and hippocampus during sleep in rodents. PNAS, 100(4), 2065–2069. https://doi.org/10.1073/pnas.0437938100
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2003). Morse-Smale complexes for piecewise linear 3-manifolds (pp. 361–370). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/777792.777846
View | DOI | Download (ext.)
 

2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner, H. (2003). Surface reconstruction by wrapping finite sets in space. In Discrete & Computational Geometry (pp. 379–404). Springer. https://doi.org/10.1007/978-3-642-55566-4_17
View | DOI | Download (ext.)
 

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

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. https://doi.org/10.1023/A:1023217515688
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
Vines, T., & Barton, N. H. (2003). A new approach to detecting mixed families. Molecular Ecology, 12(7), 1999–2002. https://doi.org/10.1046/j.1365-294X.2003.01867.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3619
Baird, S., Barton, N. H., & Etheridge, A. (2003). The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology, 64(4), 451–471. https://doi.org/10.1016/S0040-5809(03)00098-4
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
Nürnberger, B., Hofman, S., Förg Brey, B., Praetzel, G., Maclean, A., Szymura, J., … Barton, N. H. (2003). A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity, 91(2), 136–142. https://doi.org/10.1038/sj.hdy.6800291
View | DOI
 

2003 | Thesis | IST-REx-ID: 3678
Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften (Vol. 356, pp. 1–165). Universität Bonn, Fachbibliothek Mathematik.
View | Download (ext.)
 

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

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

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

2003 | Journal Article | IST-REx-ID: 3806
Hallermann, S., Pawlu, C., Jonas, P. M., & Heckmann, M. (2003). A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS, 100(15), 8975–8980. https://doi.org/10.1073/pnas.1432836100
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2003). Simple stochastic parity games (Vol. 2803, pp. 100–113). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-45220-1_11
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2003). Stack size analysis for interrupt-driven programs (Vol. 2694, pp. 109–126). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/3-540-44898-5_7
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach, M. T., Strother, T., & Bauer, W. (2003). 3D supernova collapse calculations (Vol. 166, pp. 277–288). Presented at the NATO ASI on Structure and Dynamics of Elementary Matter, Springer. https://doi.org/10.1007/978-1-4020-2705-5_21
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3797
Bauer, W., Kleine Berkenbusch, M., & Bollenbach, M. 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: 4146
Ulrich, F., Concha, M., Heid, P., Voss, E., Witzel, S., Roehl, H., … Heisenberg, C.-P. J. (2003). Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development, 130(22), 5375–5384. https://doi.org/10.1242/dev.00758
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology, 13(15), 1279–1289. https://doi.org/10.1016/S0960-9822(03)00505-0
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
Montero, J., & Heisenberg, C.-P. J. (2003). Adhesive crosstalk in gastrulation. Developmental Cell, 5(2), 190–191. https://doi.org/10.1016/S1534-5807(03)00235-1
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
Kilian, B., Mansukoski, H., Barbosa, F., Ulrich, F., Tada, M., & Heisenberg, C.-P. J. (2003). The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development, 120(4), 467–476. https://doi.org/10.1016/S0925-4773(03)00004-2
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
González, J., de Vladar, H., & Rebolledo, M. (2003). New Late–Intensification Schedules for Cancer Treatments. Acta Científica Venezolana, 54, 263–273. https://doi.org/3800
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, R. (2003). Symbolic algorithms for verification and control (pp. 1–201). University of California, Berkeley.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming (pp. 1–237). University of California, Berkeley.
View
 

2003 | Journal Article | IST-REx-ID: 8519
Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones Mathematicae, 151(3), 451–512. https://doi.org/10.1007/s00222-002-0244-9
View | DOI
 

2002 | Journal Article | IST-REx-ID: 204
Browning, T. D. (2002). Equal Sums of Two kth Powers. Journal of Number Theory, 96(2), 293–318. https://doi.org/10.1006/jnth.2002.2800
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338
Lieb, É., Solovej, J., Seiringer, R., & Yngvason, J. (2002). The ground state of the Bose gas. In Current Developments in Mathematics, 2001 (pp. 131–178). International Press. http://arxiv.org/abs/math-ph/0204027
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
Seiringer, R. (2002). Symmetry breaking in a model of a rotating Bose gas. In R. Weder, P. Exner, & B. Grébert (Eds.) (Vol. 307, pp. 281–286). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
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. https://doi.org/10.1103/PhysRevLett.88.170409
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. https://doi.org/10.1007/s00220-002-0695-2
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. https://doi.org/10.1023/A:1020204818938
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). https://doi.org/10.1103/PhysRevB.66.134529
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. https://doi.org/10.1016/S0196-8858(02)00014-3
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2421
Ambühl, C., & Wagner, U. (2002). On the Clique problem in intersection graphs of ellipses (Vol. 2518, pp. 489–500). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. https://doi.org/10.1007/3-540-36136-7_43
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. https://doi.org/10.1074/jbc.M109044200
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2615
Toyono, T., Seta, Y., Sataoka, S., Harada, H., Morotomi, T., Kawano, S., … 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. https://doi.org/10.1679/aohc.65.91
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. https://doi.org/10.1093/cercor/12.6.625
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. https://doi.org/10.1113/jphysiol.2002.020024
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. https://doi.org/10.1002/cne.10344
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. https://doi.org/10.1093/cercor/12.9.961
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. https://doi.org/10.1098/rspb.2001.1892
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. https://doi.org/10.1007/s00040-002-8305-z
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. https://doi.org/10.1038/419897a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, P., Guibas, L., Edelsbrunner, H., Erickson, J., Isard, M., Har Peled, S., … Wolefson, O. (2002). Algorithmic issues in modeling motion. ACM Computing Surveys, 34(4), 550–572. https://doi.org/10.1145/592642.592647
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. https://doi.org/10.1007/s00454-002-2885-2
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. https://doi.org/10.1007/s003660200020
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. https://doi.org/10.1142/S0218195902000785
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2002). Computing the writhing number of a polygonal knot (pp. 791–799). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
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. https://doi.org/3820
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro, A., & Barton, N. H. (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, N. H. (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, N. H. (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, N. H., & Keightley, P. (2002). Understanding quantitative genetic variation. Nature Reviews Genetics, 3, 11–21. https://doi.org/10.1038/nrg700
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton, N. H., & Navarro, A. (2002). Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research, 79(2), 129–139. https://doi.org/10.1017/S0016672301005493
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton, N. H., Depaulis, F., & Etheridge, A. (2002). Neutral evolution in spatially continuous populations. Theoretical Population Biology, 61(1), 31–48. https://doi.org/10.1006/tpbi.2001.1557
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, J., Bollback, J. P., & Levine, A. (2002). Inferring the root of a phylogenetic tree. Systematic Biology, 51(1), 32–43. https://doi.org/10.1080/106351502753475862
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4407
Raskin, J., Schobbens, P., & Henzinger, T. A. (2002). Axioms for real-time logics. Theoretical Computer Science, 274(1–2), 151–182. https://doi.org/10.1016/S0304-3975(00)00308-X
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone, R., De Alfaro, L., Henzinger, T. A., & Sangiovanni Vincentelli, A. (2002). Convertibility verification and converter synthesis: Two faces of the same coin (pp. 132–139). Presented at the ICCAD: Computer-Aided Design, IEEE. https://doi.org/10.1145/774572.774592
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, C., Sanvido, M., Henzinger, T. A., & Pree, W. (2002). A Giotto-based helicopter control system (Vol. 2491, pp. 46–60). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, M., Kupferman, O., & Henzinger, T. A. (2002). Trading probability for fairness (Vol. 2471, pp. 292–305). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/3-540-45793-3_20
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Henzinger, T. A., Sangiovanni Vincentelli, A., & Sastry, S. (2002). Embedded software design and system integration for rotorcraft UAV using platforms (Vol. 15). Presented at the IFAC: World Congress on Automatic Control, Elsevier. https://doi.org/10.3182/20020721-6-ES-1901.01628
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, T. A., & Kirsch, C. (2002). The embedded machine: predictable, portable real-time code (pp. 315–326). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, T. A., Kirsch, C., Majumdar, R., & Matic, S. (2002). Time-safety checking for embedded programs (Vol. 2491, pp. 76–92). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems (Vol. 2380, pp. 644–656). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code (Vol. 2404, pp. 526–538). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_45
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, T. A., 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. https://doi.org/10.1145/509705.509707
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation, 173(1), 64–81. https://doi.org/10.1006/inco.2001.3085
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction (pp. 58–70). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/503272.503279
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces (Vol. 2404, pp. 414–427). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_34
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules (Vol. 2404, pp. 428–441). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems (Vol. 2289, pp. 134–148). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672–713. https://doi.org/10.1145/585265.585270
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces (Vol. 2491, pp. 108–122). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_9
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 6159
de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature, 419(6910), 899–903. https://doi.org/10.1038/nature01169
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. https://doi.org/10.1038/nn962
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. https://doi.org/10.1074/jbc.M207531200
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. https://doi.org/10.1046/j.1460-9568.2002.02032.x
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. https://doi.org/10.1046/j.0953-816x.2001.01855.x
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Erdös, L. (2002). Scaling limits of Schrödinger quantum mechanics (Vol. 597, pp. 487–506). Presented at the 38th Winter School of Theoretical Physics : Dynamical Semigroups: Dissipation, Chaos, Quanta, Springer. https://doi.org/10.1007/3-540-46122-1_19
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2708
Erdös, L. (2002). Two dimensional Pauli operator via scalar potential (Vol. 307, pp. 129–133). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
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. https://doi.org/10.1016/S1631-073X(02)02253-7
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. https://doi.org/10.1023/A:1015157624384
View | DOI
 

Search

Filter Publications