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
AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.
View
| DOI
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4370
On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4394
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
View
| DOI
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4398
Shape Analysis for Composite Data Structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
View
| DOI
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View
| DOI
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4402
Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.
View
| DOI
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.
2007 |
Published |
Journal Article |
IST-REx-ID: 4405
Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
View
| DOI
| Download (ext.)
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
2007 |
Published |
Book Chapter |
IST-REx-ID: 4417
Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
View
| DOI
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
2007 |
Published |
Journal Article |
IST-REx-ID: 4446
The embedded machine: Predictable, portable real-time code
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).
View
| DOI
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).
2007 |
Published |
Conference Paper |
IST-REx-ID: 4511
Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
2007 |
Published |
Conference Paper |
IST-REx-ID: 4514
Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
2007 |
Published |
Journal Article |
IST-REx-ID: 4529
Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
View
| DOI
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
2007 |
Published |
Conference (Editor) |
IST-REx-ID: 4530
CSL: Computer Science Logic
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
View
| DOI
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
2007 |
Published |
Journal Article |
IST-REx-ID: 4531
Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
View
| DOI
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
2007 |
Published |
Conference Paper |
IST-REx-ID: 4537
Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
2007 |
Published |
Journal Article |
IST-REx-ID: 4547
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
2006 |
Published |
Journal Article |
IST-REx-ID: 2657
Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.
View
| DOI
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.
2006 |
Published |
Journal Article |
IST-REx-ID: 2659
Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons
M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.
View
| DOI
M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.
2006 |
Published |
Journal Article |
IST-REx-ID: 2660
Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.
View
| DOI
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.
2006 |
Published |
Journal Article |
IST-REx-ID: 2661
Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Tureček, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.
View
| DOI
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Tureček, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.