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.

6032 Publications


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
 

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. https://doi.org/10.1007/s002200100585
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. https://doi.org/10.5802/aif.1936
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. https://doi.org/10.1101/gad.229402
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, V., & Zabih, R. (2002). Multi-camera scene reconstruction via graph cuts (pp. 65–81). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/3-540-47977-5_5
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. https://doi.org/10.1038/415806a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, M., Topping, J., Pullen, M., Friml, J., Palme, K., Hackett, R., … Lindsey, K. (2002). Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell, 14(5), 1017–1031. https://doi.org/10.1105/tpc.001248
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, M., Friml, J., Swarup, R., Ljung, K., Sandberg, G., Terlou, M., … Scheres, B. (2002). Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology, 12(4), 329–334. https://doi.org/10.1016/S0960-9822(02)00654-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, J., Benková, E., Blilou, I., Wiśniewska, J., Hamann, T., Ljung, K., … Palme, K. (2002). AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell, 108(5), 661–673. https://doi.org/10.1016/S0092-8674(02)00656-6
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. https://doi.org/10.1023/A:1015248926412
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. https://doi.org/10.1016/S0896-6273(02)01101-7
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. https://doi.org/10.1016/S1010-6030(02)00027-8
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
Falaras, P., Chryssou, K., Stergiopoulos, T., Arabatzis, I., Katsaros, G., Catalano, V., … Bernard, M. (2002). Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes (Vol. 4801, pp. 125–135). Presented at the Organic Photovoltaics, SPIE. https://doi.org/10.1117/12.452446
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. https://doi.org/10.1021/nl025798u
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. https://doi.org/10.1007/s00239-002-2318-0
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). https://doi.org/10.1186/gb-2002-3-2-research0008
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. https://doi.org/10.1073/pnas.232565499
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. https://doi.org/10.1038/ng940
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 | Book Review | IST-REx-ID: 3421
Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., & Anderson, K. (2002). Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. Elsevier. https://doi.org/10.1016/S0079-6107(02)00009-3
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller, P., Janovjak, H. L., Miserez, A., & Dobbie, Z. (2002). Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques, 32(6), 1372–1379.
View
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger, J., Bischofberger, J., Vida, I., Fröbe, U., Pfitzinger, S., Weber, H., … Jonas, P. M. (2002). Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology, 443(3), 491–501. https://doi.org/10.1007/s00424-001-0735-3
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. Elsevier. https://doi.org/US 6,377,865 B1
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki, G., Csicsvari, J. L., Dragoi, G., Harris, K., Henze, D., & Hirase, H. (2002). Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex, 12(9), 893–899. https://doi.org/10.1093/cercor/12.9.893
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, M., Johnson, T., & Barton, N. H. (2002). General models of multilocus evolution. Genetics, 161(4), 1727–1750.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3757
Guet, C. C., Elowitz, M., Hsing, W., & Leibler, S. (2002). Combinatorial synthesis of genetic networks. Science, 296(5572), 1466–1470. https://doi.org/10.1126/science.1067407
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
Lien, C., Martina, M., Schultz, J., Ehmke, H., & Jonas, P. M. (2002). Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology, 538(Pt 2), 405–419. https://doi.org/ 10.1113/jphysiol.2001.013066
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos, M., Vida, I., Frotscher, M., Meyer, A., Monyer, H., Geiger, J., & Jonas, P. M. (2002). Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS, 99(20), 13222–13227. https://doi.org/10.1073/pnas.192233099
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft, S., Kraushaar, U., Geiger, J., & Jonas, P. M. (2002). Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus. Journal of Physiology, 539(Pt 1), 201–208. https://doi.org/10.1113/jphysiol.2001.013455
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
Bischofberger, J., Geiger, J., & Jonas, P. M. (2002). Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience, 22(24), 10593–10602.
View
 

2002 | Journal Article | IST-REx-ID: 3803
Bischofberger, J., & Jonas, P. M. (2002). TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus. Trends in Neurosciences, 25(12), 600–603. https://doi.org/10.1016/S0166-2236(02)02259-2
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, M. T., & Bauer, W. (2002). 3d supernovae collapse calculations (Vol. 644, pp. 219–232). Presented at the CRIS: Catania Relativistic Ion Studies , American Institute of Physics. https://doi.org/10.1063/1.1523196
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, W., Bollenbach, M. T., Kleine Berkenbusch, M., & Harreis, H. (2002). The percolation interpretation of the nuclear fragmentation phase transition (pp. 111–118). Presented at the Winter Workshop on Nuclear Dynamics, EP Systema.
View
 

2002 | Journal Article | IST-REx-ID: 4148
Tada, M., Concha, M., & Heisenberg, C.-P. J. (2002). Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology, 13(3), 251–260. https://doi.org/10.1016/S1084-9521(02)00052-6
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4194
Houart, C., Caneparo, L., Heisenberg, C.-P. J., Barth, K. A., Take Uchi, M., & Wilson, S. (2002). Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron, 35(2), 255–265. https://doi.org/10.1016/S0896-6273(02)00751-1
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg, C.-P. J., & Tada, M. (2002). Wnt signalling: A moving picture emerges from van gogh. Current Biology, 12(4), R126–R128. https://doi.org/10.1016/S0960-9822(02)00704-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
Hannus, M., Feiguin, F., Heisenberg, C.-P. J., & 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: 4207
Heisenberg, C.-P. J. (2002). Wnt signalling: Refocusing on Strabismus. Current Biology, 12(19), R657–R659. https://doi.org/10.1016/S0960-9822(02)01160-0
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer, R. (2001). Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In M. Demuth & B. Schultze (Eds.) (Vol. 126, pp. 307–314). Presented at the PDE: Partial Differential Equations and Spectral Theory, Birkhäuser. https://doi.org/10.1007/978-3-0348-8231-6
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner, B., & Seiringer, R. (2001). Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare, 2(1), 41–76. https://doi.org/10.1007/PL00001032
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer, R. (2001). On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General, 34(9), 1943–1948. https://doi.org/10.1088/0305-4470/34/9/311
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
Hainzl, C., & Seiringer, R. (2001). Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics, 55(2), 133–142. https://doi.org/10.1023/A:1010951905548
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2001). A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics, 224(1), 17–31. https://doi.org/10.1007/s002200100533
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl, C., & Seiringer, R. (2001). A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics, 217(1), 229–248. https://doi.org/10.1007/s002200100373
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner, U., & Welzl, E. (2001). A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry, 26(2), 205–219. https://doi.org/10.1007/s00454-001-0028-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). Light and electron microscopic study of the distribution of substance P-immunoreactive fibers and neurokinin-1 receptors in the skin of the rat lower lip. Journal of Comparative Neurology, 432(4), 466–480. https://doi.org/10.1002/cne.1114
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, F., Timmermans, J., Shigemoto, R., & De Schutter, E. (2001). Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience, 104(2), 499–512. https://doi.org/10.1016/S0306-4522(01)00058-6
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez, G., López Bendito, G., Luján, R., Shigemoto, R., Fairén, A., & Valdeolmillos, M. (2001). Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience, 13(6), 1147–1154. https://doi.org/10.1046/j.0953-816X.2001.01494.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion, S., Corti, C., Neki, A., Shigemoto, R., Corsi, M., Fumagalli, G., & Ferraguti, F. (2001). Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms. Molecular and Cellular Neuroscience, 17(6), 957–972. https://doi.org/10.1006/mcne.2001.0993
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito, G., Shigemoto, R., Luján, R., & Juíz, J. (2001). Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience, 105(2), 413–429. https://doi.org/10.1016/S0306-4522(01)00188-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y., Nomura, S., Mizuno, N., & Shigemoto, R. (2001). Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience, 106(3), 481–503. https://doi.org/10.1016/S0306-4522(01)00305-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Sansig, G., Bushell, T., Clarke, V., Rozov, A., Burnashev, N., Portet, C., … Van Der Putten, H. (2001). Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience, 21(22), 8734–8745.
View
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience, 108(1), 157–166. https://doi.org/10.1016/S0306-4522(01)00158-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li, J., Shigemoto, R., Kulik, Á., Chen, P., Nomura, S., Kaneko, T., & Mizuno, N. (2001). Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters, 315(1–2), 93–97. https://doi.org/10.1016/S0304-3940(01)02321-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3927
Wolf, D., Hallmann, R., Sass, G., Sixt, M. K., Küsters, S., Fregien, B., … Tiegs, G. (2001). TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis. Journal of Immunology, 166(2), 1300–1307.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3928
Sixt, M. K., Hallmann, R., Wendler, O., Scharffetter Kochanek, K., & Sorokin, L. (2001). Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry, 276(22), 18878–18887. https://doi.org/10.1074/jbc.M010898200
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
Sixt, M. K., Engelhardt, B., Pausch, F., Hallmann, R., Wendler, O., & Sorokin, L. (2001). Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis. Journal of Cell Biology, 153(5), 933–946. https://doi.org/10.1083/jcb.153.5.933
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng, H., Edelsbrunner, H., & Fu, P. (2001). Shape space from deformation. Computational Geometry: Theory and Applications, 19(2–3), 191–204. https://doi.org/10.1016/S0925-7721(01)00021-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4002
Cheng, S., Edelsbrunner, H., Fu, P., & Lam, K. (2001). Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications, 19(2–3), 205–218. https://doi.org/10.1016/S0925-7721(01)00020-7
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation (pp. 47–56). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, H. (2001). 180 wrapped tubes. Journal of Universal Computer Science, 7(5), 379–399. https://doi.org/10.3217/jucs-007-05-0379
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4007
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation. Discrete & Computational Geometry, 25(4), 525–568. https://doi.org/10.1007/s00454-001-0007-1
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, J. P., & Huelsenbeck, J. (2001). Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution, 52(2), 117–128. https://doi.org/10.1007/s002390010140
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, M., Barton, N. H., & Coyne, J. (2001). Theory and speciation. Trends in Ecology and Evolution, 16(7), 330–343. https://doi.org/10.1016/S0169-5347(01)02177-2
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, S., & Barton, N. H. (2001). Selection for recombination in small populations. Evolution; International Journal of Organic Evolution, 55(10), 1921–1931. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, N. H. (2001). The role of hybridisation in evolution. Molecular Ecology, 10(3), 551–568. https://doi.org/10.1046/j.1365-294X.2001.01216.x
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, N. H. (2001). Adaptation at the edge of a species’ range. In Integrating ecology and evolution in a spatial context (pp. 365–392). Cambridge University Press.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, T. A., & Kirsch, C. (2001). EMSOFT: Embedded Software. EMSOFT: Embedded Software (Vol. 2211). ACM. https://doi.org/10.1007/3-540-45449-7
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience (Vol. 3, pp. 2887–2892). Presented at the CDC: Decision and Control, IEEE. https://doi.org/10.1109/.2001.980714
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems (Vol. 2034, pp. 275–290). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45351-2_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto (pp. 64–72). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/384197.384208
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming (Vol. 2211, pp. 166–184). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/1303
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems (pp. 1–11). Presented at the DASC: Digital Avionics Systems Conference, IEEE. https://doi.org/10.1109/DASC.2001.964169
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design, 18(2), 97–116. https://doi.org/10.1023/A:1008767206905
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C., … Wang, B. (2001). jMocha: A model-checking tool that exploits design structure (pp. 835–836). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata (pp. 109–120). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/503209.503226
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design (Vol. 2211, pp. 148–165). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems (Vol. 2154, pp. 351–365). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games (Vol. 2154, pp. 536–550). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View | DOI
 

Search

Filter Publications