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.

5751 Publications


2002 | Journal Article | IST-REx-ID: 2986
Friml, Jirí, Justyna Wiśniewska, Eva Benková, Kurt Mendgen, and Klaus Palme. “Lateral Relocation of Auxin Efflux Regulator PIN3 Mediates Tropism in Arabidopsis.” Nature 415, no. 6873 (2002): 806–9. https://doi.org/10.1038/415806a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, Martin, Jennifer Topping, Margaret Pullen, Jirí 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 14, no. 5 (2002): 1017–31. https://doi.org/10.1105/tpc.001248.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, Markus, Jirí 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 12, no. 4 (2002): 329–34. https://doi.org/10.1016/S0960-9822(02)00654-1.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, Jirí, 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 108, no. 5 (2002): 661–73. https://doi.org/10.1016/S0092-8674(02)00656-6.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, Jirí, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?” Plant Molecular Biology 49, no. 3–4 (2002): 273–84. 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 36, no. 6 (2002): 1035–49. 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 32, no. 6 (2002): 1372–79.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, Wolfgang, 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, 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 | 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 443, no. 3 (2002): 491–501. https://doi.org/10.1007/s00424-001-0735-3.
View | DOI
 

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 12, no. 9 (2002): 893–99. https://doi.org/10.1093/cercor/12.9.893.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 3757
Guet, Calin C, Michael Elowitz, Weihong Hsing, and Stanislas Leibler. “Combinatorial Synthesis of Genetic Networks.” Science 296, no. 5572 (2002): 1466–70. 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 538, no. Pt 2 (2002): 405–19. 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 99, no. 20 (2002): 13222–27. 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 539, no. Pt 1 (2002): 201–8. 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 22, no. 24 (2002): 10593–602.
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 25, no. 12 (2002): 600–603. https://doi.org/10.1016/S0166-2236(02)02259-2.
View | DOI
 

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 269, no. 1489 (2002): 417–22. 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 4 (2002): 169–75.
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 49, no. 3 (2002): 221–28. 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 419 (2002): 897–897. 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 34, no. 4 (2002): 550–72. 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 28, no. 4 (2002): 511–33. 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 18, no. 3 (2002): 229–40. 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 12, no. 1–2 (2002): 143–72. 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 80, no. 8 (2002): 1383–88. https://doi.org/3820.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4148
Tada, Masazumi, Miguel Concha, and Carl Heisenberg. “Non-Canonical Wnt Signalling and Regulation of Gastrulation Movements.” Seminars in Cell & Developmental Biology 13, no. 3 (2002): 251–60. https://doi.org/10.1016/S1084-9521(02)00052-6.
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 55, no. 2 (2002): 202–10. https://doi.org/10.1007/s00239-002-2318-0.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 871
Kondrashov, Fyodor, Igor Rogozin, Yuri Wolf, and Eugene Koonin. “Selection in the Evolution of Gene Duplications .” Genome Biology 3, no. 2 (2002). https://doi.org/10.1186/gb-2002-3-2-research0008.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov, Alexey, Shamil Sunyaev, and Fyodor Kondrashov. “Dobzhansky-Muller Incompatibilities in Protein Evolution.” PNAS 99, no. 23 (2002): 14878–83. https://doi.org/10.1073/pnas.232565499.
View | DOI
 

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 31, no. 4 (2002): 415–18. https://doi.org/10.1038/ng940.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1032
Fürst, Johannes, Markus Ritter, Jakob Rudzki, Johannes Danzl, Martin Gschwentner, Elke Scandella, Martin Jakab, et al. “ICln Ion Channel Splice Variants in Caenorhabditis Elegans: Voltage Dependence and Interaction with an Operon Partner Protein.” Journal of Biological Chemistry 277, no. 6 (2002): 4435–45. https://doi.org/10.1074/jbc.M107372200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
Hausel, Tamas, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica 7, no. 1 (2002): 495–534.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer, Robert. “Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula.” edited by Michael Demuth and Bert Schultze, 126:307–14. Birkhäuser, 2001. https://doi.org/10.1007/978-3-0348-8231-6.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner, Bernhard, and Robert Seiringer. “Atoms with Bosonic "Electrons" in Strong Magnetic Fields.” Annales Henri Poincare 2, no. 1 (2001): 41–76. https://doi.org/10.1007/PL00001032.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer, Robert. “On the Maximal Ionization of Atoms in Strong Magnetic Fields.” Journal of Physics A: Mathematical and General 34, no. 9 (2001): 1943–48. https://doi.org/10.1088/0305-4470/34/9/311.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
Hainzl, Christian, and Robert Seiringer. “Bounds on One-Dimensional Exchange Energies with Application to Lowest Landau Band Quantum Mechanics.” Letters in Mathematical Physics 55, no. 2 (2001): 133–42. https://doi.org/10.1023/A:1010951905548.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “A Rigorous Derivation of the Gross-Pitaevskii Energy Functional for a Two-Dimensional Bose Gas.” Communications in Mathematical Physics 224, no. 1 (2001): 17–31. https://doi.org/10.1007/s002200100533.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl, Christian, and Robert Seiringer. “A Discrete Density Matrix Theory for Atoms in Strong Magnetic Fields.” Communications in Mathematical Physics 217, no. 1 (2001): 229–48. https://doi.org/10.1007/s002200100373.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner, Uli, and Emo Welzl. “A Continuous Analogue of the Upper Bound Theorem.” Discrete & Computational Geometry 26, no. 2 (2001): 205–19. https://doi.org/10.1007/s00454-001-0028-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco, Isabella, Augusto Cuello, Ryuichi Shigemoto, and Alfredo Ribeiro Da Silva. “Light and Electron Microscopic Study of the Distribution of Substance P-Immunoreactive Fibers and Neurokinin-1 Receptors in the Skin of the Rat Lower Lip.” Journal of Comparative Neurology 432, no. 4 (2001): 466–80. https://doi.org/10.1002/cne.1114.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, Frederik, Jean Timmermans, Ryuichi Shigemoto, and Erik De Schutter. “Morphological and Neurochemical Differentiation of Large Granular Layer Interneurons in the Adult Rat Cerebellum.” Neuroscience 104, no. 2 (2001): 499–512. https://doi.org/10.1016/S0306-4522(01)00058-6.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez, Galán, Guillermina López Bendito, Rafael Luján, Ryuichi Shigemoto, Alfonso Fairén, and Miguel Valdeolmillos. “Cajal-Retzius Cells in Early Postnatal Mouse Cortex Selectively Express Functional Metabotropic Glutamate Receptors.” European Journal of Neuroscience 13, no. 6 (2001): 1147–54. https://doi.org/10.1046/j.0953-816X.2001.01494.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion, Silvia, Corrado Corti, Akio Neki, Ryuichi Shigemoto, Mauro Corsi, Guido Fumagalli, and Francesco Ferraguti. “Bidirectional Regulation of Neurite Elaboration by Alternatively Spliced Metabotropic Glutamate Receptor 5 (MGluR5) Isoforms.” Molecular and Cellular Neuroscience 17, no. 6 (2001): 957–72. https://doi.org/10.1006/mcne.2001.0993.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito, Guillermina, Ryuichi Shigemoto, Rafael Luján, and José Juíz. “Developmental Changes in the Localisation of the MGluR1α Subtype of Metabotropic Glutamate Receptors in Purkinje Cells.” Neuroscience 105, no. 2 (2001): 413–29. https://doi.org/10.1016/S0306-4522(01)00188-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y, Sakashi Nomura, Noboru Mizuno, and Ryuichi Shigemoto. “Distribution of Metabotropic Glutamate Receptor MGluR3 in the Mouse CNS: Differential Location Relative to Pre- and Postsynaptic Sites.” Neuroscience 106, no. 3 (2001): 481–503. https://doi.org/10.1016/S0306-4522(01)00305-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Sansig, Gilles, Trevor Bushell, Vernon Clarke, Andrei Rozov, Nail Burnashev, Chantal Portet, Fabrizio Gasparini, et al. “Increased Seizure Susceptibility in Mice Lacking Metabotropic Glutamate Receptor 7.” Journal of Neuroscience 21, no. 22 (2001): 8734–45.
View
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, Isabella, Augusto Cuello, Ryuichi Shigemoto, and Alfredo Ribeiro Da Silva. “Sympathectomies Lead to Transient Substance P-Immunoreactive Sensory Fibre Plasticity in the Rat Skin.” Neuroscience 108, no. 1 (2001): 157–66. https://doi.org/10.1016/S0306-4522(01)00158-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li, Jin, Ryuichi Shigemoto, Ákos Kulik, Peng Chen, Sakashi Nomura, Takeshi Kaneko, and Noboru Mizuno. “Immunocytochemical Localization of GABAB Receptors in Mesencephalic Trigeminal Nucleus Neurons in the Rat.” Neuroscience Letters 315, no. 1–2 (2001): 93–97. https://doi.org/10.1016/S0304-3940(01)02321-7.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös, László. “Long Time Dynamics of an Electron in a Weakly Coupled Phonon Field.” ICMP: International Congress on Mathematical Physics, 2001, 273–81.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös, László, and Jan Solovej. “The Kernel of Dirac Operators on S3 and R3.” Reviews in Mathematical Physics 13, no. 10 (2001): 1247–80. https://doi.org/10.1142/S0129055X01000983.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös, László. “Lifschitz Tail in a Magnetic Field: Coexistence of Classical and Quantum Behavior in the Borderline Case.” Probability Theory and Related Fields 121, no. 2 (2001): 219–36. https://doi.org/10.1007/PL00008803.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös, László, and Horng Yau. “Derivation of the Nonlinear Schrödinger Equation from a Many Body Coulomb System.” Advances in Theoretical and Mathematical Physics 5, no. 6 (2001): 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, Carl, Corinne Houart, Masaya Take Uchi, Gerd Rauch, Neville Young, Pedro Coutinho, Ichiro Masai, et al. “A Mutation in the Gsk3-Binding Domain of Zebrafish Masterblind/Axin1 Leads to a Fate Transformation of Telencephalon and Eyes to Diencephalon.” Genes and Development 15, no. 11 (2001): 1427–34. https://doi.org/10.1101/gad.194301.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, Jonathan P, and John Huelsenbeck. “Phylogeny, Genome Evolution, and Host Specificity of Single-Stranded RNA Bacteriophage (Family Leviviridae).” Journal of Molecular Evolution 52, no. 2 (2001): 117–28. https://doi.org/10.1007/s002390010140.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, Nicholas H Barton, and Jerry Coyne. “Theory and Speciation.” Trends in Ecology and Evolution 16, no. 7 (2001): 330–43. https://doi.org/10.1016/S0169-5347(01)02177-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, Sarah, and Nicholas H Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution 55, no. 10 (2001): 1921–31. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, Nicholas H. “The Role of Hybridisation in Evolution.” Molecular Ecology 10, no. 3 (2001): 551–68. https://doi.org/10.1046/j.1365-294X.2001.01216.x.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” In Integrating Ecology and Evolution in a Spatial Context, 365–92. Cambridge University Press, 2001.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” In Dispersal. Oxford University Press, 2001.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A, and Christoph Kirsch. EMSOFT: Embedded Software. EMSOFT: Embedded Software . Vol. 2211. ACM, 2001. https://doi.org/10.1007/3-540-45449-7.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A, Joerg Preussig, and Howard Wong Toi. “Some Lessons from the HYTECH Experience,” 3:2887–92. IEEE, 2001. https://doi.org/10.1109/.2001.980714.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems,” 2034:275–90. Springer, 2001. https://doi.org/10.1007/3-540-45351-2_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto,” 64–72. ACM, 2001. https://doi.org/10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming,” 2211:166–84. ACM, 2001. https://doi.org/1303.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, Alessandro Pasetti, Wolfgang Pree, Thomas A Henzinger, and Christoph Kirsch. “A Reusable and Platform-Independent Framework for Distributed Control Systems,” 1–11. IEEE, 2001. https://doi.org/10.1109/DASC.2001.964169.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design 18, no. 2 (2001): 97–116. https://doi.org/10.1023/A:1008767206905.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure,” 835–36. IEEE, 2001. https://doi.org/10.1109/ICSE.2001.919196.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A Henzinger. “Interface Automata,” 109–20. ACM, 2001. https://doi.org/10.1145/503209.503226.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design,” 2211:148–65. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_11.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems,” 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games,” 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II,” 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_38.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging,” 86–87. ACM, 2001.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives,” 279–90. IEEE, 2001. https://doi.org/10.1109/LICS.2001.932504.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, Arthur, Friedrich Bischoff, Chadalavada Rajendrakumar, Jirí Friml, Markus Braun, Simon Gilroy, and Klaus Palme. “Arabidopsis Thaliana Rop GTPases Are Localized to Tips of Root Hairs and Control Polar Growth.” EMBO Journal 20, no. 11 (2001): 2779–88. https://doi.org/10.1093/emboj/20.11.2779.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil, Pedro, Elizabeth Dewey, Jirí Friml, Yunde Zhao, Kimberley Snowden, Jo Putterill, Klaus Palme, Mark Estelle, and Joanne Chory. “BIG: A Calossin-like Protein Required for Polar Auxin Transport in Arabidopsis.” Genes and Development 15, no. 15 (2001): 1985–97. https://doi.org/10.1101/gad.905201.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, Niko, Jirí Friml, York Stierhof, Gerd Jürgens, and Klaus Palme. “Auxin Transport Inhibitors Block PIN1 Cycling and Vesicle Trafficking.” Nature 413, no. 6854 (2001): 425–28. https://doi.org/10.1038/35096571.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup, Ranjan, Jirí Friml, Alan Marchant, Karin Ljung, Göran Sandberg, Klaus Palme, and Malcolm Bennett. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development 15, no. 20 (2001): 2648–53. https://doi.org/10.1101/gad.210501.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, Libuše, Jirí Friml, and Oldřich Dračka. “Elimination Voltammetry of Adenine and Cytosine Mixtures.” Bioelectrochemistry 54, no. 2 (2001): 131–36. https://doi.org/10.1016/S1567-5394(01)00119-0.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. “Computing Visual Correspondence with Occlusions Using Graph Cuts,” 2:508–15. IEEE, 2001. https://doi.org/10.1109/ICCV.2001.937668.
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, John, and Jonathan P Bollback. “Application of the Likelihood Function in Phylogenetic Analysis.” In Handbook of Statistical Genetics, edited by David Balding, Martin Bishop, and Chriss Cannings, 415–39. Wiley-Blackwell, 2001. https://doi.org/10.1002/9780470061619.ch15.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, John, Fredrik Ronquist, Rasmus Nielsen, and Jonathan P Bollback. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science 294, no. 5550 (2001): 2310–14. https://doi.org/10.1126/science.1065889.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Conn, Jan, Jonathan P Bollback, David Onyabe, Tessa Robinson, Richard Wilkerson, and Marinete Povoa. “Isolation of Polymorphic Microsatellite Markers from the Malaria Vector Anopheles Darlingi.” Molecular Ecology Notes 1, no. 4 (2001): 223–25. https://doi.org/ 10.1046/j.1471-8278.2001.00078.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck, John, and Jonathan P Bollback. “Empirical and Hierarchical Bayesian Estimation of Ancestral States.” Systematic Biology 50, no. 3 (2001): 351–66. https://doi.org/10.1080/10635150119871.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Weighted Quantified Computation Tree Logic.” Elsevier, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
Jones, M.V, Peter M Jonas, Y. Sahara, and G. Westbrook. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal 81, no. 5 (2001): 2660–70. https://doi.org/10.1016/S0006-3495(01)75909-7 .
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos, Marlene, Imre Vida, Michael Frotscher, Jörg Geiger, and Peter M Jonas. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience 21, no. 8 (2001): 2687–98.
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic, Jasna, Christian Schulze, Peter M Jonas, Rolf Sprengel, Peter Seeburg, and Joseph Bischofberger. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research 94, no. 1–2 (2001): 96–104. https://doi.org/10.1016/S0169-328X(01)00221-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3496 | OA
Alle, Henrik, Peter M Jonas, and Jörg Geiger. “PTP and LTP at a Hippocampal Mossy Fiber-Interneuron Synapse.” PNAS 98, no. 25 (2001): 14708–13. https://doi.org/10.1073/pnas.251610898 .
View | DOI | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
Liang, Jie, and Herbert Edelsbrunner. “Molecular Classification for Property Prediction.” Elsevier, 2001. https://doi.org/US 6,182,016 B1.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3517
Szabo, I., András Czurkó, Jozsef L Csicsvari, Hajima Hirase, Xavier Leinekugel, and György Buzsáki. “The Application of Printed Circuit Board Technology for Fabrication of Multi-Channel Micro-Drives.” Journal of Neuroscience Methods 105, no. 1 (2001): 105–10. https://doi.org/10.1016/S0165-0270(00)00362-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3540
Hirase, Hajima, Xavier Leinekugel, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Firing Rates of Hippocampal Neurons Are Preserved during Subsequent Sleep Episodes and Modified by Novel Awake Experience.” PNAS 98, no. 16 (2001): 9386–90. https://doi.org/10.1073/pnas.161274398.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
Hirase, Hajima, Xavier Leinekugel, Jozsef L Csicsvari, András Czurkó, and György Buzsáki. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience 21, no. 10 (2001).
View
 

2001 | Book | IST-REx-ID: 3586
Edelsbrunner, Herbert. Geometry and Topology for Mesh Generation. Vol. 7. Cambridge Monographs on Applied and Computational Mathematics. Cambridge University Press, 2001. https://doi.org/10.1017/CBO9780511530067.
View | Files available | DOI
 

Search

Filter Publications