Please note that ISTA 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.
119 Publications
2003 | Conference Paper | IST-REx-ID: 11860
Henzinger MH, Chang B-W, Milch B, Brin S. Query-free news search. In: Proceedings of the 12th International Conference on World Wide Web. Association for Computing Machinery; 2003. doi:10.1145/775152.775154
View
| Files available
| DOI
2003 | Conference Paper | IST-REx-ID: 11909 | 
Henzinger MH, Motwani R, Silverstein C. Challenges in web search engines. In: 18th International Joint Conference on Artificial Intelligence. Association for Computing Machinery; 2003:1573-1579.
[Published Version]
View
| Download Published Version (ext.)
2003 | Journal Article | IST-REx-ID: 1457 |
Hausel T, Thaddeus M. Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. 2003;153(1):197-229. doi:10.1007/s00222-003-0286-7
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 1458 |
Hausel T, Thaddeus M. Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society. 2003;16(2):303-329. doi:10.1090/S0894-0347-02-00417-4
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 1459 |
Etesi G, Hausel T. On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. 2003;235(2):275-288. doi:10.1007/s00220-003-0806-8
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 166 |
Browning TD, Swarbick Jones M. Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn session in analytic number theory and diophantine equations. 2003;360.
View
| Download None (ext.)
| arXiv
2003 | Journal Article | IST-REx-ID: 1959
Holt P, Morgan D, Sazanov LA. The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. 2003;278(44):43114-43120. doi:10.1074/jbc.M308247200
View
| DOI
2003 | Journal Article | IST-REx-ID: 1960
Sazanov LA, Carroll J, Holt P, Toime L, Fearnley I. A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. 2003;278(21):19483-19491. doi:10.1074/jbc.M208959200
View
| DOI
2003 | Journal Article | IST-REx-ID: 205
Browning TD. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 2003;108(3):275-295. doi:10.4064/aa108-3-7
View
| DOI
2003 | Journal Article | IST-REx-ID: 206
Browning TD. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 2003;54(1):33-39. doi:10.1093/qjmath/54.1.33
View
| DOI
2003 | Journal Article | IST-REx-ID: 207
Browning TD. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 2003;134(3):385-395. doi:10.1017/S0305004102006382
View
| DOI
2003 | Journal Article | IST-REx-ID: 208
Browning TD. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 2003;54(1):11-31. doi:10.1093/qjmath/54.1.11
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2337 |
Lieb É, Seiringer R. Bose-Einstein condensation of dilute gases in traps . In: Karpeshina Y, Weikard R, Zeng Y, eds. Vol 327. American Mathematical Society; 2003:239-250. doi:10.1090/conm/327/05818
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2357 |
Lieb É, Seiringer R, Yngvason J. Poincaré inequalities in punctured domains. Annals of Mathematics. 2003;158(3):1067-1080. doi:10.4007/annals.2003.158.1067
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2354 |
Seiringer R. Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical. 2003;36(37):9755-9778. doi:10.1088/0305-4470/36/37/312
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2358 |
Lieb É, Seiringer R, Yngvason J. One-dimensional Bosons in three-dimensional traps. Physical Review Letters. 2003;91(15):1504011-1504014. doi:10.1103/PhysRevLett.91.150401
View
| DOI
| Download (ext.)
2003 | Thesis | IST-REx-ID: 2414
Wagner U. On k-Sets and Their Applications. 2003. doi:10.3929/ethz-a-004708408
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2424
Giesen J, Wagner U. Shape dimension and intrinsic metric from samples of manifolds with high co-dimension. In: ACM; 2003:329-337. doi:10.1145/777792.777841
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2423
Matoušek J, Wagner U. New constructions of weak epsilon-nets. In: ACM; 2003:129-135. doi:10.1145/777792.777813
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2422
Wagner U. On the rectilinear crossing number of complete graphs. In: SIAM; 2003:583-588.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2623
Coesmans M, Sillevis Smitt P, Linden D, et al. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 2003;53(3):325-336. doi:10.1002/ana.10451
View
| DOI
2003 | Journal Article | IST-REx-ID: 2625
Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 2003;17(5):1023-1032. doi:10.1046/j.1460-9568.2003.02499.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2626
Kaneda K, Imanishi M, Nambu A, Shigemoto R, Takada M. Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. 2003;14(7):947-950. doi:10.1097/01.wnr.0000074344.81633.e4
View
| DOI
2003 | Journal Article | IST-REx-ID: 2627
Kawakami R, Shinohara Y, Kato Y, Sugiyama H, Shigemoto R, Ito I. Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. 2003;300(5621):990-994. doi:10.1126/science.1082609
View
| DOI
2003 | Journal Article | IST-REx-ID: 2629
Somogyi P, Dalezios Y, Luján R, Roberts J, Watanabe M, Shigemoto R. High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus. European Journal of Neuroscience. 2003;17(12):2503-2520. doi:10.1046/j.1460-9568.2003.02697.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2628
Momiyama A, Silver R, Häusser M, et al. The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology. 2003;549(1):75-92. doi:10.1113/jphysiol.2002.033472
View
| DOI
2003 | Journal Article | IST-REx-ID: 2631
Higashida H, Zhang J, Mochida S, et al. Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells. Journal of Neurochemistry. 2003;85(5):1148-1158. doi:10.1046/j.1471-4159.2003.01751.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2633
Millán C, Castro E, Torres M, Shigemoto R, Sánchez Prieto J. Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats. Journal of Biological Chemistry. 2003;278(26):23955-23962. doi:10.1074/jbc.M211471200
View
| DOI
2003 | Journal Article | IST-REx-ID: 2632
Holderith N, Shigemoto R, Nusser Z. Cell type-dependent expression of HCN1 in the main olfactory bulb. European Journal of Neuroscience. 2003;18(2):344-354. doi:10.1046/j.1460-9568.2003.02756.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2635
Kulik Á, Vida I, Luján R, et al. Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus. Journal of Neuroscience. 2003;23(35):11026-11035.
View
2003 | Journal Article | IST-REx-ID: 2634
López Bendito G, Luján R, Shigemoto R, Ganter P, Paulsen O, Molnár Z. Blockade of GABAB receptors alters the tangential migration of cortical neurons. Cerebral Cortex. 2003;13(9):932-942. doi:10.1093/cercor/13.9.932
View
| DOI
2003 | Journal Article | IST-REx-ID: 2630
Toyono T, Seta Y, Kataoka S, Kawano S, Shigemoto R, Toyoshima K. Expression of metabotropic glutamate receptor group I in rat gustatory papillae. Cell and Tissue Research. 2003;313(1):29-35. doi:10.1007/s00441-003-0740-2
View
| DOI
2003 | Journal Article | IST-REx-ID: 2637
Bell K, De Kort GJ, Steggerda S, Shigemoto R, Ribeiro Da Silva A, Cuello A. Structural involvement of the glutamatergic presynaptic boutons in a transgenic mouse model expressing early onset amyloid pathology. Neuroscience Letters. 2003;353(2):143-147. doi:10.1016/j.neulet.2003.09.027
View
| DOI
2003 | Journal Article | IST-REx-ID: 2784
Hof B, Juel A, Mullin T. Magnetohydrodynamic damping of convective flows in molten gallium. Journal of Fluid Mechanics. 2003;482:163-179. doi:10.1017/S0022112003004014
View
| DOI
2003 | Journal Article | IST-REx-ID: 2785
Hof B, Juel A, Mullin T. Scaling of the turbulence transition threshold in a pipe. Physical Review Letters. 2003;91(24):244502/1-244502/4. doi:10.1103/PhysRevLett.91.244502
View
| DOI
2003 | Journal Article | IST-REx-ID: 2990
Friml J. Auxin transport - Shaping the plant. Current Opinion in Plant Biology. 2003;6(1):7-12. doi:10.1016/S1369526602000031
View
| DOI
2003 | Journal Article | IST-REx-ID: 2992
Willemsen V, Friml J, Grebe M, Van Den Toorn A, Palme K, Scheres B. Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function. Plant Cell. 2003;15(3):612-625. doi:10.1105/tpc.008433
View
| DOI
2003 | Journal Article | IST-REx-ID: 2996
Benková E, Michniewicz M, Sauer M, et al. Local, efflux-dependent auxin gradients as a common module for plant organ formation. Cell. 2003;115(5):591-602. doi:10.1016/S0092-8674(03)00924-3
View
| DOI
2003 | Journal Article | IST-REx-ID: 2995
Friml J, Vieten A, Sauer M, et al. Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis. Nature. 2003;426(6963):147-153. doi:10.1038/nature02085
View
| DOI
2003 | Journal Article | IST-REx-ID: 2994
Reinhardt D, Pesce E, Stieger P, et al. Regulation of phyllotaxis by polar auxin transport. Nature. 2003;426(6964):255-260. doi:10.1038/nature02081
View
| DOI
2003 | Journal Article | IST-REx-ID: 2993
Friml J, Benková E, Mayer U, Palme K, Muster G. Automated whole mount localisation techniques for plant seedlings. Plant Journal. 2003;34(1):115-124. doi:10.1046/j.1365-313X.2003.01705.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, et al. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 2003;163(1):227-237.
View
2003 | Journal Article | IST-REx-ID: 3150
Siekhaus DE, Drubin D. Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. 2003;5(3):231-235. doi:10.1038/ncb941
View
| DOI
2003 | Journal Article | IST-REx-ID: 3209
Pietrzak KZ. On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. Journal of Computer and System Sciences. 2003;67(4):757-771. doi:10.1016/S0022-0000(03)00078-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3210
Maurer U, Pietrzak KZ. The security of many round Luby Rackoff pseudo random permutations. In: Vol 2656. Springer; 2003:544-561. doi:10.1007/3-540-39200-9_34
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach MT, Strother T, Bauer W. 3D supernova collapse calculations. In: Vol 166. Springer; 2003:277-288. doi:10.1007/978-1-4020-2705-5_21
View
| DOI
2003 | Book Chapter | IST-REx-ID: 3458
Jonas PM, Unsicker K. Molekulare und zelluläre Grundlagen des Nervensystems. In: Schmidt R, ed. Lehrbuch Vorklinik. Vol B. Deutscher Ärzte Verlag; 2003:3-26.
View
2003 | Journal Article | IST-REx-ID: 3536
Buzsáki G, Buhl D, Harris K, Csicsvari JL, Czéh B, Morozov A. Hippocampal network patterns of activity in the mouse. Neuroscience. 2003;116(1):201-211. doi:10.1016/S0306-4522(02)00669-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner H, Harer J, Natarajan V, Pascucci V. Morse-Smale complexes for piecewise linear 3-manifolds. In: ACM; 2003:361-370. doi:10.1145/777792.777846
View
| DOI
| Download (ext.)
2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner H. Surface reconstruction by wrapping finite sets in space. In: Discrete & Computational Geometry. Springer; 2003:379-404. doi:10.1007/978-3-642-55566-4_17
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner H, Zomorodian A. Computing linking numbers of a filtration. Homology, Homotopy and Applications. 2003;5(2):19-37.
View
| Download None (ext.)
2003 | Journal Article | IST-REx-ID: 3620
Nürnberger B, Hofman S, Förg Brey B, et al. A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. 2003;91(2):136-142. doi:10.1038/sj.hdy.6800291
View
| DOI
2003 | Journal Article | IST-REx-ID: 3619
Baird S, Barton NH, Etheridge A. The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. 2003;64(4):451-471. doi:10.1016/S0040-5809(03)00098-4
View
| DOI
2003 | Journal Article | IST-REx-ID: 3618
Vines T, Barton NH. A new approach to detecting mixed families. Molecular Ecology. 2003;12(7):1999-2002. doi:10.1046/j.1365-294X.2003.01867.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 3752 |
Vilar J, Guet CC, Leibler S. Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. 2003;161(3):471-476. doi:10.1083/jcb.200301125
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3797
Bauer W, Kleine Berkenbusch M, Bollenbach MT. Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. 2003;49(4):1-6.
View
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee K, Jurdziński M, Henzinger TA. Simple stochastic parity games. In: Vol 2803. Springer; 2003:100-113. doi: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 TA, Palsberg J. Stack size analysis for interrupt-driven programs. In: Vol 2694. Springer; 2003:109-126. doi:10.1007/3-540-44898-5_7
View
| DOI
2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner H, Harer J, Zomorodian A. Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete & Computational Geometry. 2003;30(1):87-107. doi:10.1007/s00454-003-2926-5
View
| DOI
2003 | Journal Article | IST-REx-ID: 3994
Cheng H, Edelsbrunner H. Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. 2003;26(2):173-192. doi:10.1016/S0925-7721(02)00124-4
View
| DOI
2003 | Book Review | IST-REx-ID: 3139
Chen H, Hippenmeyer S, Arber S, Frank E. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 2003;13(1):96-102. doi:10.1016/S0959-4388(03)00006-0
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov V, Zabih R, Gortler S. Generalized multi camera scene reconstruction using graph cuts. In: Vol 2683. Springer; 2003:501-516. doi:10.1007/978-3-540-45063-4_32
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3174
Kim J, Kolmogorov V, Zabih R. Visual correspondence using energy minimization and mutual information. In: Vol 2. IEEE; 2003:1033-1040. doi:10.1109/ICCV.2003.1238463
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3170
Boykov Y, Kolmogorov V. Computing geodesics and minimal surfaces via graph cuts. In: Vol 1. IEEE; 2003:26-33. doi:10.1109/ICCV.2003.1238310
View
| DOI
2003 | Journal Article | IST-REx-ID: 3526
Harris K, Csicsvari JL, Hirase H, Dragoi G, Buzsáki G. Organization of cell assemblies in the hippocampus. Nature. 2003;424(6948):552-556. doi:0.1038/nature01834
View
| DOI
2003 | Journal Article | IST-REx-ID: 3529
Csicsvari JL, Henze D, Jamieson B, et al. Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. 2003;90(2):1314-1323. doi:10.1152/jn.00116.2003
View
| DOI
2003 | Journal Article | IST-REx-ID: 3528
Csicsvari JL, Jamieson B, Wise K, Buzsáki G. Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. 2003;37(2):311-322. doi:10.1016/S0896-6273(02)01169-8
View
| DOI
2003 | Journal Article | IST-REx-ID: 3543
Sirota A, Csicsvari JL, Buhl D, Buzsáki G. Communication between neocortex and hippocampus during sleep in rodents. PNAS. 2003;100(4):2065-2069. doi:10.1073/pnas.0437938100
View
| DOI
2003 | Journal Article | IST-REx-ID: 3593
Chatterjee K, Dasgupta P, Chakrabarti P. A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. 2003;30(2):205-232. doi:10.1023/A:1023217515688
View
| DOI
2003 | Thesis | IST-REx-ID: 3678
Lampert C. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. 2003;356:1-165.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3725 |
Janovjak HL, Kessler M, Oesterhelt D, Gaub H, Mueller D. Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. 2003;22(19):5220-5229. doi:10.1093/emboj/cdg509
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3804
Lien C, Jonas PM. Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. 2003;23(6):2058-2068.
View
2003 | Journal Article | IST-REx-ID: 3806
Hallermann S, Pawlu C, Jonas PM, Heckmann M. A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. 2003;100(15):8975-8980. doi:10.1073/pnas.1432836100
View
| DOI
2003 | Journal Article | IST-REx-ID: 3921
Anderson C, Cremer S, Heinze J. Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. 2003;14(1):54-62. doi:10.1093/beheco/14.1.54
View
| DOI
2003 | Journal Article | IST-REx-ID: 3922
Cremer S, Heinze J. Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology. 2003;13(3):219-223. doi:10.1016/S0960-9822(03)00012-5
View
| DOI
2003 | Journal Article | IST-REx-ID: 3917
Cremer S, Heinze J. Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in die Wissenschaft. 2003;12(15):32-36.
View
2003 | Thesis | IST-REx-ID: 4416
Majumdar R. Symbolic algorithms for verification and control. 2003:1-201.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz B. Giotto: A time-triggered language for embedded programming. 2003:1-237.
View
2003 | Journal Article | IST-REx-ID: 576
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 2003;36(12):2455-2463. doi:10.1088/0953-4075/36/12/306
View
| DOI
2003 | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, et al. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 2003;6(11):1178-1185. doi:10.1038/nn1140
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 6157
de Bono M. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 2003;54(1):78-92. doi:10.1002/neu.10162
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 847
Sunyaev S, Kondrashov F, Bork P, Ramensky V. Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. 2003;12(24):3325-3330. doi:10.1093/hmg/ddg359
View
| DOI
2003 | Journal Article | IST-REx-ID: 876
Kondrashov F, Koonin E. Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. 2003;19(3):115-119. doi:10.1016/S0168-9525(02)00029-X
View
| DOI
2003 | Journal Article | IST-REx-ID: 9495 |
Cao X, Aufsatz W, Zilberman D, et al. Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. 2003;13(24):2212-2217. doi:10.1016/j.cub.2003.11.052
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 8519
Kaloshin V. The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones mathematicae. 2003;151(3):451-512. doi:10.1007/s00222-002-0244-9
View
| DOI
2003 | Journal Article | IST-REx-ID: 9455
Zilberman D, Cao Xiaofeng, Jacobsen SE. ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. 2003;299(5607):716-719. doi:10.1126/science.1079695
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:1022-1037. doi:10.1007/3-540-45061-0_79
View
| DOI
2003 | Journal Article | IST-REx-ID: 13436
Michrowska A, Bieniek M, Kim M, Klajn R, Grela K. Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. 2003;59(25):4525-4531. doi:10.1016/s0040-4020(03)00682-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. Resource interfaces. In: Third International Conference on Embedded Software. Vol 2855. ACM; 2003:117-133. doi:10.1007/978-3-540-45212-6_9
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. The element of surprise in timed games. In: Proceedings of the 14th International Conference on Concurrency Theory. Vol 2761. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2003:144-158. doi:10.1007/978-3-540-45187-7_9
View
| DOI
2003 | Journal Article | IST-REx-ID: 4468
Henzinger TA, Kirsch C, Sanvido M, Pree W. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 2003;23(1):50-64. doi:10.1109/MCS.2003.1172829
View
| DOI
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. Wiley-Blackwell; 2003:123-146. doi:10.1002/047172288X.ch8
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. In: Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Vol 2619. Springer; 2003:49-64. doi:10.1007/3-540-36577-X_5
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. Software verification with BLAST. In: Proceedings of the 10th International SPIN Workshop . Vol 2648. Springer; 2003:235-239. doi:10.1007/3-540-44829-2_17
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement. In: Proceedings of the 15th International Conference on Computer Aided Verification. Vol 2725. Springer; 2003:262-274. doi:10.1007/978-3-540-45069-6_27
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. Counterexample-guided control. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:886-902. doi:10.1007/3-540-45061-0_69
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. Schedule-carrying code. In: Proceedings of the 3rd International Conference on Embedded Software. Vol 2855. ACM; 2003:241-256. doi:10.1007/978-3-540-45212-6_16
View
| DOI
2003 | Journal Article | IST-REx-ID: 4460
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 2003;23(3):303-327. doi:10.1023/A:1026228213080
View
| DOI
2003 | Journal Article | IST-REx-ID: 4469
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 2003;91(1):84-99. doi:10.1109/JPROC.2002.805825
View
| DOI
2003 | Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, et al. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. 2003;57(8):1876-1888. doi:10.1111/j.0014-3820.2003.tb00595.x
View
| DOI