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.
11357 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View
| DOI
| Download (ext.)
2008 |
Published |
Thesis |
IST-REx-ID: 4524
Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4527
Fisher, Jasmin, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 11884
Henzinger, Monika. “Search Technologies for the Internet.” Science, vol. 317, no. 5837, American Association for the Advancement of Science, 2007, pp. 468–71, doi:10.1126/science.1126557.
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Conference Paper |
IST-REx-ID: 11924
Henzinger, Monika. “Combinatorial Algorithms for Web Search Engines: Three Success Stories.” 18th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 2007, pp. 1022–26.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 12201
Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.” Trends in Genetics, vol. 23, no. 10, Elsevier BV, 2007, pp. 503–10, doi:10.1016/j.tig.2007.08.005.
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 2665
Tóth, Kinga, et al. “Morphology and Synaptic Input of Substance P Receptor-Immunoreactive Interneurons in Control and Epileptic Human Hippocampus.” Neuroscience, vol. 144, no. 2, Elsevier, 2007, pp. 495–508, doi:10.1016/j.neuroscience.2006.09.039.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2666
Luyt, Karen, et al. “Developing Oligodendrocytes Express Functional GABAB Receptors That Stimulate Cell Proliferation and Migration.” Journal of Neurochemistry, vol. 100, no. 3, Wiley-Blackwell, 2007, pp. 822–40, doi:10.1111/j.1471-4159.2006.04255.x.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2667
Masugi Tokita, Miwako, et al. “Number and Density of AMPA Receptors in Individual Synapses in the Rat Cerebellum as Revealed by SDS-Digested Freeze-Fracture Replica Labeling.” Journal of Neuroscience, vol. 27, no. 8, Society for Neuroscience, 2007, pp. 2135–44, doi:10.1523/JNEUROSCI.2861-06.2007.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2668
Boyes, Justin, et al. “Functional Presynaptic HCN Channels in the Rat Globus Pallidus.” European Journal of Neuroscience, vol. 25, no. 7, Wiley-Blackwell, 2007, pp. 2081–92, doi:10.1111/j.1460-9568.2007.05463.x.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2669
Brewster, Amy, et al. “Quantitative Analysis and Subcellular Distribution of MRNA and Protein Expression of the Hyperpolarization-Activated Cyclic Nucleotide-Gated Channels throughout Development in Rat Hippocampus.” Cerebral Cortex, vol. 17, no. 3, Oxford University Press, 2007, pp. 702–12, doi:10.1093/cercor/bhk021.
View
| DOI
2007 |
Published |
Book Review |
IST-REx-ID: 2670
Masugi Tokita, Miwako, and Ryuichi Shigemoto. “High-Resolution Quantitative Visualization of Glutamate and GABA Receptors at Central Synapses.” Current Opinion in Neurobiology, vol. 17, no. 3, Elsevier, 2007, pp. 387–93, doi:10.1016/j.conb.2007.04.012.
View
| DOI