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.

6063 Publications


2003 | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design, 23(3), 303–327. https://doi.org/10.1023/A:1026228213080
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control (Vol. 2719, pp. 886–902). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45061-0_69
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement (Vol. 2725, pp. 262–274). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code (Vol. 2855, pp. 241–256). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/978-3-540-45212-6_16
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell. https://doi.org/10.1002/047172288X.ch8
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus (Vol. 2619, pp. 49–64). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-36577-X_5
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST (Vol. 2648, pp. 235–239). Presented at the SPIN: Model Checking Software, Springer. https://doi.org/10.1007/3-540-44829-2_17
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine, 23(1), 50–64. https://doi.org/10.1109/MCS.2003.1172829
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1), 84–99. https://doi.org/10.1109/JPROC.2002.805825
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2003). Resource interfaces (Vol. 2855, pp. 117–133). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory (Vol. 2719, pp. 1022–1037). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45061-0_79
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2003). The element of surprise in timed games (Vol. 2761, pp. 144–158). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-45187-7_9
View | DOI
 

2003 | Journal Article | IST-REx-ID: 576
Hosten, O., Vignolo, P., Minguzzi, A., Tanatar, B., & Tosi, M. (2003). Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics, 36(12), 2455–2463. https://doi.org/10.1088/0953-4075/36/12/306
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Rogers, C., Reale, V., Kim, K., Chatwin, H., Li, C., Evans, P., & de Bono, M. (2003). Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience, 6(11), 1178–1185. https://doi.org/10.1038/nn1140
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
de Bono, M. (2003). Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology, 54(1), 78–92. https://doi.org/10.1002/neu.10162
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 2623
Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa, Y., … De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology, 53(3), 325–336. https://doi.org/10.1002/ana.10451
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Minami, I., Kengaku, M., Smitt, S., Shigemoto, R., & Hirano, T. (2003). Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience, 17(5), 1023–1032. https://doi.org/10.1046/j.1460-9568.2003.02499.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
Kaneda, K., Imanishi, M., Nambu, A., Shigemoto, R., & Takada, M. (2003). Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport, 14(7), 947–950. https://doi.org/10.1097/01.wnr.0000074344.81633.e4
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami, R., Shinohara, Y., Kato, Y., Sugiyama, H., Shigemoto, R., & Ito, I. (2003). Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science, 300(5621), 990–994. https://doi.org/10.1126/science.1082609
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
Momiyama, A., Silver, R., Häusser, M., Notomi, T., Wu, Y., Shigemoto, R., & Cull Candy, S. (2003). The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology, 549(1), 75–92. https://doi.org/10.1113/jphysiol.2002.033472
View | DOI
 

Search

Filter Publications