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.
8923 Publications
2002 |
Published |
Journal Article |
IST-REx-ID: 4263
Barton NH, Depaulis F, Etheridge A. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 2002;61(1):31-48. doi:10.1006/tpbi.2001.1557
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. Inferring the root of a phylogenetic tree. Systematic Biology. 2002;51(1):32-43. doi:10.1080/106351502753475862
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 4349
Bollback JP. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 2002;19(7):1171-1180. doi:10.1093/oxfordjournals.molbev.a004175
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. Theoretical Computer Science. 2002;274(1-2):151-182. doi:10.1016/S0304-3975(00)00308-X
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. Convertibility verification and converter synthesis: Two faces of the same coin. In: Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design. IEEE; 2002:132-139. doi:10.1145/774572.774592
View
| DOI
2002 |
Published |
Thesis |
IST-REx-ID: 4414
Mang F. Games in open systems verification and synthesis. 2002:1-116.
View
2002 |
Published |
Conference Paper |
IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. A Giotto-based helicopter control system. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. Trading probability for fairness. In: Proceedings of the 16th International Workshop on Computer Science Logic. Vol 2471. Springer; 2002:292-305. doi:10.1007/3-540-45793-3_20
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration for rotorcraft UAV using platforms. In: Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. Vol 15. Elsevier; 2002. doi:10.3182/20020721-6-ES-1901.01628
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4444
Henzinger TA, Kirsch C. The embedded machine: predictable, portable real-time code. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation. ACM; 2002:315-326. doi:10.1145/512529.512567
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Proceedings of the 29th International Colloquium on Automata, Languages and Programming. Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:526-538. doi:10.1007/3-540-45657-0_45
View
| DOI
2002 |
Published |
Journal Article |
IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 2002;24(1):51-64. doi:10.1145/509705.509707
View
| DOI
2002 |
Published |
Journal Article |
IST-REx-ID: 4474 |
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. Information and Computation. 2002;173(1):64-81. doi:10.1006/inco.2001.3085
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 |
Published |
Conference Paper |
IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. Lazy abstraction. In: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM; 2002:58-70. doi:10.1145/503272.503279
View
| DOI
2001 |
Published |
Journal Article |
IST-REx-ID: 2604
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 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. 2001;432(4):466-480. doi:10.1002/cne.1114
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 2605
Geurts F, Timmermans J, Shigemoto R, De Schutter E. Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience. 2001;104(2):499-512. doi:10.1016/S0306-4522(01)00058-6
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 2606
Martínez G, López Bendito G, Luján R, Shigemoto R, Fairén A, Valdeolmillos M. Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience. 2001;13(6):1147-1154. doi:10.1046/j.0953-816X.2001.01494.x
View
| DOI
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 2607
Mion S, Corti C, Neki A, et al. Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms. Molecular and Cellular Neuroscience. 2001;17(6):957-972. doi:10.1006/mcne.2001.0993
View
| DOI
| PubMed | Europe PMC