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.

6492 Publications


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

2002 | Journal Article | IST-REx-ID: 4474
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” presented at the POPL: Principles of Programming Languages, 2002, pp. 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 428–441.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2002, vol. 2289, pp. 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” Journal of the ACM, vol. 49, no. 5. ACM, pp. 672–713, 2002.
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. Nature Publishing Group, 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. American Society of Plant Biologists, 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. Cell Press, 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. Cell Press, 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. Springer, 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. Elsevier, pp. 1035–1049, 2002.
View | DOI
 

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. Informa Healthcare, pp. 1372–1379, 2002.
View
 

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 | 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: 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. Springer, 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. Oxford University Press, 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. Genetics Society of America, pp. 1727–1750, 2002.
View | Download (ext.)
 

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. Birkhäuser, 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. IOP Publishing Ltd., 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. Springer, 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. Springer, 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. Springer, 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. Springer, 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. Wiley-Blackwell, 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. Elsevier, 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. Wiley-Blackwell, 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. Academic Press, 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. Elsevier, 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. Elsevier, 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. Society for Neuroscience, 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. Elsevier, 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. Elsevier, pp. 93–97, 2001.
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. World Scientific Publishing, 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. World Scientific Publishing, 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. Springer, 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. International Press, pp. 1169–1205, 2001.
View | Download (ext.)
 

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. Elsevier, 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. Wiley-Blackwell, pp. 83–102, 2001.
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 8524
V. Kaloshin and I. Rodnianski, “Diophantine properties of elements of SO(3),” Geometric And Functional Analysis, vol. 11, no. 5. Springer Nature, pp. 953–970, 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. Oxford University Press, 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. Oxford University Press, pp. 2661–2669, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
F. Kondrashov and A. Kondrashov, “Multidimensional epistasis and the disadvantage of sex,” PNAS, vol. 98, no. 21. National Academy of Sciences, pp. 12089–12092, 2001.
View | DOI
 

Search

Filter Publications