Please note that IST 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.

102 Publications


2002 | Journal Article | IST-REx-ID: 1451 | OA
Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica. Deutsche Mathematiker Vereinigung, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 1737
Katsaros, Georgios, Thomas Stergiopoulos, Iannis Arabatzis, Kyriaki Papadokostaki, and Polycarpos Falaras. “A Solvent-Free Composite Polymer/Inorganic Oxide Electrolyte for High Efficiency Solid-State Dye-Sensitized Solar Cells.” Journal of Photochemistry and Photobiology A: Chemistry. Elsevier, 2002. https://doi.org/10.1016/S1010-6030(02)00027-8.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
Falaras, Polycarpos, Katerina Chryssou, Thomas Stergiopoulos, Ioannis Arabatzis, Georgios Katsaros, Vincent Catalano, Raif Kurtaran, Anne Hugot Le Goff, and Marie Bernard. “Dye-Sensitization of Titanium Dioxide Thin Films by Ru(II)-Bpp-Bpy Complexes,” 4801:125–35. SPIE, 2002. https://doi.org/10.1117/12.452446.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos, Thomas, Iannis Arabatzis, Georgios Katsaros, and Polycarpos Falaras. “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells.” Nano Letters. American Chemical Society, 2002. https://doi.org/10.1021/nl025798u.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 204
Browning, Timothy D. “Equal Sums of Two Kth Powers.” Journal of Number Theory. Academic Press, 2002. https://doi.org/10.1006/jnth.2002.2800.
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338
Lieb, Élliott, Jan Solovej, Robert Seiringer, and Jakob Yngvason. “The Ground State of the Bose Gas.” In Current Developments in Mathematics, 2001, 131–78. International Press, 2002. http://arxiv.org/abs/math-ph/0204027.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
Seiringer, Robert. “Symmetry Breaking in a Model of a Rotating Bose Gas.” edited by Richardo Weder, Pavel Exner, and Benoit Grébert, 307:281–86. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2349 | OA
Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.” Physical Review Letters. American Physical Society, 2002. https://doi.org/10.1103/PhysRevLett.88.170409.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2350 | OA
Hainzl, Christian, and Robert Seiringer. “Mass Renormalization and Energy Level Shift in Non-Relativistic QED.” Advances in Theoretical and Mathematical Physics. International Press, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2351 | OA
Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.” Communications in Mathematical Physics. Springer, 2002. https://doi.org/10.1007/s00220-002-0695-2.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2352 | OA
Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on ℝn and Applications to N-Body Quantum Systems.” Letters in Mathematical Physics. Springer, 2002. https://doi.org/10.1023/A:1020204818938.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2353 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Superfluidity in Dilute Trapped Bose Gases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2002. https://doi.org/10.1103/PhysRevB.66.134529.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2420
Wagner, Uli. “On the Number of Corner Cuts.” Advances in Applied Mathematics. ACM, 2002. https://doi.org/10.1016/S0196-8858(02)00014-3.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2421
Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses,” 2518:489–500. Springer, 2002. https://doi.org/10.1007/3-540-36136-7_43.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2613
Kitano, Jun, Kouji Kimura, Yoshimitsu Yamazaki, Takeshi Soda, Ryuichi Shigemoto, Yoshiaki Nakajima, and Shigetada Nakanishi. “Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins.” Journal of Neuroscience. Society for Neuroscience, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 2614
Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “The Inhibition of Glutamate Release by Metabotropic Glutamate Receptor 7 Affects Both [Ca2+]c and CAMP. Evidence for a Strong Reduction of Ca2+ Entry in Single Nerve Terminals.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2002. https://doi.org/10.1074/jbc.M109044200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2615
Toyono, Takashi, Yuji Seta, Shinji Sataoka, Harumi Harada, Takahiko Morotomi, Shintaro Kawano, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of the Metabotropic Glutamate Receptor, MGluR4a, in the Taste Hairs of Taste Buds in Rat Gustatory Papillae.” Archives of Histology and Cytology. Japan Society of Histological Documentation, 2002. https://doi.org/10.1679/aohc.65.91.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2616
López Bendito, Guillermina, Ryuichi Shigemoto, Alfonso Fairén, and Rafael Luján. “Differential Distribution of Group I Metabotropic Glutamate Receptors during Rat Cortical Development.” Cerebral Cortex. Oxford University Press, 2002. https://doi.org/10.1093/cercor/12.6.625.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2617 | OA
Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/10.1113/jphysiol.2002.020024.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2618
Nunzi, Maria, Ryuichi Shigemoto, and Enrico Mugnaini. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” Journal of Comparative Neurology. Wiley-Blackwell, 2002. https://doi.org/10.1002/cne.10344.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2619
Dalezios, Yannis, Rafael Luján, Ryuichi Shigemoto, John Roberts, and Péter Somogyi. “Enrichment of MGluR7a in the Presynaptic Active Zones of GABAergic and Non-GABAergic Terminals on Interneurons in the Rat Somatosensory Cortex.” Cerebral Cortex. Oxford University Press, 2002. https://doi.org/10.1093/cercor/12.9.961.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz, Andrea, Takuya Notomi, Gábor Tamás, Ryuichi Shigemoto, and Zoltán Nusser. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” Nature Neuroscience. Nature Publishing Group, 2002. https://doi.org/10.1038/nn962.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2621
Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “Subtype-Specific Expression of Group III Metabotropic Glutamate Receptors and Ca2+ Channels in Single Nerve Terminals.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2002. https://doi.org/10.1074/jbc.M207531200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2622
López Bendito, Guillermina, Ryuichi Shigemoto, Ákos Kulik, Ole Paulsen, Alfonso Fairén, and Rafael Luján. “Expression and Distribution of Metabotropic GABA Receptor Subtypes GABABR1 and GABABR2 during Rat Neocortical Development.” European Journal of Neuroscience. Wiley-Blackwell, 2002. https://doi.org/10.1046/j.1460-9568.2002.02032.x.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2624
Kulik, Ákos, Kazuhiko Nakadate, Gábor Nyíri, Takuya Notomi, Barbara Malitschek, Bernhard Bettler, and Ryuichi Shigemoto. “Distinct Localization of GABAB Receptors Relative to Synaptic Sites in the Rat Cerebellum and Ventrobasal Thalamus.” European Journal of Neuroscience. Wiley-Blackwell, 2002. https://doi.org/10.1046/j.0953-816x.2001.01855.x.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2737
Bardos, Claude, László Erdös, François Golse, Norbert Mauser, and Horng Yau. “Derivation of the Schrödinger-Poisson Equation from the Quantum N-Body Problem.” Comptes Rendus Mathematique. Elsevier, 2002. https://doi.org/10.1016/S1631-073X(02)02253-7.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2738
Erdös, László. “Linear Boltzmann Equation as the Long Time Dynamics of an Electron Weakly Coupled to a Phonon Field.” Journal of Statistical Physics. Springer, 2002. https://doi.org/10.1023/A:1015157624384.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2739
Erdös, László, and Vitali Vougalter. “Pauli Operator and Aharonov-Casher Theorem for Measure Valued Magnetic Fields.” Communications in Mathematical Physics. Springer, 2002. https://doi.org/10.1007/s002200100585.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2740
Erdös, László. “Spectral Shift and Multiplicity of the First Eigenvalue of the Magnetic Schrödinger Operator in Two Dimensions.” Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier, 2002. https://doi.org/10.5802/aif.1936.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Erdös, László. “Scaling Limits of Schrödinger Quantum Mechanics,” 597:487–506. Springer, 2002. https://doi.org/10.1007/3-540-46122-1_19.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2708
Erdös, László. “Two Dimensional Pauli Operator via Scalar Potential,” 307:129–33. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2866
Hamann, Thorsten, Eva Benková, Isabel Bäurle, Marika Kientz, and Gerd Jürgens. “The Arabidopsis BODENLOS Gene Encodes an Auxin Response Protein Inhibiting MONOPTEROS-Mediated Embryo Patterning.” Genes and Development. Cold Spring Harbor Laboratory Press, 2002. https://doi.org/10.1101/gad.229402.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, Vladimir, and Ramin Zabih. “Multi-Camera Scene Reconstruction via Graph Cuts,” 65–81. Springer, 2002. https://doi.org/10.1007/3-540-47977-5_5.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml, Jiří, Justyna Wiśniewska, Eva Benková, Kurt Mendgen, and Klaus Palme. “Lateral Relocation of Auxin Efflux Regulator PIN3 Mediates Tropism in Arabidopsis.” Nature. Nature Publishing Group, 2002. https://doi.org/10.1038/415806a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, Martin, Jennifer Topping, Margaret Pullen, Jiří Friml, Klaus Palme, Rachel Hackett, Don Grierson, and Keith Lindsey. “Hydra Mutants of Arabidopsis Are Defective in Sterol Profiles and Auxin and Ethylene Signaling.” Plant Cell. American Society of Plant Biologists, 2002. https://doi.org/10.1105/tpc.001248.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, Markus, Jiří Friml, Ranjan Swarup, Karin Ljung, Göran Sandberg, Maarten Terlou, Klaus Palme, Malcolm Bennett, and Ben Scheres. “Cell Polarity Signaling in Arabidopsis Involves a BFA Sensitive Auxin Influx Pathway.” Current Biology. Cell Press, 2002. https://doi.org/10.1016/S0960-9822(02)00654-1.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, Jiří, Eva Benková, Ikram Blilou, Justyna Wiśniewska, Thorsten Hamann, Karin Ljung, Scott Woody, et al. “AtPIN4 Mediates Sink-Driven Auxin Gradients and Root Patterning in Arabidopsis.” Cell. Cell Press, 2002. https://doi.org/10.1016/S0092-8674(02)00656-6.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, Jiří, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?” Plant Molecular Biology. Springer, 2002. https://doi.org/10.1023/A:1015248926412.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer, Simon, Neil Shneider, Carmen Birchmeier, Steven Burden, Thomas Jessell, and Silvia Arber. “A Role for Neuregulin1 Signaling in Muscle Spindle Differentiation.” Neuron. Elsevier, 2002. https://doi.org/10.1016/S0896-6273(02)01101-7.
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, Daniel, Harald L Janovjak, Tiina Lehto, Lars Kuerschner, and Kurt Anderson. “Observing Structure, Function and Assembly of Single Proteins by AFM.” Progress in Biophysics and Molecular Biology. Elsevier, 2002. https://doi.org/10.1016/S0079-6107(02)00009-3.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller, Patrick, Harald L Janovjak, Andre Miserez, and Zuzana Dobbie. “Processing of Gene Expression Data Generated by Quantitative Real-Time RT-PCR.” Biotechniques. Informa Healthcare, 2002.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, Wolfgang, Mark Tobias Bollenbach, Marko Kleine Berkenbusch, and Holger Harreis. “The Percolation Interpretation of the Nuclear Fragmentation Phase Transition,” 111–18. EP Systema, 2002.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, Mark Tobias, and Wolfgang Bauer. “3d Supernovae Collapse Calculations,” 644:219–32. American Institute of Physics, 2002. https://doi.org/10.1063/1.1523196 .
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta. “Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.
View
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points.” Elsevier, 2002. https://doi.org/US 6,377,865 B1.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki, György, Jozsef L Csicsvari, George Dragoi, Kenneth Harris, D. Henze, and Hajima Hirase. “Homeostatic Maintenance of Neuronal Excitability by Burst Discharges in Vivo.” Cerebral Cortex. Oxford University Press, 2002. https://doi.org/10.1093/cercor/12.9.893.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger, Jörg, Joseph Bischofberger, Imre Vida, Ulrich Fröbe, S Pfitzinger, H. Weber, Klaus Haverkampf, and Peter M Jonas. “Patch-Clamp Recording in Brain Slices with Improved Slicer Technology.” Pflugers Archiv : European Journal of Physiology. Springer, 2002. https://doi.org/10.1007/s00424-001-0735-3.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces,” 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules,” 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems,” 2289:134–48. Springer, 2002. https://doi.org/10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces,” 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” Journal of the ACM. ACM, 2002. https://doi.org/10.1145/585265.585270.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3757
Guet, Calin C, Michael Elowitz, Weihong Hsing, and Stanislas Leibler. “Combinatorial Synthesis of Genetic Networks.” Science. American Association for the Advancement of Science, 2002. https://doi.org/10.1126/science.1067407.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
Lien, Cheng, Marco Martina, Jobst Schultz, Heimo Ehmke, and Peter M Jonas. “Gating, Modulation and Subunit Composition of Voltage-Gated K(+) Channels in Dendritic Inhibitory Interneurones of Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/ 10.1113/jphysiol.2001.013066.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos, Marlene, Imre Vida, Michael Frotscher, Axel Meyer, Hannah Monyer, Jörg Geiger, and Peter M Jonas. “Fast Synaptic Inhibition Promotes Synchronized Gamma Oscillations in Hippocampal Interneuron Networks.” PNAS. National Academy of Sciences, 2002. https://doi.org/10.1073/pnas.192233099.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft, Stefan, Udo Kraushaar, Jörg Geiger, and Peter M Jonas. “Presynaptic Short-Term Depression Is Maintained during Regulation of Transmitter Release at a GABAergic Synapse in Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/10.1113/jphysiol.2001.013455.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
Bischofberger, Josef, Jörg Geiger, and Peter M Jonas. “Timing and Efficacy of Ca(2+) Channel Activation in Hippocampal Mossy Fiber Boutons.” Journal of Neuroscience. Society for Neuroscience, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3803
Bischofberger, Josef, and Peter M Jonas. “TwoB or Not TwoB: Differential Transmission at Glutamatergic Mossy Fiber-Interneuron Synapses in the Hippocampus.” Trends in Neurosciences. Elsevier, 2002. https://doi.org/10.1016/S0166-2236(02)02259-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, Mark, Toby Johnson, and Nicholas H Barton. “General Models of Multilocus Evolution.” Genetics. Genetics Society of America, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Cremer, Sylvia, and Jürgen Heinze. “Adaptive Production of Fighter Males: Queens of the Ant Cardiocondyla Adjust the Sex Ratio under Local Mate Competition.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2002. https://doi.org/10.1098/rspb.2001.1892.
View | DOI | Download None (ext.)
 

2002 | Journal Article | IST-REx-ID: 3920
Turillazzi, Stefano, Matthew Sledge, Sylvia Cremer, and Jürgen Heinze. “A Method for Analysing Small-Size Specimens in GC-MS.” Insect Social Life. Elsevier, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3924
Cremer, Sylvia, Birgit Lautenschläger, and Jürgen Heinze. “A Transitional Stage between the Ergatoid and Winged Male Morph in the Ant Cardiocondyla Obscurior.” Insectes Sociaux. Springer, 2002. https://doi.org/10.1007/s00040-002-8305-z.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
Cremer, Sylvia, Matthew Sledge, and Jürgen Heinze. “Chemical Mimicry: Male Ants Disguised by the Queen’s Bouquet.” Nature. Nature Publishing Group, 2002. https://doi.org/10.1038/419897a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, Pankaj, Leonidas Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har Peled, John Hershberger, et al. “Algorithmic Issues in Modeling Motion.” ACM Computing Surveys. ACM, 2002. https://doi.org/10.1145/592642.592647.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner, Herbert, David Letscher, and Afra Zomorodian. “Topological Persistence and Simplification.” Discrete & Computational Geometry. Springer, 2002. https://doi.org/10.1007/s00454-002-2885-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner, Herbert, and Damrong Guoy. “An Experimental Study of Sliver Exudation.” Engineering with Computers. Springer, 2002. https://doi.org/10.1007/s003660200020.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian, Afra, and Herbert Edelsbrunner. “Fast Software for Box Intersections.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2002. https://doi.org/10.1142/S0218195902000785.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot,” 791–99. SIAM, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova, Jitka, and P. Stopka. “Geometry of Social Relationships in the Old World Wood Mouse, Apodemus Sylvaticus.” Canadian Journal of Zoology. NRC Research Press, 2002. https://doi.org/3820.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4148
Tada, Masazumi, Miguel Concha, and Carl-Philipp J Heisenberg. “Non-Canonical Wnt Signalling and Regulation of Gastrulation Movements.” Seminars in Cell & Developmental Biology. Academic Press, 2002. https://doi.org/10.1016/S1084-9521(02)00052-6.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4194
Houart, Corinne, Luca Caneparo, Carl-Philipp J Heisenberg, K Anukampa Barth, Masaya Take Uchi, and Stephen Wilson. “Establishment of the Telencephalon during Gastrulation by Local Antagonism of Wnt Signaling.” Neuron. Elsevier, 2002. https://doi.org/10.1016/S0896-6273(02)00751-1.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4196
Heisenberg, Carl-Philipp J, and Masazumi Tada. “Zebrafish Gastrulation Movements: Bridging Cell and Developmental Biology.” Seminars in Cell & Developmental Biology. Academic Press, 2002. https://doi.org/10.1016/S1084952102001003.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg, Carl-Philipp J, and Masazumi Tada. “Wnt Signalling: A Moving Picture Emerges from van Gogh.” Current Biology. Cell Press, 2002. https://doi.org/10.1016/S0960-9822(02)00704-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg, Carl-Philipp J. “Wnt Signalling: Refocusing on Strabismus.” Current Biology. Cell Press, 2002. https://doi.org/10.1016/S0960-9822(02)01160-0.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
Hannus, Michael, Fabian Feiguin, Carl-Philipp J Heisenberg, and Suzanne Eaton. “Planar Cell Polarization Requires Widerborst, a B ’ Regulatory Subunit of Protein Phosphatase 2A.” Development. Company of Biologists, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro, Arcadio, and Nicholas H Barton. “The Effects of Multilocus Balancing Selection on Neutral Variability.” Genetics. Genetics Society of America, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive, Maria, and Nicholas H Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.” Genetics. Genetics Society of America, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson, Toby, and Nicholas H Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.” Genetics. Genetics Society of America, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
Barton, Nicholas H, and Peter Keightley. “Understanding Quantitative Genetic Variation.” Nature Reviews Genetics. Nature Publishing Group, 2002. https://doi.org/10.1038/nrg700.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton, Nicholas H, and Arcadio Navarro. “Extending the Coalescent to Multilocus Systems: The Case of Balancing Selection.” Genetical Research. Cambridge University Press, 2002. https://doi.org/10.1017/S0016672301005493.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton, Nicholas H, Frantz Depaulis, and Alison Etheridge. “Neutral Evolution in Spatially Continuous Populations.” Theoretical Population Biology. Academic Press, 2002. https://doi.org/10.1006/tpbi.2001.1557.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, John, Jonathan P Bollback, and Amy Levine. “Inferring the Root of a Phylogenetic Tree.” Systematic Biology. Oxford University Press, 2002. https://doi.org/10.1080/106351502753475862.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback, Jonathan P. “Bayesian Model Adequacy and Choice in Phylogenetics.” Molecular Biology and Evolution. Oxford University Press, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.” Theoretical Computer Science. Elsevier, 2002. https://doi.org/10.1016/S0304-3975(00)00308-X.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin,” 132–39. IEEE, 2002. https://doi.org/10.1145/774572.774592.
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University of California, Berkeley, 2002.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System,” 2491:46–60. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_5.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness,” 2471:292–305. Springer, 2002. https://doi.org/10.1007/3-540-45793-3_20.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms,” Vol. 15. Elsevier, 2002. https://doi.org/10.3182/20020721-6-ES-1901.01628.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code,” 315–26. ACM, 2002. https://doi.org/10.1145/512529.512567.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs,” 2491:76–92. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_7.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems,” 2380:644–56. Springer, 2002. https://doi.org/10.1007/3-540-45465-9_55.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code,” 2404:526–38. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_45.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2002. https://doi.org/10.1145/509705.509707.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” Information and Computation. Elsevier, 2002. https://doi.org/10.1006/inco.2001.3085.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction,” 58–70. ACM, 2002. https://doi.org/10.1145/503272.503279.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01170.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 897
Castillo Davis, Cristian, Sergei Mekhedov, Daniel Hartl, Eugene Koonin, and Fyodor Kondrashov. “Selection for Short Introns in Highly Expressed Genes.” Nature Genetics. Nature Publishing Group, 2002. https://doi.org/10.1038/ng940.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin, Andrey, Fyodor Kondrashov, Igor Rogozin, and Margo Brinton. “Evolution of the Mouse Polyubiquitin C Gene.” Journal of Molecular Evolution. Springer, 2002. https://doi.org/10.1007/s00239-002-2318-0.
View | DOI
 

Filters and Search Terms

year=2002

Search

Filter Publications