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.

6021 Publications


2002 | Journal Article | IST-REx-ID: 2737
C. Bardos, L. Erdös, F. Golse, N. Mauser, and H. Yau, “Derivation of the Schrödinger-Poisson equation from the quantum N-body problem,” Comptes Rendus Mathematique, vol. 334, no. 6, pp. 515–520, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2738
L. Erdös, “Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field,” Journal of Statistical Physics, vol. 107, no. 5–6, pp. 1043–1127, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2739
L. Erdös and V. Vougalter, “Pauli operator and Aharonov-Casher theorem for measure valued magnetic fields,” Communications in Mathematical Physics, vol. 225, no. 2, pp. 399–421, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2740
L. Erdös, “Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions,” Annales de l’Institut Fourier, vol. 52, no. 6, p. 1833–1874+XI+VII, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2866
T. Hamann, E. Benková, I. Bäurle, M. Kientz, and G. Jürgens, “The Arabidopsis BODENLOS gene encodes an auxin response protein inhibiting MONOPTEROS-mediated embryo patterning,” Genes and Development, vol. 16, no. 13, pp. 1610–1615, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2927
V. Kolmogorov and R. Zabih, “Multi-camera scene reconstruction via graph cuts,” presented at the ECCV: European Conference on Computer Vision, 2002, pp. 65–81.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
J. Friml, J. Wiśniewska, E. Benková, K. Mendgen, and K. Palme, “Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis,” Nature, vol. 415, no. 6873, pp. 806–809, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
M. Souter et al., “Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling,” Plant Cell, vol. 14, no. 5, pp. 1017–1031, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
M. Grebe et al., “Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway,” Current Biology, vol. 12, no. 4, pp. 329–334, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
J. Friml et al., “AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis,” Cell, vol. 108, no. 5, pp. 661–673, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
J. Friml and K. Palme, “Polar auxin transport - Old questions and new concepts?,” Plant Molecular Biology, vol. 49, no. 3–4, pp. 273–284, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
S. Hippenmeyer, N. Shneider, C. Birchmeier, S. Burden, T. Jessell, and S. Arber, “A role for Neuregulin1 signaling in muscle spindle differentiation,” Neuron, vol. 36, no. 6, pp. 1035–1049, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1737
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, and P. 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, vol. 149, no. 1–3, pp. 191–198, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
P. Falaras et al., “Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes,” presented at the Organic Photovoltaics, 2002, vol. 4801, pp. 125–135.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1739
T. Stergiopoulos, I. Arabatzis, G. Katsaros, and P. Falaras, “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells,” Nano Letters, vol. 2, no. 11, pp. 1259–1261, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
A. Perelygin, F. Kondrashov, I. Rogozin, and M. Brinton, “Evolution of the mouse polyubiquitin C gene,” Journal of Molecular Evolution, vol. 55, no. 2, pp. 202–210, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 871
F. Kondrashov, I. Rogozin, Y. Wolf, and E. Koonin, “Selection in the evolution of gene duplications ,” Genome Biology, vol. 3, no. 2, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
A. Kondrashov, S. Sunyaev, and F. Kondrashov, “Dobzhansky-Muller incompatibilities in protein evolution,” PNAS, vol. 99, no. 23, pp. 14878–14883, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, and F. Kondrashov, “Selection for short introns in highly expressed genes,” Nature Genetics, vol. 31, no. 4, pp. 415–418, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica, vol. 7, no. 1, pp. 495–534, 2002.
View | Download (ext.)
 

2002 | Book Review | IST-REx-ID: 3421
D. Mueller, H. L. Janovjak, T. Lehto, L. Kuerschner, and K. Anderson, “Observing structure, function and assembly of single proteins by AFM,” Progress in Biophysics and Molecular Biology, vol. 79, no. 1–3. Elsevier, pp. 1–43, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
P. Müller, H. L. Janovjak, A. Miserez, and Z. Dobbie, “Processing of gene expression data generated by quantitative real-time RT-PCR,” Biotechniques, vol. 32, no. 6, pp. 1372–1379, 2002.
View
 

2002 | Conference Paper | IST-REx-ID: 3448
S. Mallick, K. Chatterjee, A. Merchant, and P. Dasgupta, “Implementation of shape grammar for plan analysis,” presented at the IT-Built: Information Technology For Built Environment, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3497
J. Geiger et al., “Patch-clamp recording in brain slices with improved slicer technology,” Pflugers Archiv : European Journal of Physiology, vol. 443, no. 3, pp. 491–501, 2002.
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
H. Edelsbrunner and P. Fu, “Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.” Elsevier, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
G. Buzsáki, J. L. Csicsvari, G. Dragoi, K. Harris, D. Henze, and H. Hirase, “Homeostatic maintenance of neuronal excitability by burst discharges in vivo,” Cerebral Cortex, vol. 12, no. 9, pp. 893–899, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
M. Kirkpatrick, T. Johnson, and N. H. Barton, “General models of multilocus evolution,” Genetics, vol. 161, no. 4, pp. 1727–1750, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3757
C. C. Guet, M. Elowitz, W. Hsing, and S. Leibler, “Combinatorial synthesis of genetic networks,” Science, vol. 296, no. 5572, pp. 1466–1470, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
C. Lien, M. Martina, J. Schultz, H. Ehmke, and P. M. Jonas, “Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus,” Journal of Physiology, vol. 538, no. Pt 2, pp. 405–419, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
M. Bartos et al., “Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks,” PNAS, vol. 99, no. 20, pp. 13222–13227, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
S. Hefft, U. Kraushaar, J. Geiger, and P. M. Jonas, “Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus,” Journal of Physiology, vol. 539, no. Pt 1, pp. 201–8, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
J. Bischofberger, J. Geiger, and P. M. Jonas, “Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons,” Journal of Neuroscience, vol. 22, no. 24, pp. 10593–10602, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3803
J. Bischofberger and P. M. Jonas, “TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus,” Trends in Neurosciences, vol. 25, no. 12, pp. 600–603, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3424
M. T. Bollenbach and W. Bauer, “3d supernovae collapse calculations,” presented at the CRIS: Catania Relativistic Ion Studies , 2002, vol. 644, pp. 219–232.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3423
W. Bauer, M. T. Bollenbach, M. Kleine Berkenbusch, and H. Harreis, “The percolation interpretation of the nuclear fragmentation phase transition,” presented at the Winter Workshop on Nuclear Dynamics, 2002, pp. 111–118.
View
 

2002 | Journal Article | IST-REx-ID: 4148
M. Tada, M. Concha, and C.-P. J. Heisenberg, “Non-canonical Wnt signalling and regulation of gastrulation movements,” Seminars in Cell & Developmental Biology, vol. 13, no. 3, pp. 251–260, 2002.
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
F. Mang, Games in open systems verification and synthesis. University of California, Berkeley, 2002, pp. 1–116.
View
 

2002 | Journal Article | IST-REx-ID: 4194
C. Houart, L. Caneparo, C.-P. J. Heisenberg, K. A. Barth, M. Take Uchi, and S. Wilson, “Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling,” Neuron, vol. 35, no. 2, pp. 255–265, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4196
C.-P. J. Heisenberg and M. Tada, “Zebrafish gastrulation movements: bridging cell and developmental biology,” Seminars in Cell & Developmental Biology, vol. 13, no. 6, pp. 471–479, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
C.-P. J. Heisenberg and M. Tada, “Wnt signalling: A moving picture emerges from van gogh,” Current Biology, vol. 12, no. 4, pp. R126–R128, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
M. Hannus, F. Feiguin, C.-P. J. Heisenberg, and S. Eaton, “Planar cell polarization requires Widerborst, a B ’ regulatory subunit of protein phosphatase 2A,” Development, vol. 129, no. 14, pp. 3493–3503, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 4207
C.-P. J. Heisenberg, “Wnt signalling: Refocusing on Strabismus,” Current Biology, vol. 12, no. 19, pp. R657–R659, 2002.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
R. Seiringer, “Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula,” presented at the PDE: Partial Differential Equations and Spectral Theory, 2001, vol. 126, pp. 307–314.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
B. Baumgartner and R. Seiringer, “Atoms with bosonic "electrons" in strong magnetic fields,” Annales Henri Poincare, vol. 2, no. 1, pp. 41–76, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
R. Seiringer, “On the maximal ionization of atoms in strong magnetic fields,” Journal of Physics A: Mathematical and General, vol. 34, no. 9, pp. 1943–1948, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
C. Hainzl and R. Seiringer, “Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics,” Letters in Mathematical Physics, vol. 55, no. 2, pp. 133–142, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas,” Communications in Mathematical Physics, vol. 224, no. 1, pp. 17–31, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
C. Hainzl and R. Seiringer, “A discrete density matrix theory for atoms in strong magnetic fields,” Communications in Mathematical Physics, vol. 217, no. 1, pp. 229–248, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
U. Wagner and E. Welzl, “A continuous analogue of the Upper Bound Theorem,” Discrete & Computational Geometry, vol. 26, no. 2, pp. 205–219, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
I. Ruocco, A. Cuello, R. Shigemoto, and A. 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, vol. 432, no. 4, pp. 466–480, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
F. Geurts, J. Timmermans, R. Shigemoto, and E. De Schutter, “Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum,” Neuroscience, vol. 104, no. 2, pp. 499–512, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
G. Martínez, G. López Bendito, R. Luján, R. Shigemoto, A. Fairén, and M. Valdeolmillos, “Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors,” European Journal of Neuroscience, vol. 13, no. 6, pp. 1147–1154, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
S. Mion et al., “Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms,” Molecular and Cellular Neuroscience, vol. 17, no. 6, pp. 957–972, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
G. López Bendito, R. Shigemoto, R. Luján, and J. Juíz, “Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells,” Neuroscience, vol. 105, no. 2, pp. 413–429, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Y. Tamaru, S. Nomura, N. Mizuno, and R. Shigemoto, “Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites,” Neuroscience, vol. 106, no. 3, pp. 481–503, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
G. Sansig et al., “Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7,” Journal of Neuroscience, vol. 21, no. 22, pp. 8734–8745, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 2611
I. Ruocco, A. Cuello, R. Shigemoto, and A. Ribeiro Da Silva, “Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin,” Neuroscience, vol. 108, no. 1, pp. 157–166, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
J. Li et al., “Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat,” Neuroscience Letters, vol. 315, no. 1–2, pp. 93–97, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3927
D. Wolf et al., “TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis,” Journal of Immunology, vol. 166, no. 2, pp. 1300–1307, 2001.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3928
M. K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, and L. Sorokin, “Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation,” Journal of Biological Chemistry, vol. 276, no. 22, pp. 18878–18887, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
M. K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, and L. Sorokin, “Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis,” Journal of Cell Biology, vol. 153, no. 5, pp. 933–946, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
H. Cheng, H. Edelsbrunner, and P. Fu, “Shape space from deformation,” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, pp. 191–204, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4002
S. Cheng, H. Edelsbrunner, P. Fu, and K. Lam, “Design and analysis of planar shape deformation,” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, pp. 205–218, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
H. Cheng, T. Dey, H. Edelsbrunner, and J. Sullivan, “Dynamic skin triangulation,” presented at the SODA: Symposium on Discrete Algorithms, 2001, pp. 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4006
H. Edelsbrunner, “180 wrapped tubes,” Journal of Universal Computer Science, vol. 7, no. 5, pp. 379–399, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4007
H. Cheng, T. Dey, H. Edelsbrunner, and J. Sullivan, “Dynamic skin triangulation,” Discrete & Computational Geometry, vol. 25, no. 4, pp. 525–568, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
J. P. Bollback and J. Huelsenbeck, “Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae),” Journal of Molecular Evolution, vol. 52, no. 2, pp. 117–128, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
M. Turelli, N. H. Barton, and J. Coyne, “Theory and speciation,” Trends in Ecology and Evolution, vol. 16, no. 7, pp. 330–343, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
S. Otto and N. H. Barton, “Selection for recombination in small populations,” Evolution; International Journal of Organic Evolution, vol. 55, no. 10, pp. 1921–1931, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
N. H. Barton, “The role of hybridisation in evolution,” Molecular Ecology, vol. 10, no. 3, pp. 551–568, 2001.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
N. H. Barton, “Adaptation at the edge of a species’ range,” in Integrating ecology and evolution in a spatial context, Cambridge University Press, 2001, pp. 365–392.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
N. H. Barton, “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
T. A. Henzinger and C. Kirsch, EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” presented at the CDC: Decision and Control, 2001, vol. 3, pp. 2887–2892.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2001, vol. 2034, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” presented at the DASC: Digital Avionics Systems Conference, 2001, pp. 1–11.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” Formal Methods in System Design, vol. 18, no. 2, pp. 97–116, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
R. Alur et al., “jMocha: A model-checking tool that exploits design structure,” presented at the ICSE: Software Engineering, 2001, pp. 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
L. De Alfaro and T. A. Henzinger, “Interface automata,” presented at the FSE: Foundations of Software Engineering, 2001, pp. 109–120.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
L. De Alfaro, T. A. Henzinger, and R. Jhala, “Compositional methods for probabilistic systems,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 351–365.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Symbolic algorithms for infinite-state games,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 536–550.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems, Part II,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 566–581.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” presented at the WWW: World Wide Web Conference, 2001, pp. 86–87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “From verification to control: dynamic programs for omega-regular objectives,” presented at the LICS: Logic in Computer Science, 2001, pp. 279–290.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
L. Erdös, “Long time dynamics of an electron in a weakly coupled phonon field,” ICMP: International Congress on Mathematical Physics, pp. 273–281, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 2734
L. Erdös and J. Solovej, “The kernel of Dirac operators on S3 and R3,” Reviews in Mathematical Physics, vol. 13, no. 10, pp. 1247–1280, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
L. Erdös, “Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case,” Probability Theory and Related Fields, vol. 121, no. 2, pp. 219–236, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
L. Erdös and H. Yau, “Derivation of the nonlinear Schrödinger equation from a many body Coulomb system,” Advances in Theoretical and Mathematical Physics, vol. 5, no. 6, pp. 1169–1205, 2001.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
A. Molendijk et al., “Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth,” EMBO Journal, vol. 20, no. 11, pp. 2779–2788, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
P. Gil et al., “BIG: A calossin-like protein required for polar auxin transport in Arabidopsis,” Genes and Development, vol. 15, no. 15, pp. 1985–1997, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, and K. Palme, “Auxin transport inhibitors block PIN1 cycling and vesicle trafficking,” Nature, vol. 413, no. 6854, pp. 425–428, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
R. Swarup et al., “Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex,” Genes and Development, vol. 15, no. 20, pp. 2648–2653, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
L. Trnková, J. Friml, and O. Dračka, “Elimination voltammetry of adenine and cytosine mixtures,” Bioelectrochemistry, vol. 54, no. 2, pp. 131–136, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 841
Y. Wolf, F. Kondrashov, and E. Koonin, “Footprints of primordial introns on the eukaryotic genome: still no clear traces ,” Trends in Genetics, vol. 17, no. 9, pp. 499–501, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
I. Rogozin, F. Kondrashov, and G. Glazko, “Use of mutation spectra analysis software,” Human Mutation, vol. 17, no. 2, pp. 83–102, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, and L. Milanesi, “Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon,” Bioinformatics, vol. 17, no. 10, pp. 890–900, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
F. Kondrashov and E. Koonin, “Origin of alternative splicing by tandem exon duplication,” Human Molecular Genetics, vol. 10, no. 23, pp. 2661–2669, 2001.
View | DOI
 

Search

Filter Publications