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
2007 |
Published |
Conference (Editor) |
IST-REx-ID: 4530
Duparc J, Henzinger TA. CSL: Computer Science Logic . Vol 4646. Springer; 2007. doi:10.1007/978-3-540-74915-8
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4531
Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 2007;3(5):e92. doi:10.1371/journal.pcbi.0030092
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4537
Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:10.1007/978-3-540-71209-1_21
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 4547
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 2007;3(184):1-23. doi:10.2168/LMCS-3(3:4)2007
View
| DOI
2007 |
Published |
Thesis |
IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View
| Download (ext.)
2007 |
Published |
Thesis |
IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 4567
Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 2007;9(5):505-525. doi:10.1007/s10009-007-0044-z
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View
| DOI
2007 |
Published |
Conference Paper |
IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 11929
Henzinger M. Finding near-duplicate web pages: A large-scale evaluation of algorithms. In: 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2657
Luján R, Shigemoto R. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 2006;23(6):1479-1490. doi:10.1111/j.1460-9568.2006.04669.x
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2659
Inamura M, Itakura M, Okamoto H, et al. Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 2006;55(1):45-53. doi:10.1016/j.neures.2006.01.004
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2660
Shaban H, Humeau Y, Herry C, et al. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 2006;9(8):1028-1035. doi:10.1038/nn1732
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2661
Vigot R, Barbieri S, Bräuner Osborne H, et al. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 2006;50(4):589-601. doi:10.1016/j.neuron.2006.04.014
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2662
Kulik Á, Vida I, Fukazawa Y, et al. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 2006;26(16):4289-4297. doi:10.1523/JNEUROSCI.4178-05.2006
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
View
| DOI
2006 |
Published |
Book Review |
IST-REx-ID: 2664
Ferraguti F, Shigemoto R. Metabotropic glutamate receptors. Cell and Tissue Research. 2006;326(2):483-504. doi:10.1007/s00441-006-0266-5
View
| DOI