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.

6282 Publications


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. Springer, pp. 97–116, 2001.
View | DOI
 

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. Wiley-Blackwell, 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. Cold Spring Harbor Laboratory Press, 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. Nature Publishing Group, 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. Cold Spring Harbor Laboratory Press, 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. Elsevier, pp. 131–136, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
V. Kolmogorov and R. Zabih, “Computing visual correspondence with occlusions using graph cuts,” presented at the ICCV: International Conference on Computer Vision, 2001, vol. 2, pp. 508–515.
View | DOI | Download (ext.)
 

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

2001 | Journal Article | IST-REx-ID: 3438
J. Huelsenbeck, F. Ronquist, R. Nielsen, and J. P. Bollback, “Bayesian inference of phylogeny and its impact on evolutionary biology,” Science, vol. 294, no. 5550. American Association for the Advancement of Science, pp. 2310–2314, 2001.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 3440
J. Huelsenbeck and J. P. Bollback, “Empirical and hierarchical Bayesian estimation of ancestral states,” Systematic Biology, vol. 50, no. 3. Oxford University Press, pp. 351–366, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
M. . Jones, P. M. Jonas, Y. Sahara, and G. Westbrook, “Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists,” Biophysical Journal, vol. 81, no. 5. Biophysical Society, pp. 2660–2670, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3494
M. Bartos, I. Vida, M. Frotscher, J. Geiger, and P. M. Jonas, “Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.,” Journal of Neuroscience, vol. 21, no. 8. Society for Neuroscience, pp. 2687–2698, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3495
J. Jerecic, C. Schulze, P. M. Jonas, R. Sprengel, P. Seeburg, and J. Bischofberger, “Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression,” Molecular brain research, vol. 94, no. 1–2. Elsevier, pp. 96–104, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3496 | OA
H. Alle, P. M. Jonas, and J. Geiger, “PTP and LTP at a hippocampal mossy fiber-interneuron synapse,” PNAS, vol. 98, no. 25. National Academy of Sciences, pp. 14708–14713, 2001.
View | DOI | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
J. Liang and H. Edelsbrunner, “Molecular classification for property prediction.” Elsevier, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3517
I. Szabo, A. Czurkó, J. L. Csicsvari, H. Hirase, X. Leinekugel, and G. Buzsáki, “The application of printed circuit board technology for fabrication of multi-channel micro-drives,” Journal of Neuroscience Methods, vol. 105, no. 1. Elsevier, pp. 105–110, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3540
H. Hirase, X. Leinekugel, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience,” PNAS, vol. 98, no. 16. National Academy of Sciences, pp. 9386–9390, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
H. Hirase, X. Leinekugel, J. L. Csicsvari, A. Czurkó, and G. Buzsáki, “Behavior-dependent states of the hippocampal network affect functional clustering of neurons,” Journal of Neuroscience, vol. 21, no. 10. Society for Neuroscience, 2001.
View
 

2001 | Book | IST-REx-ID: 3586
H. Edelsbrunner, Geometry and Topology for Mesh Generation, vol. 7. Cambridge University Press, 2001.
View | Files available | DOI
 

2001 | Book Review | IST-REx-ID: 3596
N. H. Barton, “Mendel and mathematics,” Trends in Genetics, vol. 17. Elsevier, pp. 420–420, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
M. Gardner, K. Fowler, L. Patridge, and N. H. Barton, “Genetic variation for preadult viability in Drosophila melanogaster,” Evolution, vol. 55, no. 8. Wiley-Blackwell, pp. 1609–1620, 2001.
View | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2325
R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2342 | OA
R. Seiringer, É. Lieb, and J. Yngvason, “The ground state energy and density of interacting bosons in a trap,” presented at the ISQTS: Quantum Theory and Symmetries, 2000, pp. 101–110.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 2343 | OA
B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous magnetic fields,” Letters in Mathematical Physics, vol. 54, no. 3. Springer, pp. 213–226, 2000.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 2344 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 61, no. 4. American Physical Society, pp. 436021–4360213, 2000.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2418
U. Wagner and E. Welzl, “Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem,” presented at the SCG: Symposium on Computational Geometry, 2000, pp. 50–56.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 2494
R. Shigemoto and N. Mizuno, “Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses,” in Glutamate, vol. 18, Elsevier, 2000, pp. 63–98.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
P. Sillevis Smitt et al., “Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor,” New England Journal of Medicine, vol. 342, no. 1. Massachussetts Medical Society, pp. 21–27, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2599
J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat,” Journal of Comparative Neurology, vol. 418, no. 2. Wiley-Blackwell, pp. 156–163, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2600
J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat,” Neuroscience Research, vol. 36, no. 4. Elsevier, pp. 327–334, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
T. Ichise et al., “mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination,” Science, vol. 288, no. 5472. American Association for the Advancement of Science, pp. 1832–1835, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2602
J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, and L. Fagni, “Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons,” Journal of Neuroscience, vol. 20, no. 21. Society for Neuroscience, pp. 7896–7904, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 2603
H. Boudin et al., “Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site,” Neuron, vol. 28, no. 2. Elsevier, pp. 485–497, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2710
L. Erdös, “The kernel of Dirac operators on S3 and R3,” presented at the Differential Equations and Mathematical Physics, 2000, vol. 16, pp. 111–119.
View
 

2000 | Journal Article | IST-REx-ID: 2731
L. Erdös and H. Yau, “Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation,” Communications on Pure and Applied Mathematics, vol. 53, no. 6. Wiley-Blackwell, pp. 667–735, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2732
F. Castella, L. Erdös, F. Frommlet, and P. Markowich, “Fokker-Planck equations as scaling limits of reversible quantum systems,” Journal of Statistical Physics, vol. 100, no. 3–4. Springer, pp. 543–601, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
L. Erdös, M. Loss, and V. Vougalter, “Diamagnetic behavior of sums Dirichlet eigenvalues,” Annales de l’Institut Fourier, vol. 50, no. 3. Association des Annales de l’Institut Fourier, pp. 891–907, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 842
Y. Wolf, F. Kondrashov, and E. Koonin, “No footprints of primordial introns in a eukaryotic genome,” Trends in Genetics, vol. 16, no. 8. Elsevier, pp. 333–334, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 8525
V. Kaloshin, “Generic diffeomorphisms with superexponential growth of number of periodic orbits,” Communications in Mathematical Physics, vol. 211. Springer Nature, pp. 253–271, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 1736
G. Katsaros, P. Lane, and M. Murphy, “Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems,” presented at the Lasers and Electro Optics Society Annual Meeting, 2000, vol. 1, pp. 27–28.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1957
L. A. Sazanov and J. Walker, “Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms,” Journal of Molecular Biology, vol. 302, no. 2. Elsevier, pp. 455–464, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1958
L. A. Sazanov, S. Peak Chew, I. Fearnley, and J. Walker, “Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme,” Biochemistry, vol. 39, no. 24. ACS, pp. 7229–7235, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” presented at the LICS: Logic in Computer Science, 2000, pp. 141–154.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” presented at the CONCUR: Concurrency Theory, 2000, vol. 1877, pp. 458–473.
View | DOI
 

Search

Filter Publications