Browning, T. D. (2003). Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press.https://doi.org/10.1017/S0305004102006382 
LibreCat: https://research-explorer.ista.ac.at/record/207
DOI: 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 
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 . 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 
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. Princeton University Press.https://doi.org/10.4007/annals.2003.158.1067  
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. IOP Publishing Ltd.https://doi.org/10.1088/0305-4470/36/37/312 
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. American Physical Society.https://doi.org/10.1103/PhysRevLett.91.150401 
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.https://doi.org/10.3929/ethz-a-004708408 
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 (pp. 329–337). Presented at the SoCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/777792.777841 
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 (pp. 129–135). Presented at the SoCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/777792.777813 
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 (pp. 583–588). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
LibreCat: https://research-explorer.ista.ac.at/record/2422

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 
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. Wiley-Blackwell.https://doi.org/10.1046/j.1460-9568.2003.02499.x 
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. Lippincott, Williams &; Wilkins.https://doi.org/10.1097/01.wnr.0000074344.81633.e4 
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. American Association for the Advancement of Science.https://doi.org/10.1126/science.1082609 
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. Wiley-Blackwell.https://doi.org/10.1046/j.1460-9568.2003.02697.x 
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. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.2002.033472 
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.,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 
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. American Society for Biochemistry and Molecular Biology.https://doi.org/10.1074/jbc.M211471200 
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. Wiley-Blackwell.https://doi.org/10.1046/j.1460-9568.2003.02756.x 
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. Society for Neuroscience.
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. Oxford University Press.https://doi.org/10.1093/cercor/13.9.932 
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. Springer.https://doi.org/10.1007/s00441-003-0740-2 
LibreCat: https://research-explorer.ista.ac.at/record/2630
DOI: 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 
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. Cambridge University Press.https://doi.org/10.1017/S0022112003004014 
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. American Physical Society.https://doi.org/10.1103/PhysRevLett.91.244502 
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. Elsevier.https://doi.org/10.1016/S1369526602000031 
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. American Society of Plant Biologists.https://doi.org/10.1105/tpc.008433 
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. Cell Press.https://doi.org/10.1016/S0092-8674(03)00924-3 
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.,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 
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.,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 
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. Wiley-Blackwell.https://doi.org/10.1046/j.1365-313X.2003.01705.x 
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, 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.
LibreCat: https://research-explorer.ista.ac.at/record/3151

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 
LibreCat: https://research-explorer.ista.ac.at/record/3150
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3209
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3210
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3425
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3458

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 
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 (pp. 361–370). Presented at the SCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/777792.777846 
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 (pp. 379–404). Springer.https://doi.org/10.1007/978-3-642-55566-4_17 
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. International Press.
LibreCat: https://research-explorer.ista.ac.at/record/3584

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 
LibreCat: https://research-explorer.ista.ac.at/record/3620
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3619
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3618
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3752
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3797

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 
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, 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 
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. Springer.https://doi.org/10.1007/s00454-003-2926-5 
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. Elsevier.https://doi.org/10.1016/S0925-7721(02)00124-4 
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. Elsevier.https://doi.org/10.1016/S0959-4388(03)00006-0 
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 (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 
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 (Vol. 2, pp. 1033–1040). Presented at the ICCV: International Conference on Computer Vision, IEEE.https://doi.org/10.1109/ICCV.2003.1238463 
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 (Vol. 1, pp. 26–33). Presented at the ICCV: International Conference on Computer Vision, IEEE.https://doi.org/10.1109/ICCV.2003.1238310 
LibreCat: https://research-explorer.ista.ac.at/record/3170
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3526
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3529
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3528
DOI: 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 
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. Springer.https://doi.org/10.1023/A:1023217515688 
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 . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.
LibreCat: https://research-explorer.ista.ac.at/record/3678

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 
LibreCat: https://research-explorer.ista.ac.at/record/3725
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3804

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 
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. Oxford University Press.https://doi.org/10.1093/beheco/14.1.54 
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. Cell Press.https://doi.org/10.1016/S0960-9822(03)00012-5 
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. Schnell und Steiner.
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. IOP Publishing Ltd.https://doi.org/10.1088/0953-4075/36/12/306 
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. Springer Nature.https://doi.org/10.1038/nn1140 
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. Wiley.https://doi.org/10.1002/neu.10162 
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. Oxford University Press.https://doi.org/10.1093/hmg/ddg359 
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. Elsevier.https://doi.org/10.1016/S0168-9525(02)00029-X 
LibreCat: https://research-explorer.ista.ac.at/record/876
DOI: 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 
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. Springer Nature.https://doi.org/10.1007/s00222-002-0244-9 
LibreCat: https://research-explorer.ista.ac.at/record/8519
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

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 
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. Elsevier.https://doi.org/10.1016/s0040-4020(03)00682-3 
LibreCat: https://research-explorer.ista.ac.at/record/13436
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4561
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4630
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4468
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4465
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4466
DOI: 10.1007/3-540-36577-X_5

Henzinger, T. A., Jhala, R., Majumdar, R., &; Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop  (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer.https://doi.org/10.1007/3-540-44829-2_17 
LibreCat: https://research-explorer.ista.ac.at/record/4467
DOI: 10.1007/3-540-44829-2_17

Henzinger, T. A., Jhala, R., Majumdar, R., &; Qadeer, S. (2003). Thread-modular abstraction refinement. In Proceedings of the 15th International Conference on Computer Aided Verification (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer.https://doi.org/10.1007/978-3-540-45069-6_27 
LibreCat: https://research-explorer.ista.ac.at/record/4463
DOI: 10.1007/978-3-540-45069-6_27

Henzinger, T. A., Jhala, R., &; Majumdar, R. (2003). Counterexample-guided control. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer.https://doi.org/10.1007/3-540-45061-0_69 
LibreCat: https://research-explorer.ista.ac.at/record/4462
DOI: 10.1007/3-540-45061-0_69

Henzinger, T. A., Kirsch, C., &; Matic, S. (2003). Schedule-carrying code. In Proceedings of the 3rd International Conference on Embedded Software (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM.https://doi.org/10.1007/978-3-540-45212-6_16 
LibreCat: https://research-explorer.ista.ac.at/record/4464
DOI: 10.1007/978-3-540-45212-6_16

Henzinger, T. A., Kupferman, O., &; Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer.https://doi.org/10.1023/A:1026228213080 
LibreCat: https://research-explorer.ista.ac.at/record/4460
DOI: 10.1023/A:1026228213080

Henzinger, T. A., Horowitz, B., &; Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE.https://doi.org/10.1109/JPROC.2002.805825 
LibreCat: https://research-explorer.ista.ac.at/record/4469
DOI: 10.1109/JPROC.2002.805825

Vines, T., Kohler, S. C., Thiel, M., Ghira, I., Sands, T. R., Maccallum, C.,https://doi.org/10.1111/j.0014-3820.2003.tb00595.x__Nürnberger, B. (2003). On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2003.tb00595.x 
LibreCat: https://research-explorer.ista.ac.at/record/4338
DOI: 10.1111/j.0014-3820.2003.tb00595.x

Harshman, J., Huddleston, C., Bollback, J. P., Parsons, T., &; Braun, M. (2003). True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. Oxford University Press.https://doi.org/10.1080/10635150390197028 
LibreCat: https://research-explorer.ista.ac.at/record/4350
DOI: 10.1080/10635150390197028
PMID:  12775527

Huelsenbeck, J., Nielsen, R., &; Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology. Oxford University Press.https://doi.org/10.1080/10635150390192780 
LibreCat: https://research-explorer.ista.ac.at/record/4348
DOI: 10.1080/10635150390192780
PMID: 12746144 

Navarro, A., &; Barton, N. H. (2003). Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.0014-3820.2003.tb01537.x 
LibreCat: https://research-explorer.ista.ac.at/record/4254
DOI: 10.1111/j.0014-3820.2003.tb01537.x
PMID: 12703935 

Charlesworth, B., Charlesworth, D., &; Barton, N. H. (2003). The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. Annual Reviews.https://doi.org/10.1146/annurev.ecolsys.34.011802.132359 
LibreCat: https://research-explorer.ista.ac.at/record/4257
DOI: 10.1146/annurev.ecolsys.34.011802.132359

Barton, N. H., &; Zuidema, W. (2003). The erratic path towards complexity. Current Biology. Cell Press.https://doi.org/10.1016/S0960-9822(03)00573-6 
LibreCat: https://research-explorer.ista.ac.at/record/4256
DOI: 10.1016/S0960-9822(03)00573-6

Navarro, A., &; Barton, N. H. (2003). Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1080600  
LibreCat: https://research-explorer.ista.ac.at/record/4255
DOI: 10.1126/science.1080600 
PMID:  12690198

Ulrich, F., Concha, M., Heid, P., Voss, E., Witzel, S., Roehl, H.,https://doi.org/10.1242/dev.00758__Heisenberg, C.-P. J. (2003). Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. Company of Biologists.https://doi.org/10.1242/dev.00758 
LibreCat: https://research-explorer.ista.ac.at/record/4146
DOI: 10.1242/dev.00758
PMID:  PMC1414802

Montero, J., Kilian, B., Chan, J., Bayliss, P., &; Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press.https://doi.org/10.1016/S0960-9822(03)00505-0 
LibreCat: https://research-explorer.ista.ac.at/record/4169
DOI: 10.1016/S0960-9822(03)00505-0
PMID:  12906787

Kilian, B., Mansukoski, H., Barbosa, F., Ulrich, F., Tada, M., &; Heisenberg, C.-P. J. (2003). The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. Elsevier.https://doi.org/10.1016/S0925-4773(03)00004-2 
LibreCat: https://research-explorer.ista.ac.at/record/4185
DOI: 10.1016/S0925-4773(03)00004-2
PMID: 12676324 

Edelsbrunner, H., &; Koehl, P. (2003). The weighted-volume derivative of a space-filling diagram. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0537830100 
LibreCat: https://research-explorer.ista.ac.at/record/3992
DOI: 10.1073/pnas.0537830100
PMID: 12601153