[{"publist_id":"305","date_created":"2018-12-11T12:08:47Z","title":"Giotto: A time-triggered language for embedded programming","abstract":[{"text":"Giotto provides a time-triggered programmer’s model for the implementation of embedded control systems with hard real-time constraints. Giotto’s precise semantics and predictabil- ity make it suitable for safety-critical applications.\r\nGiotto is based around the idea that time-triggered task invocation together with time-triggered mode switching can form a useful programming model for real-time systems. To substantiate this claim, we describe the use of Giotto to refactor the software of a small, autonomous helicopter. The ease with which Giotto expresses the existing software provides evidence that Giotto is an appropriate programming language for control systems.\r\nSince Giotto is a real-time programming language, ensuring that Giotto programs meet their deadlines is crucial. To study precedence-constrained Giotto scheduling, we first examine single-mode, single-processor scheduling. We extend to an infinite, periodic setting the classical problem of meeting deadlines for a set of tasks with release times, deadlines, precedence constraints, and preemption. We then develop an algorithm for scheduling Giotto programs on a single processor by representing Giotto programs as instances of the extended scheduling problem.\r\nNext, we study multi-mode, single-processor Giotto scheduling. This problem is different from classical scheduling problems, since in our precedence-constrained approach, the deadlines of tasks may vary depending on the mode switching behavior of the program. We present conditional scheduling models which capture this varying-deadline behavior. We develop polynomial-time algorithms for some conditional scheduling models, and prove oth- ers to be computationally hard. We show how to represent multi-mode Giotto programs as instances of the model, resulting in an algorithm for scheduling multi-mode Giotto programs on a single processor.\r\nFinally, we show that the problem of scheduling Giotto programs for multiple net- worked processors is strongly NP-hard.","lang":"eng"}],"day":"01","date_updated":"2021-01-12T07:56:53Z","oa_version":"None","type":"dissertation","month":"10","author":[{"full_name":"Horowitz, Benjamin","last_name":"Horowitz","first_name":"Benjamin"}],"page":"1 - 237","article_processing_charge":"No","_id":"4425","year":"2003","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"University of California, Berkeley","supervisor":[{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"}],"date_published":"2003-10-01T00:00:00Z","publication_status":"published","citation":{"short":"B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.","chicago":"Horowitz, Benjamin. “Giotto: A Time-Triggered Language for Embedded Programming.” University of California, Berkeley, 2003.","ieee":"B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.","apa":"Horowitz, B. (2003). <i>Giotto: A time-triggered language for embedded programming</i>. University of California, Berkeley.","mla":"Horowitz, Benjamin. <i>Giotto: A Time-Triggered Language for Embedded Programming</i>. University of California, Berkeley, 2003, pp. 1–237.","ista":"Horowitz B. 2003. Giotto: A time-triggered language for embedded programming. University of California, Berkeley.","ama":"Horowitz B. Giotto: A time-triggered language for embedded programming. 2003:1-237."},"language":[{"iso":"eng"}],"extern":"1","status":"public"},{"intvolume":"        23","extern":"1","citation":{"short":"T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.","ieee":"T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” <i>Formal Methods in System Design</i>, vol. 23, no. 3. Springer, pp. 303–327, 2003.","chicago":"Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” <i>Formal Methods in System Design</i>. Springer, 2003. <a href=\"https://doi.org/10.1023/A:1026228213080\">https://doi.org/10.1023/A:1026228213080</a>.","mla":"Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” <i>Formal Methods in System Design</i>, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:<a href=\"https://doi.org/10.1023/A:1026228213080\">10.1023/A:1026228213080</a>.","ista":"Henzinger TA, Kupferman O, Qadeer S. 2003. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 23(3), 303–327.","apa":"Henzinger, T. A., Kupferman, O., &#38; Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. <i>Formal Methods in System Design</i>. Springer. <a href=\"https://doi.org/10.1023/A:1026228213080\">https://doi.org/10.1023/A:1026228213080</a>","ama":"Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. <i>Formal Methods in System Design</i>. 2003;23(3):303-327. doi:<a href=\"https://doi.org/10.1023/A:1026228213080\">10.1023/A:1026228213080</a>"},"status":"public","date_published":"2003-06-20T00:00:00Z","publication_status":"published","_id":"4460","acknowledgement":"This research was supported in part by the SRC contract 99-TJ-683.003 and the NSF grant CCR-9988172.","year":"2003","volume":23,"date_created":"2018-12-11T12:08:58Z","page":"303 - 327","abstract":[{"text":"Symbolic model checking, which enables the automatic verification of large systems, proceeds by calculating expressions that represent state sets. Traditionally, symbolic model-checking tools are based on back- ward state traversal; their basic operation is the function pre, which, given a set of states, returns the set of all predecessor states. This is because specifiers usually employ formalisms with future-time modalities, which are naturally evaluated by iterating applications of pre. It has been shown experimentally that symbolic model checking can perform significantly better if it is based, instead, on forward state traversal; in this case, the basic operation is the function post, which, given a set of states, returns the set of all successor states. This is because forward state traversal can ensure that only parts of the state space that are reachable from an initial state and relevant for the satisfaction or violation of the specification are explored; that is, errors can be detected as soon as possible.\r\nIn this paper, we investigate which specifications can be checked by symbolic forward state traversal. We formulate the problems of symbolic backward and forward model checking by means of two μ-calculi. The pre-μ calculus is based on the pre operation, and the post-μ calculus is based on the post operation. These two μ-calculi induce query logics, which augment fixpoint expressions with a boolean emptiness query. Using query logics, we are able to relate and compare the symbolic backward and forward approaches. In particular, we prove that all ω-regular (linear-time) specifications can be expressed as post-μ queries, and therefore checked using symbolic forward state traversal. On the other hand, we show that there are simple branching-time specifications that cannot be checked in this way.","lang":"eng"}],"date_updated":"2024-01-10T11:50:31Z","type":"journal_article","oa_version":"None","month":"06","language":[{"iso":"eng"}],"issue":"3","doi":"10.1023/A:1026228213080","quality_controlled":"1","publication_identifier":{"issn":["0925-9856"]},"publication":"Formal Methods in System Design","scopus_import":"1","article_processing_charge":"No","article_type":"original","publisher":"Springer","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"From pre-historic to post-modern symbolic model checking","publist_id":"268","author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"full_name":"Kupferman, Orna","first_name":"Orna","last_name":"Kupferman"},{"first_name":"Shaz","last_name":"Qadeer","full_name":"Qadeer, Shaz"}],"day":"20"},{"date_published":"2003-06-25T00:00:00Z","publication_status":"published","intvolume":"      2719","extern":"1","citation":{"ista":"Henzinger TA, Jhala R, Majumdar R. 2003. Counterexample-guided control. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 886–902.","mla":"Henzinger, Thomas A., et al. “Counterexample-Guided Control.” <i>Proceedings of the 30th International Colloquium on Automata, Languages and Programming</i>, vol. 2719, Springer, 2003, pp. 886–902, doi:<a href=\"https://doi.org/10.1007/3-540-45061-0_69\">10.1007/3-540-45061-0_69</a>.","apa":"Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2003). Counterexample-guided control. In <i>Proceedings of the 30th International Colloquium on Automata, Languages and Programming</i> (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer. <a href=\"https://doi.org/10.1007/3-540-45061-0_69\">https://doi.org/10.1007/3-540-45061-0_69</a>","ama":"Henzinger TA, Jhala R, Majumdar R. Counterexample-guided control. In: <i>Proceedings of the 30th International Colloquium on Automata, Languages and Programming</i>. Vol 2719. Springer; 2003:886-902. doi:<a href=\"https://doi.org/10.1007/3-540-45061-0_69\">10.1007/3-540-45061-0_69</a>","short":"T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 886–902.","ieee":"T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in <i>Proceedings of the 30th International Colloquium on Automata, Languages and Programming</i>, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 886–902.","chicago":"Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.” In <i>Proceedings of the 30th International Colloquium on Automata, Languages and Programming</i>, 2719:886–902. Springer, 2003. <a href=\"https://doi.org/10.1007/3-540-45061-0_69\">https://doi.org/10.1007/3-540-45061-0_69</a>."},"alternative_title":["LNCS"],"status":"public","volume":2719,"date_created":"2018-12-11T12:08:58Z","page":"886 - 902","date_updated":"2024-01-10T11:19:41Z","abstract":[{"lang":"eng","text":"A major hurdle in the algorithmic verification and control of systems is the need to find suitable abstract models, which omit enough details to overcome the state-explosion problem, but retain enough details to exhibit satisfaction or controllability with respect to the specification. The paradigm of counterexample-guided abstraction refinement suggests a fully automatic way of finding suitable abstract models: one starts with a coarse abstraction, attempts to verify or control the abstract model, and if this attempt fails and the abstract counterexample does not correspond to a concrete counterexample, then one uses the spurious counterexample to guide the refinement of the abstract model. We present a counterexample-guided refinement algorithm for solving ω-regular control objectives. The main difficulty is that in control, unlike in verification, counterexamples are strategies in a game between system and controller. In the case that the controller has no choices, our scheme subsumes known counterexample-guided refinement algorithms for the verification of ω-regular specifications. Our algorithm is useful in all situations where ω-regular games need to be solved, such as supervisory control, sequential and program synthesis, and modular verification. The algorithm is fully symbolic, and therefore applicable also to infinite-state systems."}],"oa_version":"None","month":"06","type":"conference","_id":"4462","acknowledgement":"This research was supported in part by the DARPA SEC grant F33615-C-98-3614, the ONR grant N00014-02-1-0671, and the NSF grants CCR-9988172, CCR-0085949, and CCR-0225610.","year":"2003","doi":"10.1007/3-540-45061-0_69","quality_controlled":"1","publication_identifier":{"isbn":["9783540404934"]},"conference":{"end_date":"2003-07-04","start_date":"2003-06-30","name":"ICALP: Automata, Languages and Programming","location":"Eindhoven, The Netherlands"},"language":[{"iso":"eng"}],"title":"Counterexample-guided control","publist_id":"265","author":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Ranjit","last_name":"Jhala","full_name":"Jhala, Ranjit"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar"}],"day":"25","publication":"Proceedings of the 30th International Colloquium on Automata, Languages and Programming","article_processing_charge":"No","scopus_import":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Springer"},{"quality_controlled":"1","doi":"10.1007/978-3-540-45069-6_27","publication_identifier":{"isbn":["9783540405245"]},"language":[{"iso":"eng"}],"conference":{"location":"Boulder, CO, USA","name":"CAV: Computer Aided Verification","start_date":"2003-07-08","end_date":"2003-07-12"},"publist_id":"266","title":"Thread-modular abstraction refinement","day":"27","author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Jhala","first_name":"Ranjit","full_name":"Jhala, Ranjit"},{"full_name":"Majumdar, Ritankar","first_name":"Ritankar","last_name":"Majumdar"},{"full_name":"Qadeer, Shaz","first_name":"Shaz","last_name":"Qadeer"}],"article_processing_charge":"No","publication":"Proceedings of the 15th International Conference on Computer Aided Verification","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Springer","date_published":"2003-06-27T00:00:00Z","publication_status":"published","citation":{"ieee":"T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” in <i>Proceedings of the 15th International Conference on Computer Aided Verification</i>, Boulder, CO, USA, 2003, vol. 2725, pp. 262–274.","chicago":"Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.” In <i>Proceedings of the 15th International Conference on Computer Aided Verification</i>, 2725:262–74. Springer, 2003. <a href=\"https://doi.org/10.1007/978-3-540-45069-6_27\">https://doi.org/10.1007/978-3-540-45069-6_27</a>.","short":"T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Proceedings of the 15th International Conference on Computer Aided Verification, Springer, 2003, pp. 262–274.","ama":"Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement. In: <i>Proceedings of the 15th International Conference on Computer Aided Verification</i>. Vol 2725. Springer; 2003:262-274. doi:<a href=\"https://doi.org/10.1007/978-3-540-45069-6_27\">10.1007/978-3-540-45069-6_27</a>","mla":"Henzinger, Thomas A., et al. “Thread-Modular Abstraction Refinement.” <i>Proceedings of the 15th International Conference on Computer Aided Verification</i>, vol. 2725, Springer, 2003, pp. 262–74, doi:<a href=\"https://doi.org/10.1007/978-3-540-45069-6_27\">10.1007/978-3-540-45069-6_27</a>.","ista":"Henzinger TA, Jhala R, Majumdar R, Qadeer S. 2003. Thread-modular abstraction refinement. Proceedings of the 15th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2725, 262–274.","apa":"Henzinger, T. A., Jhala, R., Majumdar, R., &#38; Qadeer, S. (2003). Thread-modular abstraction refinement. In <i>Proceedings of the 15th International Conference on Computer Aided Verification</i> (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-540-45069-6_27\">https://doi.org/10.1007/978-3-540-45069-6_27</a>"},"extern":"1","intvolume":"      2725","status":"public","alternative_title":["LNCS"],"date_created":"2018-12-11T12:08:59Z","volume":2725,"type":"conference","oa_version":"None","month":"06","date_updated":"2024-01-10T11:05:53Z","abstract":[{"text":"We present an algorithm called TAR (“Thread-modular Abstraction Refinement”) for model checking safety properties of concurrent software. The TAR algorithm uses thread-modular assume-guarantee reasoning to overcome the exponential complexity in the control state of multithreaded programs. Thread modularity means that TAR explores the state space of one thread at a time, making assumptions about how the environment can interfere. The TAR algorithm uses counterexample-guided predicate-abstraction refinement to overcome the usually infinite complexity in the data state of C programs. A successive approximation scheme automatically infers the necessary precision on data variables as well as suitable environment assumptions. The scheme is novel in that transition relations are approximated from above, while at the same time environment assumptions are approximated from below. In our software verification tool BLAST we have implemented a fully automatic race checker for multithreaded C programs which is based on the TAR algorithm. This tool has verified a wide variety of commonly used locking idioms, including locking schemes that are not amenable to existing dynamic and static race checkers such as ERASER or WARLOCK.","lang":"eng"}],"page":"262 - 274","_id":"4463","year":"2003","acknowledgement":"This work was supported in part by the NSF grants CCR-0085949 and CCR-0234690, the DARPA grant F33615-00-C-1693, and the MARCO grant 98-DT-660."},{"intvolume":"      2855","extern":"1","citation":{"ama":"Henzinger TA, Kirsch C, Matic S. Schedule-carrying code. In: <i>Proceedings of the 3rd International Conference on Embedded Software</i>. Vol 2855. ACM; 2003:241-256. doi:<a href=\"https://doi.org/10.1007/978-3-540-45212-6_16\">10.1007/978-3-540-45212-6_16</a>","apa":"Henzinger, T. A., Kirsch, C., &#38; Matic, S. (2003). Schedule-carrying code. In <i>Proceedings of the 3rd International Conference on Embedded Software</i> (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM. <a href=\"https://doi.org/10.1007/978-3-540-45212-6_16\">https://doi.org/10.1007/978-3-540-45212-6_16</a>","mla":"Henzinger, Thomas A., et al. “Schedule-Carrying Code.” <i>Proceedings of the 3rd International Conference on Embedded Software</i>, vol. 2855, ACM, 2003, pp. 241–56, doi:<a href=\"https://doi.org/10.1007/978-3-540-45212-6_16\">10.1007/978-3-540-45212-6_16</a>.","ista":"Henzinger TA, Kirsch C, Matic S. 2003. Schedule-carrying code. Proceedings of the 3rd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 241–256.","chicago":"Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.” In <i>Proceedings of the 3rd International Conference on Embedded Software</i>, 2855:241–56. ACM, 2003. <a href=\"https://doi.org/10.1007/978-3-540-45212-6_16\">https://doi.org/10.1007/978-3-540-45212-6_16</a>.","ieee":"T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” in <i>Proceedings of the 3rd International Conference on Embedded Software</i>, Philadelphia, PA, USA, 2003, vol. 2855, pp. 241–256.","short":"T.A. Henzinger, C. Kirsch, S. Matic, in:, Proceedings of the 3rd International Conference on Embedded Software, ACM, 2003, pp. 241–256."},"alternative_title":["LNCS"],"status":"public","date_published":"2003-09-29T00:00:00Z","publication_status":"published","_id":"4464","acknowledgement":"This work was supported by the AFOSR MURI grant F49620-00-1-0327, the California MICRO grant 01-037, the DARPA grant F33615-C-98-3614, the MARCO grant 98-DT-660, and the NSF grants CCR-0208875, CCR-0085949, and CCR-0225610.","year":"2003","volume":2855,"date_created":"2018-12-11T12:08:59Z","page":"241 - 256","oa_version":"None","type":"conference","month":"09","abstract":[{"lang":"eng","text":"We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time tasks of the program. Traditionally, a scheduler determines the existence of a feasible schedule according to some scheduling strategy. With SCC, a compiler proves the existence of a feasible schedule by generating executable code that is attached to the program and represents its schedule. An SCC executable is a real-time program that carries its schedule as code, which is produced once and can be revalidated and executed with each use. We evaluate SCC both in theory and practice. In theory, we give two scenarios, of nonpreemptive and distributed scheduling for Giotto programs, where the generation of a feasible schedule is hard, while the validation of scheduling instructions that are attached to the programs is easy. In practice, we implement SCC and show that explicit scheduling instructions can reduce the scheduling overhead up to 35% and can provide an efficient, flexible, and verifiable means for compiling Giotto programs on complex architectures, such as the TTA."}],"date_updated":"2024-01-10T11:33:57Z","conference":{"end_date":"2003-10-15","start_date":"2003-10-13","location":"Philadelphia, PA, USA","name":"EMSOFT: Embedded Software "},"language":[{"iso":"eng"}],"doi":"10.1007/978-3-540-45212-6_16","quality_controlled":"1","publication_identifier":{"isbn":["9783540202233"]},"publication":"Proceedings of the 3rd International Conference on Embedded Software","article_processing_charge":"No","scopus_import":"1","publisher":"ACM","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","title":"Schedule-carrying code","publist_id":"267","author":[{"last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"last_name":"Kirsch","first_name":"Christoph","full_name":"Kirsch, Christoph"},{"last_name":"Matic","first_name":"Slobodan","full_name":"Matic, Slobodan"}],"day":"29"},{"status":"public","extern":"1","citation":{"mla":"Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, Wiley-Blackwell, 2003, pp. 123–46, doi:<a href=\"https://doi.org/10.1002/047172288X.ch8\">10.1002/047172288X.ch8</a>.","ista":"Henzinger TA, Horowitz B, Kirsch C. 2003.Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. , 123–146.","apa":"Henzinger, T. A., Horowitz, B., &#38; Kirsch, C. (2003). Embedded control systems development with Giotto. In <i>Software-Enabled Control: Information Technology for Dynamical Systems</i> (pp. 123–146). Wiley-Blackwell. <a href=\"https://doi.org/10.1002/047172288X.ch8\">https://doi.org/10.1002/047172288X.ch8</a>","ama":"Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>. Wiley-Blackwell; 2003:123-146. doi:<a href=\"https://doi.org/10.1002/047172288X.ch8\">10.1002/047172288X.ch8</a>","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.","ieee":"T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, Wiley-Blackwell, 2003, pp. 123–146.","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, 123–46. Wiley-Blackwell, 2003. <a href=\"https://doi.org/10.1002/047172288X.ch8\">https://doi.org/10.1002/047172288X.ch8</a>."},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9780471234364 "]},"publication_status":"published","date_published":"2003-05-20T00:00:00Z","doi":"10.1002/047172288X.ch8","quality_controlled":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Wiley-Blackwell","year":"2003","_id":"4465","publication":"Software-Enabled Control: Information Technology for Dynamical Systems","article_processing_charge":"No","page":"123 - 146","author":[{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"},{"full_name":"Horowitz, Benjamin","first_name":"Benjamin","last_name":"Horowitz"},{"full_name":"Kirsch, Christoph","last_name":"Kirsch","first_name":"Christoph"}],"oa_version":"None","type":"book_chapter","month":"05","abstract":[{"text":"Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus time-triggered mode switches can form the abstract essence of programming real-time control systems. Giotto consists of a programming language with a formal semantics, and a retargetable compiler and runtime library. Giotto supports the automation of control system design by strictly separating platform-independent functionality and timing concerns from platform-dependent scheduling and communication issues. The time-triggered predictability of Giotto makes it particularly suitable for safety-critical applications with hard real-time constraints. We illustrate the platform independence and time-triggered execution of Giotto by coordinating a heterogeneous flock of Intel x86 robots and Lego Mindstorms robots.","lang":"eng"}],"day":"20","date_updated":"2024-01-08T12:24:01Z","title":"Embedded control systems development with Giotto","publist_id":"262","date_created":"2018-12-11T12:08:59Z"},{"year":"2003","acknowledgement":"This work was supported in part by NSF grant CCR-9988172, the AFOSR MURI grant F49620-00-1-0327, and a Microsoft Research Fellowship.","_id":"4466","date_updated":"2024-01-08T13:17:35Z","abstract":[{"text":"One source of complexity in the μ-calculus is its ability to specify an unbounded number of switches between universal (AX) and existential (EX) branching modes. We therefore study the problems of satisfiability, validity, model checking, and implication for the universal and existential fragments of the μ-calculus, in which only one branching mode is allowed. The universal fragment is rich enough to express most specifications of interest, and therefore improved algorithms are of practical importance. We show that while the satisfiability and validity problems become indeed simpler for the existential and universal fragments, this is, unfortunately, not the case for model checking and implication. We also show the corresponding results for the alternationfree fragment of the μ-calculus, where no alternations between least and greatest fixed points are allowed. Our results imply that efforts to find a polynomial-time model-checking algorithm for the μ-calculus can be replaced by efforts to find such an algorithm for the universal or existential fragment.","lang":"eng"}],"month":"03","oa_version":"None","type":"conference","page":"49 - 64","date_created":"2018-12-11T12:08:59Z","volume":2619,"status":"public","alternative_title":["LNCS"],"citation":{"ieee":"T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” in <i>Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems </i>, Warsaw, Poland, 2003, vol. 2619, pp. 49–64.","chicago":"Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” In <i>Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems </i>, 2619:49–64. Springer, 2003. <a href=\"https://doi.org/10.1007/3-540-36577-X_5\">https://doi.org/10.1007/3-540-36577-X_5</a>.","short":"T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer, 2003, pp. 49–64.","ama":"Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. In: <i>Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems </i>. Vol 2619. Springer; 2003:49-64. doi:<a href=\"https://doi.org/10.1007/3-540-36577-X_5\">10.1007/3-540-36577-X_5</a>","mla":"Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” <i>Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems </i>, vol. 2619, Springer, 2003, pp. 49–64, doi:<a href=\"https://doi.org/10.1007/3-540-36577-X_5\">10.1007/3-540-36577-X_5</a>.","ista":"Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.","apa":"Henzinger, T. A., Kupferman, O., &#38; Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus. In <i>Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems </i> (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer. <a href=\"https://doi.org/10.1007/3-540-36577-X_5\">https://doi.org/10.1007/3-540-36577-X_5</a>"},"intvolume":"      2619","extern":"1","publication_status":"published","date_published":"2003-03-14T00:00:00Z","publisher":"Springer","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","publication":"Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ","day":"14","author":[{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Orna","last_name":"Kupferman","full_name":"Kupferman, Orna"},{"first_name":"Ritankar","last_name":"Majumdar","full_name":"Majumdar, Ritankar"}],"publist_id":"263","title":"On the universal and existential fragments of the mu-calculus","language":[{"iso":"eng"}],"conference":{"start_date":"2003-04-07","location":"Warsaw, Poland","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2003-04-11"},"publication_identifier":{"isbn":["9783540008989"]},"quality_controlled":"1","doi":"10.1007/3-540-36577-X_5"},{"publication_identifier":{"isbn":["9783540401179"]},"quality_controlled":"1","doi":"10.1007/3-540-44829-2_17","language":[{"iso":"eng"}],"conference":{"location":"Portland, OR, USA","name":"SPIN: Model Checking Software","start_date":"2003-05-09","end_date":"2003-05-10"},"day":"28","author":[{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Ranjit","last_name":"Jhala","full_name":"Jhala, Ranjit"},{"first_name":"Ritankar","last_name":"Majumdar","full_name":"Majumdar, Ritankar"},{"first_name":"Grégoire","last_name":"Sutre","full_name":"Sutre, Grégoire"}],"publist_id":"264","title":"Software verification with BLAST","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Springer","scopus_import":"1","article_processing_charge":"No","publication":"Proceedings of the 10th International SPIN Workshop ","publication_status":"published","date_published":"2003-04-28T00:00:00Z","status":"public","alternative_title":["LNCS"],"citation":{"chicago":"Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.” In <i>Proceedings of the 10th International SPIN Workshop </i>, 2648:235–39. Springer, 2003. <a href=\"https://doi.org/10.1007/3-540-44829-2_17\">https://doi.org/10.1007/3-540-44829-2_17</a>.","ieee":"T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” in <i>Proceedings of the 10th International SPIN Workshop </i>, Portland, OR, USA, 2003, vol. 2648, pp. 235–239.","short":"T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 10th International SPIN Workshop , Springer, 2003, pp. 235–239.","ama":"Henzinger TA, Jhala R, Majumdar R, Sutre G. Software verification with BLAST. In: <i>Proceedings of the 10th International SPIN Workshop </i>. Vol 2648. Springer; 2003:235-239. doi:<a href=\"https://doi.org/10.1007/3-540-44829-2_17\">10.1007/3-540-44829-2_17</a>","apa":"Henzinger, T. A., Jhala, R., Majumdar, R., &#38; Sutre, G. (2003). Software verification with BLAST. In <i>Proceedings of the 10th International SPIN Workshop </i> (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer. <a href=\"https://doi.org/10.1007/3-540-44829-2_17\">https://doi.org/10.1007/3-540-44829-2_17</a>","ista":"Henzinger TA, Jhala R, Majumdar R, Sutre G. 2003. Software verification with BLAST. Proceedings of the 10th International SPIN Workshop . SPIN: Model Checking Software, LNCS, vol. 2648, 235–239.","mla":"Henzinger, Thomas A., et al. “Software Verification with BLAST.” <i>Proceedings of the 10th International SPIN Workshop </i>, vol. 2648, Springer, 2003, pp. 235–39, doi:<a href=\"https://doi.org/10.1007/3-540-44829-2_17\">10.1007/3-540-44829-2_17</a>."},"intvolume":"      2648","extern":"1","type":"conference","month":"04","oa_version":"None","date_updated":"2024-01-08T14:05:29Z","abstract":[{"text":"BLAST (the Berkeley Lazy Abstraction Software verification Tool) is a verification system for checking safety properties of C programs using automatic property-driven construction and model checking of software abstractions. Blast implements an abstract-model check-refine loop to check for reachability of a specified label in the program. The abstract model is built on the fly using predicate abstraction. This model is then checked for reachability. If there is no (abstract) path to the specified error label, Blast reports that the system is safe and produces a succinct proof. Otherwise, it checks if the path is feasible using symbolic execution of the program. If the path is feasible, Blast outputs the path as an error trace, otherwise, it uses the infeasibility of the path to refine the abstract model. Blast short-circuits the loop from abstraction to verification to refinement, integrating the three steps tightly through “lazy abstraction” [5]. This integration can offer significant advantages in performance by avoiding the repetition of work from one iteration of the loop to the next. ","lang":"eng"}],"page":"235 - 239","date_created":"2018-12-11T12:09:00Z","volume":2648,"year":"2003","acknowledgement":"This work was supported in part by the NSF grants CCR-0085949 and CCR-9988172, the DARPA PCES grant F33615-00-C-1693, the MARCO GSRC grant 98-DT-660, and a Microsoft Research Fellowship.","_id":"4467"},{"page":"50 - 64","oa_version":"None","month":"01","type":"journal_article","date_updated":"2024-01-08T10:54:53Z","abstract":[{"lang":"eng","text":"Giotto is a high-level programming language for time-triggered control applications. The authors begin with a conceptual overview of its methodology, discuss the Giotto helicopter project, and summarize available Giotto implementations."}],"volume":23,"date_created":"2018-12-11T12:09:00Z","acknowledgement":"We thank Niklaus Wirth and Walter Schaufelberger for their advice and support of the reengineering effort of the ETH Zurich helicopter control system using Giotto. This research was supported in part by DARPA SEC grant F33615-C-98–3614, MARCO GSRC grant 98-DT-660, and AFOSR MURI grant F49620–00-1–0327. A preliminary version of this article appeared as [1].","year":"2003","_id":"4468","publication_status":"published","date_published":"2003-01-29T00:00:00Z","status":"public","extern":"1","intvolume":"        23","citation":{"ama":"Henzinger TA, Kirsch C, Sanvido M, Pree W. From control models to real-time code using Giotto. <i>IEEE Control Systems Magazine</i>. 2003;23(1):50-64. doi:<a href=\"https://doi.org/10.1109/MCS.2003.1172829\">10.1109/MCS.2003.1172829</a>","apa":"Henzinger, T. A., Kirsch, C., Sanvido, M., &#38; Pree, W. (2003). From control models to real-time code using Giotto. <i>IEEE Control Systems Magazine</i>. IEEE. <a href=\"https://doi.org/10.1109/MCS.2003.1172829\">https://doi.org/10.1109/MCS.2003.1172829</a>","mla":"Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” <i>IEEE Control Systems Magazine</i>, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:<a href=\"https://doi.org/10.1109/MCS.2003.1172829\">10.1109/MCS.2003.1172829</a>.","ista":"Henzinger TA, Kirsch C, Sanvido M, Pree W. 2003. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 23(1), 50–64.","chicago":"Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” <i>IEEE Control Systems Magazine</i>. IEEE, 2003. <a href=\"https://doi.org/10.1109/MCS.2003.1172829\">https://doi.org/10.1109/MCS.2003.1172829</a>.","ieee":"T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” <i>IEEE Control Systems Magazine</i>, vol. 23, no. 1. IEEE, pp. 50–64, 2003.","short":"T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64."},"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger"},{"first_name":"Christoph","last_name":"Kirsch","full_name":"Kirsch, Christoph"},{"last_name":"Sanvido","first_name":"Marco","full_name":"Sanvido, Marco"},{"full_name":"Pree, Wolfgang","first_name":"Wolfgang","last_name":"Pree"}],"day":"29","title":"From control models to real-time code using Giotto","publist_id":"260","publisher":"IEEE","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication":"IEEE Control Systems Magazine","article_type":"original","scopus_import":"1","article_processing_charge":"No","publication_identifier":{"issn":["1066-033X "]},"doi":"10.1109/MCS.2003.1172829","quality_controlled":"1","issue":"1","language":[{"iso":"eng"}]},{"date_published":"2003-01-29T00:00:00Z","publication_status":"published","citation":{"ieee":"T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” <i>Proceedings of the IEEE</i>, vol. 91, no. 1. IEEE, pp. 84–99, 2003.","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” <i>Proceedings of the IEEE</i>. IEEE, 2003. <a href=\"https://doi.org/10.1109/JPROC.2002.805825\">https://doi.org/10.1109/JPROC.2002.805825</a>.","short":"T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.","ama":"Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. <i>Proceedings of the IEEE</i>. 2003;91(1):84-99. doi:<a href=\"https://doi.org/10.1109/JPROC.2002.805825\">10.1109/JPROC.2002.805825</a>","mla":"Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” <i>Proceedings of the IEEE</i>, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:<a href=\"https://doi.org/10.1109/JPROC.2002.805825\">10.1109/JPROC.2002.805825</a>.","ista":"Henzinger TA, Horowitz B, Kirsch C. 2003. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 91(1), 84–99.","apa":"Henzinger, T. A., Horowitz, B., &#38; Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. <i>Proceedings of the IEEE</i>. IEEE. <a href=\"https://doi.org/10.1109/JPROC.2002.805825\">https://doi.org/10.1109/JPROC.2002.805825</a>"},"intvolume":"        91","extern":"1","status":"public","date_created":"2018-12-11T12:09:00Z","volume":91,"date_updated":"2024-01-10T11:55:18Z","abstract":[{"text":"Giotto provides an abstract programmer's model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic software tasks together with a mode-switching logic for enabling and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, actuator updates, and mode switches independent of any implementation platform. Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications.","lang":"eng"}],"type":"journal_article","oa_version":"None","month":"01","page":"84 - 99","_id":"4469","year":"2003","acknowledgement":"The authors would like to thank R. Majumdar for implementing a prototype Giotto compiler for Lego Mindstorms robots. They would like to thank D. Derevyanko and W. Williams for building the Intel x86 robots; and E. Lee and X. Liu for help with implementing Giotto as a “model of computation” in Ptolemy II [26]. Finally, they would also like to thank M. Sanvido for his suggestions on the design of the Giotto drivers; and P. Griffiths for implementing the functionality code of the electronic throttle controller.","quality_controlled":"1","doi":"10.1109/JPROC.2002.805825","publication_identifier":{"issn":["0018-9219 "]},"language":[{"iso":"eng"}],"issue":"1","publist_id":"261","title":"Giotto: A time-triggered language for embedded programming","day":"29","author":[{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"first_name":"Benjamin","last_name":"Horowitz","full_name":"Horowitz, Benjamin"},{"last_name":"Kirsch","first_name":"Christoph","full_name":"Kirsch, Christoph"}],"scopus_import":"1","article_processing_charge":"No","article_type":"original","publication":"Proceedings of the IEEE","publisher":"IEEE","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"publist_id":"4285","title":"Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins","day":"15","author":[{"last_name":"Kitano","first_name":"Jun","full_name":"Kitano, Jun"},{"last_name":"Kimura","first_name":"Kouji","full_name":"Kimura, Kouji"},{"full_name":"Yamazaki, Yoshimitsu","last_name":"Yamazaki","first_name":"Yoshimitsu"},{"last_name":"Soda","first_name":"Takeshi","full_name":"Soda, Takeshi"},{"full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto"},{"full_name":"Nakajima, Yoshiaki","first_name":"Yoshiaki","last_name":"Nakajima"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"}],"article_type":"original","article_processing_charge":"No","scopus_import":"1","publication":"Journal of Neuroscience","pmid":1,"publisher":"Society for Neuroscience","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","doi":"10.1523/JNEUROSCI.22-04-01280.2002","publication_identifier":{"issn":["0270-6474"]},"issue":"4","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:58:40Z","volume":22,"oa_version":"None","type":"journal_article","month":"02","date_updated":"2023-07-25T11:34:46Z","abstract":[{"text":"In this investigation, we report identification and characterization of a 95 kDa postsynaptic density protein (PSD-95)/discs-large/ ZO-1 (PDZ) domain-containing protein termed tamalin, also recently named GRP1-associated scaffold protein (GRASP), that interacts with group 1 metabotropic glutamate receptors (mGluRs). The yeast two-hybrid system and in vitro pull-down assays indicated that the PDZ domain-containing, amino-terminal half of tamalin directly binds to the class I PDZ-binding motif of group 1 mGluRs. The C-terminal half of tamalin also bound to cytohesins, the members of guanine nucleotide exchange factors (GEFs) specific for the ADP-ribosylation factor (ARF) family of small GTP-binding proteins. Tamalin mRNA is expressed predominantly in the telencephalic region and highly overlaps with the expression of group 1 mGluR mRNAs. Both tamalin and cytohesin-2 were enriched and codistributed with mGluR1a in postsynaptic membrane fractions. Importantly, recombinant and native mGluR1a/tamalin/cytohesin-2 complexes were coimmunoprecipitated from transfected COS-7 cells and rat brain tissue, respectively. Transfection of tamalin and mutant tamalin lacking a cytohesin-binding domain caused an increase and decrease in cell-surface expression of mGluR1a in COS-7 cells, respectively. Furthermore, adenovirus-mediated expression of tamalin and dominant-negative tamalin facilitated and reduced the neuritic distribution of endogenous mGluR5 in cultured hippocampal neurons, respectively. The results indicate that tamalin plays a key role in the association of group 1 mGluRs with the ARF-specific GEF proteins and contributes to intracellular trafficking and the macromolecular organization of group 1 mGluRs at synapses.","lang":"eng"}],"page":"1280 - 1289","_id":"2613","year":"2002","acknowledgement":"This work was supported in part by research grants from the Ministry of Education, Science and Culture of Japan. We thank Bert Vogelstein for providing adenoviral recombination vectors and Haruhiko Bito for a gift of the enolase promoter and technical advice. We are grateful to Atsushi Nishimune and Satoshi Kaneko for technical advice and Kumlesh K. Dev for careful reading of this manuscript.","date_published":"2002-02-15T00:00:00Z","publication_status":"published","citation":{"ama":"Kitano J, Kimura K, Yamazaki Y, et al. Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins. <i>Journal of Neuroscience</i>. 2002;22(4):1280-1289. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002\">10.1523/JNEUROSCI.22-04-01280.2002</a>","mla":"Kitano, Jun, et al. “Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins.” <i>Journal of Neuroscience</i>, vol. 22, no. 4, Society for Neuroscience, 2002, pp. 1280–89, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002\">10.1523/JNEUROSCI.22-04-01280.2002</a>.","ista":"Kitano J, Kimura K, Yamazaki Y, Soda T, Shigemoto R, Nakajima Y, Nakanishi S. 2002. Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins. Journal of Neuroscience. 22(4), 1280–1289.","apa":"Kitano, J., Kimura, K., Yamazaki, Y., Soda, T., Shigemoto, R., Nakajima, Y., &#38; Nakanishi, S. (2002). Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002\">https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002</a>","ieee":"J. Kitano <i>et al.</i>, “Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins,” <i>Journal of Neuroscience</i>, vol. 22, no. 4. Society for Neuroscience, pp. 1280–1289, 2002.","chicago":"Kitano, Jun, Kouji Kimura, Yoshimitsu Yamazaki, Takeshi Soda, Ryuichi Shigemoto, Yoshiaki Nakajima, and Shigetada Nakanishi. “Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2002. <a href=\"https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002\">https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002</a>.","short":"J. Kitano, K. Kimura, Y. Yamazaki, T. Soda, R. Shigemoto, Y. Nakajima, S. Nakanishi, Journal of Neuroscience 22 (2002) 1280–1289."},"intvolume":"        22","extern":"1","external_id":{"pmid":["11850456"]},"status":"public"},{"date_published":"2002-04-19T00:00:00Z","ddc":["570"],"oa":1,"publication_status":"published","has_accepted_license":"1","intvolume":"       277","extern":"1","citation":{"chicago":"Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “The Inhibition of Glutamate Release by Metabotropic Glutamate Receptor 7 Affects Both [Ca2+]c and CAMP. Evidence for a Strong Reduction of Ca2+ Entry in Single Nerve Terminals.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 2002. <a href=\"https://doi.org/10.1074/jbc.M109044200\">https://doi.org/10.1074/jbc.M109044200</a>.","ieee":"C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals,” <i>Journal of Biological Chemistry</i>, vol. 277, no. 16. American Society for Biochemistry and Molecular Biology, pp. 14092–14101, 2002.","short":"C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.","ama":"Millán C, Luján R, Shigemoto R, Sánchez Prieto J. The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals. <i>Journal of Biological Chemistry</i>. 2002;277(16):14092-14101. doi:<a href=\"https://doi.org/10.1074/jbc.M109044200\">10.1074/jbc.M109044200</a>","apa":"Millán, C., Luján, R., Shigemoto, R., &#38; Sánchez Prieto, J. (2002). The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1074/jbc.M109044200\">https://doi.org/10.1074/jbc.M109044200</a>","mla":"Millán, Carmelo, et al. “The Inhibition of Glutamate Release by Metabotropic Glutamate Receptor 7 Affects Both [Ca2+]c and CAMP. Evidence for a Strong Reduction of Ca2+ Entry in Single Nerve Terminals.” <i>Journal of Biological Chemistry</i>, vol. 277, no. 16, American Society for Biochemistry and Molecular Biology, 2002, pp. 14092–101, doi:<a href=\"https://doi.org/10.1074/jbc.M109044200\">10.1074/jbc.M109044200</a>.","ista":"Millán C, Luján R, Shigemoto R, Sánchez Prieto J. 2002. The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals. Journal of Biological Chemistry. 277(16), 14092–14101."},"external_id":{"pmid":["11825890"]},"status":"public","volume":277,"date_created":"2018-12-11T11:58:41Z","file_date_updated":"2023-07-25T10:13:16Z","page":"14092 - 14101","date_updated":"2023-07-25T10:16:44Z","abstract":[{"lang":"eng","text":"Metabotropic glutamate receptors (mGluRs) from group III reduce glutamate release. Because these receptors reduce cAMP levels, we explored whether this signaling pathway contributes to release inhibition caused by mGluRs with low affinity for L-2-amino-4-phosphonobutyrate (L-AP4). In biochemical experiments with the population of cerebrocortical nerve terminals we find that L-AP4 (1 mM) inhibited the Ca2+dependent-evoked release of glutamate by 25%. This inhibitory effect was largely prevented by the pertussis toxin but was insensitive to inhibitors of protein kinase C bisindolylmaleimide and protein kinase A H-89. Furthermore, this inhibition was associated with reduction in N-type Ca2+ channel activity in the absence of any detectable change in cAMP levels. In the presence of forskolin, however, L-AP4 decreased the levels of cAMP. The activation of this additional signaling pathway was very efficient in counteracting the facilitation of glutamate release induced either by forskolin or the β-adrenergic receptor agonist isoproterenol. Imaging experiments to measure Ca2+ dynamics in single nerve terminals showed that L-AP4 strongly reduced the Ca2+ response in 28% of the nerve terminals. Moreover, immunochemical experiments showed that 25-35% of the nerve terminals that were immunopositive to synaptophysin were also immunoreactive to the low affinity L-AP4-sensitive mGluR7. Then, mGluR7 mediates the inhibition of glutamate release caused by 1 mM L-AP4, primarily by a strong inhibition of Ca2+ channels, although high cAMP uncovers the receptor ability to decrease cAMP."}],"month":"04","type":"journal_article","oa_version":"Published Version","_id":"2614","acknowledgement":"We thank Dr. Enrique Castro from Las Palmas University for critical reading of the manuscript and M. Sefton for editorial assistance.","year":"2002","doi":"10.1074/jbc.M109044200","quality_controlled":"1","publication_identifier":{"issn":["0021-9258"]},"language":[{"iso":"eng"}],"issue":"16","title":"The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals","publist_id":"4284","author":[{"full_name":"Millán, Carmelo","last_name":"Millán","first_name":"Carmelo"},{"full_name":"Luján, Rafael","last_name":"Luján","first_name":"Rafael"},{"last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"},{"first_name":"José","last_name":"Sánchez Prieto","full_name":"Sánchez Prieto, José"}],"license":"https://creativecommons.org/licenses/by/4.0/","file":[{"checksum":"0290fcbbd9153ec654185b0c856f214c","file_id":"13309","date_updated":"2023-07-25T10:13:16Z","access_level":"open_access","date_created":"2023-07-25T10:13:16Z","file_name":"2002_JBC_Millan.pdf","success":1,"creator":"alisjak","file_size":2105520,"relation":"main_file","content_type":"application/pdf"}],"day":"19","publication":"Journal of Biological Chemistry","article_processing_charge":"No","scopus_import":"1","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"publisher":"American Society for Biochemistry and Molecular Biology","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","pmid":1},{"pmid":1,"publisher":"Japan Society of Histological Documentation","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_type":"original","scopus_import":"1","article_processing_charge":"No","publication":"Archives of Histology and Cytology","day":"01","author":[{"full_name":"Toyono, Takashi","first_name":"Takashi","last_name":"Toyono"},{"full_name":"Seta, Yuji","last_name":"Seta","first_name":"Yuji"},{"full_name":"Sataoka, Shinji","first_name":"Shinji","last_name":"Sataoka"},{"full_name":"Harada, Harumi","id":"2E55CDF2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7429-7896","last_name":"Harada","first_name":"Harumi"},{"first_name":"Takahiko","last_name":"Morotomi","full_name":"Morotomi, Takahiko"},{"full_name":"Kawano, Shintaro","first_name":"Shintaro","last_name":"Kawano"},{"first_name":"Ryuichi","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"},{"full_name":"Toyoshima, Kuniaki","last_name":"Toyoshima","first_name":"Kuniaki"}],"publist_id":"4283","title":"Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae","issue":"1","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0914-9465"]},"quality_controlled":"1","doi":"10.1679/aohc.65.91","year":"2002","_id":"2615","type":"journal_article","month":"01","oa_version":"None","date_updated":"2023-07-25T10:00:15Z","abstract":[{"lang":"eng","text":"Taste-mGluR4, cloned from taste tissues, is a truncated variant of brain-expressed mGluR4a (brain-mGluR4), and is known to be a candidate for the receptor involved in the umami taste sense. Although the expression patterns of taste- and brain-mGluR4 mRNAs have been demonstrated, no mention has so far been made of the expression of these two mGluR4 proteins in taste tissues. The present study examined the expression of taste-mGluR4 and brain-mGluR4 proteins in rat taste tissues by using a specific antibody for mGluR4a which shared a C-terminus of both taste- and brain-mGluR4, for immunoblot analysis and immunohistochemistry. Immunoblot analysis showed that both brain-mGluR4 and taste-mGluR4 were expressed in the taste tissues. Taste-mGluR4 was not detected in the cerebellum. The immunoreactive band for brain-mGluR4 protein was much stronger than that for taste-mGluR4 protein. In the cryosections of fungiform, foliate and circumvallate papillae, the antibody against taste-mGluR4 exhibited intense labeling of the taste pores and taste hairs in all the taste buds of gustatory papillae examined; the immunoreaction to the antibody against brain-mGluR4 was more intense at the same sites of the taste buds. The portions of the taste bud cells below the taste pore and surrounding keratinocytes did not show any immunoreactivities. The results of the present study strongly suggest that, in addition to taste-mGluR4, brain-mGluR4 may function even more importantly than the former as a receptor for glutamate, i.e. the umami taste sensation."}],"page":"91 - 96","date_created":"2018-12-11T11:58:41Z","volume":65,"status":"public","external_id":{"pmid":["12002614"]},"citation":{"ama":"Toyono T, Seta Y, Sataoka S, et al. Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae. <i>Archives of Histology and Cytology</i>. 2002;65(1):91-96. doi:<a href=\"https://doi.org/10.1679/aohc.65.91\">10.1679/aohc.65.91</a>","ista":"Toyono T, Seta Y, Sataoka S, Harada H, Morotomi T, Kawano S, Shigemoto R, Toyoshima K. 2002. Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae. Archives of Histology and Cytology. 65(1), 91–96.","mla":"Toyono, Takashi, et al. “Expression of the Metabotropic Glutamate Receptor, MGluR4a, in the Taste Hairs of Taste Buds in Rat Gustatory Papillae.” <i>Archives of Histology and Cytology</i>, vol. 65, no. 1, Japan Society of Histological Documentation, 2002, pp. 91–96, doi:<a href=\"https://doi.org/10.1679/aohc.65.91\">10.1679/aohc.65.91</a>.","apa":"Toyono, T., Seta, Y., Sataoka, S., Harada, H., Morotomi, T., Kawano, S., … Toyoshima, K. (2002). Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae. <i>Archives of Histology and Cytology</i>. Japan Society of Histological Documentation. <a href=\"https://doi.org/10.1679/aohc.65.91\">https://doi.org/10.1679/aohc.65.91</a>","ieee":"T. Toyono <i>et al.</i>, “Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae,” <i>Archives of Histology and Cytology</i>, vol. 65, no. 1. Japan Society of Histological Documentation, pp. 91–96, 2002.","chicago":"Toyono, Takashi, Yuji Seta, Shinji Sataoka, Harumi Harada, Takahiko Morotomi, Shintaro Kawano, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of the Metabotropic Glutamate Receptor, MGluR4a, in the Taste Hairs of Taste Buds in Rat Gustatory Papillae.” <i>Archives of Histology and Cytology</i>. Japan Society of Histological Documentation, 2002. <a href=\"https://doi.org/10.1679/aohc.65.91\">https://doi.org/10.1679/aohc.65.91</a>.","short":"T. Toyono, Y. Seta, S. Sataoka, H. Harada, T. Morotomi, S. Kawano, R. Shigemoto, K. Toyoshima, Archives of Histology and Cytology 65 (2002) 91–96."},"intvolume":"        65","extern":"1","publication_status":"published","date_published":"2002-01-01T00:00:00Z"},{"extern":"1","intvolume":"        12","citation":{"ama":"López Bendito G, Shigemoto R, Fairén A, Luján R. Differential distribution of group I metabotropic glutamate receptors during rat cortical development. <i>Cerebral Cortex</i>. 2002;12(6):625-638. doi:<a href=\"https://doi.org/10.1093/cercor/12.6.625\">10.1093/cercor/12.6.625</a>","apa":"López Bendito, G., Shigemoto, R., Fairén, A., &#38; Luján, R. (2002). Differential distribution of group I metabotropic glutamate receptors during rat cortical development. <i>Cerebral Cortex</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/cercor/12.6.625\">https://doi.org/10.1093/cercor/12.6.625</a>","mla":"López Bendito, Guillermina, et al. “Differential Distribution of Group I Metabotropic Glutamate Receptors during Rat Cortical Development.” <i>Cerebral Cortex</i>, vol. 12, no. 6, Oxford University Press, 2002, pp. 625–38, doi:<a href=\"https://doi.org/10.1093/cercor/12.6.625\">10.1093/cercor/12.6.625</a>.","ista":"López Bendito G, Shigemoto R, Fairén A, Luján R. 2002. Differential distribution of group I metabotropic glutamate receptors during rat cortical development. Cerebral Cortex. 12(6), 625–638.","chicago":"López Bendito, Guillermina, Ryuichi Shigemoto, Alfonso Fairén, and Rafael Luján. “Differential Distribution of Group I Metabotropic Glutamate Receptors during Rat Cortical Development.” <i>Cerebral Cortex</i>. Oxford University Press, 2002. <a href=\"https://doi.org/10.1093/cercor/12.6.625\">https://doi.org/10.1093/cercor/12.6.625</a>.","ieee":"G. López Bendito, R. Shigemoto, A. Fairén, and R. Luján, “Differential distribution of group I metabotropic glutamate receptors during rat cortical development,” <i>Cerebral Cortex</i>, vol. 12, no. 6. Oxford University Press, pp. 625–638, 2002.","short":"G. López Bendito, R. Shigemoto, A. Fairén, R. Luján, Cerebral Cortex 12 (2002) 625–638."},"status":"public","external_id":{"pmid":["12003862"]},"date_published":"2002-06-01T00:00:00Z","publication_status":"published","_id":"2616","acknowledgement":"The authors are grateful to Dr Ole Paulsen and Professor Kay Davies for their comments on the manuscript. We also would like to thank Dr Zoltan Molnar for his support and Mrs Lucy Jones, Ms Courtney Voelker and Mr David Dongworth for the English revision of the manuscript. This work was supported by grants from the European Community (QLG3-CT-1999-00192 to R.L.) and the Spanish Ministerio de Ciencia y Tecnología (PB97-0582-CO2-01 to A.F.).","year":"2002","volume":12,"date_created":"2018-12-11T11:58:41Z","page":"625 - 638","month":"06","oa_version":"None","type":"journal_article","abstract":[{"text":"Neurons in the rat cerebral cortex are enriched in group I metabotropic glutamate receptor (mGluR) subtypes and respond to their activation during development. To understand better the mechanisms by which mGluR1 and mGluR5 mediate these effects, the goal of this study was to elucidate the expression pattern and to determine the cellular and the precise subcellular localization of these two receptor subtypes in the rat neocortex and hippocampus during late prenatal and postnatal development. At the light microscopic level, mGluR1 α and mGluR5 were first detected in the cerebral cortex with different expression levels at embryonic day E18. Thus, mGluR5 had a moderate expression, whereas mGluR1 α was detected as a diffuse and weak labeling. mGluR5 was localized in some Cajal-Retzius cells as well as in other cell types, such as pioneer neurons of the marginal zone. During postnatal development, the distribution of the receptors dramatically changed. From P0 to around P10, mGluR1α was localized in identified, transient Cajal-Retzius cells of neocortex and hippocampus, until these cells disappear. In addition, a population of interneurons localized the receptor from the second/third postnatal week. In contrast, mGluR5 was localized mainly in pyramidal cells and in some interneurons, with a neuropilar staining throughout the cerebral cortex. At the electron microscopic level, the immunoreactivity for both group I mGluR subtypes was expressed postsynaptically. Using immunogold methods, mGluR1α and mGluR5 immunoreactivities were found throughout postnatal development at the edge of postsynaptic specialization of asymmetrical synapses. These results show that the two group I mGluRs have a differential expression pattern in neocortex and hippocampus that may suggest roles for the receptors in the early processing of cortical information and in the control of cortical developmental events.","lang":"eng"}],"date_updated":"2023-07-25T09:54:10Z","issue":"6","language":[{"iso":"eng"}],"doi":"10.1093/cercor/12.6.625","quality_controlled":"1","publication_identifier":{"issn":["1047-3211"]},"publication":"Cerebral Cortex","article_type":"original","article_processing_charge":"No","scopus_import":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Oxford University Press","pmid":1,"title":"Differential distribution of group I metabotropic glutamate receptors during rat cortical development","publist_id":"4282","author":[{"full_name":"López Bendito, Guillermina","last_name":"López Bendito","first_name":"Guillermina"},{"full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","first_name":"Ryuichi"},{"first_name":"Alfonso","last_name":"Fairén","full_name":"Fairén, Alfonso"},{"full_name":"Luján, Rafael","first_name":"Rafael","last_name":"Luján"}],"day":"01"},{"publisher":"Wiley-Blackwell","year":"2002","_id":"2617","publication":"Journal of Physiology","page":"193 - 210","author":[{"first_name":"Attila","last_name":"Losonczy","full_name":"Losonczy, Attila"},{"full_name":"Zhang, Limei","last_name":"Zhang","first_name":"Limei"},{"last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Ryuichi Shigemoto","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Somogyi, Péter","first_name":"Péter","last_name":"Somogyi"},{"full_name":"Nusser, Zoltán","first_name":"Zoltán","last_name":"Nusser"}],"month":"07","type":"journal_article","abstract":[{"text":"Synapses exhibit different short-term plasticity patterns and this behaviour influences information processing in neuronal networks. We tested how the short-term plasticity of excitatory postsynaptic currents (EPSCs) depends on the postsynaptic cell type, identified by axonal arborizations and molecular markers in the hippocampal CA1 area. Three distinct types of short-term synaptic behaviour (facilitating, depressing and combined facilitating-depressing) were defined by fitting a dynamic neurotransmission model to the data. Approximately 75 % of the oriens-lacunosum-moleculare (O-LM) interneurones received facilitating EPSCs, but in three of 12 O-LM cells EPSCs also showed significant depression. Over 90 % of the O-LM cells were immunopositive for somatostatin and mGluR1α and all tested cells were decorated by strongly mGluR7a positive axon terminals. Responses in eight of 12 basket cells were described well with a model involving only depression, but the other cells displayed combined facilitating-depressing EPSCs. No apparent difference was found between the plasticity of EPSCs in cholecystokinin- or parvalbumin-containing basket cells. In oriens-bistratified cells (O-Bi), two of nine cells showed facilitating EPSCs, another two depressing, and the remaining five cells combined facilitating-depressing EPSCs. Seven of 10 cells tested for somatostatin were immunopositive, but mGluR1α was detectable only in two of 11 tested cells. Furthermore, most O-Bi cells projected to the CA3 area and the subiculum, as well as outside the hippocampal formation. Postsynaptic responses to action potentials recorded in vivo from a CA1 place cell were modelled, and revealed great differences between and within cell types. Our results demonstrate that the short-term plasticity of EPSCs is cell type dependent, but with significant heterogeneity within all three interneurone populations.","lang":"eng"}],"date_updated":"2021-01-12T06:58:36Z","day":"01","title":"Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones","volume":542,"date_created":"2018-12-11T11:58:42Z","publist_id":"4281","status":"public","extern":1,"intvolume":"       542","issue":"1","citation":{"ama":"Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. <i>Journal of Physiology</i>. 2002;542(1):193-210. doi:<a href=\"https://doi.org/10.1113/jphysiol.2002.020024\">10.1113/jphysiol.2002.020024</a>","apa":"Losonczy, A., Zhang, L., Shigemoto, R., Somogyi, P., &#38; Nusser, Z. (2002). Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. <i>Journal of Physiology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1113/jphysiol.2002.020024\">https://doi.org/10.1113/jphysiol.2002.020024</a>","mla":"Losonczy, Attila, et al. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” <i>Journal of Physiology</i>, vol. 542, no. 1, Wiley-Blackwell, 2002, pp. 193–210, doi:<a href=\"https://doi.org/10.1113/jphysiol.2002.020024\">10.1113/jphysiol.2002.020024</a>.","ista":"Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. 2002. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 542(1), 193–210.","chicago":"Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” <i>Journal of Physiology</i>. Wiley-Blackwell, 2002. <a href=\"https://doi.org/10.1113/jphysiol.2002.020024\">https://doi.org/10.1113/jphysiol.2002.020024</a>.","ieee":"A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones,” <i>Journal of Physiology</i>, vol. 542, no. 1. Wiley-Blackwell, pp. 193–210, 2002.","short":"A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology 542 (2002) 193–210."},"publication_status":"published","oa":1,"date_published":"2002-07-01T00:00:00Z","doi":"10.1113/jphysiol.2002.020024","quality_controlled":0,"main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2290398/"}]},{"publication":"Journal of Comparative Neurology","article_processing_charge":"No","scopus_import":"1","article_type":"original","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Wiley-Blackwell","pmid":1,"title":"Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum","publist_id":"4279","author":[{"last_name":"Nunzi","first_name":"Maria","full_name":"Nunzi, Maria"},{"first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"full_name":"Mugnaini, Enrico","last_name":"Mugnaini","first_name":"Enrico"}],"day":"16","language":[{"iso":"eng"}],"issue":"2","doi":"10.1002/cne.10344","quality_controlled":"1","publication_identifier":{"issn":["0021-9967"]},"_id":"2618","year":"2002","volume":451,"date_created":"2018-12-11T11:58:42Z","page":"189 - 199","abstract":[{"lang":"eng","text":"The unipolar brush cell (UBC) is a type of glutamatergic interneuron in the granular layer of the cerebellum. The UBC brush and a single mossy fiber (MF) terminal contact each other within a cerebellar glomerulus, forming a giant synapse. Many UBCs receive input from extrinsic MFs, whereas others are innervated by intrinsic mossy terminals formed by the axons of other UBCs. In all mammalian species so far examined, the vestibulocerebellum is enriched of UBCs that are strongly immunoreactive for the calcium binding protein calretinin (CR) in both the somatodendritic and axonal compartment. UBCs have postsynaptic ionotropic glutamate receptors and extrasynaptic metabotropic glutamate receptors that immunocytochemically highlight their somatodendritic compartment and brush, respectively. In this study on the mouse cerebellum, we present evidence that immunoreactivities to CR and mGluR1α define two distinct UBC subsets with partly overlapping distributions in lobule X (the nodulus). In sections double-labeled for CR and mGluR1α, the patterns of distributions of CR+/mGluR1α- UBCs and CR-/mGluR1α+ UBCs differed along the mediolateral and dorsoventral axes of the folium. Moreover, mGluR1α+ UBCs outnumbered CR+ UBCs. Both UBC subsets were mGluR2/3, GluR2/3, and NMDAR1 immunoreactive. The different distribution patterns of the two UBC subsets within lobule X suggest that expression of CR or mGluR1α by UBCs may be afferent-specific and related to the terminal fields of different vestibular MF afferents."}],"date_updated":"2023-07-25T09:09:48Z","month":"09","oa_version":"None","type":"journal_article","extern":"1","intvolume":"       451","citation":{"short":"M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.","ieee":"M. Nunzi, R. Shigemoto, and E. Mugnaini, “Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum,” <i>Journal of Comparative Neurology</i>, vol. 451, no. 2. Wiley-Blackwell, pp. 189–199, 2002.","chicago":"Nunzi, Maria, Ryuichi Shigemoto, and Enrico Mugnaini. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 2002. <a href=\"https://doi.org/10.1002/cne.10344\">https://doi.org/10.1002/cne.10344</a>.","mla":"Nunzi, Maria, et al. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” <i>Journal of Comparative Neurology</i>, vol. 451, no. 2, Wiley-Blackwell, 2002, pp. 189–99, doi:<a href=\"https://doi.org/10.1002/cne.10344\">10.1002/cne.10344</a>.","ista":"Nunzi M, Shigemoto R, Mugnaini E. 2002. Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. 451(2), 189–199.","apa":"Nunzi, M., Shigemoto, R., &#38; Mugnaini, E. (2002). Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cne.10344\">https://doi.org/10.1002/cne.10344</a>","ama":"Nunzi M, Shigemoto R, Mugnaini E. Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. <i>Journal of Comparative Neurology</i>. 2002;451(2):189-199. doi:<a href=\"https://doi.org/10.1002/cne.10344\">10.1002/cne.10344</a>"},"status":"public","external_id":{"pmid":["12209836"]},"date_published":"2002-09-16T00:00:00Z","publication_status":"published"},{"_id":"2619","acknowledgement":"We thank Dr C. Paspalas for an initial contribution to the immunocytochemistry. We are grateful for the generous gifts of antibodies from Dr A. Buchan (anti-somatostatin, Department of Physiology, University of British Columbia, Canada), Dr M. Watanabe (anti-mGluR1α, Department of Anatomy, Hokkaido University School of Medicine, Sapporo) and Dr K. Tanaka (anti-GAD, Niigata University, Faculty of Medicine, Department of Neurology). We thank Dr F. Ferraguti for helpful suggestions during the project and for his comments on a previous version of the manuscript. We also thank Philip Cobden, Paul Jays and Laszlo Marton for assistance. Y.D. was supported by a Wellcome Trust Advanced Training Fellowship.","year":"2002","volume":12,"date_created":"2018-12-11T11:58:42Z","page":"961 - 974","date_updated":"2023-07-25T09:40:49Z","abstract":[{"text":"The release of glutamate and GABA is modulated by presynaptic metabotropic glutamate receptors (mGluRs). We used immunocytochemical methods to define the location of the group III receptor mGluR7a in glutamatergic and GABAergic terminals innervating GABAergic interneurons and pyramidal cells. Immunoreactivity for mGluR7a was localized in the presynaptic active zone of both identified GABAergic and presumed glutamatergic terminals. Terminals innervating dendritic spines showed a variable level of receptor immunoreactivity, ranging from immunonegative to strongly immunopositive. The frequency of strongly mGluR7a positive terminals innervating the soma and dendrites of mGluR1α/somatostatin-expressing interneurons was very high relative to other neurons. On dendrites that received mGluR7a-enriched glutamatergic innervation, at least 80% of GABAergic terminals were immunopositive for mGluR7a. On such dendrites virtually all (95%) vasoactive intestinal polypeptide (VIP) positive (GABAergic) terminals were enriched in mGluR7a. The targets of VIP/mGluR7a-expressing terminals were mainly (88%) mGluR1α-expressing interneurons, which were mostly somatostatin immunopositive. Parvalbumin positive terminals were immunonegative for mGluR7a. Some parvalbumin immunoreactive dendrites received strongly mGluR7a positive terminals. The subcellular location, as well as the cell type and synapse-specific distribution of mGluR7a in isocortical neuronal circuits, is homologous to its distribution in the hippocampus. The specific location of mGluR7a in the presynaptic active zone of both glutamatergic and GABAergic synapses may be related to the proximity of calcium channels and the vesicle fusion machinery. The enrichment of mGluR7a in the main GABAergic, as well as in the glutamatergic, innervation of mGluR1α/somatostatin-expressing interneurons suggests that their activation is under unique regulation by extracellular glutamate.","lang":"eng"}],"oa_version":"None","type":"journal_article","month":"09","intvolume":"        12","extern":"1","citation":{"ama":"Dalezios Y, Luján R, Shigemoto R, Roberts J, Somogyi P. Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex. <i>Cerebral Cortex</i>. 2002;12(9):961-974. doi:<a href=\"https://doi.org/10.1093/cercor/12.9.961\">10.1093/cercor/12.9.961</a>","apa":"Dalezios, Y., Luján, R., Shigemoto, R., Roberts, J., &#38; Somogyi, P. (2002). Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex. <i>Cerebral Cortex</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/cercor/12.9.961\">https://doi.org/10.1093/cercor/12.9.961</a>","mla":"Dalezios, Yannis, et al. “Enrichment of MGluR7a in the Presynaptic Active Zones of GABAergic and Non-GABAergic Terminals on Interneurons in the Rat Somatosensory Cortex.” <i>Cerebral Cortex</i>, vol. 12, no. 9, Oxford University Press, 2002, pp. 961–74, doi:<a href=\"https://doi.org/10.1093/cercor/12.9.961\">10.1093/cercor/12.9.961</a>.","ista":"Dalezios Y, Luján R, Shigemoto R, Roberts J, Somogyi P. 2002. Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex. Cerebral Cortex. 12(9), 961–974.","chicago":"Dalezios, Yannis, Rafael Luján, Ryuichi Shigemoto, John Roberts, and Péter Somogyi. “Enrichment of MGluR7a in the Presynaptic Active Zones of GABAergic and Non-GABAergic Terminals on Interneurons in the Rat Somatosensory Cortex.” <i>Cerebral Cortex</i>. Oxford University Press, 2002. <a href=\"https://doi.org/10.1093/cercor/12.9.961\">https://doi.org/10.1093/cercor/12.9.961</a>.","ieee":"Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, and P. Somogyi, “Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex,” <i>Cerebral Cortex</i>, vol. 12, no. 9. Oxford University Press, pp. 961–974, 2002.","short":"Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974."},"status":"public","external_id":{"pmid":["12183395"]},"date_published":"2002-09-01T00:00:00Z","publication_status":"published","publication":"Cerebral Cortex","scopus_import":"1","article_processing_charge":"No","article_type":"original","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Oxford University Press","pmid":1,"title":"Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex","publist_id":"4280","author":[{"full_name":"Dalezios, Yannis","first_name":"Yannis","last_name":"Dalezios"},{"first_name":"Rafael","last_name":"Luján","full_name":"Luján, Rafael"},{"orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","first_name":"Ryuichi"},{"full_name":"Roberts, John","last_name":"Roberts","first_name":"John"},{"full_name":"Somogyi, Péter","last_name":"Somogyi","first_name":"Péter"}],"day":"01","language":[{"iso":"eng"}],"issue":"9","doi":"10.1093/cercor/12.9.961","quality_controlled":"1","publication_identifier":{"issn":["1047-3211"]}},{"page":"1185 - 1193","date_updated":"2023-07-25T09:02:48Z","abstract":[{"lang":"eng","text":"An ion channel's function depends largely on its location and density on neurons. Here we used high-resolution immunolocalization to determine the subcellular distribution of the hyperpolarization-activated and cyclic-nucleotide-gated channel subunit 1 (HCN1) in rat brain. Light microscopy revealed graded HCN1 immunoreactivity in apical dendrites of hippocampal, subicular and neocortical layer-5 pyramidal cells. Quantitative comparison of immunogold densities showed a 60-fold increase from somatic to distal apical dendritic membranes. Distal dendritic shafts had 16 times more HCN1 labeling than proximal dendrites of similar diameters. At the same distance from the soma, the density of HCN1 was significantly higher in dendritic shafts than in spines. Our results reveal the complex cell surface distribution of voltage-gated ion-channels, and predict its role in increasing the computational power of single neurons via subcellular domain and input-specific mechanisms."}],"month":"11","type":"journal_article","oa_version":"None","volume":5,"date_created":"2018-12-11T11:58:43Z","acknowledgement":"Z.N. received grants from the Hungarian Science Foundation (T032309), the Howard Hughes Medical Institute, the James S. McDonnell Foundation, the Wellcome Trust and the Boehringer Ingelheim Fund. Z.N. and R.S. received grants from CREST—Japan Science and Technology Corporation. G.T. is funded by the Wellcome Trust.","year":"2002","_id":"2620","publication_status":"published","date_published":"2002-11-01T00:00:00Z","status":"public","external_id":{"pmid":["12389030"]},"intvolume":"         5","extern":"1","citation":{"short":"A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, Z. Nusser, Nature Neuroscience 5 (2002) 1185–1193.","ieee":"A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, and Z. Nusser, “Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites,” <i>Nature Neuroscience</i>, vol. 5, no. 11. Nature Publishing Group, pp. 1185–1193, 2002.","chicago":"Lörincz, Andrea, Takuya Notomi, Gábor Tamás, Ryuichi Shigemoto, and Zoltán Nusser. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” <i>Nature Neuroscience</i>. Nature Publishing Group, 2002. <a href=\"https://doi.org/10.1038/nn962\">https://doi.org/10.1038/nn962</a>.","mla":"Lörincz, Andrea, et al. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” <i>Nature Neuroscience</i>, vol. 5, no. 11, Nature Publishing Group, 2002, pp. 1185–93, doi:<a href=\"https://doi.org/10.1038/nn962\">10.1038/nn962</a>.","ista":"Lörincz A, Notomi T, Tamás G, Shigemoto R, Nusser Z. 2002. Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. Nature Neuroscience. 5(11), 1185–1193.","apa":"Lörincz, A., Notomi, T., Tamás, G., Shigemoto, R., &#38; Nusser, Z. (2002). Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. <i>Nature Neuroscience</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nn962\">https://doi.org/10.1038/nn962</a>","ama":"Lörincz A, Notomi T, Tamás G, Shigemoto R, Nusser Z. Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. <i>Nature Neuroscience</i>. 2002;5(11):1185-1193. doi:<a href=\"https://doi.org/10.1038/nn962\">10.1038/nn962</a>"},"author":[{"full_name":"Lörincz, Andrea","last_name":"Lörincz","first_name":"Andrea"},{"full_name":"Notomi, Takuya","last_name":"Notomi","first_name":"Takuya"},{"full_name":"Tamás, Gábor","first_name":"Gábor","last_name":"Tamás"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","last_name":"Shigemoto"},{"first_name":"Zoltán","last_name":"Nusser","full_name":"Nusser, Zoltán"}],"day":"01","title":"Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites","publist_id":"4278","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Nature Publishing Group","pmid":1,"publication":"Nature Neuroscience","scopus_import":"1","article_processing_charge":"No","article_type":"original","publication_identifier":{"issn":["1097-6256"]},"doi":"10.1038/nn962","quality_controlled":"1","language":[{"iso":"eng"}],"issue":"11"},{"external_id":{"pmid":["12376542"]},"status":"public","citation":{"chicago":"Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “Subtype-Specific Expression of Group III Metabotropic Glutamate Receptors and Ca2+ Channels in Single Nerve Terminals.” <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology, 2002. <a href=\"https://doi.org/10.1074/jbc.M207531200\">https://doi.org/10.1074/jbc.M207531200</a>.","ieee":"C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals,” <i>Journal of Biological Chemistry</i>, vol. 277, no. 49. American Society for Biochemistry and Molecular Biology, pp. 47796–47803, 2002.","short":"C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.","ama":"Millán C, Luján R, Shigemoto R, Sánchez Prieto J. Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals. <i>Journal of Biological Chemistry</i>. 2002;277(49):47796-47803. doi:<a href=\"https://doi.org/10.1074/jbc.M207531200\">10.1074/jbc.M207531200</a>","apa":"Millán, C., Luján, R., Shigemoto, R., &#38; Sánchez Prieto, J. (2002). Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals. <i>Journal of Biological Chemistry</i>. American Society for Biochemistry and Molecular Biology. <a href=\"https://doi.org/10.1074/jbc.M207531200\">https://doi.org/10.1074/jbc.M207531200</a>","ista":"Millán C, Luján R, Shigemoto R, Sánchez Prieto J. 2002. Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals. Journal of Biological Chemistry. 277(49), 47796–47803.","mla":"Millán, Carmelo, et al. “Subtype-Specific Expression of Group III Metabotropic Glutamate Receptors and Ca2+ Channels in Single Nerve Terminals.” <i>Journal of Biological Chemistry</i>, vol. 277, no. 49, American Society for Biochemistry and Molecular Biology, 2002, pp. 47796–803, doi:<a href=\"https://doi.org/10.1074/jbc.M207531200\">10.1074/jbc.M207531200</a>."},"intvolume":"       277","extern":"1","publication_status":"published","date_published":"2002-12-02T00:00:00Z","year":"2002","acknowledgement":"We thank M. Sefton for editorial assistance.","_id":"2621","date_updated":"2023-07-19T07:49:19Z","abstract":[{"text":"The release properties of glutamatergic nerve terminals are influenced by a number of factors, including the subtype of voltage-dependent calcium channel and the presence of presynaptic autoreceptors. Group III metabotropic glutamate receptors (mGluRs) mediate feedback inhibition of glutamate release by inhibiting Ca2+ channel activity. By imaging Ca2+ in preparations of cerebrocortical nerve terminals, we show that voltage-dependent Ca2+ channels are distributed in a heterogeneous manner in individual nerve terminals. Presynaptic terminals contained only N-type (47.5%; conotoxin GVIA-sensitive), P/Q-type (3.9%; agatoxin IVA-sensitive), or both N- and P/Q-type (42.6%) Ca2+ channels, although the remainder of the terminals (6.1%) were insensitive to these two toxins. In this preparation, two mGluRs with high and low affinity for L(+)-2-amino-4-phosphonobutyrate were identified by immunocytochemistry as mGluR4 and mGluR7, respectively. These receptors were responsible for 22.2 and 24.1% reduction of glutamate release, and they reduced the Ca2+ response in 24.4 and 30.3% of the nerve terminals, respectively. Interestingly, mGluR4 was largely (73.7%) located in nerve terminals expressing both N- and P/Q-type Ca2+ channels, whereas mGluR7 was predominantly (69.9%) located in N-type Ca2+ channel-expressing terminals. This specific coexpression of different group III mGluRs and Ca2+ channels may endow synaptic terminals with distinct release properties and reveals the existence of a high degree of presynaptic heterogeneity.","lang":"eng"}],"oa_version":"Published Version","type":"journal_article","month":"12","page":"47796 - 47803","date_created":"2018-12-11T11:58:43Z","volume":277,"language":[{"iso":"eng"}],"issue":"49","publication_identifier":{"issn":["0021-9258"]},"quality_controlled":"1","doi":"10.1074/jbc.M207531200","pmid":1,"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"American Society for Biochemistry and Molecular Biology","article_processing_charge":"No","scopus_import":"1","article_type":"original","publication":"Journal of Biological Chemistry","day":"02","author":[{"first_name":"Carmelo","last_name":"Millán","full_name":"Millán, Carmelo"},{"full_name":"Luján, Rafael","first_name":"Rafael","last_name":"Luján"},{"full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","last_name":"Shigemoto"},{"full_name":"Sánchez Prieto, José","last_name":"Sánchez Prieto","first_name":"José"}],"publist_id":"4277","title":"Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals"},{"_id":"2622","acknowledgement":"The authors are grateful to Dr Marco Sassoe-Pogneto for his comments on a previous version of the manuscript. We also would like to thank to Ms. Courtney Voelker for the English revision and comments of the manuscript. This work was made possible by grants from the European Community (QLG3-CT-1999–00192, R.L) and the Spanish Ministry of Science and Technology (PB97-0582-CO2-01, A.F).","year":"2002","volume":15,"date_created":"2018-12-11T11:58:43Z","page":"1766 - 1778","oa_version":"None","type":"journal_article","month":"06","abstract":[{"lang":"eng","text":"To understand the possible contribution of metabotropic γ-aminobutyric acid receptors (GABABR) in cortical development, we investigated the expression pattern and the cellular and subcellular localization of the GABABR1 and GABABR2 subtypes in the rat neocortex from embryonic day 14 (E14) to adulthood. At the light microscopic level, both GABABR1 and GABABR2 were detected as early as E14. During prenatal development, both subtypes were expressed highly in the cortical plate. Using double immunofluorescence, GABABR1 colocalized with GABABR2 in neurons of the marginal zone and subplate, indicating that these proteins are coexpressed and could be forming functional GABABRs during prenatal development in vivo. In contrast, only GABABR1 but not GABABR2 was detected in the tangentially migratory cells in the lower intermediate zone. During postnatal development, immunoreactivity for GABABR1 and GABABR2 was distributed mainly in pyramidal cells. Discrete GABABR1-immunopositive cell bodies of interneurons were present throughout the neocortex. In addition, GABABR1 but not GABABR2 was found in identified Cajal-Retzius cells in layer I. At the electron microscopic level, immunoreactivity for GABABR1 and GABABR2 was found in dendritic spines and dendritic shafts at extrasynaptic and perisynaptic sites throughout postnatal development. We further demonstrated the presynaptic localization of GABABR1 and GABABR2, as well as the association of the receptors with asymmetrical synaptic junctions. These results indicate potentially important roles for the GABABRs in the regulation of migratory processes during corticogenesis and in the modulation of synaptic transmission during early development of cortical circuitry."}],"date_updated":"2023-07-19T07:30:39Z","extern":"1","intvolume":"        15","citation":{"apa":"López Bendito, G., Shigemoto, R., Kulik, Á., Paulsen, O., Fairén, A., &#38; Luján, R. (2002). Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1046/j.1460-9568.2002.02032.x\">https://doi.org/10.1046/j.1460-9568.2002.02032.x</a>","ista":"López Bendito G, Shigemoto R, Kulik Á, Paulsen O, Fairén A, Luján R. 2002. Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development. European Journal of Neuroscience. 15(11), 1766–1778.","mla":"López Bendito, Guillermina, et al. “Expression and Distribution of Metabotropic GABA Receptor Subtypes GABABR1 and GABABR2 during Rat Neocortical Development.” <i>European Journal of Neuroscience</i>, vol. 15, no. 11, Wiley-Blackwell, 2002, pp. 1766–78, doi:<a href=\"https://doi.org/10.1046/j.1460-9568.2002.02032.x\">10.1046/j.1460-9568.2002.02032.x</a>.","ama":"López Bendito G, Shigemoto R, Kulik Á, Paulsen O, Fairén A, Luján R. Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development. <i>European Journal of Neuroscience</i>. 2002;15(11):1766-1778. doi:<a href=\"https://doi.org/10.1046/j.1460-9568.2002.02032.x\">10.1046/j.1460-9568.2002.02032.x</a>","short":"G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, R. Luján, European Journal of Neuroscience 15 (2002) 1766–1778.","chicago":"López Bendito, Guillermina, Ryuichi Shigemoto, Ákos Kulik, Ole Paulsen, Alfonso Fairén, and Rafael Luján. “Expression and Distribution of Metabotropic GABA Receptor Subtypes GABABR1 and GABABR2 during Rat Neocortical Development.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2002. <a href=\"https://doi.org/10.1046/j.1460-9568.2002.02032.x\">https://doi.org/10.1046/j.1460-9568.2002.02032.x</a>.","ieee":"G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, and R. Luján, “Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development,” <i>European Journal of Neuroscience</i>, vol. 15, no. 11. Wiley-Blackwell, pp. 1766–1778, 2002."},"status":"public","external_id":{"pmid":["12081656"]},"date_published":"2002-06-01T00:00:00Z","publication_status":"published","publication":"European Journal of Neuroscience","article_type":"original","article_processing_charge":"No","scopus_import":"1","publisher":"Wiley-Blackwell","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","pmid":1,"title":"Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development","publist_id":"4276","author":[{"full_name":"López Bendito, Guillermina","first_name":"Guillermina","last_name":"López Bendito"},{"last_name":"Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi"},{"first_name":"Ákos","last_name":"Kulik","full_name":"Kulik, Ákos"},{"full_name":"Paulsen, Ole","first_name":"Ole","last_name":"Paulsen"},{"first_name":"Alfonso","last_name":"Fairén","full_name":"Fairén, Alfonso"},{"first_name":"Rafael","last_name":"Luján","full_name":"Luján, Rafael"}],"day":"01","issue":"11","language":[{"iso":"eng"}],"doi":"10.1046/j.1460-9568.2002.02032.x","quality_controlled":"1","publication_identifier":{"issn":["0953-816X"]}}]