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.
8923 Publications
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
2006 |
Published |
Journal Article |
IST-REx-ID: 2662
Kulik, Á., Vida, I., Fukazawa, Y., Guetg, N., Kasugai, Y., Marker, C., … Shigemoto, R. (2006). Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4178-05.2006
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2663
Kodama, T., Itsukaichi Nishida, Y., Fukazawa, Y., Wakamori, M., Miyata, M., Molnár, E., … Imoto, K. (2006). A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2006.05191.x
View
| DOI
2006 |
Published |
Book Review |
IST-REx-ID: 2664
Ferraguti, F., & Shigemoto, R. (2006). Metabotropic glutamate receptors. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-006-0266-5
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2745
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2006). Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-005-0388-z
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 2746
Erdös, L., Salmhofer, M., & Yau, H. (2006). Towards the quantum Brownian motion (Vol. 690, pp. 233–257). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1007/3-540-34273-7_18
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2747
Erdös, L., Schlein, B., & Yau, H. (2006). Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. Wiley-Blackwell. https://doi.org/10.1002/cpa.20123
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2791
Hof, B., Westerweel, J., Schneider, T., & Eckhardt, B. (2006). Finite lifetime of turbulence in shear flows. Nature. Nature Publishing Group. https://doi.org/10.1038/nature05089
View
| DOI