AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.

On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.

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.

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.

Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.

Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.

Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).

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.

The embedded machine: Predictable, portable real-time code
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).

Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.

Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.

Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.

CSL: Computer Science Logic 
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.

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).

Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.

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.

Localization of metabotropic GABA receptor subunits GABA and GABA relative to synaptic sites in the rat developing cerebellum
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.

 Differential localization and regulation of stargazin-like protein, ;3-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.

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.

Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Turedek, 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.