Please note that IST 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.

6021 Publications


2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties. Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, Benny H. .., et al. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology, vol. 14, no. 12, Elsevier, 2004, pp. 1105–11, doi:10.1016/j.cub.2004.06.027.
View | DOI | PubMed | Europe PMC
 

2004 | Book Review | IST-REx-ID: 2636
Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme, vol. 49, no. 3 Suppl, Kyoritsu Shuppan, 2004, pp. 287–94.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Kulik, Ákos, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” European Journal of Neuroscience, vol. 19, no. 8, Wiley-Blackwell, 2004, pp. 2169–78, doi:10.1111/j.0953-816X.2004.03319.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi, Jozsef, et al. “GABAergic Basket Cells Expressing Cholecystokinin Contain Vesicular Glutamate Transporter Type 3 (VGLUT3) in Their Synaptic Terminals in Hippocampus and Isocortex of the Rat.” European Journal of Neuroscience, vol. 19, no. 3, Wiley-Blackwell, 2004, pp. 552–69, doi:10.1111/j.0953-816X.2003.03091.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.” Journal of Comparative Neurology, vol. 471, no. 3, Wiley-Blackwell, 2004, pp. 241–76, doi:10.1002/cne.11039.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Kang, Youngnam, et al. “Bidirectional Interactions between H-Channels and Na+-K + Pumps in Mesencephalic Trigeminal Neurons.” Journal of Neuroscience, vol. 24, no. 14, Society for Neuroscience, 2004, pp. 3694–702, doi:10.1523/JNEUROSCI.5641-03.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, Francesco, et al. “Immunolocalization of Metabotropic Glutamate Receptor 1α (MGluR1α) in Distinct Classes of Interneuron in the CA1 Region of the Rat Hippocampus.” Hippocampus, vol. 14, no. 2, Wiley-Blackwell, 2004, pp. 193–215, doi:10.1002/hipo.10163.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján, Rafael, et al. “Localization of the GABAB Receptor 1a/b Subunit Relative to Glutamatergic Synapses in the Dorsal Cochlear Nucleus of the Rat.” Journal of Comparative Neurology, vol. 475, no. 1, Wiley-Blackwell, 2004, pp. 36–46, doi:10.1002/cne.20160.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Kogo, Naoki, et al. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.” European Journal of Neuroscience, vol. 19, no. 10, Wiley-Blackwell, 2004, pp. 2727–40, doi:10.1111/j.0953-816X.2004.03394.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
Chan, Savio, et al. “HCN2 and HCN1 Channels Govern the Regularity of Autonomous Pacemaking and Synaptic Resetting in Globus Pallidus Neurons.” Journal of Neuroscience, vol. 24, no. 44, Society for Neuroscience, 2004, pp. 9921–32, doi:10.1523/JNEUROSCI.2162-04.2004.
View | DOI
 

Search

Filter Publications