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.
8920 Publications
2007 |
Published |
Conference Paper |
IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: a property-based monitoring tool for analog systems (pp. 304–319). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1567
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties (pp. 95–107). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1568
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4394
Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., & Rinard, M. (2007). Using First-Order Theorem Provers in the Jahob Data Structure Verification System (pp. 74–88). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1552
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4398
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., & Yang, H. (2007). Shape Analysis for Composite Data Structures (pp. 178–192). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1553
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4399
Beyer, D., Henzinger, T. A., & Singh, V. (2007). Algorithms for interface synthesis (Vol. 4590, pp. 4–19). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_4
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4402
Alur, R., Cerny, P., & Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/1544
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4405
Schaub, M., Henzinger, T. A., & Fisher, J. (2007). Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-1-4
View
| DOI
| Download (ext.)
2007 |
Published |
Book Chapter |
IST-REx-ID: 4417
Manevich, R., Field, J., Henzinger, T. A., Ramalingam, G., & Sagiv, M. (2007). Abstract counterexample-based refinement for powerset domains. In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Vol. 4444, pp. 273–292). Springer. https://doi.org/10.1007/978-3-540-71322-7_13
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4446
Henzinger, T. A., & Kirsch, C. (2007). The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/1286821.1286824
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4511
Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer. https://doi.org/10.1007/978-3-540-73208-2_2
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4514
Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer. https://doi.org/10.1007/978-3-540-69507-3_7
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4529
Fisher, J., & Henzinger, T. A. (2007). Executable cell biology. Nature Biotechnology. Nature Publishing Group. https://doi.org/10.1038/nbt1356
View
| DOI
2007 |
Published |
Conference (Editor) |
IST-REx-ID: 4530
Duparc, J., & Henzinger, T. A. (2007). CSL: Computer Science Logic . CSL: Computer Science Logic (Vol. 4646). Springer. https://doi.org/10.1007/978-3-540-74915-8
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4531
Fisher, J., Piterman, N., Hajnal, A., & Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.0030092
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4537
Chatterjee, K., & Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-71209-1_21
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4547
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-3(3:4)2007
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2657
Luján, R., & Shigemoto, R. (2006). Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2006.04669.x
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2659
Inamura, M., Itakura, M., Okamoto, H., Hoka, S., Mizoguchi, A., Fukazawa, Y., … Takahashi, M. (2006). Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. Elsevier. https://doi.org/10.1016/j.neures.2006.01.004
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2660
Shaban, H., Humeau, Y., Herry, C., Cassasus, G., Shigemoto, R., Ciocchi, S., … Lüthi, A. (2006). Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn1732
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2661
Vigot, R., Barbieri, S., Bräuner Osborne, H., Tureček, R., Shigemoto, R., Zhang, Y., … Bettler, B. (2006). Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2006.04.014
View
| DOI