Henzinger MH, Chang B-W, Milch B, Brin S. 2003. Query-free news search. Proceedings of the 12th international conference on World Wide Web. WWW: International Conference on World Wide Web, 1–10.
LibreCat: https://research-explorer.ista.ac.at/record/11860
DOI: 10.1145/775152.775154

Henzinger MH, Motwani R, Silverstein C. 2003. Challenges in web search engines. 18th International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence, 1573–1579.
LibreCat: https://research-explorer.ista.ac.at/record/11909

Hausel T, Thaddeus M. 2003. Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. 153(1), 197–229.
LibreCat: https://research-explorer.ista.ac.at/record/1457
DOI: 10.1007/s00222-003-0286-7

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.
LibreCat: https://research-explorer.ista.ac.at/record/1458
DOI: 10.1090/S0894-0347-02-00417-4

Etesi G, Hausel T. 2003. On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. 235(2), 275–288.
LibreCat: https://research-explorer.ista.ac.at/record/1459
DOI: 10.1007/s00220-003-0806-8

Browning TD, Swarbick Jones M. 2003. Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn session in analytic number theory and diophantine equations. 360.
LibreCat: https://research-explorer.ista.ac.at/record/166
arXiv: 1311.1665

Holt P, Morgan D, Sazanov LA. 2003. 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. 278(44), 43114–43120.
LibreCat: https://research-explorer.ista.ac.at/record/1959
DOI: 10.1074/jbc.M308247200

Sazanov LA, Carroll J, Holt P, Toime L, Fearnley I. 2003. 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. 278(21), 19483–19491.
LibreCat: https://research-explorer.ista.ac.at/record/1960
DOI: 10.1074/jbc.M208959200

Browning TD. 2003. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 108(3), 275–295.
LibreCat: https://research-explorer.ista.ac.at/record/205
DOI: 10.4064/aa108-3-7

Browning TD. 2003. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 54(1), 33–39.
LibreCat: https://research-explorer.ista.ac.at/record/206
DOI: 10.1093/qjmath/54.1.33

Browning TD. 2003. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 134(3), 385–395.
LibreCat: https://research-explorer.ista.ac.at/record/207
DOI: 10.1017/S0305004102006382

Browning TD. 2003. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 54(1), 11–31.
LibreCat: https://research-explorer.ista.ac.at/record/208
DOI: 10.1093/qjmath/54.1.11

Lieb É, Seiringer R. 2003. Bose-Einstein condensation of dilute gases in traps . Differential Equations and Mathematical Physics, Contemporary Mathematics, vol. 327, 239–250.
LibreCat: https://research-explorer.ista.ac.at/record/2337
DOI: 10.1090/conm/327/05818

Lieb É, Seiringer R, Yngvason J. 2003. Poincaré inequalities in punctured domains. Annals of Mathematics. 158(3), 1067–1080.
LibreCat: https://research-explorer.ista.ac.at/record/2357
DOI: 10.4007/annals.2003.158.1067 

Seiringer R. 2003. Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical. 36(37), 9755–9778.
LibreCat: https://research-explorer.ista.ac.at/record/2354
DOI: 10.1088/0305-4470/36/37/312

Lieb É, Seiringer R, Yngvason J. 2003. One-dimensional Bosons in three-dimensional traps. Physical Review Letters. 91(15), 1504011–1504014.
LibreCat: https://research-explorer.ista.ac.at/record/2358
DOI: 10.1103/PhysRevLett.91.150401

Wagner U. 2003. On k-Sets and Their Applications. ETH Zurich.
LibreCat: https://research-explorer.ista.ac.at/record/2414
DOI: 10.3929/ethz-a-004708408

Giesen J, Wagner U. 2003. Shape dimension and intrinsic metric from samples of manifolds with high co-dimension. SoCG: Symposium on Computational Geometry, 329–337.
LibreCat: https://research-explorer.ista.ac.at/record/2424
DOI: 10.1145/777792.777841

Matousek J, Wagner U. 2003. New constructions of weak epsilon-nets. SoCG: Symposium on Computational Geometry, 129–135.
LibreCat: https://research-explorer.ista.ac.at/record/2423
DOI: 10.1145/777792.777813

Wagner U. 2003. On the rectilinear crossing number of complete graphs. SODA: Symposium on Discrete Algorithms, 583–588.
LibreCat: https://research-explorer.ista.ac.at/record/2422

Coesmans M, Sillevis Smitt P, Linden D, Shigemoto R, Hirano T, Yamakawa Y, Van Alphen A, Luo C, Van Der Geest J, Kros J, Gaillard C, Frens M, De Zeeuw C. 2003. Mechanisms underlying cerebellar motor deficits due to mGlu-autoantibodies. Annals of Neurology. 53(3), 325–336.
LibreCat: https://research-explorer.ista.ac.at/record/2623
DOI: 10.1002/ana.10451

Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. 2003. Long-term potentiation of mGlu activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 17(5), 1023–1032.
LibreCat: https://research-explorer.ista.ac.at/record/2625
DOI: 10.1046/j.1460-9568.2003.02499.x

Kaneda K, Imanishi M, Nambu A, Shigemoto R, Takada M. 2003. Differential expression patterns of mGlu;1 in monkey nigral dopamine neurons. Neuroreport. 14(7), 947–950.
LibreCat: https://research-explorer.ista.ac.at/record/2626
DOI: 10.1097/01.wnr.0000074344.81633.e4

Kawakami R, Shinohara Y, Kato Y, Sugiyama H, Shigemoto R, Ito I. 2003. Asymmetrical allocation of NMDA receptor ;52 subunits in hippocampal circuitry. Science. 300(5621), 990–994.
LibreCat: https://research-explorer.ista.ac.at/record/2627
DOI: 10.1126/science.1082609

Somogyi P, Dalezios Y, Luján R, Roberts J, Watanabe M, Shigemoto R. 2003. High level of mGlu in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus. European Journal of Neuroscience. 17(12), 2503–2520.
LibreCat: https://research-explorer.ista.ac.at/record/2629
DOI: 10.1046/j.1460-9568.2003.02697.x

Momiyama A, Silver R, Häusser M, Notomi T, Wu Y, Shigemoto R, Cull Candy S. 2003. The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology. 549(1), 75–92.
LibreCat: https://research-explorer.ista.ac.at/record/2628
DOI: 10.1113/jphysiol.2002.033472

Higashida H, Zhang J, Mochida S, Chen X, Shin Y, Noda M, Hossain K, Hoshi N, Hashii M, Shigemoto R, Nakanishi S, Fukuda Y, Yokoyama S. 2003. Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and N8-15 cells. Journal of Neurochemistry. 85(5), 1148–1158.
LibreCat: https://research-explorer.ista.ac.at/record/2631
DOI: 10.1046/j.1471-4159.2003.01751.x

Millán C, Castro E, Torres M, Shigemoto R, Sánchez Prieto J. 2003. Co-expression of metabotropic glutamate receptor 7 and N-type C+ channels in single cerebrocortical nerve terminals of adult rats. Journal of Biological Chemistry. 278(26), 23955–23962.
LibreCat: https://research-explorer.ista.ac.at/record/2633
DOI: 10.1074/jbc.M211471200

Holderith N, Shigemoto R, Nusser Z. 2003. Cell type-dependent expression of HCN1 in the main olfactory bulb. European Journal of Neuroscience. 18(2), 344–354.
LibreCat: https://research-explorer.ista.ac.at/record/2632
DOI: 10.1046/j.1460-9568.2003.02756.x

Kulik Á, Vida I, Luján R, Haas C, López Bendito G, Shigemoto R, Frotscher M. 2003. Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAa/b and GABA in the Rat Hippocampus. Journal of Neuroscience. 23(35), 11026–11035.
LibreCat: https://research-explorer.ista.ac.at/record/2635

López Bendito G, Luján R, Shigemoto R, Ganter P, Paulsen O, Molnár Z. 2003. Blockade of GABAB receptors alters the tangential migration of cortical neurons. Cerebral Cortex. 13(9), 932–942.
LibreCat: https://research-explorer.ista.ac.at/record/2634
DOI: 10.1093/cercor/13.9.932

Toyono T, Seta Y, Kataoka S, Kawano S, Shigemoto R, Toyoshima K. 2003. Expression of metabotropic glutamate receptor group I in rat gustatory papillae. Cell and Tissue Research. 313(1), 29–35.
LibreCat: https://research-explorer.ista.ac.at/record/2630
DOI: 10.1007/s00441-003-0740-2

Bell K, De Kort GJ, Steggerda S, Shigemoto R, Ribeiro Da Silva A, Cuello A. 2003. Structural involvement of the glutamatergic presynaptic boutons in a transgenic mouse model expressing early onset amyloid pathology. Neuroscience Letters. 353(2), 143–147.
LibreCat: https://research-explorer.ista.ac.at/record/2637
DOI: 10.1016/j.neulet.2003.09.027

Hof B, Juel A, Mullin T. 2003. Magnetohydrodynamic damping of convective flows in molten gallium. Journal of Fluid Mechanics. 482, 163–179.
LibreCat: https://research-explorer.ista.ac.at/record/2784
DOI: 10.1017/S0022112003004014

Hof B, Juel A, Mullin T. 2003. Scaling of the turbulence transition threshold in a pipe. Physical Review Letters. 91(24), 244502/1-244502/4.
LibreCat: https://research-explorer.ista.ac.at/record/2785
DOI: 10.1103/PhysRevLett.91.244502

Friml J. 2003. Auxin transport - Shaping the plant. Current Opinion in Plant Biology. 6(1), 7–12.
LibreCat: https://research-explorer.ista.ac.at/record/2990
DOI: 10.1016/S1369526602000031

Willemsen V, Friml J, Grebe M, Van Den Toorn A, Palme K, Scheres B. 2003. Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERAS function. Plant Cell. 15(3), 612–625.
LibreCat: https://research-explorer.ista.ac.at/record/2992
DOI: 10.1105/tpc.008433

Benková E, Michniewicz M, Sauer M, Teichmann T, Seifertová D, Jürgens G, Friml J. 2003. Local, efflux-dependent auxin gradients as a common module for plant organ formation. Cell. 115(5), 591–602.
LibreCat: https://research-explorer.ista.ac.at/record/2996
DOI: 10.1016/S0092-8674(03)00924-3

Friml J, Vieten A, Sauer M, Weijers D, Schwarz H, Hamann T, Offringa R, Jürgens G. 2003. Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis. Nature. 426(6963), 147–153.
LibreCat: https://research-explorer.ista.ac.at/record/2995
DOI: 10.1038/nature02085

Reinhardt D, Pesce E, Stieger P, Mandel T, Baltensperger K, Bennett M, Traas J, Friml J, Kuhlemeier C. 2003. Regulation of phyllotaxis by polar auxin transport. Nature. 426(6964), 255–260.
LibreCat: https://research-explorer.ista.ac.at/record/2994
DOI: 10.1038/nature02081

Friml J, Benková E, Mayer U, Palme K, Muster G. 2003. Automated whole mount localisation techniques for plant seedlings. Plant Journal. 34(1), 115–124.
LibreCat: https://research-explorer.ista.ac.at/record/2993
DOI: 10.1046/j.1365-313X.2003.01705.x

Rayburn L, Gooding H, Choksi S, Maloney D, Kidd A, Siekhaus DE, Bender M. 2003. Amontillado, the Drosophila homolog of the prohormone processing protease P, is required during embryogenesis and early larval development. Genetics. 163(1), 227–237.
LibreCat: https://research-explorer.ista.ac.at/record/3151

Siekhaus DE, Drubin D. 2003. Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. 5(3), 231–235.
LibreCat: https://research-explorer.ista.ac.at/record/3150
DOI: 10.1038/ncb941

Pietrzak KZ. 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.
LibreCat: https://research-explorer.ista.ac.at/record/3209
DOI: 10.1016/S0022-0000(03)00078-3

Maurer U, Pietrzak KZ. 2003. The security of many round Luby Rackoff pseudo random permutations. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 2656, 544–561.
LibreCat: https://research-explorer.ista.ac.at/record/3210
DOI: 10.1007/3-540-39200-9_34

Bollenbach MT, Strother T, Bauer W. 2003. 3D supernova collapse calculations. NATO ASI on Structure and Dynamics of Elementary Matter, Nato Science Series II, vol. 166, 277–288.
LibreCat: https://research-explorer.ista.ac.at/record/3425
DOI: 10.1007/978-1-4020-2705-5_21

Jonas PM, Unsicker K. 2003.Molekulare und zelluläre Grundlagen des Nervensystems. In: Lehrbuch Vorklinik. vol. B, 3–26.
LibreCat: https://research-explorer.ista.ac.at/record/3458

Buzsáki G, Buhl D, Harris K, Csicsvari JL, Czéh B, Morozov A. 2003. Hippocampal network patterns of activity in the mouse. Neuroscience. 116(1), 201–211.
LibreCat: https://research-explorer.ista.ac.at/record/3536
DOI: 10.1016/S0306-4522(02)00669-3

Edelsbrunner H, Harer J, Natarajan V, Pascucci V. 2003. Morse-Smale complexes for piecewise linear 3-manifolds. SCG: Symposium on Computational Geometry, 361–370.
LibreCat: https://research-explorer.ista.ac.at/record/3556
DOI: 10.1145/777792.777846

Edelsbrunner H. 2003.Surface reconstruction by wrapping finite sets in space. In: Discrete &; Computational Geometry. , 379–404.
LibreCat: https://research-explorer.ista.ac.at/record/3573
DOI: 10.1007/978-3-642-55566-4_17

Edelsbrunner H, Zomorodian A. 2003. Computing linking numbers of a filtration. Homology, Homotopy and Applications. 5(2), 19–37.
LibreCat: https://research-explorer.ista.ac.at/record/3584

Nürnberger B, Hofman S, Förg Brey B, Praetzel G, Maclean A, Szymura J, Abbott C, Barton NH. 2003. A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. 91(2), 136–142.
LibreCat: https://research-explorer.ista.ac.at/record/3620
DOI: 10.1038/sj.hdy.6800291

Baird S, Barton NH, Etheridge A. 2003. The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. 64(4), 451–471.
LibreCat: https://research-explorer.ista.ac.at/record/3619
DOI: 10.1016/S0040-5809(03)00098-4

Vines T, Barton NH. 2003. A new approach to detecting mixed families. Molecular Ecology. 12(7), 1999–2002.
LibreCat: https://research-explorer.ista.ac.at/record/3618
DOI: 10.1046/j.1365-294X.2003.01867.x

Vilar J, Guet CC, Leibler S. 2003. Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. 161(3), 471–476.
LibreCat: https://research-explorer.ista.ac.at/record/3752
DOI: 10.1083/jcb.200301125

Bauer W, Kleine Berkenbusch M, Bollenbach MT. 2003. Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. 49(4), 1–6.
LibreCat: https://research-explorer.ista.ac.at/record/3797

Chatterjee K, Jurdziski M, Henzinger TA. 2003. Simple stochastic parity games. CSL: Computer Science Logic, LNCS, vol. 2803, 100–113.
LibreCat: https://research-explorer.ista.ac.at/record/3897
DOI: 10.1007/978-3-540-45220-1_11

Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2003. Stack size analysis for interrupt-driven programs. SAS: Static Analysis Symposium, LNCS, vol. 2694, 109–126.
LibreCat: https://research-explorer.ista.ac.at/record/3898
DOI: 10.1007/3-540-44898-5_7

Edelsbrunner H, Harer J, Zomorodian A. 2003. Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete &; Computational Geometry. 30(1), 87–107.
LibreCat: https://research-explorer.ista.ac.at/record/3993
DOI: 10.1007/s00454-003-2926-5

Cheng H, Edelsbrunner H. 2003. Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. 26(2), 173–192.
LibreCat: https://research-explorer.ista.ac.at/record/3994
DOI: 10.1016/S0925-7721(02)00124-4

Chen H, Hippenmeyer S, Arber S, Frank E. 2003. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 13(1), 96–102.
LibreCat: https://research-explorer.ista.ac.at/record/3139
DOI: 10.1016/S0959-4388(03)00006-0

Kolmogorov V, Zabih R, Gortler S. 2003. Generalized multi camera scene reconstruction using graph cuts. EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, LNCS, vol. 2683, 501–516.
LibreCat: https://research-explorer.ista.ac.at/record/3171
DOI: 10.1007/978-3-540-45063-4_32

Kim J, Kolmogorov V, Zabih R. 2003. Visual correspondence using energy minimization and mutual information. ICCV: International Conference on Computer Vision vol. 2, 1033–1040.
LibreCat: https://research-explorer.ista.ac.at/record/3174
DOI: 10.1109/ICCV.2003.1238463

Boykov Y, Kolmogorov V. 2003. Computing geodesics and minimal surfaces via graph cuts. ICCV: International Conference on Computer Vision vol. 1, 26–33.
LibreCat: https://research-explorer.ista.ac.at/record/3170
DOI: 10.1109/ICCV.2003.1238310

Harris K, Csicsvari JL, Hirase H, Dragoi G, Buzsáki G. 2003. Organization of cell assemblies in the hippocampus. Nature. 424(6948), 552–556.
LibreCat: https://research-explorer.ista.ac.at/record/3526
DOI: 0.1038/nature01834

Csicsvari JL, Henze D, Jamieson B, Harris K, Sirota A, Bartho P, Wise K, Buzsáki G. 2003. Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. 90(2), 1314–1323.
LibreCat: https://research-explorer.ista.ac.at/record/3529
DOI: 10.1152/jn.00116.2003

Csicsvari JL, Jamieson B, Wise K, Buzsáki G. 2003. Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. 37(2), 311–322.
LibreCat: https://research-explorer.ista.ac.at/record/3528
DOI: 10.1016/S0896-6273(02)01169-8

Sirota A, Csicsvari JL, Buhl D, Buzsáki G. 2003. Communication between neocortex and hippocampus during sleep in rodents. PNAS. 100(4), 2065–2069.
LibreCat: https://research-explorer.ista.ac.at/record/3543
DOI: 10.1073/pnas.0437938100

Chatterjee K, Dasgupta P, Chakrabarti P. 2003. A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. 30(2), 205–232.
LibreCat: https://research-explorer.ista.ac.at/record/3593
DOI: 10.1023/A:1023217515688

Lampert C. 2003. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Universität Bonn, Fachbibliothek Mathematik.
LibreCat: https://research-explorer.ista.ac.at/record/3678

Janovjak HL, Kessler M, Oesterhelt D, Gaub H, Mueller D. 2003. Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. 22(19), 5220–5229.
LibreCat: https://research-explorer.ista.ac.at/record/3725
DOI: 10.1093/emboj/cdg509

Lien C, Jonas PM. 2003. K potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. 23(6), 2058–68.
LibreCat: https://research-explorer.ista.ac.at/record/3804

Hallermann S, Pawlu C, Jonas PM, Heckmann M. 2003. A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. 100(15), 8975–80.
LibreCat: https://research-explorer.ista.ac.at/record/3806
DOI: 10.1073/pnas.1432836100

Anderson C, Cremer S, Heinze J. 2003. Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. 14(1), 54–62.
LibreCat: https://research-explorer.ista.ac.at/record/3921
DOI: 10.1093/beheco/14.1.54

Cremer S, Heinze J. 2003. Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology. 13(3), 219–223.
LibreCat: https://research-explorer.ista.ac.at/record/3922
DOI: 10.1016/S0960-9822(03)00012-5

Cremer S, Heinze J. 2003. Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in die Wissenschaft. 12(15), 32–36.
LibreCat: https://research-explorer.ista.ac.at/record/3917

Majumdar R. 2003. Symbolic algorithms for verification and control. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Horowitz B. 2003. Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4425

Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. 2003. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 36(12), 2455–2463.
LibreCat: https://research-explorer.ista.ac.at/record/576
DOI: 10.1088/0953-4075/36/12/306

Rogers C, Reale V, Kim K, Chatwin H, Li C, Evans P, de Bono M. 2003. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 6(11), 1178–1185.
LibreCat: https://research-explorer.ista.ac.at/record/6156
DOI: 10.1038/nn1140
PMID: 14555955

de Bono M. 2003. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 54(1), 78–92.
LibreCat: https://research-explorer.ista.ac.at/record/6157
DOI: 10.1002/neu.10162
PMID: 12486699

Sunyaev S, Kondrashov F, Bork P, Ramensky V. 2003. Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. 12(24), 3325–3330.
LibreCat: https://research-explorer.ista.ac.at/record/847
DOI: 10.1093/hmg/ddg359

Kondrashov F, Koonin E. 2003. Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. 19(3), 115–119.
LibreCat: https://research-explorer.ista.ac.at/record/876
DOI: 10.1016/S0168-9525(02)00029-X

Cao X, Aufsatz W, Zilberman D, Mette MF, Huang MS, Matzke M, Jacobsen SE. 2003. Role of the DRM and CM methyltransferases in RNA-directed DNA methylation. Current Biology. 13(24), 2212–2217.
LibreCat: https://research-explorer.ista.ac.at/record/9495
DOI: 10.1016/j.cub.2003.11.052
PMID: 14680640

Kaloshin V. 2003. The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones mathematicae. 151(3), 451–512.
LibreCat: https://research-explorer.ista.ac.at/record/8519
DOI: 10.1007/s00222-002-0244-9

Zilberman D, Cao  Xiaofeng, Jacobsen SE. 2003. ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation. Science. 299(5607), 716–719.
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
LibreCat: https://research-explorer.ista.ac.at/record/4628
DOI: 10.1007/3-540-45061-0_79

Michrowska A, Bieniek M, Kim M, Klajn R, Grela K. 2003. Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. 59(25), 4525–4531.
LibreCat: https://research-explorer.ista.ac.at/record/13436
DOI: 10.1016/s0040-4020(03)00682-3

Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. 2003. Resource interfaces. Third International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 117–133.
LibreCat: https://research-explorer.ista.ac.at/record/4561
DOI: 10.1007/978-3-540-45212-6_9

De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2003. The element of surprise in timed games. Proceedings of the 14th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2761, 144–158.
LibreCat: https://research-explorer.ista.ac.at/record/4630
DOI: 10.1007/978-3-540-45187-7_9

Henzinger TA, Kirsch C, Sanvido M, Pree W. 2003. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 23(1), 50–64.
LibreCat: https://research-explorer.ista.ac.at/record/4468
DOI: 10.1109/MCS.2003.1172829

Henzinger TA, Horowitz B, Kirsch C. 2003.Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. , 123–146.
LibreCat: https://research-explorer.ista.ac.at/record/4465
DOI: 10.1002/047172288X.ch8

Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.
LibreCat: https://research-explorer.ista.ac.at/record/4466
DOI: 10.1007/3-540-36577-X_5

Henzinger TA, Jhala R, Majumdar R, Sutre G. 2003. Software verification with BLAST. Proceedings of the 10th International SPIN Workshop . SPIN: Model Checking Software, LNCS, vol. 2648, 235–239.
LibreCat: https://research-explorer.ista.ac.at/record/4467
DOI: 10.1007/3-540-44829-2_17

Henzinger TA, Jhala R, Majumdar R, Qadeer S. 2003. Thread-modular abstraction refinement. Proceedings of the 15th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2725, 262–274.
LibreCat: https://research-explorer.ista.ac.at/record/4463
DOI: 10.1007/978-3-540-45069-6_27

Henzinger TA, Jhala R, Majumdar R. 2003. Counterexample-guided control. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 886–902.
LibreCat: https://research-explorer.ista.ac.at/record/4462
DOI: 10.1007/3-540-45061-0_69

Henzinger TA, Kirsch C, Matic S. 2003. Schedule-carrying code. Proceedings of the 3rd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 241–256.
LibreCat: https://research-explorer.ista.ac.at/record/4464
DOI: 10.1007/978-3-540-45212-6_16

Henzinger TA, Kupferman O, Qadeer S. 2003. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 23(3), 303–327.
LibreCat: https://research-explorer.ista.ac.at/record/4460
DOI: 10.1023/A:1026228213080

Henzinger TA, Horowitz B, Kirsch C. 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 91(1), 84–99.
LibreCat: https://research-explorer.ista.ac.at/record/4469
DOI: 10.1109/JPROC.2002.805825

Vines T, Kohler SC, Thiel M, Ghira I, Sands TR, Maccallum C, Barton NH, Nürnberger B. 2003. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. 57(8), 1876–1888.
LibreCat: https://research-explorer.ista.ac.at/record/4338
DOI: 10.1111/j.0014-3820.2003.tb00595.x