---
_id: '4456'
abstract:
- lang: eng
  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.'
author:
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Ranjit
  full_name: Jhala, Ranjit
  last_name: Jhala
- first_name: Ritankar
  full_name: Majumdar, Ritankar S
  last_name: Majumdar
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>.
  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.'
  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>.
  short: T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
conference:
  name: 'FSE: Foundations of Software Engineering'
date_created: 2018-12-11T12:08:56Z
date_published: 2005-09-01T00:00:00Z
date_updated: 2021-01-12T07:57:06Z
day: '01'
doi: 10.1145/1081706.1081713
extern: 1
month: '09'
page: 31 - 40
publication_status: published
publisher: ACM
publist_id: '274'
quality_controlled: 0
status: public
title: Permissive interfaces
type: conference
year: '2005'
...
---
_id: '4457'
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.
author:
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Christoph
  full_name: Kirsch, Christoph M
  last_name: Kirsch
- first_name: Slobodan
  full_name: Matic, Slobodan
  last_name: Matic
citation:
  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>'
  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>'
  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>.
  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.'
  ista: 'Henzinger TA, Kirsch C, Matic S. 2005. Composable code generation for distributed
    Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems, 21–30.'
  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>.
  short: T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
conference:
  name: 'LCTES: Languages, Compilers, and Tools for Embedded Systems'
date_created: 2018-12-11T12:08:57Z
date_published: 2005-06-01T00:00:00Z
date_updated: 2021-01-12T07:57:06Z
day: '01'
doi: 10.1145/1065910.1065914
extern: 1
month: '06'
page: 21 - 30
publication_status: published
publisher: ACM
publist_id: '275'
quality_controlled: 0
status: public
title: Composable code generation for distributed Giotto
type: conference
year: '2005'
...
---
_id: '4536'
abstract:
- lang: eng
  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. '
acknowledgement: Supported in part by the AFOSR MURI grant F49620-00-1-0327 and the
  NSF grants CCR-0208875 and CCR-0225610.
alternative_title:
- LNCS
author:
- first_name: Laurent
  full_name: Doyen, Laurent
  last_name: Doyen
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Jean
  full_name: Raskin, Jean-François
  last_name: Raskin
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>'
  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>'
  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>.'
  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.'
  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.'
  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>.'
  short: L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
conference:
  name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
date_created: 2018-12-11T12:09:22Z
date_published: 2005-12-13T00:00:00Z
date_updated: 2021-01-12T07:59:31Z
day: '13'
doi: 'DOI: 10.1007/11603009_13'
extern: 1
intvolume: '      3829'
month: '12'
page: 144 - 161
publication_status: published
publisher: Springer
publist_id: '190'
quality_controlled: 0
status: public
title: Automatic rectangular refinement of affine hybrid systems
type: conference
volume: 3829
year: '2005'
...
---
_id: '4541'
abstract:
- lang: eng
  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.
    We 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.
alternative_title:
- LNCS
author:
- first_name: Krishnendu
  full_name: Krishnendu Chatterjee
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  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>'
  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>'
  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>.
  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.'
  ista: 'Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS:
    Foundations of Software Technology and Theoretical Computer Science, LNCS, vol.
    3821, 1–18.'
  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>.
  short: K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für
    Informatik, 2005, pp. 1–18.
conference:
  name: 'FSTTCS: Foundations of Software Technology and Theoretical Computer Science'
date_created: 2018-12-11T12:09:23Z
date_published: 2005-12-07T00:00:00Z
date_updated: 2021-01-12T07:59:34Z
day: '07'
doi: 10.1007/11590156_1
extern: 1
intvolume: '      3821'
month: '12'
page: 1 - 18
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '182'
quality_controlled: 0
status: public
title: Semiperfect-information games
type: conference
volume: 3821
year: '2005'
...
---
_id: '4553'
abstract:
- lang: eng
  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.'
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.
alternative_title:
- LNCS
author:
- first_name: Krishnendu
  full_name: Krishnendu Chatterjee
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Luca
  full_name: de Alfaro, Luca
  last_name: De Alfaro
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  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>'
  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>'
  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>.
  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.
conference:
  name: 'ICALP: Automata, Languages and Programming'
date_created: 2018-12-11T12:09:27Z
date_published: 2005-06-24T00:00:00Z
date_updated: 2021-01-12T07:59:39Z
day: '24'
doi: 10.1007/11523468_71
extern: 1
intvolume: '      3580'
month: '06'
page: 878 - 890
publication_status: published
publisher: Springer
publist_id: '158'
quality_controlled: 0
status: public
title: The complexity of stochastic Rabin and Streett games
type: conference
volume: 3580
year: '2005'
...
---
_id: '4554'
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.
author:
- first_name: Krishnendu
  full_name: Krishnendu Chatterjee
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Marcin
  full_name: Jurdziński, Marcin
  last_name: Jurdziński
citation:
  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>'
  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>.
  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>.
  short: K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
conference:
  name: 'LICS: Logic in Computer Science'
date_created: 2018-12-11T12:09:27Z
date_published: 2005-09-19T00:00:00Z
date_updated: 2021-01-12T07:59:39Z
day: '19'
doi: 10.1109/LICS.2005.26
extern: 1
month: '09'
page: 178 - 187
publication_status: published
publisher: IEEE
publist_id: '159'
quality_controlled: 0
status: public
title: Mean-payoff parity games
type: conference
year: '2005'
...
---
_id: '4557'
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.'
author:
- first_name: Krishnendu
  full_name: Krishnendu Chatterjee
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Ranjit
  full_name: Jhala, Ranjit
  last_name: Jhala
- first_name: Ritankar
  full_name: Majumdar, Ritankar S
  last_name: Majumdar
citation:
  ama: 'Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning.
    In: AUAI Press; 2005:104-111.'
  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.
  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.'
  ista: 'Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided
    planning. UAI: Uncertainty in Artificial Intelligence, 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.
conference:
  name: 'UAI: Uncertainty in Artificial Intelligence'
date_created: 2018-12-11T12:09:28Z
date_published: 2005-01-01T00:00:00Z
date_updated: 2021-01-12T07:59:41Z
day: '01'
extern: 1
main_file_link:
- open_access: '0'
  url: http://uai.sis.pitt.edu/papers/05/p104-chatterjee.pdf
month: '01'
page: 104 - 111
publication_status: published
publisher: AUAI Press
publist_id: '157'
quality_controlled: 0
status: public
title: Counterexample-guided planning
type: conference
year: '2005'
...
---
_id: '2461'
author:
- first_name: Michael
  full_name: Sauer, Michael
  last_name: Sauer
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
citation:
  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>.
  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.
  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>.
  short: M. Sauer, J. Friml, Development 131 (2004) 5774–5775.
date_created: 2018-12-11T11:57:48Z
date_published: 2004-12-01T00:00:00Z
date_updated: 2021-01-12T06:57:37Z
day: '01'
doi: 10.1242/dev.01463
extern: '1'
intvolume: '       131'
issue: '23'
language:
- iso: eng
month: '12'
oa_version: None
page: 5774 - 5775
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '4442'
quality_controlled: '1'
status: public
title: The Matryoshka dolls of plant polarity
type: review
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 131
year: '2004'
...
---
_id: '2636'
author:
- first_name: Akiko
  full_name: Momiyama, Akiko
  last_name: Momiyama
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
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.
  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.
  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.
  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.
  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.
  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.
  short: A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid
    Enzyme 49 (2004) 287–294.
date_created: 2018-12-11T11:58:48Z
date_published: 2004-02-01T00:00:00Z
date_updated: 2020-07-14T12:45:44Z
day: '01'
extern: 1
intvolume: '        49'
issue: 3 Suppl
month: '02'
page: 287 - 294
publication: Tanpakushitsu kakusan koso Protein nucleic acid enzyme
publication_status: published
publisher: Kyoritsu Shuppan
publist_id: '4261'
quality_controlled: 0
status: public
title: Function and distribution of glutamate receptors in the central synapses
type: review
volume: 49
year: '2004'
...
---
_id: '2638'
abstract:
- lang: eng
  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.
author:
- first_name: Ákos
  full_name: Kulik, Ákos
  last_name: Kulik
- first_name: Kazuhiko
  full_name: Nakadate, Kazuhiko
  last_name: Nakadate
- first_name: Akari
  full_name: Hagiwara, Akari
  last_name: Hagiwara
- first_name: Yugo
  full_name: Fukazawa, Yugo
  last_name: Fukazawa
- first_name: Rafael
  full_name: Luján, Rafael
  last_name: Luján
- first_name: Hiromitsu
  full_name: Saito, Hiromitsu
  last_name: Saito
- first_name: Noboru
  full_name: Suzuki, Noboru
  last_name: Suzuki
- first_name: Akira
  full_name: Futatsugi, Akira
  last_name: Futatsugi
- first_name: Katsuhiko
  full_name: Mikoshiba, Katsuhiko
  last_name: Mikoshiba
- first_name: Michael
  full_name: Frotscher, Michael
  last_name: Frotscher
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
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>.
  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.
  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>.
  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_created: 2018-12-11T11:58:48Z
date_published: 2004-04-01T00:00:00Z
date_updated: 2021-01-12T06:58:44Z
day: '01'
doi: 10.1111/j.0953-816X.2004.03319.x
extern: 1
intvolume: '        19'
issue: '8'
month: '04'
page: 2169 - 2178
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4259'
quality_controlled: 0
status: public
title: Immunocytochemical localization of the α1A subunit of the P/Q-type calcium
  channel in the rat cerebellum
type: journal_article
volume: 19
year: '2004'
...
---
_id: '2639'
abstract:
- lang: eng
  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.
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
- first_name: Hidemi
  full_name: Shimizu, Hidemi
  last_name: Shimizu
- first_name: Salah
  full_name: El-Mestikawy, Salah
  last_name: El Mestikawy
- first_name: Masahiro
  full_name: Fukaya, Masahiro
  last_name: Fukaya
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Masahiko
  full_name: Watanabe, Masahiko
  last_name: Watanabe
- first_name: Péter
  full_name: Somogyi, Péter
  last_name: Somogyi
citation:
  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>.
  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.
  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>.
  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.
date_created: 2018-12-11T11:58:49Z
date_published: 2004-02-01T00:00:00Z
date_updated: 2021-01-12T06:58:44Z
day: '01'
doi: 10.1111/j.0953-816X.2003.03091.x
extern: 1
intvolume: '        19'
issue: '3'
month: '02'
page: 552 - 569
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4260'
quality_controlled: 0
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
type: journal_article
volume: 19
year: '2004'
...
---
_id: '2640'
abstract:
- lang: eng
  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.
author:
- first_name: Takuya
  full_name: Notomi, Takuya
  last_name: Notomi
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
citation:
  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>
  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>.
  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.
  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.
  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>.
  short: T. Notomi, R. Shigemoto, Journal of Comparative Neurology 471 (2004) 241–276.
date_created: 2018-12-11T11:58:49Z
date_published: 2004-04-05T00:00:00Z
date_updated: 2021-01-12T06:58:45Z
day: '05'
doi: 10.1002/cne.11039
extern: 1
intvolume: '       471'
issue: '3'
month: '04'
page: 241 - 276
publication: Journal of Comparative Neurology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4258'
quality_controlled: 0
status: public
title: Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat
  brain
type: journal_article
volume: 471
year: '2004'
...
---
_id: '2641'
abstract:
- lang: eng
  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.
author:
- first_name: Youngnam
  full_name: Kang, Youngnam
  last_name: Kang
- first_name: Takuya
  full_name: Notomi, Takuya
  last_name: Notomi
- first_name: Mitsuru
  full_name: Saito, Mitsuru
  last_name: Saito
- first_name: Wei
  full_name: Zhang, Wei
  last_name: Zhang
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
citation:
  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>
  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>
  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>.
  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.
  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.
  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>.
  short: Y. Kang, T. Notomi, M. Saito, W. Zhang, R. Shigemoto, Journal of Neuroscience
    24 (2004) 3694–3702.
date_created: 2018-12-11T11:58:49Z
date_published: 2004-04-07T00:00:00Z
date_updated: 2021-01-12T06:58:45Z
day: '07'
doi: 10.1523/JNEUROSCI.5641-03.2004
extern: 1
intvolume: '        24'
issue: '14'
month: '04'
page: 3694 - 3702
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '4257'
quality_controlled: 0
status: public
title: Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic
  trigeminal neurons
type: journal_article
volume: 24
year: '2004'
...
---
_id: '2642'
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.
author:
- first_name: Francesco
  full_name: Ferraguti, Francesco
  last_name: Ferraguti
- first_name: Philip
  full_name: Cobden, Philip M
  last_name: Cobden
- first_name: Marie
  full_name: Pollard, Marie
  last_name: Pollard
- first_name: David
  full_name: Cope, David W
  last_name: Cope
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Masahiko
  full_name: Watanabe, Masahiko
  last_name: Watanabe
- first_name: Péter
  full_name: Somogyi, Péter
  last_name: Somogyi
citation:
  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>
  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>.
  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.
  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.
  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_created: 2018-12-11T11:58:50Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T06:58:46Z
day: '01'
doi: 10.1002/hipo.10163
extern: 1
intvolume: '        14'
issue: '2'
month: '01'
page: 193 - 215
publication: Hippocampus
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4256'
quality_controlled: 0
status: public
title: Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct
  classes of interneuron in the CA1 region of the rat hippocampus
type: journal_article
volume: 14
year: '2004'
...
---
_id: '2643'
abstract:
- lang: eng
  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.
author:
- first_name: Rafael
  full_name: Luján, Rafael
  last_name: Luján
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Ákos
  full_name: Kulik, Ákos
  last_name: Kulik
- first_name: José
  full_name: Juíz, José M
  last_name: Juíz
citation:
  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>
  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>.
  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>.
  short: R. Luján, R. Shigemoto, Á. Kulik, J. Juíz, Journal of Comparative Neurology
    475 (2004) 36–46.
date_created: 2018-12-11T11:58:50Z
date_published: 2004-07-12T00:00:00Z
date_updated: 2021-01-12T06:58:46Z
day: '12'
doi: 10.1002/cne.20160
extern: 1
intvolume: '       475'
issue: '1'
month: '07'
page: 36 - 46
publication: Journal of Comparative Neurology
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4254'
quality_controlled: 0
status: public
title: Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses
  in the dorsal cochlear nucleus of the rat
type: journal_article
volume: 475
year: '2004'
...
---
_id: '2644'
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.
author:
- first_name: Naoki
  full_name: Kogo, Naoki
  last_name: Kogo
- first_name: Yannis
  full_name: Dalezios, Yannis
  last_name: Dalezios
- first_name: Marco
  full_name: Capogna,Marco
  last_name: Capogna
- first_name: Francesco
  full_name: Ferraguti, Francesco
  last_name: Ferraguti
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Péter
  full_name: Somogyi, Péter
  last_name: Somogyi
citation:
  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>
  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>.
  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_created: 2018-12-11T11:58:50Z
date_published: 2004-05-01T00:00:00Z
date_updated: 2021-01-12T06:58:46Z
day: '01'
doi: 10.1111/j.0953-816X.2004.03394.x
extern: 1
intvolume: '        19'
issue: '10'
month: '05'
page: 2727 - 2740
publication: European Journal of Neuroscience
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4255'
quality_controlled: 0
status: public
title: Depression of GABAergic input to identified hippocampal neurons by group III
  metabotropic glutamate receptors in the rat
type: journal_article
volume: 19
year: '2004'
...
---
_id: '2645'
abstract:
- lang: eng
  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.'
author:
- first_name: Savio
  full_name: Chan, Savio
  last_name: Chan
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Jeff
  full_name: Mercer, Jeff N
  last_name: Mercer
- first_name: James
  full_name: Surmeier, James D
  last_name: Surmeier
citation:
  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>.
  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.
  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>.
  short: S. Chan, R. Shigemoto, J. Mercer, J. Surmeier, Journal of Neuroscience 24
    (2004) 9921–9932.
date_created: 2018-12-11T11:58:51Z
date_published: 2004-11-03T00:00:00Z
date_updated: 2021-01-12T06:58:47Z
day: '03'
doi: 10.1523/JNEUROSCI.2162-04.2004
extern: 1
intvolume: '        24'
issue: '44'
month: '11'
page: 9921 - 9932
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '4252'
quality_controlled: 0
status: public
title: HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic
  resetting in globus pallidus neurons
type: journal_article
volume: 24
year: '2004'
...
---
_id: '2646'
abstract:
- lang: eng
  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.
author:
- first_name: Guillermina
  full_name: López-Bendito, Guillermina
  last_name: López Bendito
- first_name: Ryuichi
  full_name: Ryuichi Shigemoto
  id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
  last_name: Shigemoto
  orcid: 0000-0001-8761-9444
- first_name: Ákos
  full_name: Kulik, Ákos
  last_name: Kulik
- first_name: Imre
  full_name: Vida, Imre
  last_name: Vida
- first_name: Alfonso
  full_name: Fairén, Alfonso
  last_name: Fairén
- first_name: Rafael
  full_name: Luján, Rafael
  last_name: Luján
citation:
  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>
  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>
  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>.
  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.
  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.
  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>.
  short: G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, R. Luján, Hippocampus
    14 (2004) 836–848.
date_created: 2018-12-11T11:58:51Z
date_published: 2004-01-01T00:00:00Z
date_updated: 2021-01-12T06:58:47Z
day: '01'
doi: 10.1002/hipo.10221
extern: 1
intvolume: '        14'
issue: '7'
month: '01'
page: 836 - 848
publication: Hippocampus
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4251'
quality_controlled: 0
status: public
title: ' Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2
  in the rat hippocampus during prenatal and postnatal development'
type: journal_article
volume: 14
year: '2004'
...
---
_id: '2706'
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.
author:
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Jan
  full_name: Solovej, Jan P
  last_name: Solovej
citation:
  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>
  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>.
  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.
  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.
  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>.
  short: L. Erdös, J. Solovej, Journal of Statistical Physics 116 (2004) 475–506.
date_created: 2018-12-11T11:59:10Z
date_published: 2004-08-01T00:00:00Z
date_updated: 2021-01-12T06:59:10Z
day: '01'
doi: 10.1023/B:JOSS.0000037216.45270.1d
extern: 1
intvolume: '       116'
issue: 1-4
month: '08'
page: 475 - 506
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '4190'
quality_controlled: 0
status: public
title: Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength
type: journal_article
volume: 116
year: '2004'
...
---
_id: '2707'
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.
author:
- first_name: László
  full_name: László Erdös
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Manfred
  full_name: Salmhofer, Manfred
  last_name: Salmhofer
- first_name: Horng
  full_name: Yau, Horng-Tzer
  last_name: Yau
citation:
  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>
  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>
  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>.
  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.
  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>.
  short: L. Erdös, M. Salmhofer, H. Yau, Journal of Statistical Physics 116 (2004)
    367–380.
date_created: 2018-12-11T11:59:11Z
date_published: 2004-08-01T00:00:00Z
date_updated: 2021-01-12T06:59:11Z
day: '01'
doi: 10.1023/B:JOSS.0000037224.56191.ed
extern: 1
intvolume: '       116'
issue: 1-4
month: '08'
page: 367 - 380
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '4189'
quality_controlled: 0
status: public
title: On the quantum Boltzmann equation
type: journal_article
volume: 116
year: '2004'
...
