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.

6306 Publications


2002 | Conference Paper | IST-REx-ID: 4423
Embedded software design and system integration for rotorcraft UAV using platforms
B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni Vincentelli, S. Sastry, in:, Elsevier, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
The embedded machine: predictable, portable real-time code
T.A. Henzinger, C. Kirsch, in:, ACM, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Time-safety checking for embedded programs
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, ACM, 2002, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Springer, 2002, pp. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Temporal safety proofs for systems code
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Springer, 2002, pp. 526–538.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, ACM, 2002, pp. 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Springer, 2002, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Springer, 2002, pp. 428–441.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Springer, 2002, pp. 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2987
Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling
M. Souter, J. Topping, M. Pullen, J. Friml, K. Palme, R. Hackett, D. Grierson, K. Lindsey, Plant Cell 14 (2002) 1017–1031.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway
M. Grebe, J. Friml, R. Swarup, K. Ljung, G. Sandberg, M. Terlou, K. Palme, M. Bennett, B. Scheres, Current Biology 12 (2002) 329–334.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis
J. Friml, E. Benková, I. Blilou, J. Wiśniewska, T. Hamann, K. Ljung, S. Woody, G. Sandberg, B. Scheres, G. Jürgens, K. Palme, Cell 108 (2002) 661–673.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Polar auxin transport - Old questions and new concepts?
J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
View | DOI
 

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

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

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

2002 | Conference Paper | IST-REx-ID: 3423
The percolation interpretation of the nuclear fragmentation phase transition
W. Bauer, M.T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, EP Systema, 2002, pp. 111–118.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
3d supernovae collapse calculations
M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Implementation of shape grammar for plan analysis
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Patch-clamp recording in brain slices with improved slicer technology
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archiv : European Journal of Physiology 443 (2002) 491–501.
View | DOI
 
 

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

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

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
View | DOI | Download (ext.)
 

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

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

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

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

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

2001 | Journal Article | IST-REx-ID: 2419
A continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, Discrete & Computational Geometry 26 (2001) 205–219.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
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
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Journal of Comparative Neurology 432 (2001) 466–480.
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 2607
Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms
S. Mion, C. Corti, A. Neki, R. Shigemoto, M. Corsi, G. Fumagalli, F. Ferraguti, Molecular and Cellular Neuroscience 17 (2001) 957–972.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2609 View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7
G. Sansig, T. Bushell, V. Clarke, A. Rozov, N. Burnashev, C. Portet, F. Gasparini, M. Schmutz, K. Klebs, R. Shigemoto, P. Flor, R. Kühn, T. Knoepfel, M. Schroeder, D. Hampson, V. Collett, C. Zhang, R. Duvoisin, G. Collingridge, H. Van Der Putten, Journal of Neuroscience 21 (2001) 8734–8745.
View
 

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

2001 | Journal Article | IST-REx-ID: 2612
Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat
J. Li, R. Shigemoto, Á. Kulik, P. Chen, S. Nomura, T. Kaneko, N. Mizuno, Neuroscience Letters 315 (2001) 93–97.
View | DOI
 

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

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

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

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

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

2001 | Journal Article | IST-REx-ID: 851
Use of mutation spectra analysis software
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8521
A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 28–36.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8522
A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8524
Diophantine properties of elements of SO(3)
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 867
Origin of alternative splicing by tandem exon duplication
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
Interface automata
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 109–120.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
MCWEB: A model-checking tool for web-site debugging
L. De Alfaro, T.A. Henzinger, F. Mang, in:, ACM, 2001, pp. 86–87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
From verification to control: dynamic programs for omega-regular objectives
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, IEEE, 2001, pp. 279–290.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1452 | OA
Examples of mirror partners arising from integrable systems
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1453 | OA
Geometric construction of new Yang-Mills instantons over Taub-NUT space
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1454 | OA
Geometric interpretation of Schwarzschild instantons
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 888
Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3927
TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis
D. Wolf, R. Hallmann, G. Sass, M.K. Sixt, S. Küsters, B. Fregien, C. Trautwein, G. Tiegs, Journal of Immunology 166 (2001) 1300–1307.
View | Download (ext.)
 

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

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

2001 | Journal Article | IST-REx-ID: 4001
Shape space from deformation
H. Cheng, H. Edelsbrunner, P. Fu, Computational Geometry: Theory and Applications 19 (2001) 191–204.
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 4005
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, SIAM, 2001, pp. 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4006
180 wrapped tubes
H. Edelsbrunner, Journal of Universal Computer Science 7 (2001) 379–399.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4007
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
C.-P.J. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 4265
Selection for recombination in small populations
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
The role of hybridisation in evolution
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Adaptation at the edge of a species' range
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
The evolutionary consequences of gene flow and local adaptation: Future approaches
N.H. Barton, in:, Dispersal, Oxford University Press, 2001.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, C. Kirsch, EMSOFT: Embedded Software, ACM, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Some lessons from the HYTECH experience
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, IEEE, 2001, pp. 2887–2892.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
A reusable and platform-independent framework for distributed control systems
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, IEEE, 2001, pp. 1–11.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2981 | OA
Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
BIG: A calossin-like protein required for polar auxin transport in Arabidopsis
P. Gil, E. Dewey, J. Friml, Y. Zhao, K. Snowden, J. Putterill, K. Palme, M. Estelle, J. Chory, Genes and Development 15 (2001) 1985–1997.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2984
Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 3169
Computing visual correspondence with occlusions using graph cuts
V. Kolmogorov, R. Zabih, in:, IEEE, 2001, pp. 508–515.
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Application of the likelihood function in phylogenetic analysis
J. Huelsenbeck, J.P. Bollback, in:, D. Balding, M. Bishop, C. Cannings (Eds.), Handbook of Statistical Genetics, Wiley-Blackwell, 2001, pp. 415–439.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Bayesian inference of phylogeny and its impact on evolutionary biology
J. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback, Science 294 (2001) 2310–2314.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi
J. Conn, J.P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, M. Povoa, Molecular Ecology Notes 1 (2001) 223–225.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Empirical and hierarchical Bayesian estimation of ancestral states
J. Huelsenbeck, J.P. Bollback, Systematic Biology 50 (2001) 351–366.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
Weighted quantified computation tree logic
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.
View
 

Search

Filter Publications