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, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/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. Royal Society of London, 2008. https://doi.org/10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4521
Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,” 147–58. ACM, 2008. https://doi.org/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.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4527
Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,” 5054:17–32. Springer, 2008. https://doi.org/10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science. World Scientific Publishing, 2008. https://doi.org/10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,” 79–88. ACM, 2008. https://doi.org/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. Elsevier, 2008. https://doi.org/10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,” 909–14. IEEE, 2008. https://doi.org/10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory. Springer, 2008. https://doi.org/10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4568
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,” 29–38. ACM, 2008. https://doi.org/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. American Association for the Advancement of Science, 2007. https://doi.org/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.” In 18th Annual ACM-SIAM Symposium on Discrete Algorithms, 1022–26. Society for Industrial & Applied Mathematics, 2007.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 12201
Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.” Trends in Genetics. Elsevier BV, 2007. https://doi.org/10.1016/j.tig.2007.08.005.
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 2665
Tóth, Kinga, Lucia Wittner, Z Urbán, Werner Doyle, György Buzsáki, Ryuichi Shigemoto, Tamás Freund, and Zsófia Maglóczky. “Morphology and Synaptic Input of Substance P Receptor-Immunoreactive Interneurons in Control and Epileptic Human Hippocampus.” Neuroscience. Elsevier, 2007. https://doi.org/10.1016/j.neuroscience.2006.09.039.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2666
Luyt, Karen, Timothy Slade, Jienchi Dorward, Claire Durant, Yue Wu, Ryuichi Shigemoto, Stuart Mundell, Anikó Váradi, and Elek Molnár. “Developing Oligodendrocytes Express Functional GABAB Receptors That Stimulate Cell Proliferation and Migration.” Journal of Neurochemistry. Wiley-Blackwell, 2007. https://doi.org/10.1111/j.1471-4159.2006.04255.x.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2667
Masugi Tokita, Miwako, Etsuko Tarusawa, Masahiko Watanabe, Elek Molnár, Kazushi Fujimoto, and Ryuichi Shigemoto. “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. Society for Neuroscience, 2007. https://doi.org/10.1523/JNEUROSCI.2861-06.2007.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2668
Boyes, Justin, John Bolam, Ryuichi Shigemoto, and Ian Stanford. “Functional Presynaptic HCN Channels in the Rat Globus Pallidus.” European Journal of Neuroscience. Wiley-Blackwell, 2007. https://doi.org/10.1111/j.1460-9568.2007.05463.x.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 2669
Brewster, Amy, Yuncai Chen, Roland Bender, Amy Yeh, Ryuichi Shigemoto, and Tallie Baram. “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. Oxford University Press, 2007. https://doi.org/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. Elsevier, 2007. https://doi.org/10.1016/j.conb.2007.04.012.
View
| DOI