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
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4526
Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2455
Billou, Ikram, et al. “The PIN Auxin Efflux Facilitator Network Controls Growth and Patterning in Arabidopsis Roots.” Nature, vol. 433, no. 7021, Nature Publishing Group, 2005, pp. 39–44, doi:10.1038/nature03184.
View
| DOI
2005 |
Published |
Book Chapter |
IST-REx-ID: 2463
Dubová, J., et al. “Reproduction, Plants.” Encyclopedia of Molecular Cell Biology and Molecular Medicine, edited by Robert Meyers, vol. 12, Wiley-Blackwell, 2005, pp. 249–95, doi:10.1002/3527600906.
View
| DOI
2005 |
Published |
Book Chapter |
IST-REx-ID: 2464
Friml, Jiří, and Justyna Wiśniewska. “Auxin as an Intercellular Signal.” Intercellular Communication in Plants, edited by Andrew Fleming, vol. 16, Wiley-Blackwell, 2005.
View
2005 |
Published |
Book Review |
IST-REx-ID: 2647
Luján, Rafael, et al. “Glutamate and GABA Receptor Signalling in the Developing Brain.” Neuroscience, vol. 130, no. 3, Elsevier, 2005, pp. 567–80, doi:10.1016/j.neuroscience.2004.09.042.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2648
Luján, Rafael, et al. “Preferential Localization of the Hyperpolarization-Activated Cyclic Nucleotide-Gated Cation Channel Subunit HCN1 in Basket Cell Terminals of the Rat Cerebellum.” European Journal of Neuroscience, vol. 21, no. 8, Wiley-Blackwell, 2005, pp. 2073–82, doi:10.1111/j.1460-9568.2005.04043.x.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2649
Tanaka, Junichi, et al. “Number and Density of AMPA Receptors in Single Synapses in Immature Cerebellum.” Journal of Neuroscience, vol. 25, no. 4, Society for Neuroscience, 2005, pp. 799–807, doi:10.1523/JNEUROSCI.4256-04.2005.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 2650
Nyíri, Gábor, et al. “GABAB and CB1 Cannabinoid Receptor Expression Identifies Two Types of Septal Cholinergic Neurons.” European Journal of Neuroscience, vol. 21, no. 11, Wiley-Blackwell, 2005, pp. 3034–42, doi:10.1111/j.1460-9568.2005.04146.x.
View
| DOI