Please note that ISTA 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.

8027 Publications


2002 | Journal Article | IST-REx-ID: 4407
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” Theoretical Computer Science, vol. 274, no. 1–2. Elsevier, pp. 151–182, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
C. Kirsch, M. Sanvido, T. A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” presented at the CSL: Computer Science Logic, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” presented at the IFAC: World Congress on Automatic Control, 2002, vol. 15, no. 1.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
T. A. Henzinger and C. Kirsch, “The embedded machine: predictable, portable real-time code,” presented at the PLDI: Programming Languages Design and Implementation, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 76–92.
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: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” presented at the ICALP: Automata, Languages and Programming, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 526–538.
View | DOI
 

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 | 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 | Conference Paper | IST-REx-ID: 4631
L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 108–122.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans,” Nature, vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
View | DOI | PubMed | Europe PMC
 

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. Springer, 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. BioMed Central, 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. National Academy of Sciences, 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. Nature Publishing Group, pp. 415–418, 2002.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 11125
M. Hetzer, H. H. Meyer, T. C. Walther, D. Bilbao-Cortes, G. Warren, and I. W. Mattaj, “Distinct AAA-ATPase p97 complexes function in discrete steps of nuclear assembly,” Nature Cell Biology, vol. 3, no. 12. Springer Nature, pp. 1086–1091, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 11755
M. H. Henzinger, “Hyperlink analysis for the Web,” IEEE Internet Computing, vol. 5, no. 1. Institute of Electrical and Electronics Engineers, pp. 45–50, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 11892
M. H. Henzinger and V. King, “Maintaining minimum spanning forests in dynamic graphs,” SIAM Journal on Computing, vol. 31, no. 2. Society for Industrial & Applied Mathematics, pp. 364–374, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 11914
K. Bharat, B.-W. Chang, M. H. Henzinger, and M. Ruhl, “Who links to whom: Mining linkage between Web sites,” in 1st IEEE International Conference on Data Mining, San Jose, CA, United States, 2001, pp. 51–58.
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 1454 | OA
G. Etesi and T. Hausel, “Geometric interpretation of Schwarzschild instantons,” Journal of Geometry and Physics, vol. 37, no. 1–2. Elsevier, pp. 126–136, 2001.
View | DOI | 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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.)
 

Search

Filter Publications