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.

5758 Publications


2000 | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. 2000. Abstract interpretation of game properties. SAS: Static Analysis Symposium, LNCS, vol. 1824. 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. 2000. Decomposing refinement proofs using assume-guarantee reasoning. ICCAD: Computer-Aided Design 245–252.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. 2000. Masaccio: A formal model for embedded components. TCS: Theoretical Computer Science, LNCS, vol. 1872. 549–563.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. 2000. The theory of hybrid automata. Verification of Digital and Hybrid Systems. , NATO ASI Series F: Computer and Systems Sciences, vol. 170. 265–292.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. 2000. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 88(7), 971–984.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro L, Henzinger TA. 2000. Concurrent omega-regular games. LICS: Logic in Computer Science 141–154.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems. CONCUR: Concurrency Theory, LNCS, vol. 1877. 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. 2000. Detecting errors before reaching them. CAV: Computer-Aided Verification, LNCS, vol. 1855. 186–201.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang J, Siekhaus DE, Fuller R, Taghert P, Lindberg I. 2000. Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. 275(23), 17886–17893.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar U, Jonas PM. 2000. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 20(15), 5594–5607.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. 2000. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 20(22), 8290–8297.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3491
Martina M, Vida I, Jonas PM. 2000. Distal initiation and active propagation of action potentials in interneuron dendrites. Science. 287(5451), 295–300.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
Geiger J, Jonas PM. 2000. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 28(3), 927–939.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3532
Henze D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. 2000. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 84(1), 390–400.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. 2000. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 28(2), 585–594.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. 2000. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 84(1), 401–414.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, Stathopoulos A, Talmor D, Teng S, Üngör A, Walkington N. 2000. Smoothing and cleaning up slivers. STOC: Symposium on the Theory of Computing 273–277.
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner H. 2000. Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. Zur Kunst des formalen Denkens. 153–171.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3583
Edelsbrunner H. 2000. Triangulations and meshes in computational geometry. Acta Numerica. 9, 133–213.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton NH, Patridge L. 2000. Measuring fitness by means of balancer chromosomes. Genetical Research. 75(3), 297–314.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Barton NH. 2000. Estimating multilocus linkage disequilibria. Heredity. 84(3), 373–389.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
Jonas PM. 2000. The time course of signaling at central glutamatergic synapses. Physiology. 15(2), 83–89.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3923
Cremer S. 2000. Paternity analysis with AFLPs in Cardiocondyla ants. B.I.F. Futura. 15(1), 68–71.
View
 

2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner H, Grayson D. 2000. Edgewise subdivision of a simplex. Discrete & Computational Geometry. 24(4), 707–719.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner H, Letscher D, Zomorodian A. 2000. Topological persistance and simplification. FOCS: Foundations of Computer Science 454–463.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner H, Waupotitsch R. 2000. Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. 10(3), 267–284.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. 2000. Sliver exudation. Journal of the ACM. 47(5), 883–904.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
Sordino P, Heisenberg C, Cirino P, Toscano A, Giuliano P, Marino R, Pinto M, De Santis R. 2000. A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia. 85(2), 173–176.
View
 

2000 | Journal Article | IST-REx-ID: 842
Wolf Y, Kondrashov F, Koonin E. 2000. No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. 16(8), 333–334.
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
Fürst J, Jakab M, König M, Ritter M, Gschwentner M, Rudzki J, Danzl J, Mayer M, Burtscher C, Schirmer J, Maier B, Nairz M, Chwatal S, Paulmichl M. 2000. Structure and function of the ion channel ICln. Cellular Physiology and Biochemistry. 10(5–6), 329–334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1455 | OA
Hausel T, Makai E, Szücs A. 2000. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 47(1–2), 371–397.
View | DOI | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 2591
Kummer W, Shigemoto R, Haberberger R. 1999. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 259(2), 119–122.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
Masugi M, Yokoi M, Shigemoto R, Muguruma K, Watanabe Y, Sansig G, Van Der Putten H, Nakanishi S. 1999. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 19(3), 955–963.
View
 

1999 | Journal Article | IST-REx-ID: 2593
Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. 1999. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 19(9), 3545–3555.
View
 

1999 | Journal Article | IST-REx-ID: 2594
Ding Y, Zheng H, Wang D, Xu J, Gong L, Lü Y, Qin B, Shi J, Li H, Li J, Shigemoto R, Kaneko T, Mizuno N. 1999. The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. 266(2), 133–136.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal M, Viennois G, Kühn R, Malitschek B, Pin J, Shigemoto R, Bockaërt J. 1999. mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones. Neuropharmacology. 38(10), 1631–1640.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2596
Bischoff S, Leonhard S, Reymann N, Schuler V, Shigemoto R, Kaupmann K, Bettler B. 1999. Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^. Journal of Comparative Neurology. 412(1), 1–16.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
Bushell T, Lee C, Shigemoto R, Miller R. 1999. Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. 38(10), 1553–1567.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
Erdös L. 1999. Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. QMath: Mathematical Results in Quantum Physics, Operator Theory: Advances and Applications, vol. 108. 233–242.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730
Erdös L, Solovej J. 1999. Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal. 96(1), 127–173.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2783
Hof B, Lucas P, Mullin T. 1999. Flow state multiplicity in convection. Physics of Fluids. 11(10), 2815–2817.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, Macháčková I, Benková E, Van Dongen W, Esmans E, Van Onckelen H. 1999. Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. 10(3), 143–151.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
Benková E, Witters E, Van Dongen W, Kolář J, Motyka V, Brzobohatý B, Van Onckelen H, Macháčková I. 1999. Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment. Plant Physiology. 121(1), 245–251.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4204
Heisenberg C, Brennan C, Wilson S. 1999. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 126(10), 2129–2140.
View
 

1999 | Journal Article | IST-REx-ID: 4277
Kruuk L, Gilchrist J, Barton NH. 1999. Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. 53(5), 1611–1616.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4279
Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. 1999. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 152(1), 355–371.
View
 

1999 | Thesis | IST-REx-ID: 4411
Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley,p.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 4442
Henzinger TA, Kopke P. 1999. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 221(1–2), 369–392.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. 1999. Formal specification and verification of a dataflow processor array. ICCAD: Computer-Aided Design 494–499.
View
 

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. 1999. Verifying sequential consistency on shared-memory multiprocessor systems. CAV: Computer Aided Verification, LNCS, vol. 1633. 301–315.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. 1999. Rectangular hybrid games. CONCUR: Concurrency Theory, LNCS, vol. 1664. 320–335.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. 1999. Assume-guarantee refinement between different time scales. CAV: Computer Aided Verification, LNCS, vol. 1633. 208–221.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
Alur R, Henzinger TA. 1999. Reactive modules. Formal Methods in System Design. 15(1), 7–48.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alur R, Henzinger TA, Kupferman O. 1999. Alternating-time temporal logic. COMPOS: Compositionality, LNCS, vol. 1536. 23–60.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
Alur R, De Alfaro L, Henzinger TA, Mang F. 1999. Automating modular verification. CONCUR: Concurrency Theory, LNCS, vol. 1664. 82–97.
View | DOI
 

1999 | Book | IST-REx-ID: 3137
Jonas PM, Monyer H eds. 1999. Ionotropic Glutamate Receptors in the CNS, Springer,p.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3148
Siekhaus DE, Fuller R. 1999. A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior. Journal of Neuroscience. 19(16), 6942–6954.
View
 

1999 | Journal Article | IST-REx-ID: 3444
Csicsvari JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. 1999. Fast  network  oscillations  in the  hippocampal  CA1 region of the behaving rat. Journal of Neuroscience. 19(16).
View
 

1999 | Journal Article | IST-REx-ID: 3445
Dragoi G, Carpi D, Recce M, Csicsvari JL, Buzsáki G. 1999. Hippocampomedial septal interactions during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. 19(14), 6191–6199.
View
 

1999 | Book Chapter | IST-REx-ID: 3456
Monyer H, Jonas PM, Rossier J. 1999. Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. Ionotropic Glutamate Receptors in the CNS. , Handbook of experimental pharmacology, vol. 141. 309–339.
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
Geiger J, Roth A, Taskin B, Jonas PM. 1999. Glutamate-mediated synaptic excitation of cortical interneurons. Ionotropic Glutamate Receptors in the CNS. , Handbook of experimental pharmacology, vol. 141. 363–398.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
Penttonen M, Nurminen N, Miettinen R, Sirviö J, Henze D, Csicsvari JL, Buzsáki G. 1999. Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats. Neuroscience. 94(3), 735–743.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3518
Nádasdy Z, Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. 1999. Replay and time compression of recurring spike sequences in the hippocampus. Journal of Neuroscience. 19(21), 9497–9507.
View
 

1999 | Journal Article | IST-REx-ID: 3519
Czurkó A, Hirase H, Csicsvari JL, Buzsáki G. 1999. Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel’. European Journal of Neuroscience. 11(1), 344–352.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3524
Csicsvari JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. 1999. Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat. Journal of Neuroscience. 19(1), 274–287.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3531
Dragoi G, Carpi D, Recce M, Csicsvari JL, Buzsáki G. 1999. Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. 19(14), 6191–6199.
View
 

1999 | Journal Article | IST-REx-ID: 3539
Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. 1999. Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping’. European Journal of Neuroscience. 11(12), 4373–4380.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 3554
Jiao X, Edelsbrunner H, Heath M. 1999. Mesh association: formulation and algorithms. IMR: International Meshing Roundtable 75–82.
View | Download (ext.)
 

1999 | Book Chapter | IST-REx-ID: 3571
Dey T, Edelsbrunner H, Guha S. 1999. Computational topology. Advances in Discrete and Computational Geometry. , Contemporary Mathematics, vol. 223. 109–143.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3582
Dey T, Edelsbrunner H, Guha S, Nekhayev D. 1999. Topology preserving edge contraction. Publications de l’Institut Mathématique. 66, 23–45.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3625
Barton NH. 1999. Clines in polygenic traits. Genetical Research. 74(3), 223–236.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3626
Kruuk L, Baird S, Gale K, Barton NH. 1999. A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics. 153(4), 1959–1971.
View
 

1999 | Journal Article | IST-REx-ID: 4014
Edelsbrunner H. 1999. Deformable smooth surface design. Discrete & Computational Geometry. 21(1), 87–115.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
Kondrashov A, Kondrashov F. 1999. Interactions among quantitative traits in the course of sympatric speciation. Nature. 400(6742), 351–354.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
Sazanov LA, Burrows P, Nixon P. 1998. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 429(1), 115–118.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1955 | OA
Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. 1998. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 17(4), 868–876.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956
Sazanov LA, Burrows P, Nixon P. 1998. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 95(3), 1319–1324.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. 1998. Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. 30(3), 219–225.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. 1998. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. 393(3), 332–352.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2585
Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. 1998. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 393(4), 493–504.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2586
Watanabe D, Inokawa H, Hashimoto K, Suzuki N, Kano M, Shigemoto R, Hirano T, Toyama K, Kaneko S, Yokoi M, Moriyoshi K, Suzuki M, Kobayashi K, Nagatsu T, Kreitman R, Pastan I, Nakanishi S. 1998. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 95(1), 17–27.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587
Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. 1998. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Brain Cell Biology. 27(5), 303–327.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann K, Malitschek B, Schuler V, Heid J, Froestl W, Beck P, Mosbacher J, Bischoff S, Kulik Á, Shigemoto R, Karschin A, Bettler B. 1998. GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 396(6712), 683–687.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
Baude A, Shigemoto R. 1998. Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology. 402(2), 181–196.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2590
Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. 1998. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 27(5), 303–327.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
Erdös L, Yau H. 1998. Linear Boltzmann equation as scaling limit of quantum Lorentz gas. Differential Equations and Mathematical Physics, Contemporary Mathematics, vol. 217. 137–155.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2728
Erdös L. 1998. Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. 112(3), 321–371.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4280
Ritchie M, Barton NH. 1998. Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution. 13(7), 282–283.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton NH, Charlesworth B. 1998. Why sex and recombination? Science. 281(5385), 1986–1990.
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton NH. 1998. Genetics and analysis of quantitative traits. Genetical Research. 72(1), 73–73.
View
 

1998 | Book Review | IST-REx-ID: 4283
Barton NH. 1998. The geometry of adaptation. Nature. 395(6704), 751–752.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. 1998. Axioms for real-time logics. CONCUR: Concurrency Theory, LNCS, vol. 1466. 219–236.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. 1998. An algorithm for the approximative analysis of rectangular automata. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 1486. 228–240.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. 1998. Reachability verification for hybrid automata. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1386. 190–204.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, Sastry S. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 1998. An assume-guarantee rule for checking simulation. FMCAD: Formal Methods in Computer-Aided Design, LNCS, vol. 1522. 421–432.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. 1998. You assume, we guarantee: Methodology and case studies. CAV: Computer Aided Verification, LNCS, vol. 1427. 440–451.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. 1998. From pre-historic to post-modern symbolic model checking. CAV: Computer Aided Verification, LNCS, vol. 1427. 195–206.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. 1998. The regular real-time languages. ICALP: Automata, Languages and Programming, LNCS, vol. 1443. 580–591.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. 1998. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 43(4), 540–554.
View | DOI
 

Search

Filter Publications