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.

9126 Publications


2004 | Thesis | IST-REx-ID: 4236
de Vladar H. 2004. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala R. 2004. Program verification by lazy abstraction. University of California, Berkeley.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs. EMSOFT: Embedded Software , 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2993, 167–170.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
View
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2004. Model checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2988, 77–92.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. 2004. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 14(12), 1105–1111.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras J, Freunberger SA, Büchi FN, Roos M, Brandstätter W, Prestat M, Gauckler LJ, Andreaus B, Hajbolouri F, Senn SM, Poulikakos D, Chaniotis AK, Larrain D, Autissier N, Maréchal F. 2004. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 58(12), 857–868.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. 2004. Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. 4(3), 214–218.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko A, Kondrashov F, Bryant S. 2004. Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. 13(4), 884–892.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov F, Ogurtsov A, Kondrashov A. 2004. Bioinformatical assay of human gene morbidity. Nucleic Acids Research. 32(5), 1731–1737.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov F, Koonin E. 2004. A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. 20(7), 287–291.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
Kern A, Kondrashov F. 2004. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 36(11), 1207–1212.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 9493 | OA
Zilberman D, Cao X, Johansen LK, Xie Z, Carrington JC, Jacobsen SE. 2004. Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. 14(13), 1214–1220.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9517 | OA
Xie Z, Johansen LK, Gustafson AM, Kasschau KD, Lellis AD, Zilberman D, Jacobsen SE, Carrington JC. 2004. Genetic and functional diversification of small RNA pathways in plants. PLoS Biology. 2(5), 0642–0652.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9511 | OA
Zilberman D, Henikoff S. 2004. Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. 5(12), 249.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat D, Kaloshin V, Koralov L. 2004. A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. 57(9), 1127–1158.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
Koralov L, Kaloshin V, Dolgopyat D. 2004. Sample path properties of the stochastic flows. The Annals of Probability. 32(1A), 1–27.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. 2004. Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. 429(6991), 558–562.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
Castillo Davis C, Kondrashov F, Hartl D, Kulathinal R. 2004. The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. 14(5), 802–811.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 9454
Chan SW-L, Zilberman D, Xie Zhixin, Johansen Lisa K., Carrington JC, Jacobsen SE. 2004. RNA silencing genes control de novo DNA methylation. Science. 303(5662), 1336.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 12203
Liao Z, Chen M, Gong Y, Guo L, Tan Q, Feng X, Sun X, Tan F, Tang K. 2004. A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. 15(2), 153–158.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 13435
Klajn R, Fialkowski M, Bensemann IT, Bitner A, Campbell CJ, Bishop K, Smoukov S, Grzybowski BA. 2004. Multicolour micropatterning of thin films of dry gels. Nature Materials. 3, 729–735.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 13434
Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. 2004. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. 16(21), 1912–1917.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet A, Sweeney LB, Sturgill JF, Chua K, Greer P, Lin Y, Tran H, Ross S, Mostoslavsky R, Cohen H, Hu L, Chen H-L, Jedrychowski M, Gygi S, Sinclair D, Alt F, Greenberg M. 2004. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 303(5666), 2011–2015.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 11122
Walther TC, Alves A, Pickersgill H, Loı̈odice I, Hetzer M, Galy V, Hülsmann BB, Köcher T, Wilm M, Allen T, Mattaj IW, Doye V. 2003. The conserved Nup107-160 complex is critical for nuclear pore complex assembly. Cell. 113(2), 195–206.
[Published Version] View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 11121
Walther TC, Askjaer P, Gentzel M, Habermann A, Griffiths G, Wilm M, Mattaj IW, Hetzer M. 2003. RanGTP mediates nuclear pore complex assembly. Nature. 424(6949), 689–694.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 11766 | OA
Henzinger MH, Leonardi S. 2003. Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences. 66(3), 567–611.
[Published Version] View | DOI | Download Published Version (ext.)
 

2003 | Journal Article | IST-REx-ID: 11764
Goel A, Henzinger MH, Plotkin S, Tardos E. 2003. Scheduling data transfers in a network and the set scheduling problem. Journal of Algorithms. 48(2), 314–332.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 11897
Bharat K, Henzinger MH. 2003. Improved algorithms for topic distillation in a hyperlinked environment. 21st annual international ACM SIGIR conference on Research and development in information retrieval. SIGIR: International Conference on Research and Development in Information Retrieval, 104–111.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 11860
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.
View | Files available | DOI
 

2003 | Conference Paper | IST-REx-ID: 11909 | OA
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.
[Published Version] View | Download Published Version (ext.)
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
Hausel T, Thaddeus M. 2003. Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. 153(1), 197–229.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
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.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
Etesi G, Hausel T. 2003. On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. 235(2), 275–288.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 166 | OA
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.
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 1959
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
Browning TD. 2003. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 108(3), 275–295.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
Browning TD. 2003. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 54(1), 33–39.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning TD. 2003. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 134(3), 385–395.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
Browning TD. 2003. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 54(1), 11–31.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
Lieb É, Seiringer R. 2003. Bose-Einstein condensation of dilute gases in traps . Differential Equations and Mathematical Physics, Contemporary Mathematics, vol. 327, 239–250.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
Lieb É, Seiringer R, Yngvason J. 2003. Poincaré inequalities in punctured domains. Annals of Mathematics. 158(3), 1067–1080.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
Seiringer R. 2003. Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical. 36(37), 9755–9778.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
Lieb É, Seiringer R, Yngvason J. 2003. One-dimensional Bosons in three-dimensional traps. Physical Review Letters. 91(15), 1504011–1504014.
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
Wagner U. 2003. On k-Sets and Their Applications. ETH Zurich.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
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.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2423
Matoušek J, Wagner U. 2003. New constructions of weak epsilon-nets. SoCG: Symposium on Computational Geometry, 129–135.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
Wagner U. 2003. On the rectilinear crossing number of complete graphs. SODA: Symposium on Discrete Algorithms, 583–588.
View | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2623
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 mGluR1-autoantibodies. Annals of Neurology. 53(3), 325–336.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. 2003. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 17(5), 1023–1032.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
Kaneda K, Imanishi M, Nambu A, Shigemoto R, Takada M. 2003. Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. 14(7), 947–950.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami R, Shinohara Y, Kato Y, Sugiyama H, Shigemoto R, Ito I. 2003. Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. 300(5621), 990–994.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
Somogyi P, Dalezios Y, Luján R, Roberts J, Watanabe M, Shigemoto R. 2003. 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. 17(12), 2503–2520.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2631
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 NG108-15 cells. Journal of Neurochemistry. 85(5), 1148–1158.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2633
Millán C, Castro E, Torres M, Shigemoto R, Sánchez Prieto J. 2003. Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats. Journal of Biological Chemistry. 278(26), 23955–23962.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2632
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2635
Kulik Á, Vida I, Luján R, Haas C, López Bendito G, Shigemoto R, Frotscher M. 2003. Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus. Journal of Neuroscience. 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. 2003. Blockade of GABAB receptors alters the tangential migration of cortical neurons. Cerebral Cortex. 13(9), 932–942.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2630
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2637
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2784
Hof B, Juel A, Mullin T. 2003. Magnetohydrodynamic damping of convective flows in molten gallium. Journal of Fluid Mechanics. 482, 163–179.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2990
Friml J. 2003. Auxin transport - Shaping the plant. Current Opinion in Plant Biology. 6(1), 7–12.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
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 METHYLTRANSFERASE1 function. Plant Cell. 15(3), 612–625.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2996
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, Maloney D, Kidd A, Siekhaus DE, Bender M. 2003. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 163(1), 227–237.
View
 

2003 | Journal Article | IST-REx-ID: 3150
Siekhaus DE, Drubin D. 2003. Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. 5(3), 231–235.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3209
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.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3210
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.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3425
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.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3458
Jonas PM, Unsicker K. 2003.Molekulare und zelluläre Grundlagen des Nervensystems. In: Lehrbuch Vorklinik. vol. B, 3–26.
View
 

2003 | Journal Article | IST-REx-ID: 3536
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.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner H, Harer J, Natarajan V, Pascucci V. 2003. Morse-Smale complexes for piecewise linear 3-manifolds. SCG: Symposium on Computational Geometry, 361–370.
View | DOI | Download (ext.)
 

2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner H. 2003.Surface reconstruction by wrapping finite sets in space. In: Discrete & Computational Geometry. , 379–404.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner H, Zomorodian A. 2003. Computing linking numbers of a filtration. Homology, Homotopy and Applications. 5(2), 19–37.
View | Download None (ext.)
 

2003 | Journal Article | IST-REx-ID: 3620
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3619
Baird S, Barton NH, Etheridge A. 2003. The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. 64(4), 451–471.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
Vines T, Barton NH. 2003. A new approach to detecting mixed families. Molecular Ecology. 12(7), 1999–2002.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3752 | OA
Vilar J, Guet CC, Leibler S. 2003. Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. 161(3), 471–476.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3797
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.
View
 

2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee K, Jurdziński M, Henzinger TA. 2003. Simple stochastic parity games. CSL: Computer Science Logic, LNCS, vol. 2803, 100–113.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3898
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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner H, Harer J, Zomorodian A. 2003. Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete & Computational Geometry. 30(1), 87–107.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Cheng H, Edelsbrunner H. 2003. Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. 26(2), 173–192.
View | DOI
 

2003 | Book Review | IST-REx-ID: 3139
Chen H, Hippenmeyer S, Arber S, Frank E. 2003. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 13(1), 96–102.
View | DOI
 

Search

Filter Publications