[{"publist_id":"274","quality_controlled":0,"publication_status":"published","date_created":"2018-12-11T12:08:56Z","type":"conference","abstract":[{"text":"A modular program analysis considers components independently and provides a succinct summary for each component, which is used when checking the rest of the system. Consider a system consisting of a library and a client. A temporal summary, or interface, of the library specifies legal sequences of library calls. The interface is safe if no call sequence violates the library's internal invariants; the interface is permissive if it contains every such sequence. Modular program analysis requires full interfaces, which are both safe and permissive: the client does not cause errors in the library if and only if it makes only sequences of library calls that are allowed by the full interface of the library.Previous interface-based methods have focused on safe interfaces, which may be too restrictive and thus reject good clients. We present an algorithm for automatically synthesizing software interfaces that are both safe and permissive. The algorithm generates interfaces as graphs whose vertices are labeled with predicates over the library's internal state, and whose edges are labeled with library calls. The interface state is refined incrementally until the full interface is constructed. In other words, the algorithm automatically synthesizes a typestate system for the library, against which any client can be checked for compatibility. We present an implementation of the algorithm which is based on the BLAST model checker, and we evaluate some case studies.","lang":"eng"}],"year":"2005","date_updated":"2021-01-12T07:57:06Z","author":[{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","full_name":"Thomas Henzinger","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jhala, Ranjit","last_name":"Jhala","first_name":"Ranjit"},{"last_name":"Majumdar","full_name":"Majumdar, Ritankar S","first_name":"Ritankar"}],"day":"01","publisher":"ACM","extern":1,"conference":{"name":"FSE: Foundations of Software Engineering"},"citation":{"ama":"Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:<a href=\"https://doi.org/10.1145/1081706.1081713\">10.1145/1081706.1081713</a>","apa":"Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM. <a href=\"https://doi.org/10.1145/1081706.1081713\">https://doi.org/10.1145/1081706.1081713</a>","chicago":"Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,” 31–40. ACM, 2005. <a href=\"https://doi.org/10.1145/1081706.1081713\">https://doi.org/10.1145/1081706.1081713</a>.","mla":"Henzinger, Thomas A., et al. <i>Permissive Interfaces</i>. ACM, 2005, pp. 31–40, doi:<a href=\"https://doi.org/10.1145/1081706.1081713\">10.1145/1081706.1081713</a>.","ieee":"T. A. Henzinger, R. Jhala, and R. Majumdar, “Permissive interfaces,” presented at the FSE: Foundations of Software Engineering, 2005, pp. 31–40.","ista":"Henzinger TA, Jhala R, Majumdar R. 2005. Permissive interfaces. FSE: Foundations of Software Engineering, 31–40.","short":"T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40."},"date_published":"2005-09-01T00:00:00Z","page":"31 - 40","doi":"10.1145/1081706.1081713","month":"09","_id":"4456","title":"Permissive interfaces","status":"public"},{"abstract":[{"lang":"eng","text":"We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated by a system integrator, can independently generate different parts of the distributed software. The task structure, interaction, and timing is specified as a Giotto program. Each supplier is given a part of the Giotto program and a timing interface, from which the supplier generates task and scheduling code. The integrator then checks, individually for each supplier, in pseudo-polynomial time, if the supplied code meets its timing specification. If all checks succeed, then the supplied software parts are guaranteed to work together and implement the original Giotto program. The feasibility of the approach is demonstrated by a prototype implementation."}],"type":"conference","date_created":"2018-12-11T12:08:57Z","year":"2005","date_updated":"2021-01-12T07:57:06Z","publist_id":"275","publication_status":"published","quality_controlled":0,"date_published":"2005-06-01T00:00:00Z","citation":{"mla":"Henzinger, Thomas A., et al. <i>Composable Code Generation for Distributed Giotto</i>. ACM, 2005, pp. 21–30, doi:<a href=\"https://doi.org/10.1145/1065910.1065914\">10.1145/1065910.1065914</a>.","ista":"Henzinger TA, Kirsch C, Matic S. 2005. Composable code generation for distributed Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems, 21–30.","ieee":"T. A. Henzinger, C. Kirsch, and S. Matic, “Composable code generation for distributed Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2005, pp. 21–30.","ama":"Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:<a href=\"https://doi.org/10.1145/1065910.1065914\">10.1145/1065910.1065914</a>","chicago":"Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,” 21–30. ACM, 2005. <a href=\"https://doi.org/10.1145/1065910.1065914\">https://doi.org/10.1145/1065910.1065914</a>.","apa":"Henzinger, T. A., Kirsch, C., &#38; Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. <a href=\"https://doi.org/10.1145/1065910.1065914\">https://doi.org/10.1145/1065910.1065914</a>","short":"T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30."},"page":"21 - 30","doi":"10.1145/1065910.1065914","_id":"4457","title":"Composable code generation for distributed Giotto","status":"public","month":"06","publisher":"ACM","extern":1,"day":"01","conference":{"name":"LCTES: Languages, Compilers, and Tools for Embedded Systems"},"author":[{"full_name":"Thomas Henzinger","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Christoph","last_name":"Kirsch","full_name":"Kirsch, Christoph M"},{"first_name":"Slobodan","full_name":"Matic, Slobodan","last_name":"Matic"}]},{"day":"13","volume":3829,"publisher":"Springer","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"extern":1,"author":[{"first_name":"Laurent","last_name":"Doyen","full_name":"Doyen, Laurent"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Thomas Henzinger"},{"first_name":"Jean","last_name":"Raskin","full_name":"Raskin, Jean-François"}],"_id":"4536","title":"Automatic rectangular refinement of affine hybrid systems","month":"12","status":"public","doi":"DOI: 10.1007/11603009_13","intvolume":"      3829","page":"144 - 161","date_published":"2005-12-13T00:00:00Z","citation":{"ama":"Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:<a href=\"https://doi.org/DOI: 10.1007/11603009_13\">DOI: 10.1007/11603009_13</a>","chicago":"Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,” 3829:144–61. Springer, 2005. <a href=\"https://doi.org/DOI: 10.1007/11603009_13\">https://doi.org/DOI: 10.1007/11603009_13</a>.","apa":"Doyen, L., Henzinger, T. A., &#38; Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. <a href=\"https://doi.org/DOI: 10.1007/11603009_13\">https://doi.org/DOI: 10.1007/11603009_13</a>","mla":"Doyen, Laurent, et al. <i>Automatic Rectangular Refinement of Affine Hybrid Systems</i>. Vol. 3829, Springer, 2005, pp. 144–61, doi:<a href=\"https://doi.org/DOI: 10.1007/11603009_13\">DOI: 10.1007/11603009_13</a>.","ista":"Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 144–161.","ieee":"L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 144–161.","short":"L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161."},"publication_status":"published","quality_controlled":0,"alternative_title":["LNCS"],"publist_id":"190","date_updated":"2021-01-12T07:59:31Z","year":"2005","abstract":[{"text":"We show how to automatically construct and refine rectangular abstractions of systems of linear differential equations. From a hybrid automaton whose dynamics are given by a system of linear differential equations, our method computes automatically a sequence of rectangular hybrid automata that are increasingly precise overapproximations of the original hybrid automaton. We prove an optimality criterion for successive refinements. We also show that this method can take into account a safety property to be verified, refining only relevant parts of the state space. The practicability of the method is illustrated on a benchmark case study. ","lang":"eng"}],"type":"conference","date_created":"2018-12-11T12:09:22Z","acknowledgement":"Supported in part by the AFOSR MURI grant F49620-00-1-0327 and the NSF grants CCR-0208875 and CCR-0225610."},{"quality_controlled":0,"publication_status":"published","publist_id":"182","alternative_title":["LNCS"],"date_updated":"2021-01-12T07:59:34Z","year":"2005","type":"conference","date_created":"2018-12-11T12:09:23Z","abstract":[{"text":"Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based models are ill-suited for these applications, because they assume that each player has complete information about the state of the system (they are “perfect-information” games). This is because in many situations, a controller does not see the private state of the plant. Such scenarios are naturally modeled by “partial-information” games. On the other hand, these games are intractable; for example, partial-information games with simple reachability objectives are 2EXPTIME-complete.\nWe study the intermediate case of “semiperfect-information” games, where one player has complete knowledge of the state, while the other player has only partial knowledge. This model is appropriate in control situations where a controller must cope with plant behavior that is as adversarial as possible, i.e., the controller has partial information while the plant has perfect information. As is customary, we assume that the controller and plant take turns to make moves. We show that these semiperfect-information turn-based games are equivalent to perfect-information concurrent games, where the two players choose their moves simultaneously and independently. Since the perfect-information concurrent games are well-understood, we obtain several results of how semiperfect-information turn-based games differ from perfect-information turn-based games on one hand, and from partial-information turn-based games on the other hand. In particular, semiperfect-information turn-based games can benefit from randomized strategies while the perfect-information variety cannot, and semiperfect-information turn-based games are in NP ∩ coNP for all parity objectives.\n","lang":"eng"}],"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","last_name":"Henzinger"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","conference":{"name":"FSTTCS: Foundations of Software Technology and Theoretical Computer Science"},"extern":1,"day":"07","volume":3821,"title":"Semiperfect-information games","_id":"4541","status":"public","month":"12","doi":"10.1007/11590156_1","intvolume":"      3821","page":"1 - 18","citation":{"mla":"Chatterjee, Krishnendu, and Thomas A. Henzinger. <i>Semiperfect-Information Games</i>. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:<a href=\"https://doi.org/10.1007/11590156_1\">10.1007/11590156_1</a>.","ista":"Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.","ieee":"K. Chatterjee and T. A. Henzinger, “Semiperfect-information games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2005, vol. 3821, pp. 1–18.","ama":"Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:<a href=\"https://doi.org/10.1007/11590156_1\">10.1007/11590156_1</a>","chicago":"Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,” 3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. <a href=\"https://doi.org/10.1007/11590156_1\">https://doi.org/10.1007/11590156_1</a>.","apa":"Chatterjee, K., &#38; Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/11590156_1\">https://doi.org/10.1007/11590156_1</a>","short":"K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18."},"date_published":"2005-12-07T00:00:00Z"},{"extern":1,"conference":{"name":"ICALP: Automata, Languages and Programming"},"volume":3580,"publisher":"Springer","day":"24","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Krishnendu Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"De Alfaro","full_name":"de Alfaro, Luca","first_name":"Luca"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"month":"06","_id":"4553","status":"public","title":"The complexity of stochastic Rabin and Streett games","intvolume":"      3580","doi":"10.1007/11523468_71","page":"878 - 890","date_published":"2005-06-24T00:00:00Z","citation":{"chicago":"Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,” 3580:878–90. Springer, 2005. <a href=\"https://doi.org/10.1007/11523468_71\">https://doi.org/10.1007/11523468_71</a>.","apa":"Chatterjee, K., De Alfaro, L., &#38; Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. <a href=\"https://doi.org/10.1007/11523468_71\">https://doi.org/10.1007/11523468_71</a>","ama":"Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:<a href=\"https://doi.org/10.1007/11523468_71\">10.1007/11523468_71</a>","ieee":"K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of stochastic Rabin and Streett games,” presented at the ICALP: Automata, Languages and Programming, 2005, vol. 3580, pp. 878–890.","ista":"Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.","mla":"Chatterjee, Krishnendu, et al. <i>The Complexity of Stochastic Rabin and Streett Games</i>. Vol. 3580, Springer, 2005, pp. 878–90, doi:<a href=\"https://doi.org/10.1007/11523468_71\">10.1007/11523468_71</a>.","short":"K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890."},"publication_status":"published","quality_controlled":0,"alternative_title":["LNCS"],"publist_id":"158","date_updated":"2021-01-12T07:59:39Z","year":"2005","abstract":[{"text":"The theory of graph games with ω-regular winning conditions is the foundation for modeling and synthesizing reactive processes. In the case of stochastic reactive processes, the corresponding stochastic graph games have three players, two of them (System and Environment) behaving adversarially, and the third (Uncertainty) behaving probabilistically. We consider two problems for stochastic graph games: the qualitative problem asks for the set of states from which a player can win with probability 1 (almost-sure winning); the quantitative problem asks for the maximal probability of winning (optimal winning) from each state. We show that for Rabin winning conditions, both problems are in NP. As these problems were known to be NP-hard, it follows that they are NP-complete for Rabin conditions, and dually, coNP-complete for Streett conditions. The proof proceeds by showing that pure memoryless strategies suffice for qualitatively and quantitatively winning stochastic graph games with Rabin conditions. This insight is of interest in its own right, as it implies that controllers for Rabin objectives have simple implementations. We also prove that for every ω-regular condition, optimal winning strategies are no more complex than almost-sure winning strategies.","lang":"eng"}],"type":"conference","date_created":"2018-12-11T12:09:27Z","acknowledgement":"This research was supported in part by the ONR grant N00014-02-1-0671, the AFOSR MURI grant F49620-00-1-0327, and the NSF grant CCR-0225610."},{"extern":1,"conference":{"name":"LICS: Logic in Computer Science"},"day":"19","publisher":"IEEE","author":[{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Krishnendu Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","full_name":"Thomas Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Marcin","full_name":"Jurdziński, Marcin","last_name":"Jurdziński"}],"doi":"10.1109/LICS.2005.26","month":"09","_id":"4554","status":"public","title":"Mean-payoff parity games","date_published":"2005-09-19T00:00:00Z","citation":{"short":"K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.","ieee":"K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Mean-payoff parity games,” presented at the LICS: Logic in Computer Science, 2005, pp. 178–187.","ista":"Chatterjee K, Henzinger TA, Jurdziński M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.","mla":"Chatterjee, Krishnendu, et al. <i>Mean-Payoff Parity Games</i>. IEEE, 2005, pp. 178–87, doi:<a href=\"https://doi.org/10.1109/LICS.2005.26\">10.1109/LICS.2005.26</a>.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. <a href=\"https://doi.org/10.1109/LICS.2005.26\">https://doi.org/10.1109/LICS.2005.26</a>","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Mean-Payoff Parity Games,” 178–87. IEEE, 2005. <a href=\"https://doi.org/10.1109/LICS.2005.26\">https://doi.org/10.1109/LICS.2005.26</a>.","ama":"Chatterjee K, Henzinger TA, Jurdziński M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:<a href=\"https://doi.org/10.1109/LICS.2005.26\">10.1109/LICS.2005.26</a>"},"page":"178 - 187","publication_status":"published","quality_controlled":0,"publist_id":"159","year":"2005","date_updated":"2021-01-12T07:59:39Z","abstract":[{"lang":"eng","text":"Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a real-valued reward. When games are used to model reactive systems with both fairness assumptions and quantitative (e.g., resource) constraints, then the corresponding objective combines both a qualitative and a quantitative component. In a general case of interest, the qualitative component is a parity condition and the quantitative component is a mean-payoff reward. We study and solve such mean-payoff parity games. We also prove some interesting facts about mean-payoff parity games which distinguish them both from mean-payoff and from parity games. In particular, we show that optimal strategies exist in mean-payoff parity games, but they may require infinite memory."}],"type":"conference","date_created":"2018-12-11T12:09:27Z"},{"publist_id":"157","publication_status":"published","main_file_link":[{"open_access":"0","url":"http://uai.sis.pitt.edu/papers/05/p104-chatterjee.pdf"}],"quality_controlled":0,"abstract":[{"lang":"eng","text":"Planning in adversarial and uncertain environments can be modeled as the problem of devising strategies in stochastic perfect information games. These games are generalizations of Markov decision processes (MDPs): there are two (adversarial) players, and a source of randomness. The main practical obstacle to computing winning strategies in such games is the size of the state space. In practice therefore, one typically works with abstractions of the model. The diffculty is to come up with an abstraction that is neither too coarse to remove all winning strategies (plans), nor too fine to be intractable. In verification, the paradigm of counterexample-guided abstraction refinement has been successful to construct useful but parsimonious abstractions automatically. We extend this paradigm to probabilistic models (namely, perfect information games and, as a special case, MDPs). This allows us to apply the counterexample-guided abstraction paradigm to the AI planning problem. As special cases, we get planning algorithms for MDPs and deterministic systems that automatically construct system abstractions."}],"type":"conference","date_created":"2018-12-11T12:09:28Z","year":"2005","date_updated":"2021-01-12T07:59:41Z","day":"01","extern":1,"conference":{"name":"UAI: Uncertainty in Artificial Intelligence"},"publisher":"AUAI Press","author":[{"full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"last_name":"Jhala","full_name":"Jhala, Ranjit","first_name":"Ranjit"},{"first_name":"Ritankar","full_name":"Majumdar, Ritankar S","last_name":"Majumdar"}],"date_published":"2005-01-01T00:00:00Z","citation":{"apa":"Chatterjee, K., Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.","ama":"Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.","ista":"Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.","ieee":"K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided planning,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 104–111.","mla":"Chatterjee, Krishnendu, et al. <i>Counterexample-Guided Planning</i>. AUAI Press, 2005, pp. 104–11.","short":"K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111."},"page":"104 - 111","title":"Counterexample-guided planning","_id":"4557","month":"01","status":"public"},{"_id":"2461","month":"12","title":"The Matryoshka dolls of plant polarity","status":"public","intvolume":"       131","doi":"10.1242/dev.01463","oa_version":"None","page":"5774 - 5775","publication":"Development","date_published":"2004-12-01T00:00:00Z","citation":{"short":"M. Sauer, J. Friml, Development 131 (2004) 5774–5775.","ama":"Sauer M, Friml J. The Matryoshka dolls of plant polarity. <i>Development</i>. 2004;131(23):5774-5775. doi:<a href=\"https://doi.org/10.1242/dev.01463\">10.1242/dev.01463</a>","apa":"Sauer, M., &#38; Friml, J. (2004). The Matryoshka dolls of plant polarity. <i>Development</i>. Company of Biologists. <a href=\"https://doi.org/10.1242/dev.01463\">https://doi.org/10.1242/dev.01463</a>","chicago":"Sauer, Michael, and Jiří Friml. “The Matryoshka Dolls of Plant Polarity.” <i>Development</i>. Company of Biologists, 2004. <a href=\"https://doi.org/10.1242/dev.01463\">https://doi.org/10.1242/dev.01463</a>.","mla":"Sauer, Michael, and Jiří Friml. “The Matryoshka Dolls of Plant Polarity.” <i>Development</i>, vol. 131, no. 23, Company of Biologists, 2004, pp. 5774–75, doi:<a href=\"https://doi.org/10.1242/dev.01463\">10.1242/dev.01463</a>.","ieee":"M. Sauer and J. Friml, “The Matryoshka dolls of plant polarity,” <i>Development</i>, vol. 131, no. 23. Company of Biologists, pp. 5774–5775, 2004.","ista":"Sauer M, Friml J. 2004. The Matryoshka dolls of plant polarity. Development. 131(23), 5774–5775."},"extern":"1","publisher":"Company of Biologists","day":"01","volume":131,"author":[{"first_name":"Michael","last_name":"Sauer","full_name":"Sauer, Michael"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","first_name":"Jirí","full_name":"Friml, Jirí","last_name":"Friml"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T06:57:37Z","year":"2004","type":"review","date_created":"2018-12-11T11:57:48Z","publication_status":"published","quality_controlled":"1","issue":"23","language":[{"iso":"eng"}],"publist_id":"4442"},{"author":[{"first_name":"Akiko","full_name":"Momiyama, Akiko","last_name":"Momiyama"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444"}],"day":"01","volume":49,"extern":1,"publisher":"Kyoritsu Shuppan","_id":"2636","status":"public","title":"Function and distribution of glutamate receptors in the central synapses","month":"02","intvolume":"        49","publication":"Tanpakushitsu kakusan koso Protein nucleic acid enzyme","page":"287 - 294","citation":{"ama":"Momiyama A, Shigemoto R. Function and distribution of glutamate receptors in the central synapses. <i>Tanpakushitsu kakusan koso Protein nucleic acid enzyme</i>. 2004;49(3 Suppl):287-294.","chicago":"Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” <i>Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme</i>. Kyoritsu Shuppan, 2004.","apa":"Momiyama, A., &#38; Shigemoto, R. (2004). Function and distribution of glutamate receptors in the central synapses. <i>Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme</i>. Kyoritsu Shuppan.","mla":"Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” <i>Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme</i>, vol. 49, no. 3 Suppl, Kyoritsu Shuppan, 2004, pp. 287–94.","ista":"Momiyama A, Shigemoto R. 2004. Function and distribution of glutamate receptors in the central synapses. Tanpakushitsu kakusan koso Protein nucleic acid enzyme. 49(3 Suppl), 287–294.","ieee":"A. Momiyama and R. Shigemoto, “Function and distribution of glutamate receptors in the central synapses,” <i>Tanpakushitsu kakusan koso Protein nucleic acid enzyme</i>, vol. 49, no. 3 Suppl. Kyoritsu Shuppan, pp. 287–294, 2004.","short":"A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 49 (2004) 287–294."},"date_published":"2004-02-01T00:00:00Z","quality_controlled":0,"publication_status":"published","issue":"3 Suppl","publist_id":"4261","date_updated":"2020-07-14T12:45:44Z","year":"2004","date_created":"2018-12-11T11:58:48Z","type":"review"},{"publication":"European Journal of Neuroscience","page":"2169 - 2178","citation":{"ama":"Kulik Á, Nakadate K, Hagiwara A, et al. Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. <i>European Journal of Neuroscience</i>. 2004;19(8):2169-2178. doi:<a href=\"https://doi.org/10.1111/j.0953-816X.2004.03319.x\">10.1111/j.0953-816X.2004.03319.x</a>","apa":"Kulik, Á., Nakadate, K., Hagiwara, A., Fukazawa, Y., Luján, R., Saito, H., … Shigemoto, R. (2004). Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.0953-816X.2004.03319.x\">https://doi.org/10.1111/j.0953-816X.2004.03319.x</a>","chicago":"Kulik, Ákos, Kazuhiko Nakadate, Akari Hagiwara, Yugo Fukazawa, Rafael Luján, Hiromitsu Saito, Noboru Suzuki, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2004. <a href=\"https://doi.org/10.1111/j.0953-816X.2004.03319.x\">https://doi.org/10.1111/j.0953-816X.2004.03319.x</a>.","mla":"Kulik, Ákos, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” <i>European Journal of Neuroscience</i>, vol. 19, no. 8, Wiley-Blackwell, 2004, pp. 2169–78, doi:<a href=\"https://doi.org/10.1111/j.0953-816X.2004.03319.x\">10.1111/j.0953-816X.2004.03319.x</a>.","ieee":"Á. Kulik <i>et al.</i>, “Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum,” <i>European Journal of Neuroscience</i>, vol. 19, no. 8. Wiley-Blackwell, pp. 2169–2178, 2004.","ista":"Kulik Á, Nakadate K, Hagiwara A, Fukazawa Y, Luján R, Saito H, Suzuki N, Futatsugi A, Mikoshiba K, Frotscher M, Shigemoto R. 2004. Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience. 19(8), 2169–2178.","short":"Á. Kulik, K. Nakadate, A. Hagiwara, Y. Fukazawa, R. Luján, H. Saito, N. Suzuki, A. Futatsugi, K. Mikoshiba, M. Frotscher, R. Shigemoto, European Journal of Neuroscience 19 (2004) 2169–2178."},"date_published":"2004-04-01T00:00:00Z","status":"public","_id":"2638","month":"04","title":"Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum","doi":"10.1111/j.0953-816X.2004.03319.x","intvolume":"        19","author":[{"full_name":"Kulik, Ákos","last_name":"Kulik","first_name":"Ákos"},{"first_name":"Kazuhiko","full_name":"Nakadate, Kazuhiko","last_name":"Nakadate"},{"first_name":"Akari","last_name":"Hagiwara","full_name":"Hagiwara, Akari"},{"full_name":"Fukazawa, Yugo","last_name":"Fukazawa","first_name":"Yugo"},{"last_name":"Luján","full_name":"Luján, Rafael","first_name":"Rafael"},{"first_name":"Hiromitsu","full_name":"Saito, Hiromitsu","last_name":"Saito"},{"first_name":"Noboru","full_name":"Suzuki, Noboru","last_name":"Suzuki"},{"first_name":"Akira","last_name":"Futatsugi","full_name":"Futatsugi, Akira"},{"first_name":"Katsuhiko","full_name":"Mikoshiba, Katsuhiko","last_name":"Mikoshiba"},{"first_name":"Michael","full_name":"Frotscher, Michael","last_name":"Frotscher"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","full_name":"Ryuichi Shigemoto","last_name":"Shigemoto"}],"day":"01","volume":19,"publisher":"Wiley-Blackwell","extern":1,"date_created":"2018-12-11T11:58:48Z","type":"journal_article","abstract":[{"text":"Among various types of low- and high-threshold calcium channels, the high voltage-activated P/Q-type channel is the most abundant in the cerebellum. These P/Q-type channels are involved in the regulation of neurotransmitter release and in the integration of dendritic inputs. We used an antibody specific for the α1A subunit of the P/Q-type channel in quantitative pre-embedding immunogold labelling combined with three-dimensional reconstruction to reveal the subcellular distribution of pre- and postsynaptic P/Q-type channels in the rat cerebellum. At the light microscopic level, immunoreactivity for the α1A protein was prevalent in the molecular layer, whereas immunostaining was moderate in the somata of Purkinje cells and weak in the granule cell layer. At the electron microscopic level, the most intense Immunoreactivity for the α1A subunit was found in the presynaptic active zone of parallel fibre varicosities. The dendritic spines of Purkinje cells were also strongly labelled with the highest density of immunoparticles detected within 180 nm from the edge of the asymmetrical parallel fibre-Purkinje cell synapses. By contrast, the immunolabelling was sparse in climbing fibre varicosities and axon terminals of GABAergic cells, and weak and diffuse in dendritic shafts of Purkinje cells. The association of the α1A subunit with the glutamatergic parallel fibre-Purkinje cell synapses suggests that presynaptic channels have a major role in the mediation of excitatory neurotransmission, whereas postsynaptic channels are likely to be involved in depolarization-induced generation of local calcium transients in Purkinje cells.","lang":"eng"}],"date_updated":"2021-01-12T06:58:44Z","year":"2004","publist_id":"4259","quality_controlled":0,"publication_status":"published","issue":"8"},{"author":[{"first_name":"Jozsef","full_name":"Somogyi, Jozsef","last_name":"Somogyi"},{"first_name":"Agnès","full_name":"Baude, Agnès","last_name":"Baude"},{"first_name":"Yuko","full_name":"Omori, Yuko","last_name":"Omori"},{"full_name":"Shimizu, Hidemi","last_name":"Shimizu","first_name":"Hidemi"},{"last_name":"El Mestikawy","full_name":"El-Mestikawy, Salah","first_name":"Salah"},{"first_name":"Masahiro","last_name":"Fukaya","full_name":"Fukaya, Masahiro"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","full_name":"Ryuichi Shigemoto","last_name":"Shigemoto"},{"first_name":"Masahiko","last_name":"Watanabe","full_name":"Watanabe, Masahiko"},{"first_name":"Péter","last_name":"Somogyi","full_name":"Somogyi, Péter"}],"extern":1,"day":"01","publisher":"Wiley-Blackwell","volume":19,"publication":"European Journal of Neuroscience","page":"552 - 569","citation":{"short":"J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.","ama":"Somogyi J, Baude A, Omori Y, et al. GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. <i>European Journal of Neuroscience</i>. 2004;19(3):552-569. doi:<a href=\"https://doi.org/10.1111/j.0953-816X.2003.03091.x\">10.1111/j.0953-816X.2003.03091.x</a>","apa":"Somogyi, J., Baude, A., Omori, Y., Shimizu, H., El Mestikawy, S., Fukaya, M., … Somogyi, P. (2004). GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.0953-816X.2003.03091.x\">https://doi.org/10.1111/j.0953-816X.2003.03091.x</a>","chicago":"Somogyi, Jozsef, Agnès Baude, Yuko Omori, Hidemi Shimizu, Salah El Mestikawy, Masahiro Fukaya, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “GABAergic Basket Cells Expressing Cholecystokinin Contain Vesicular Glutamate Transporter Type 3 (VGLUT3) in Their Synaptic Terminals in Hippocampus and Isocortex of the Rat.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2004. <a href=\"https://doi.org/10.1111/j.0953-816X.2003.03091.x\">https://doi.org/10.1111/j.0953-816X.2003.03091.x</a>.","mla":"Somogyi, Jozsef, et al. “GABAergic Basket Cells Expressing Cholecystokinin Contain Vesicular Glutamate Transporter Type 3 (VGLUT3) in Their Synaptic Terminals in Hippocampus and Isocortex of the Rat.” <i>European Journal of Neuroscience</i>, vol. 19, no. 3, Wiley-Blackwell, 2004, pp. 552–69, doi:<a href=\"https://doi.org/10.1111/j.0953-816X.2003.03091.x\">10.1111/j.0953-816X.2003.03091.x</a>.","ieee":"J. Somogyi <i>et al.</i>, “GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat,” <i>European Journal of Neuroscience</i>, vol. 19, no. 3. Wiley-Blackwell, pp. 552–569, 2004.","ista":"Somogyi J, Baude A, Omori Y, Shimizu H, El Mestikawy S, Fukaya M, Shigemoto R, Watanabe M, Somogyi P. 2004. GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. European Journal of Neuroscience. 19(3), 552–569."},"date_published":"2004-02-01T00:00:00Z","_id":"2639","month":"02","status":"public","title":"GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat","intvolume":"        19","doi":"10.1111/j.0953-816X.2003.03091.x","publist_id":"4260","quality_controlled":0,"publication_status":"published","issue":"3","date_created":"2018-12-11T11:58:49Z","type":"journal_article","abstract":[{"text":"Vesicular glutamate transporter type 3 (VGLUT3) containing neuronal elements were characterized using antibodies to VGLUT3 and molecular cell markers. All VGLUT3-positive somata were immunoreactive for CCK, and very rarely, also for calbindin; none was positive for parvalbumin, calretinin, VIP or somatostatin. In the CA1 area, 26.8 ± 0.7% of CCK-positive interneuron somata were VGLUT3-positive, a nonoverlapping 22.8 ± 1.9% were calbindin-positive, 10.7 ± 2.5% VIP-positive and the rest were only CCK-positive. The patterns of coexpression were similar in the CA3 area, the dentate gyrus and the isocortex. Immunoreactivity for VGLUT3 was undetectable in pyramidal and dentate granule cells. Boutons colabelled for VGLUT3, CCK and GAD were most abundant in the cellular layers of the hippocampus and in layers II-III of the isocortex. Large VGLUT3-labelled boutons at the border of strata radiatum and lacunosum-moleculare in the CA1 area were negative for GAD, but were labelled for vesicular monoamine transporter type 2, plasmalemmal serotonin transporter or serotonin. No colocalization was found in terminals between VGLUT3 and parvalbumin, vesicular acetylcholine transporter and group III (mGluR7a,b; mGluR8a,b) metabotropic glutamate receptors. In stratum radiatum and the isocortex, VGLUT3-positive but GAD-negative boutons heavily innervated the soma and proximal dendrites of some VGLUT3- or calbindin-positive interneurons. The results suggest that boutons coexpressing VGLUT3, CCK and GAD originate from CCK-positive basket cells, which are VIP-immunonegative. Other VGLUT3-positive boutons immunopositive for serotonergic markers but negative for GAD probably originate from the median raphe nucleus and innervate select interneurons. The presumed amino acid substrate of VGLUT3 may act on presynaptic kainate or group II metabotropic glutamate receptors.","lang":"eng"}],"date_updated":"2021-01-12T06:58:44Z","year":"2004"},{"publication":"Journal of Comparative Neurology","page":"241 - 276","citation":{"short":"T. Notomi, R. Shigemoto, Journal of Comparative Neurology 471 (2004) 241–276.","ista":"Notomi T, Shigemoto R. 2004. Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. Journal of Comparative Neurology. 471(3), 241–276.","ieee":"T. Notomi and R. Shigemoto, “Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain,” <i>Journal of Comparative Neurology</i>, vol. 471, no. 3. Wiley-Blackwell, pp. 241–276, 2004.","mla":"Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.” <i>Journal of Comparative Neurology</i>, vol. 471, no. 3, Wiley-Blackwell, 2004, pp. 241–76, doi:<a href=\"https://doi.org/10.1002/cne.11039\">10.1002/cne.11039</a>.","apa":"Notomi, T., &#38; Shigemoto, R. (2004). Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cne.11039\">https://doi.org/10.1002/cne.11039</a>","chicago":"Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 2004. <a href=\"https://doi.org/10.1002/cne.11039\">https://doi.org/10.1002/cne.11039</a>.","ama":"Notomi T, Shigemoto R. Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. <i>Journal of Comparative Neurology</i>. 2004;471(3):241-276. doi:<a href=\"https://doi.org/10.1002/cne.11039\">10.1002/cne.11039</a>"},"date_published":"2004-04-05T00:00:00Z","_id":"2640","title":"Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain","month":"04","status":"public","intvolume":"       471","doi":"10.1002/cne.11039","author":[{"full_name":"Notomi, Takuya","last_name":"Notomi","first_name":"Takuya"},{"orcid":"0000-0001-8761-9444","first_name":"Ryuichi","last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"}],"volume":471,"day":"05","publisher":"Wiley-Blackwell","extern":1,"date_created":"2018-12-11T11:58:49Z","type":"journal_article","abstract":[{"text":"Hyperpolarization-activated cation currents (Ih) contribute to various physiological properties and functions in the brain, including neuronal pacemaker activity, setting of resting membrane potential, and dendritic integration of synaptic input. Four subunits of the Hyperpolarization-activated and Cyclic-Nucleotide-gated nonselective cation channels (HCN1-4), which generate Ih, have been cloned recently. To better understand the functional diversity of Ih in the brain, we examined precise immunohistochemical localization of four HCNs in the rat brain. Immunoreactivity for HCN1 showed predominantly cortical distribution, being intense in the neocortex, hippocampus, superior colliculus, and cerebellum, whereas those for HCN3 and HCN4 exhibited subcortical distribution mainly concentrated in the hypothalamus and thalamus, respectively. Immunoreactivity for HCN2 had a widespread distribution throughout the brain. Double immunofluorescence revealed colocalization of immunoreactivity for HCN1 and HCN2 in distal dendrites of pyramidal cells in the hippocampus and neocortex. At the electron microscopic level, immunogold particles for HCN1 and HCN2 had similar distribution patterns along plasma membrane of dendritic shafts in layer I of the neocortex and stratum lacunosum moleculare of the hippocampal CA1 area, suggesting that these subunits could form heteromeric channels. Our results further indicate that HCNs are localized not only in somato-dendritic compartments but also in axonal compartments of neurons. Immunoreactivity for HCNs often occurred in preterminal rather than terminal portions of axons and in specific populations of myelinated axons. We also found HCN2-immunopositive oligodendrocytes including perineuronal oligodendrocytes throughout the brain. These results support previous electrophysiological findings and further suggest unexpected roles of Ih channels in the brain.","lang":"eng"}],"date_updated":"2021-01-12T06:58:45Z","year":"2004","publist_id":"4258","quality_controlled":0,"publication_status":"published","issue":"3"},{"author":[{"full_name":"Kang, Youngnam","last_name":"Kang","first_name":"Youngnam"},{"last_name":"Notomi","full_name":"Notomi, Takuya","first_name":"Takuya"},{"first_name":"Mitsuru","full_name":"Saito, Mitsuru","last_name":"Saito"},{"first_name":"Wei","full_name":"Zhang, Wei","last_name":"Zhang"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Ryuichi Shigemoto","last_name":"Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444"}],"publisher":"Society for Neuroscience","extern":1,"volume":24,"day":"07","citation":{"short":"Y. Kang, T. Notomi, M. Saito, W. Zhang, R. Shigemoto, Journal of Neuroscience 24 (2004) 3694–3702.","ama":"Kang Y, Notomi T, Saito M, Zhang W, Shigemoto R. Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons. <i>Journal of Neuroscience</i>. 2004;24(14):3694-3702. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.5641-03.2004\">10.1523/JNEUROSCI.5641-03.2004</a>","chicago":"Kang, Youngnam, Takuya Notomi, Mitsuru Saito, Wei Zhang, and Ryuichi Shigemoto. “Bidirectional Interactions between H-Channels and Na+-K + Pumps in Mesencephalic Trigeminal Neurons.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2004. <a href=\"https://doi.org/10.1523/JNEUROSCI.5641-03.2004\">https://doi.org/10.1523/JNEUROSCI.5641-03.2004</a>.","apa":"Kang, Y., Notomi, T., Saito, M., Zhang, W., &#38; Shigemoto, R. (2004). Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.5641-03.2004\">https://doi.org/10.1523/JNEUROSCI.5641-03.2004</a>","mla":"Kang, Youngnam, et al. “Bidirectional Interactions between H-Channels and Na+-K + Pumps in Mesencephalic Trigeminal Neurons.” <i>Journal of Neuroscience</i>, vol. 24, no. 14, Society for Neuroscience, 2004, pp. 3694–702, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.5641-03.2004\">10.1523/JNEUROSCI.5641-03.2004</a>.","ista":"Kang Y, Notomi T, Saito M, Zhang W, Shigemoto R. 2004. Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons. Journal of Neuroscience. 24(14), 3694–3702.","ieee":"Y. Kang, T. Notomi, M. Saito, W. Zhang, and R. Shigemoto, “Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons,” <i>Journal of Neuroscience</i>, vol. 24, no. 14. Society for Neuroscience, pp. 3694–3702, 2004."},"date_published":"2004-04-07T00:00:00Z","publication":"Journal of Neuroscience","page":"3694 - 3702","doi":"10.1523/JNEUROSCI.5641-03.2004","intvolume":"        24","month":"04","_id":"2641","title":"Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons","status":"public","publist_id":"4257","issue":"14","quality_controlled":0,"publication_status":"published","type":"journal_article","date_created":"2018-12-11T11:58:49Z","abstract":[{"text":"The Na+-K+ pump current (Ip) and the h-current (Ih) flowing through hyperpolarization-activated channels (h-channels) participate in generating the resting potential. These two currents are thought to be produced independently. We show here bidirectional interactions between Na+-K+ pumps and h-channels in mesencephalic trigeminal neurons. Activation of Ih leads to the generation of two types of ouabain-sensitive Ip with temporal profiles similar to those of instantaneous and slow components of I h, presumably reflecting Na+ transients in a restricted cellular space. Moreover, the Ip activated by instantaneous I h can facilitate the subsequent activation of slow Ih. Such counteractive and cooperative interactions were also disclosed by replacing extracellular Na+ with Li+, which is permeant through h-channels but does not stimulate the Na+-K+ pump as strongly as Na+ ions. These observations indicate that the interactions are bidirectional and mediated by Na+ ions. Also after substitution of extracellular Na+ with Li+, the tail Ih was reduced markedly despite an enhancement of Ih itself, attributable to a negative shift of the reversal potential for I h presumably caused by intracellular accumulation of Li+ ions. This suggests the presence of a microdomain where the interactions can take place. Thus, the bidirectional interactions between Na+-K + pumps and h-channels are likely to be mediated by Na+ microdomain. Consistent with these findings, hyperpolarization-activated and cyclic nucleotide-modulated subunits (HCN1/2) and the Na+-K + pump α3 isoform were colocalized in plasma membrane of mesencephalic trigeminal neurons having numerous spines.","lang":"eng"}],"year":"2004","date_updated":"2021-01-12T06:58:45Z"},{"author":[{"last_name":"Ferraguti","full_name":"Ferraguti, Francesco","first_name":"Francesco"},{"full_name":"Cobden, Philip M","last_name":"Cobden","first_name":"Philip"},{"last_name":"Pollard","full_name":"Pollard, Marie","first_name":"Marie"},{"first_name":"David","full_name":"Cope, David W","last_name":"Cope"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","full_name":"Ryuichi Shigemoto","last_name":"Shigemoto"},{"full_name":"Watanabe, Masahiko","last_name":"Watanabe","first_name":"Masahiko"},{"first_name":"Péter","last_name":"Somogyi","full_name":"Somogyi, Péter"}],"volume":14,"publisher":"Wiley-Blackwell","extern":1,"day":"01","publication":"Hippocampus","page":"193 - 215","citation":{"apa":"Ferraguti, F., Cobden, P., Pollard, M., Cope, D., Shigemoto, R., Watanabe, M., &#38; Somogyi, P. (2004). Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. <i>Hippocampus</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/hipo.10163\">https://doi.org/10.1002/hipo.10163</a>","chicago":"Ferraguti, Francesco, Philip Cobden, Marie Pollard, David Cope, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “Immunolocalization of Metabotropic Glutamate Receptor 1α (MGluR1α) in Distinct Classes of Interneuron in the CA1 Region of the Rat Hippocampus.” <i>Hippocampus</i>. Wiley-Blackwell, 2004. <a href=\"https://doi.org/10.1002/hipo.10163\">https://doi.org/10.1002/hipo.10163</a>.","ama":"Ferraguti F, Cobden P, Pollard M, et al. Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. <i>Hippocampus</i>. 2004;14(2):193-215. doi:<a href=\"https://doi.org/10.1002/hipo.10163\">10.1002/hipo.10163</a>","ista":"Ferraguti F, Cobden P, Pollard M, Cope D, Shigemoto R, Watanabe M, Somogyi P. 2004. Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. 14(2), 193–215.","ieee":"F. Ferraguti <i>et al.</i>, “Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus,” <i>Hippocampus</i>, vol. 14, no. 2. Wiley-Blackwell, pp. 193–215, 2004.","mla":"Ferraguti, Francesco, et al. “Immunolocalization of Metabotropic Glutamate Receptor 1α (MGluR1α) in Distinct Classes of Interneuron in the CA1 Region of the Rat Hippocampus.” <i>Hippocampus</i>, vol. 14, no. 2, Wiley-Blackwell, 2004, pp. 193–215, doi:<a href=\"https://doi.org/10.1002/hipo.10163\">10.1002/hipo.10163</a>.","short":"F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215."},"date_published":"2004-01-01T00:00:00Z","title":"Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus","_id":"2642","status":"public","month":"01","intvolume":"        14","doi":"10.1002/hipo.10163","publist_id":"4256","quality_controlled":0,"publication_status":"published","issue":"2","date_created":"2018-12-11T11:58:50Z","type":"journal_article","abstract":[{"lang":"eng","text":"In the hippocampal CA1 region, metabotropic glutamate subtype 1 (mGluR1) receptors have been implicated in a variety of physiological responses to glutamate, which include modulation of synaptic transmission and plasticity, as well as neuronal excitability and synchronization. The mGluR1α isoform is characteristically expressed only by nonprincipal cells, and it is particularly enriched in somatostatin (SS -containing interneurons in stratum oriens-alveus. Anatomical and physiological data have indicated the presence of mGluR1α in several distinct classes of interneurons with their somata located also in strata pyramidale, radiatum, and lacunosum moleculare. Each different interneuron subtype, as defined by functionally relevant criteria, including input/output characteristics and expression of selective molecular markers, subserves distinct functions in local hippocampal circuits. We have investigated which of the different CA1 interneuron classes express mGluR1α by immunofluorescent labeling, combining antibodies to mGluR1α, calcium-binding proteins, and neuropeptides, and by intracellular labeling in vitro. Several types of interneuron that are immunopositive for mGluR1α each targeted different domains of pyramidal cells and included (1) O-LM interneurons, found to coexpress both SS and parvalbumin (PV); (2) interneurons with target selectivity for other interneurons, expressing vasoactive intestinal polypeptide (VIP) and/or the calcium-binding protein calretinin; (3) procholecystokinin-immunopositive interneurons probably non-basket and dendrite-targeting; and (4) an as-yet unidentified SS-immunoreactive but PV-immunonegative interneuron class, possibly corresponding to oriensbistratified cells. Estimation of the relative proportion of mGluR1α-positive interneurons showed 43%, 46%, and 30% co-labeling with SS, VIP, or PV, respectively. The identification of the specific subclasses of CA1 interneurons expressing mGluR1α provides the network basis for assessing the contribution of this receptor to the excitability of the hippocampus."}],"date_updated":"2021-01-12T06:58:46Z","year":"2004"},{"issue":"1","publication_status":"published","quality_controlled":0,"publist_id":"4254","year":"2004","date_updated":"2021-01-12T06:58:46Z","abstract":[{"text":"Metabotropic γ-aminobutyric acid receptors (GABAB) are involved in pre- and postsynaptic inhibitory effects upon auditory neurons and have been implicated in different aspects of acoustic information processing. To understand better the mechanisms by which GABAB receptors mediate their inhibitory effects, we used pre-embedding immunocytochemical techniques combined with quantification of immunogold particles to reveal the precise subcellular distribution of the GABAB1 subunit in the rat dorsal cochlear nucleus. At the light microscopic level, GABAB1 was detected in all divisions of the cochlear complex. The most intense immunoreactivity for GABAB1 was found in the dorsal cochlear nucleus, whereas immunoreactivity in the anteroventral and posteroventral cochlear nuclei was very low. In the dorsal cochlear nucleus, a punctate labeling was observed in the superficial (molecular and fusiform cell) layers. At the electron microscopic level, GABAB1 was found at both post- and presynaptic locations. Postsynaptically, GABAB1 was localized mainly in the dendritic spines of presumed fusiform cells. Quantitative immunogold immunocytochemistry revealed that the highest concentration of GABA B1 in the plasma membrane was in dendritic spines, followed by dendritic shafts and somata. Thus, the most intense immunoreactivity for GABAB1 was observed in dendritic spines with a high density of immunogold particles at extrasynaptic sites, peaking around 300 nm from glutamatergic synapses. This is in contrast to GABAergic synapses, in which GABAB1 was only occasionally found. Presynaptically, receptor immunoreactivity was detected primarily in axospinous endings, probably from granule cells, in both the active zone and extrasynaptic sites. The localization of GABAB1 relative to synaptic sites in the DCN suggests a role for the receptor in the regulation of dendritic excitability and excitatory inputs.","lang":"eng"}],"type":"journal_article","date_created":"2018-12-11T11:58:50Z","publisher":"Wiley-Blackwell","extern":1,"volume":475,"day":"12","author":[{"last_name":"Luján","full_name":"Luján, Rafael","first_name":"Rafael"},{"last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ákos","full_name":"Kulik, Ákos","last_name":"Kulik"},{"first_name":"José","last_name":"Juíz","full_name":"Juíz, José M"}],"intvolume":"       475","doi":"10.1002/cne.20160","_id":"2643","title":"Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat","status":"public","month":"07","date_published":"2004-07-12T00:00:00Z","citation":{"short":"R. Luján, R. Shigemoto, Á. Kulik, J. Juíz, Journal of Comparative Neurology 475 (2004) 36–46.","ieee":"R. Luján, R. Shigemoto, Á. Kulik, and J. Juíz, “Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat,” <i>Journal of Comparative Neurology</i>, vol. 475, no. 1. Wiley-Blackwell, pp. 36–46, 2004.","ista":"Luján R, Shigemoto R, Kulik Á, Juíz J. 2004. Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. Journal of Comparative Neurology. 475(1), 36–46.","mla":"Luján, Rafael, et al. “Localization of the GABAB Receptor 1a/b Subunit Relative to Glutamatergic Synapses in the Dorsal Cochlear Nucleus of the Rat.” <i>Journal of Comparative Neurology</i>, vol. 475, no. 1, Wiley-Blackwell, 2004, pp. 36–46, doi:<a href=\"https://doi.org/10.1002/cne.20160\">10.1002/cne.20160</a>.","apa":"Luján, R., Shigemoto, R., Kulik, Á., &#38; Juíz, J. (2004). Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cne.20160\">https://doi.org/10.1002/cne.20160</a>","chicago":"Luján, Rafael, Ryuichi Shigemoto, Ákos Kulik, and José Juíz. “Localization of the GABAB Receptor 1a/b Subunit Relative to Glutamatergic Synapses in the Dorsal Cochlear Nucleus of the Rat.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 2004. <a href=\"https://doi.org/10.1002/cne.20160\">https://doi.org/10.1002/cne.20160</a>.","ama":"Luján R, Shigemoto R, Kulik Á, Juíz J. Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. <i>Journal of Comparative Neurology</i>. 2004;475(1):36-46. doi:<a href=\"https://doi.org/10.1002/cne.20160\">10.1002/cne.20160</a>"},"page":"36 - 46","publication":"Journal of Comparative Neurology"},{"type":"journal_article","date_created":"2018-12-11T11:58:50Z","abstract":[{"lang":"eng","text":"The release of GABA in synapses is modulated by presynaptic metabotropic glutamate receptors (mGluRs). We tested whether GABA release to identified hippocampal neurons is influenced by group III mGluR activation using the agonist L-(+)-2-amino-4-phosphonobutyric acid (L-AP4) on inhibitory postsynaptic currents (IPSCs) evoked in CA1 interneurons and pyramidal cells. In interneurons, characterized with biocytin and immunolabelling for somatostatin, evoked IPSCs were depressed by 50 μM L-AP4 (activating mGluR4 and 8) to 68±6% of control, but they were rarely depressed in pyramidal cells (96±4% of control). At 300-500 μM concentration (activating mGluR4, 7 and 8), L-AP4 depressed IPSCs in both interneurons (to 70±6%) and pyramidal cells (to 67±4%). The change in trial-to-trial variability and in paired-pulse depression indicated a presynaptic action. In interneurons, the degree of IPSC depression was variable (to 9-87%), and a third of IPSCs were not affected by L-AP4. The L-AP4-evoked IPSC depression was blocked by LY341495. The depression of IPSCs was similar in O-LM cells and other interneurons. The lack of cell-type selectivity and the similar efficacy of different concentrations of L-AP4 suggest that several group III mGluRs are involved in the depression of IPSCs. Electron microscopic immunocytochemistry confirmed that mGluR4, mGluR7a and mGluR8a occur in the presynaptic active zone of GABAergic terminals on interneurons, but not on those innervating pyramidal cells. The high variability of L-AP4-evoked IPSC suppression is in line with the selective expression of presynaptic mGluRs by several distinct types of GABAergic neuron innervating each interneuron type."}],"date_updated":"2021-01-12T06:58:46Z","year":"2004","publist_id":"4255","quality_controlled":0,"publication_status":"published","issue":"10","publication":"European Journal of Neuroscience","page":"2727 - 2740","citation":{"apa":"Kogo, N., Dalezios, Y., Capogna, M., Ferraguti, F., Shigemoto, R., &#38; Somogyi, P. (2004). Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.0953-816X.2004.03394.x\">https://doi.org/10.1111/j.0953-816X.2004.03394.x</a>","chicago":"Kogo, Naoki, Yannis Dalezios, Marco Capogna, Francesco Ferraguti, Ryuichi Shigemoto, and Péter Somogyi. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2004. <a href=\"https://doi.org/10.1111/j.0953-816X.2004.03394.x\">https://doi.org/10.1111/j.0953-816X.2004.03394.x</a>.","ama":"Kogo N, Dalezios Y, Capogna M, Ferraguti F, Shigemoto R, Somogyi P. Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. <i>European Journal of Neuroscience</i>. 2004;19(10):2727-2740. doi:<a href=\"https://doi.org/10.1111/j.0953-816X.2004.03394.x\">10.1111/j.0953-816X.2004.03394.x</a>","ieee":"N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, and P. Somogyi, “Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat,” <i>European Journal of Neuroscience</i>, vol. 19, no. 10. Wiley-Blackwell, pp. 2727–2740, 2004.","ista":"Kogo N, Dalezios Y, Capogna M, Ferraguti F, Shigemoto R, Somogyi P. 2004. Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. European Journal of Neuroscience. 19(10), 2727–2740.","mla":"Kogo, Naoki, et al. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.” <i>European Journal of Neuroscience</i>, vol. 19, no. 10, Wiley-Blackwell, 2004, pp. 2727–40, doi:<a href=\"https://doi.org/10.1111/j.0953-816X.2004.03394.x\">10.1111/j.0953-816X.2004.03394.x</a>.","short":"N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740."},"date_published":"2004-05-01T00:00:00Z","title":"Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat","_id":"2644","status":"public","month":"05","intvolume":"        19","doi":"10.1111/j.0953-816X.2004.03394.x","author":[{"first_name":"Naoki","full_name":"Kogo, Naoki","last_name":"Kogo"},{"full_name":"Dalezios, Yannis","last_name":"Dalezios","first_name":"Yannis"},{"last_name":"Capogna","full_name":"Capogna,Marco","first_name":"Marco"},{"last_name":"Ferraguti","full_name":"Ferraguti, Francesco","first_name":"Francesco"},{"orcid":"0000-0001-8761-9444","first_name":"Ryuichi","last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Péter","last_name":"Somogyi","full_name":"Somogyi, Péter"}],"volume":19,"publisher":"Wiley-Blackwell","extern":1,"day":"01"},{"_id":"2645","month":"11","title":"HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons","status":"public","intvolume":"        24","doi":"10.1523/JNEUROSCI.2162-04.2004","page":"9921 - 9932","publication":"Journal of Neuroscience","date_published":"2004-11-03T00:00:00Z","citation":{"mla":"Chan, Savio, et al. “HCN2 and HCN1 Channels Govern the Regularity of Autonomous Pacemaking and Synaptic Resetting in Globus Pallidus Neurons.” <i>Journal of Neuroscience</i>, vol. 24, no. 44, Society for Neuroscience, 2004, pp. 9921–32, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.2162-04.2004\">10.1523/JNEUROSCI.2162-04.2004</a>.","ieee":"S. Chan, R. Shigemoto, J. Mercer, and J. Surmeier, “HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons,” <i>Journal of Neuroscience</i>, vol. 24, no. 44. Society for Neuroscience, pp. 9921–9932, 2004.","ista":"Chan S, Shigemoto R, Mercer J, Surmeier J. 2004. HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. Journal of Neuroscience. 24(44), 9921–9932.","ama":"Chan S, Shigemoto R, Mercer J, Surmeier J. HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. <i>Journal of Neuroscience</i>. 2004;24(44):9921-9932. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.2162-04.2004\">10.1523/JNEUROSCI.2162-04.2004</a>","apa":"Chan, S., Shigemoto, R., Mercer, J., &#38; Surmeier, J. (2004). HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.2162-04.2004\">https://doi.org/10.1523/JNEUROSCI.2162-04.2004</a>","chicago":"Chan, Savio, Ryuichi Shigemoto, Jeff Mercer, and James Surmeier. “HCN2 and HCN1 Channels Govern the Regularity of Autonomous Pacemaking and Synaptic Resetting in Globus Pallidus Neurons.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2004. <a href=\"https://doi.org/10.1523/JNEUROSCI.2162-04.2004\">https://doi.org/10.1523/JNEUROSCI.2162-04.2004</a>.","short":"S. Chan, R. Shigemoto, J. Mercer, J. Surmeier, Journal of Neuroscience 24 (2004) 9921–9932."},"publisher":"Society for Neuroscience","day":"03","volume":24,"extern":1,"author":[{"first_name":"Savio","full_name":"Chan, Savio","last_name":"Chan"},{"last_name":"Shigemoto","full_name":"Ryuichi Shigemoto","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Mercer","full_name":"Mercer, Jeff N","first_name":"Jeff"},{"first_name":"James","full_name":"Surmeier, James D","last_name":"Surmeier"}],"date_updated":"2021-01-12T06:58:47Z","year":"2004","abstract":[{"text":"The globus pallidus (GP) is a critical component of the basal ganglia circuitry controlling motor behavior. Dysregulation of GP activity has been implicated in a number of psychomotor disorders, including Parkinson's disease (PD), in which a cardinal feature of the pathophysiology is an alteration in the pattern and synchrony of discharge in GP neurons. Yet the determinants of this activity in GP neurons are poorly understood. To help fill this gap, electrophysiological, molecular, and computational approaches were used to identify and characterize GABAergic GP neurons in tissue slices from rodents. In vitro, GABAergic GP neurons generate a regular, autonomous, single-spike pacemaker activity. Hyperpolarization-activated, cyclic nucleotide-gated cation (HCN) channels make an important contribution to this process: their blockade with ZD7288 significantly slowed discharge rate and decreased its regularity. HCN currents evoked by somatic voltage clamp had fast and slow components. Single-cell RT-PCR and immunohistochemical approaches revealed robust expression of HCN2 subunits as well as significant levels of HCN1 subunits in GABAergic GP neurons. Transient activation of striatal GABAergic input to GP neurons led to a resetting of rhythmic discharge that was dependent on HCN currents. Simulations suggested that the ability of transient striatal GABAergic input to reset pacemaking was dependent on dendritic HCN2/HCN1 channels. Together, these studies show that HCN channels in GABAergic GP neurons are key determinants of the regularity and rate of pacemaking as well as striatal resetting of this activity, implicating HCN channels in the emergence of synchrony in PD.","lang":"eng"}],"type":"journal_article","date_created":"2018-12-11T11:58:51Z","publication_status":"published","quality_controlled":0,"issue":"44","publist_id":"4252"},{"abstract":[{"text":"Metabotropic γ-aminobutyric acid receptors (GABAB) play modulatory roles in central synaptic transmission and are involved in controlling neuronal migration during development. We used immunohistochemical methods to elucidate the expression pattern as well as the cellular and the precise subcellular localization of the GABAB1a/b and GABAB2 subunits in the rat hippocampus during prenatal and postnatal development. At the light microscopic level, both GABABB1a/b and GABAB2 were expressed in the hippocampal primordium from embryonic day E14. During postnatal development, immunoreactivity for GABAB1a/b and GABAB2 was distributed mainly in pyramidal cells, with discrete GABABB1a/b-immunopositive cell bodies of interneurons present throughout the hippocampus. Using double immunofluorescence, we demonstrated that during the second week of postnatal development, GABAB1a/b but not GABAB2 was expressed in glial cells throughout the hippocampal formation. At the electron microscopic level, GABAB1a/b and GABAB2 showed a similar distribution pattern during postnatal development. Thus, at all ages the two receptor subunits were located postsynaptically in dendritic spines and shafts at extrasynaptic and perisynaptic sites in both pyramidal and nonpyramidal cells. We further demonstrated that the two subunits were localized presynaptically along the extrasynaptic plasma membrane of axon terminals and along the presynaptic active zone in both asymmetrical and, to a lesser extent, symmetrical synapses. These results suggest that GABAB receptors are widely expressed in the hippocampus throughout development and that GABABB1a/b and GABAB2 form both pre- and postsynaptic receptors.","lang":"eng"}],"type":"journal_article","date_created":"2018-12-11T11:58:51Z","year":"2004","date_updated":"2021-01-12T06:58:47Z","publist_id":"4251","issue":"7","publication_status":"published","quality_controlled":0,"date_published":"2004-01-01T00:00:00Z","citation":{"short":"G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, R. Luján, Hippocampus 14 (2004) 836–848.","chicago":"López Bendito, Guillermina, Ryuichi Shigemoto, Ákos Kulik, Imre Vida, Alfonso Fairén, and Rafael Luján. “ Distribution of Metabotropic GABA Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus during Prenatal and Postnatal Development.” <i>Hippocampus</i>. Wiley-Blackwell, 2004. <a href=\"https://doi.org/10.1002/hipo.10221\">https://doi.org/10.1002/hipo.10221</a>.","apa":"López Bendito, G., Shigemoto, R., Kulik, Á., Vida, I., Fairén, A., &#38; Luján, R. (2004).  Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development. <i>Hippocampus</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/hipo.10221\">https://doi.org/10.1002/hipo.10221</a>","ama":"López Bendito G, Shigemoto R, Kulik Á, Vida I, Fairén A, Luján R.  Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development. <i>Hippocampus</i>. 2004;14(7):836-848. doi:<a href=\"https://doi.org/10.1002/hipo.10221\">10.1002/hipo.10221</a>","ista":"López Bendito G, Shigemoto R, Kulik Á, Vida I, Fairén A, Luján R. 2004.  Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development. Hippocampus. 14(7), 836–848.","ieee":"G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, and R. Luján, “ Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development,” <i>Hippocampus</i>, vol. 14, no. 7. Wiley-Blackwell, pp. 836–848, 2004.","mla":"López Bendito, Guillermina, et al. “ Distribution of Metabotropic GABA Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus during Prenatal and Postnatal Development.” <i>Hippocampus</i>, vol. 14, no. 7, Wiley-Blackwell, 2004, pp. 836–48, doi:<a href=\"https://doi.org/10.1002/hipo.10221\">10.1002/hipo.10221</a>."},"page":"836 - 848","publication":"Hippocampus","intvolume":"        14","doi":"10.1002/hipo.10221","title":" Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development","_id":"2646","month":"01","status":"public","day":"01","volume":14,"extern":1,"publisher":"Wiley-Blackwell","author":[{"first_name":"Guillermina","full_name":"López-Bendito, Guillermina","last_name":"López Bendito"},{"first_name":"Ryuichi","orcid":"0000-0001-8761-9444","full_name":"Ryuichi Shigemoto","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Ákos","last_name":"Kulik","full_name":"Kulik, Ákos"},{"last_name":"Vida","full_name":"Vida, Imre","first_name":"Imre"},{"last_name":"Fairén","full_name":"Fairén, Alfonso","first_name":"Alfonso"},{"full_name":"Luján, Rafael","last_name":"Luján","first_name":"Rafael"}]},{"publist_id":"4190","issue":"1-4","publication_status":"published","quality_controlled":0,"abstract":[{"lang":"eng","text":"The Pauli operator describes the energy of a nonrelativistic quantum particle with spin in a magnetic field and an external potential. Bounds on the sum of the negative eigenvalues are called magnetic Lieb-Thirring (MLT) inequalities. The purpose of this paper is twofold. First, we prove a new MLT inequality in a simple way. Second, we give a short summary of our recent proof of a more refined MLT inequality(8) and we explain the differences between the two results and methods. The main feature of both estimates, compared to earlier results, is that in the large field regime they grow with the optimal (first) power of the strength of the magnetic field. As a byproduct of the method, we also obtain optimal upper bounds on the pointwise density of zero energy eigenfunctions of the Dirac operator."}],"date_created":"2018-12-11T11:59:10Z","type":"journal_article","year":"2004","date_updated":"2021-01-12T06:59:10Z","publisher":"Springer","volume":116,"extern":1,"day":"01","author":[{"last_name":"Erdös","full_name":"László Erdös","orcid":"0000-0001-5366-9603","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Solovej, Jan P","last_name":"Solovej","first_name":"Jan"}],"date_published":"2004-08-01T00:00:00Z","citation":{"short":"L. Erdös, J. Solovej, Journal of Statistical Physics 116 (2004) 475–506.","ista":"Erdös L, Solovej J. 2004. Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength. Journal of Statistical Physics. 116(1–4), 475–506.","ieee":"L. Erdös and J. Solovej, “Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength,” <i>Journal of Statistical Physics</i>, vol. 116, no. 1–4. Springer, pp. 475–506, 2004.","mla":"Erdös, László, and Jan Solovej. “Magnetic Lieb-Thirring Inequalities with Optimal Dependence on the Field Strength.” <i>Journal of Statistical Physics</i>, vol. 116, no. 1–4, Springer, 2004, pp. 475–506, doi:<a href=\"https://doi.org/10.1023/B:JOSS.0000037216.45270.1d\">10.1023/B:JOSS.0000037216.45270.1d</a>.","apa":"Erdös, L., &#38; Solovej, J. (2004). Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1023/B:JOSS.0000037216.45270.1d\">https://doi.org/10.1023/B:JOSS.0000037216.45270.1d</a>","chicago":"Erdös, László, and Jan Solovej. “Magnetic Lieb-Thirring Inequalities with Optimal Dependence on the Field Strength.” <i>Journal of Statistical Physics</i>. Springer, 2004. <a href=\"https://doi.org/10.1023/B:JOSS.0000037216.45270.1d\">https://doi.org/10.1023/B:JOSS.0000037216.45270.1d</a>.","ama":"Erdös L, Solovej J. Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength. <i>Journal of Statistical Physics</i>. 2004;116(1-4):475-506. doi:<a href=\"https://doi.org/10.1023/B:JOSS.0000037216.45270.1d\">10.1023/B:JOSS.0000037216.45270.1d</a>"},"page":"475 - 506","publication":"Journal of Statistical Physics","doi":"10.1023/B:JOSS.0000037216.45270.1d","intvolume":"       116","_id":"2706","month":"08","status":"public","title":"Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength"},{"publist_id":"4189","issue":"1-4","publication_status":"published","quality_controlled":0,"abstract":[{"lang":"eng","text":"We give a nonrigorous derivation of the nonlinear Boltzmann equation from the Schrödinger evolution of interacting fermions. The argument is based mainly on the assumption that a quasifree initial state satisfies a property called restricted quasifreeness in the weak coupling limit at any later time. By definition, a state is called restricted quasifree if the four-point and the eight-point functions of the state factorize in the same manner as in a quasifree state."}],"date_created":"2018-12-11T11:59:11Z","type":"journal_article","year":"2004","date_updated":"2021-01-12T06:59:11Z","extern":1,"day":"01","publisher":"Springer","volume":116,"author":[{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","orcid":"0000-0001-5366-9603","last_name":"Erdös","full_name":"László Erdös"},{"full_name":"Salmhofer, Manfred","last_name":"Salmhofer","first_name":"Manfred"},{"last_name":"Yau","full_name":"Yau, Horng-Tzer","first_name":"Horng"}],"date_published":"2004-08-01T00:00:00Z","citation":{"short":"L. Erdös, M. Salmhofer, H. Yau, Journal of Statistical Physics 116 (2004) 367–380.","ama":"Erdös L, Salmhofer M, Yau H. On the quantum Boltzmann equation. <i>Journal of Statistical Physics</i>. 2004;116(1-4):367-380. doi:<a href=\"https://doi.org/10.1023/B:JOSS.0000037224.56191.ed\">10.1023/B:JOSS.0000037224.56191.ed</a>","chicago":"Erdös, László, Manfred Salmhofer, and Horng Yau. “On the Quantum Boltzmann Equation.” <i>Journal of Statistical Physics</i>. Springer, 2004. <a href=\"https://doi.org/10.1023/B:JOSS.0000037224.56191.ed\">https://doi.org/10.1023/B:JOSS.0000037224.56191.ed</a>.","apa":"Erdös, L., Salmhofer, M., &#38; Yau, H. (2004). On the quantum Boltzmann equation. <i>Journal of Statistical Physics</i>. Springer. <a href=\"https://doi.org/10.1023/B:JOSS.0000037224.56191.ed\">https://doi.org/10.1023/B:JOSS.0000037224.56191.ed</a>","mla":"Erdös, László, et al. “On the Quantum Boltzmann Equation.” <i>Journal of Statistical Physics</i>, vol. 116, no. 1–4, Springer, 2004, pp. 367–80, doi:<a href=\"https://doi.org/10.1023/B:JOSS.0000037224.56191.ed\">10.1023/B:JOSS.0000037224.56191.ed</a>.","ieee":"L. Erdös, M. Salmhofer, and H. Yau, “On the quantum Boltzmann equation,” <i>Journal of Statistical Physics</i>, vol. 116, no. 1–4. Springer, pp. 367–380, 2004.","ista":"Erdös L, Salmhofer M, Yau H. 2004. On the quantum Boltzmann equation. Journal of Statistical Physics. 116(1–4), 367–380."},"page":"367 - 380","publication":"Journal of Statistical Physics","intvolume":"       116","doi":"10.1023/B:JOSS.0000037224.56191.ed","status":"public","_id":"2707","month":"08","title":"On the quantum Boltzmann equation"}]