Campbell, C. J., Fialkowski, M., Klajn, R., Bensemann, I. T., &; Grzybowski, B. A. (2004). Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. Wiley.https://doi.org/10.1002/adma.200400383 

Brunet, A., Sweeney, L. B., Sturgill, J. F., Chua, K., Greer, P., Lin, Y.,https://doi.org/10.1126/science.1094637__Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIR deacetylase. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1094637 

Walther, T. C., Alves, A., Pickersgill, H., Loodice, I., Hetzer, M., Galy, V.,https://doi.org/10.1016/s0092-8674(03)00235-6__Doye, V. (2003). The conserved Nu7-160 complex is critical for nuclear pore complex assembly. Cell. Elsevier.https://doi.org/10.1016/s0092-8674(03)00235-6 

Walther, T. C., Askjaer, P., Gentzel, M., Habermann, A., Griffiths, G., Wilm, M.,https://doi.org/10.1038/nature01898__Hetzer, M. (2003). RanGTP mediates nuclear pore complex assembly. Nature. Springer Nature.https://doi.org/10.1038/nature01898 

Henzinger, M. H., &; Leonardi, S. (2003). Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/s0022-0000(03)00043-6 

Goel, A., Henzinger, M. H., Plotkin, S., &; Tardos, E. (2003). Scheduling data transfers in a network and the set scheduling problem. Journal of Algorithms. Elsevier.https://doi.org/10.1016/s0196-6774(03)00054-3 

Bharat, K., &; Henzinger, M. H. (2003). Improved algorithms for topic distillation in a hyperlinked environment. In 21st annual international ACM SIGIR conference on Research and development in information retrieval (pp. 104–111). Melbourne, Australia: Association for Computing Machinery.https://doi.org/10.1145/290941.290972 

Henzinger, M. H., Chang, B.-W., Milch, B., &; Brin, S. (2003). Query-free news search. In Proceedings of the 12th international conference on World Wide Web. Budapest, Hungary: Association for Computing Machinery.https://doi.org/10.1145/775152.775154 

Henzinger, M. H., Motwani, R., &; Silverstein, C. (2003). Challenges in web search engines. In 18th International Joint Conference on Artificial Intelligence (pp. 1573–1579). Acapulco, Mexico: Association for Computing Machinery.

Hausel, T., &; Thaddeus, M. (2003). Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. Springer.https://doi.org/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. American Mathematical Society.https://doi.org/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. Springer.https://doi.org/10.1007/s00220-003-0806-8 

Browning, T. D., &; 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. Mathematisches Institut der Universität Bonn.

Holt, P., Morgan, D., &; Sazanov, L. A. (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. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1074/jbc.M308247200 

Sazanov, L. A., 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. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1074/jbc.M208959200 

Browning, T. D. (2003). Counting rational points on cubic and quartic surfaces. Acta Arithmetica. Instytut Matematyczny.https://doi.org/10.4064/aa108-3-7 

Browning, T. D. (2003). A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. Unknown.https://doi.org/10.1093/qjmath/54.1.33 

Browning, T. D. (2003). Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press.https://doi.org/10.1017/S0305004102006382 

Browning, T. D. (2003). Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. Oxford University Press.https://doi.org/10.1093/qjmath/54.1.11 

Lieb, É., &; Seiringer, R. (2003). Bose-Einstein condensation of dilute gases in traps . In Y. Karpeshina, R. Weikard, &; Y. Zeng (Eds.) (Vol. 327, pp. 239–250). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society.https://doi.org/10.1090/conm/327/05818 

Lieb, É., Seiringer, R., &; Yngvason, J. (2003). Poincaré inequalities in punctured domains. Annals of Mathematics. Princeton University Press.https://doi.org/10.4007/annals.2003.158.1067  

Seiringer, R. (2003). Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical. IOP Publishing Ltd.https://doi.org/10.1088/0305-4470/36/37/312 

Lieb, É., Seiringer, R., &; Yngvason, J. (2003). One-dimensional Bosons in three-dimensional traps. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.91.150401 

Wagner, U. (2003). On k-Sets and Their Applications. ETH Zurich.https://doi.org/10.3929/ethz-a-004708408 

Giesen, J., &; Wagner, U. (2003). Shape dimension and intrinsic metric from samples of manifolds with high co-dimension (pp. 329–337). Presented at the SoCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/777792.777841 

Matousek, J., &; Wagner, U. (2003). New constructions of weak epsilon-nets (pp. 129–135). Presented at the SoCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/777792.777813 

Wagner, U. (2003). On the rectilinear crossing number of complete graphs (pp. 583–588). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.

Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa, Y.,https://doi.org/10.1002/ana.10451__De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due to mGlu-autoantibodies. Annals of Neurology. Wiley-Blackwell.https://doi.org/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. Wiley-Blackwell.https://doi.org/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. Lippincott, Williams &; Wilkins.https://doi.org/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. American Association for the Advancement of Science.https://doi.org/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. Wiley-Blackwell.https://doi.org/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. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.2002.033472 

Higashida, H., Zhang, J., Mochida, S., Chen, X., Shin, Y., Noda, M.,https://doi.org/10.1046/j.1471-4159.2003.01751.x__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. Wiley-Blackwell.https://doi.org/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. American Society for Biochemistry and Molecular Biology.https://doi.org/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. Wiley-Blackwell.https://doi.org/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. Society for Neuroscience.

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. Oxford University Press.https://doi.org/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. Springer.https://doi.org/10.1007/s00441-003-0740-2 

Bell, K., De Kort, G. J., 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. Elsevier.https://doi.org/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. Cambridge University Press.https://doi.org/10.1017/S0022112003004014 

Hof, B., Juel, A., &; Mullin, T. (2003). Scaling of the turbulence transition threshold in a pipe. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.91.244502 

Friml, J. (2003). Auxin transport - Shaping the plant. Current Opinion in Plant Biology. Elsevier.https://doi.org/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. American Society of Plant Biologists.https://doi.org/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. Cell Press.https://doi.org/10.1016/S0092-8674(03)00924-3 

Friml, J., Vieten, A., Sauer, M., Weijers, D., Schwarz, H., Hamann, T.,https://doi.org/10.1038/nature02085__Jürgens, G. (2003). Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis. Nature. Nature Publishing Group.https://doi.org/10.1038/nature02085 

Reinhardt, D., Pesce, E., Stieger, P., Mandel, T., Baltensperger, K., Bennett, M.,https://doi.org/10.1038/nature02081__Kuhlemeier, C. (2003). Regulation of phyllotaxis by polar auxin transport. Nature. Nature Publishing Group.https://doi.org/10.1038/nature02081 

Friml, J., Benková, E., Mayer, U., Palme, K., &; Muster, G. (2003). Automated whole mount localisation techniques for plant seedlings. Plant Journal. Wiley-Blackwell.https://doi.org/10.1046/j.1365-313X.2003.01705.x 

Rayburn, L., Gooding, H., Choksi, S., Maloney, D., Kidd, A., Siekhaus, D. E., &; Bender, M. (2003). Amontillado, the Drosophila homolog of the prohormone processing protease P, is required during embryogenesis and early larval development. Genetics. Genetics Society of America.

Siekhaus, D. E., &; Drubin, D. (2003). Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb941 

Pietrzak, K. Z. (2003). On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/S0022-0000(03)00078-3 

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

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

Jonas, P. M., &; Unsicker, K. (2003). Molekulare und zelluläre Grundlagen des Nervensystems. In R. Schmidt (Ed.), Lehrbuch Vorklinik (Vol. B, pp. 3–26). Deutscher Ärzte Verlag.

Buzsáki, G., Buhl, D., Harris, K., Csicsvari, J. L., Czéh, B., &; Morozov, A. (2003). Hippocampal network patterns of activity in the mouse. Neuroscience. Elsevier.https://doi.org/10.1016/S0306-4522(02)00669-3 

Edelsbrunner, H., Harer, J., Natarajan, V., &; Pascucci, V. (2003). Morse-Smale complexes for piecewise linear 3-manifolds (pp. 361–370). Presented at the SCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/777792.777846 

Edelsbrunner, H. (2003). Surface reconstruction by wrapping finite sets in space. In Discrete &; Computational Geometry (pp. 379–404). Springer.https://doi.org/10.1007/978-3-642-55566-4_17 

Edelsbrunner, H., &; Zomorodian, A. (2003). Computing linking numbers of a filtration. Homology, Homotopy and Applications. International Press.

Nürnberger, B., Hofman, S., Förg Brey, B., Praetzel, G., Maclean, A., Szymura, J.,https://doi.org/10.1038/sj.hdy.6800291__Barton, N. H. (2003). A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. Nature Publishing Group.https://doi.org/10.1038/sj.hdy.6800291 

Baird, S., Barton, N. H., &; Etheridge, A. (2003). The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. Academic Press.https://doi.org/10.1016/S0040-5809(03)00098-4 

Vines, T., &; Barton, N. H. (2003). A new approach to detecting mixed families. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1046/j.1365-294X.2003.01867.x 

Vilar, J., Guet, C. C., &; Leibler, S. (2003). Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. Rockefeller University Press.https://doi.org/10.1083/jcb.200301125 

Bauer, W., Kleine Berkenbusch, M., &; Bollenbach, M. T. (2003). Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. Sociedad Mexicana de Física.

Chatterjee, K., Jurdziski, M., &; Henzinger, T. A. (2003). Simple stochastic parity games (Vol. 2803, pp. 100–113). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/978-3-540-45220-1_11 

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

Edelsbrunner, H., Harer, J., &; Zomorodian, A. (2003). Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-003-2926-5 

Cheng, H., &; Edelsbrunner, H. (2003). Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/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. Elsevier.https://doi.org/10.1016/S0959-4388(03)00006-0 

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

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

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

Harris, K., Csicsvari, J. L., Hirase, H., Dragoi, G., &; Buzsáki, G. (2003). Organization of cell assemblies in the hippocampus. Nature. Nature Publishing Group.https://doi.org/0.1038/nature01834 

Csicsvari, J. L., Henze, D., Jamieson, B., Harris, K., Sirota, A., Bartho, P.,https://doi.org/10.1152/jn.00116.2003__Buzsáki, G. (2003). Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. American Physiological Society.https://doi.org/10.1152/jn.00116.2003 

Csicsvari, J. L., Jamieson, B., Wise, K., &; Buzsáki, G. (2003). Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. Elsevier.https://doi.org/10.1016/S0896-6273(02)01169-8 

Sirota, A., Csicsvari, J. L., Buhl, D., &; Buzsáki, G. (2003). Communication between neocortex and hippocampus during sleep in rodents. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0437938100 

Chatterjee, K., Dasgupta, P., &; Chakrabarti, P. (2003). A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. Springer.https://doi.org/10.1023/A:1023217515688 

Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.

Janovjak, H. L., Kessler, M., Oesterhelt, D., Gaub, H., &; Mueller, D. (2003). Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1093/emboj/cdg509 

Lien, C., &; Jonas, P. M. (2003). K potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. Society for Neuroscience.

Hallermann, S., Pawlu, C., Jonas, P. M., &; Heckmann, M. (2003). A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. National Academy of Sciences.https://doi.org/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. Oxford University Press.https://doi.org/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. Cell Press.https://doi.org/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. Schnell und Steiner.

Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.

Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.

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. IOP Publishing Ltd.https://doi.org/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. Springer Nature.https://doi.org/10.1038/nn1140 

de Bono, M. (2003). Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. Wiley.https://doi.org/10.1002/neu.10162 

Sunyaev, S., Kondrashov, F., Bork, P., &; Ramensky, V. (2003). Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. Oxford University Press.https://doi.org/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. Elsevier.https://doi.org/10.1016/S0168-9525(02)00029-X 

Cao, X., Aufsatz, W., Zilberman, D., Mette, M. F., Huang, M. S., Matzke, M., &; Jacobsen, S. E. (2003). Role of the DRM and CM methyltransferases in RNA-directed DNA methylation. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2003.11.052 

Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones Mathematicae. Springer Nature.https://doi.org/10.1007/s00222-002-0244-9 

Zilberman, D., Cao,https://doi.org/10.1126/science.1079695__Xiaofeng, &; Jacobsen, S. E. (2003). ARGONAUT control of locus-specific siRNA accumulation and DNA and histone methylation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1079695 

De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer.https://doi.org/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. Elsevier.https://doi.org/10.1016/s0040-4020(03)00682-3 

Chakrabarti, A., De Alfaro, L., Henzinger, T. A., &; Stoelinga, M. (2003). Resource interfaces. In Third International Conference on Embedded Software (Vol. 2855, pp. 117–133). Philadelphia, PA, USA: ACM.https://doi.org/10.1007/978-3-540-45212-6_9 

De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2003). The element of surprise in timed games. In Proceedings of the 14th International Conference on Concurrency Theory (Vol. 2761, pp. 144–158). Marseille, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-45187-7_9 

Henzinger, T. A., Kirsch, C., Sanvido, M., &; Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE.https://doi.org/10.1109/MCS.2003.1172829 

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell.https://doi.org/10.1002/047172288X.ch8 

Henzinger, T. A., Kupferman, O., &; Majumdar, R. (2003). 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, pp. 49–64). Warsaw, Poland: Springer.https://doi.org/10.1007/3-540-36577-X_5