[{"publication":"Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday","publication_status":"published","doi":"10.1007/978-3-540-71322-7_13","date_created":"2018-12-11T12:08:45Z","_id":"4417","status":"public","quality_controlled":0,"day":"30","volume":4444,"extern":1,"citation":{"ama":"Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. Abstract counterexample-based refinement for powerset domains. In: <i>Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday</i>. Vol 4444. Springer; 2007:273-292. doi:<a href=\"https://doi.org/10.1007/978-3-540-71322-7_13\">10.1007/978-3-540-71322-7_13</a>","ista":"Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.","short":"R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.","ieee":"R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. Sagiv, “Abstract counterexample-based refinement for powerset domains,” in <i>Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday</i>, vol. 4444, Springer, 2007, pp. 273–292.","chicago":"Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.” In <i>Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday</i>, 4444:273–92. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-71322-7_13\">https://doi.org/10.1007/978-3-540-71322-7_13</a>.","apa":"Manevich, R., Field, J., Henzinger, T. A., Ramalingam, G., &#38; Sagiv, M. (2007). Abstract counterexample-based refinement for powerset domains. In <i>Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday</i> (Vol. 4444, pp. 273–292). Springer. <a href=\"https://doi.org/10.1007/978-3-540-71322-7_13\">https://doi.org/10.1007/978-3-540-71322-7_13</a>","mla":"Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.” <i>Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday</i>, vol. 4444, Springer, 2007, pp. 273–92, doi:<a href=\"https://doi.org/10.1007/978-3-540-71322-7_13\">10.1007/978-3-540-71322-7_13</a>."},"abstract":[{"text":"Counterexample-guided abstraction refinement (CEGAR) is a powerful technique to scale automatic program analysis techniques to large programs. However, so far it has been used primarily for model checking in the context of predicate abstraction. We formalize CEGAR for general powerset domains. If a spurious abstract counterexample needs to be removed through abstraction refinement, there are often several choices, such as which program location(s) to refine, which abstract domain(s) to use at different locations, and which abstract values to compute. We define several plausible preference orderings on abstraction refinements, such as refining as “late” as possible and as “coarse” as possible. We present generic algorithms for finding refinements that are optimal with respect to the different preference orderings. We also compare the different orderings with respect to desirable properties, including the property if locally optimal refinements compose to a global optimum. Finally, we point out some difficulties with CEGAR for non-powerset domains.","lang":"eng"}],"type":"book_chapter","year":"2007","page":"273 - 292","publist_id":"314","date_updated":"2021-01-12T07:56:49Z","author":[{"full_name":"Manevich, Roman","last_name":"Manevich","first_name":"Roman"},{"first_name":"John","last_name":"Field","full_name":"Field, John"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Thomas Henzinger"},{"full_name":"Ramalingam, Ganesan","last_name":"Ramalingam","first_name":"Ganesan"},{"first_name":"Mooly","last_name":"Sagiv","full_name":"Sagiv, Mooly"}],"title":"Abstract counterexample-based refinement for powerset domains","date_published":"2007-03-30T00:00:00Z","alternative_title":["LNCS"],"month":"03","intvolume":"      4444","acknowledgement":"This research is partially supported by the Clore Fellowship Programme. Supported in part by the Swiss National Science Foundation.","publisher":"Springer"},{"year":"2007","publist_id":"286","issue":393,"author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Thomas Henzinger"},{"full_name":"Kirsch, Christoph M","last_name":"Kirsch","first_name":"Christoph"}],"title":"The embedded machine: Predictable, portable real-time code","date_updated":"2021-01-12T07:57:01Z","publisher":"ACM","intvolume":"        29","month":"10","date_published":"2007-10-01T00:00:00Z","publication_status":"published","doi":"10.1145/1286821.1286824","publication":"ACM Transactions on Programming Languages and Systems (TOPLAS)","day":"01","status":"public","quality_controlled":0,"_id":"4446","date_created":"2018-12-11T12:08:53Z","type":"journal_article","abstract":[{"lang":"eng","text":"The Embedded Machine is a virtual machine that mediates in real time the interaction between software processes and physical processes. It separates the compilation of embedded programs into two phases. The first phase, the platform-independent compiler phase, generates E code (code executed by the Embedded Machine), which supervises the timing, not the scheduling of, application tasks relative to external events such as clock ticks and sensor interrupts. E code is portable and, given an input behavior, exhibits predictable (i.e., deterministic) timing and output behavior. The second phase, the platform-dependent compiler phase, checks the time safety of the E code, that is, whether platform performance (determined by the hardware) and platform utilization (determined by the scheduler of the operating system) enable its timely execution. We have used the Embedded Machine to compile and execute high-performance control applications written in Giotto, such as the flight control system of an autonomous model helicopter."}],"extern":1,"citation":{"chicago":"Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” <i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>. ACM, 2007. <a href=\"https://doi.org/10.1145/1286821.1286824\">https://doi.org/10.1145/1286821.1286824</a>.","short":"T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).","ista":"Henzinger TA, Kirsch C. 2007. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 29(393).","ieee":"T. A. Henzinger and C. Kirsch, “The embedded machine: Predictable, portable real-time code,” <i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>, vol. 29, no. 393. ACM, 2007.","ama":"Henzinger TA, Kirsch C. The embedded machine: Predictable, portable real-time code. <i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>. 2007;29(393). doi:<a href=\"https://doi.org/10.1145/1286821.1286824\">10.1145/1286821.1286824</a>","mla":"Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” <i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>, vol. 29, no. 393, ACM, 2007, doi:<a href=\"https://doi.org/10.1145/1286821.1286824\">10.1145/1286821.1286824</a>.","apa":"Henzinger, T. A., &#38; Kirsch, C. (2007). The embedded machine: Predictable, portable real-time code. <i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>. ACM. <a href=\"https://doi.org/10.1145/1286821.1286824\">https://doi.org/10.1145/1286821.1286824</a>"},"volume":29},{"publication_status":"published","doi":"10.1007/978-3-540-73208-2_2","_id":"4511","date_created":"2018-12-11T12:09:14Z","day":"21","quality_controlled":0,"status":"public","extern":1,"citation":{"apa":"Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer. <a href=\"https://doi.org/10.1007/978-3-540-73208-2_2\">https://doi.org/10.1007/978-3-540-73208-2_2</a>","mla":"Henzinger, Thomas A. <i>Quantitative Generalizations of Languages</i>. Vol. 4588, Springer, 2007, pp. 20–22, doi:<a href=\"https://doi.org/10.1007/978-3-540-73208-2_2\">10.1007/978-3-540-73208-2_2</a>.","short":"T.A. Henzinger, in:, Springer, 2007, pp. 20–22.","ieee":"T. A. Henzinger, “Quantitative generalizations of languages,” presented at the DLT: Developments in Language Theory, 2007, vol. 4588, pp. 20–22.","ista":"Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.","ama":"Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:<a href=\"https://doi.org/10.1007/978-3-540-73208-2_2\">10.1007/978-3-540-73208-2_2</a>","chicago":"Henzinger, Thomas A. “Quantitative Generalizations of Languages,” 4588:20–22. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-73208-2_2\">https://doi.org/10.1007/978-3-540-73208-2_2</a>."},"volume":4588,"type":"conference","abstract":[{"text":"In the traditional view, a language is a set of words, i.e., a function from words to boolean values. We call this view “qualitative,” because each word either belongs to or does not belong to a language. Let Σ be an alphabet, and let us consider infinite words over Σ. Formally, a qualitative language over Σ is a function A: B . There are many applications of qualitative languages. For example, qualitative languages are used to specify the legal behaviors of systems, and zero-sum objectives of games played on graphs. In the former case, each behavior of a system is either legal or illegal; in the latter case, each outcome of a game is either winning or losing. For defining languages, it is convenient to use finite acceptors (or generators). In particular, qualitative languages are often defined using finite-state machines (so-called ω-automata) whose transitions are labeled by letters from Σ. For example, the states of an ω-automaton may represent states of a system, and the transition labels may represent atomic observables of a behavior. There is a rich and well-studied theory of finite-state acceptors of qualitative languages, namely, the theory of theω-regular languages.","lang":"eng"}],"year":"2007","page":"20 - 22","conference":{"name":"DLT: Developments in Language Theory"},"publist_id":"218","date_updated":"2021-01-12T07:59:21Z","title":"Quantitative generalizations of languages","author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Thomas Henzinger"}],"intvolume":"      4588","month":"06","alternative_title":["LNCS"],"date_published":"2007-06-21T00:00:00Z","acknowledgement":"This research was supported in part by the Swiss National Science Foundation and by the NSF grant CCR-0225610.","publisher":"Springer"},{"date_updated":"2021-01-12T07:59:22Z","author":[{"full_name":"Thomas Henzinger","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"title":"Games, time, and probability: Graph models for system design and analysis","intvolume":"      4362","month":"01","alternative_title":["LNCS"],"date_published":"2007-01-04T00:00:00Z","publisher":"Springer","acknowledgement":"This research was supported in part by the Swiss National Science Foundation, and by the NSF ITR grant CCR-0225610.","year":"2007","page":"103 - 110","publist_id":"217","conference":{"name":"SOFSEM: Current Trends in Theory and Practice of Computer Science"},"_id":"4514","date_created":"2018-12-11T12:09:15Z","status":"public","quality_controlled":0,"day":"04","citation":{"chicago":"Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,” 4362:103–10. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-69507-3_7\">https://doi.org/10.1007/978-3-540-69507-3_7</a>.","ista":"Henzinger TA. 2007. Games, time, and probability: Graph models for system design and analysis. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 4362, 103–110.","ieee":"T. A. Henzinger, “Games, time, and probability: Graph models for system design and analysis,” presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, 2007, vol. 4362, pp. 103–110.","short":"T.A. Henzinger, in:, Springer, 2007, pp. 103–110.","ama":"Henzinger TA. Games, time, and probability: Graph models for system design and analysis. In: Vol 4362. Springer; 2007:103-110. doi:<a href=\"https://doi.org/10.1007/978-3-540-69507-3_7\">10.1007/978-3-540-69507-3_7</a>","mla":"Henzinger, Thomas A. <i>Games, Time, and Probability: Graph Models for System Design and Analysis</i>. Vol. 4362, Springer, 2007, pp. 103–10, doi:<a href=\"https://doi.org/10.1007/978-3-540-69507-3_7\">10.1007/978-3-540-69507-3_7</a>.","apa":"Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer. <a href=\"https://doi.org/10.1007/978-3-540-69507-3_7\">https://doi.org/10.1007/978-3-540-69507-3_7</a>"},"extern":1,"volume":4362,"type":"conference","abstract":[{"lang":"eng","text":"Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources of system complexity: concurrency, real time, and uncertainty. We advocate a two-step process: formal modeling followed by algorithmic analysis (or, “model building” followed by “model checking”). We model the concurrent components of a reactive system as potential collaborators or adversaries in a multi-player game with temporal objectives, such as system safety. The real-time aspect of embedded systems requires models that combine discrete state transitions and continuous state evolutions. Uncertainty in the environment is naturally modeled by probabilistic state changes. As a result, we obtain three orthogonal extensions of the basic state-transition graph model for reactive systems —game graphs, timed graphs, and stochastic graphs— as well as combinations thereof. In this short text, we provide a uniform exposition of the underlying definitions. For verification algorithms, we refer the reader to the literature."}],"publication_status":"published","doi":"10.1007/978-3-540-69507-3_7"},{"publication":"Nature Biotechnology","doi":"10.1038/nbt1356","publication_status":"published","volume":25,"extern":1,"citation":{"apa":"Fisher, J., &#38; Henzinger, T. A. (2007). Executable cell biology. <i>Nature Biotechnology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nbt1356\">https://doi.org/10.1038/nbt1356</a>","mla":"Fisher, Jasmin, and Thomas A. Henzinger. “Executable Cell Biology.” <i>Nature Biotechnology</i>, vol. 25, Nature Publishing Group, 2007, pp. 1239–49, doi:<a href=\"https://doi.org/10.1038/nbt1356\">10.1038/nbt1356</a>.","ista":"Fisher J, Henzinger TA. 2007. Executable cell biology. Nature Biotechnology. 25, 1239–1249.","ieee":"J. Fisher and T. A. Henzinger, “Executable cell biology,” <i>Nature Biotechnology</i>, vol. 25. Nature Publishing Group, pp. 1239–1249, 2007.","short":"J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.","ama":"Fisher J, Henzinger TA. Executable cell biology. <i>Nature Biotechnology</i>. 2007;25:1239-1249. doi:<a href=\"https://doi.org/10.1038/nbt1356\">10.1038/nbt1356</a>","chicago":"Fisher, Jasmin, and Thomas A Henzinger. “Executable Cell Biology.” <i>Nature Biotechnology</i>. Nature Publishing Group, 2007. <a href=\"https://doi.org/10.1038/nbt1356\">https://doi.org/10.1038/nbt1356</a>."},"abstract":[{"text":"Computational modeling of biological systems is becoming increasingly important in efforts to better understand complex biological behaviors. In this review, we distinguish between two types of biological models—mathematical and computational—which differ in their representations of biological phenomena. We call the approach of constructing computational models of biological systems 'executable biology', as it focuses on the design of executable computer algorithms that mimic biological phenomena. We survey the main modeling efforts in this direction, emphasize the applicability and benefits of executable models in biological research and highlight some of the challenges that executable biology poses for biology and computer science. We claim that for executable biology to reach its full potential as a mainstream biological technique, formal and algorithmic approaches must be integrated into biological research. This will drive biology toward a more precise engineering discipline.","lang":"eng"}],"type":"journal_article","_id":"4529","date_created":"2018-12-11T12:09:19Z","status":"public","day":"01","quality_controlled":0,"page":"1239 - 1249","publist_id":"198","year":"2007","date_published":"2007-01-01T00:00:00Z","month":"01","intvolume":"        25","publisher":"Nature Publishing Group","date_updated":"2021-01-12T07:59:28Z","author":[{"first_name":"Jasmin","last_name":"Fisher","full_name":"Fisher, Jasmin"},{"full_name":"Thomas Henzinger","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"title":"Executable cell biology"},{"publication":"CSL: Computer Science Logic","publication_status":"published","doi":"10.1007/978-3-540-74915-8","volume":4646,"citation":{"mla":"Duparc, Jacques, and Thomas A. Henzinger. “CSL: Computer Science Logic .” <i>CSL: Computer Science Logic</i>, vol. 4646, Springer, 2007, doi:<a href=\"https://doi.org/10.1007/978-3-540-74915-8\">10.1007/978-3-540-74915-8</a>.","apa":"Duparc, J., &#38; Henzinger, T. A. (2007). <i>CSL: Computer Science Logic </i>. <i>CSL: Computer Science Logic</i> (Vol. 4646). Springer. <a href=\"https://doi.org/10.1007/978-3-540-74915-8\">https://doi.org/10.1007/978-3-540-74915-8</a>","chicago":"Duparc, Jacques, and Thomas A Henzinger. <i>CSL: Computer Science Logic </i>. <i>CSL: Computer Science Logic</i>. Vol. 4646. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-74915-8\">https://doi.org/10.1007/978-3-540-74915-8</a>.","ama":"Duparc J, Henzinger TA. <i>CSL: Computer Science Logic </i>. Vol 4646. Springer; 2007. doi:<a href=\"https://doi.org/10.1007/978-3-540-74915-8\">10.1007/978-3-540-74915-8</a>","ieee":"J. Duparc and T. A. Henzinger, <i>CSL: Computer Science Logic </i>, vol. 4646. Springer, 2007.","ista":"Duparc J, Henzinger TA. 2007. CSL: Computer Science Logic , Springer,p.","short":"J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007."},"extern":1,"abstract":[{"lang":"eng","text":"This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics."}],"type":"conference_editor","_id":"4530","date_created":"2018-12-11T12:09:20Z","status":"public","quality_controlled":0,"day":"01","publist_id":"194","year":"2007","date_published":"2007-09-01T00:00:00Z","alternative_title":["LNCS"],"month":"09","intvolume":"      4646","publisher":"Springer","date_updated":"2019-08-02T12:38:32Z","author":[{"first_name":"Jacques","last_name":"Duparc","full_name":"Duparc, Jacques"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Thomas Henzinger"}],"title":"CSL: Computer Science Logic "},{"publication_status":"published","doi":"10.1371/journal.pcbi.0030092","publication":"PLoS Computational Biology","date_created":"2018-12-11T12:09:20Z","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"4531","status":"public","day":"18","quality_controlled":0,"extern":1,"citation":{"mla":"Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” <i>PLoS Computational Biology</i>, vol. 3(5):e92, Public Library of Science, 2007, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.0030092\">10.1371/journal.pcbi.0030092</a>.","apa":"Fisher, J., Piterman, N., Hajnal, A., &#38; Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.0030092\">https://doi.org/10.1371/journal.pcbi.0030092</a>","chicago":"Fisher, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” <i>PLoS Computational Biology</i>. Public Library of Science, 2007. <a href=\"https://doi.org/10.1371/journal.pcbi.0030092\">https://doi.org/10.1371/journal.pcbi.0030092</a>.","ama":"Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. <i>PLoS Computational Biology</i>. 2007;3(5):e92. doi:<a href=\"https://doi.org/10.1371/journal.pcbi.0030092\">10.1371/journal.pcbi.0030092</a>","ieee":"J. Fisher, N. Piterman, A. Hajnal, and T. A. Henzinger, “Predictive modeling of signaling crosstalk during C. elegans vulval development,” <i>PLoS Computational Biology</i>, vol. 3(5):e92. Public Library of Science, 2007.","short":"J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).","ista":"Fisher J, Piterman N, Hajnal A, Henzinger TA. 2007. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 3(5):e92."},"volume":"3(5):e92","type":"journal_article","abstract":[{"lang":"eng","text":"Caenorhabditis elegans vulval development provides an important paradigm for studying the process of cell fate determination and pattern formation during animal development. Although many genes controlling vulval cell fate specification have been identified, how they orchestrate themselves to generate a robust and invariant pattern of cell fates is not yet completely understood. Here, we have developed a dynamic computational model incorporating the current mechanistic understanding of gene interactions during this patterning process. A key feature of our model is the inclusion of multiple modes of crosstalk between the epidermal growth factor receptor (EGFR) and LIN-12/Notch signaling pathways, which together determine the fates of the six vulval precursor cells (VPCs). Computational analysis, using the model-checking technique, provides new biological insights into the regulatory network governing VPC fate specification and predicts novel negative feedback loops. In addition, our analysis shows that most mutations affecting vulval development lead to stable fate patterns in spite of variations in synchronicity between VPCs. Computational searches for the basis of this robustness show that a sequential activation of the EGFR-mediated inductive signaling and LIN-12 / Notch-mediated lateral signaling pathways is key to achieve a stable cell fate pattern. We demonstrate experimentally a time-delay between the activation of the inductive and lateral signaling pathways in wild-type animals and the loss of sequential signaling in mutants showing unstable fate patterns; thus, validating two key predictions provided by our modeling work. The insights gained by our modeling study further substantiate the usefulness of executing and analyzing mechanistic models to investigate complex biological behaviors."}],"year":"2007","publist_id":"195","license":"https://creativecommons.org/licenses/by/4.0/","date_updated":"2021-01-12T07:59:29Z","author":[{"full_name":"Fisher, Jasmin","last_name":"Fisher","first_name":"Jasmin"},{"full_name":"Piterman, Nir","last_name":"Piterman","first_name":"Nir"},{"full_name":"Hajnal, Alex","last_name":"Hajnal","first_name":"Alex"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger"}],"title":"Predictive modeling of signaling crosstalk during C. elegans vulval development","month":"05","date_published":"2007-05-18T00:00:00Z","publisher":"Public Library of Science","acknowledgement":"This work was supported in part by the Swiss National Science Foundation (grant 205321–111840)."},{"year":"2007","page":"261 - 275","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"publist_id":"186","date_updated":"2021-01-12T07:59:32Z","author":[{"full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"}],"title":"Assume-guarantee synthesis","alternative_title":["LNCS"],"date_published":"2007-01-01T00:00:00Z","month":"01","intvolume":"      4424","acknowledgement":"This research was supported in part by the Swiss National Science Foundation and by the NSF grants CCR-0225610 and CCR-0234690.","publisher":"Springer","doi":"10.1007/978-3-540-71209-1_21","publication_status":"published","date_created":"2018-12-11T12:09:22Z","_id":"4537","quality_controlled":0,"status":"public","day":"01","volume":4424,"citation":{"mla":"Chatterjee, Krishnendu, and Thomas A. Henzinger. <i>Assume-Guarantee Synthesis</i>. Vol. 4424, Springer, 2007, pp. 261–75, doi:<a href=\"https://doi.org/10.1007/978-3-540-71209-1_21\">10.1007/978-3-540-71209-1_21</a>.","apa":"Chatterjee, K., &#38; Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. <a href=\"https://doi.org/10.1007/978-3-540-71209-1_21\">https://doi.org/10.1007/978-3-540-71209-1_21</a>","chicago":"Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,” 4424:261–75. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-71209-1_21\">https://doi.org/10.1007/978-3-540-71209-1_21</a>.","ama":"Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:<a href=\"https://doi.org/10.1007/978-3-540-71209-1_21\">10.1007/978-3-540-71209-1_21</a>","short":"K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.","ista":"Chatterjee K, Henzinger TA. 2007. Assume-guarantee synthesis. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 261–275.","ieee":"K. Chatterjee and T. A. Henzinger, “Assume-guarantee synthesis,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, vol. 4424, pp. 261–275."},"extern":1,"abstract":[{"lang":"eng","text":"The classical synthesis problem for reactive systems asks, given a proponent process A and an opponent process B, to refine A so that the closed-loop system A parallel to B satisfies a given specification Phi. The solution of this problem requires the computation of a winning strategy for proponent A in a game against opponent B. We define and study the co-synthesis problem, where the proponent A consists itself of two independent processes, A = A(1)parallel to A(2), with specifications Phi(1) and Phi(2), and the goal is to refine both A(1) and A(2) so that A(1)parallel to A(2)parallel to B satisfies Phi(1) boolean AND Phi(2). For example, if the opponent B is a fair scheduler for the two processes A(1) and A(2), and Phi(i) specifies the requirements of mutual exclusion for A(i) (e.g., starvation freedom), then the co-synthesis problem asks for the automatic synthesis of a mutual-exclusion protocol. We show that co-synthesis defined classically, with the processes A(1) and A(2) either collaborating or competing, does not capture desirable solutions. Instead, the proper formulation of co-synthesis is the one where process A, competes with A(2) but not at the price of violating Phi(1), and vice versa. We call this assume-guarantee synthesis and show that it can be solved by computing secure-equilibrium strategies. In particular, from mutual-exclusion requirements the assume-guarantee synthesis algorithm automatically computes Peterson's protocol."}],"type":"conference"},{"publication":"Logical Methods in Computer Science","doi":"10.2168/LMCS-3(3:4)2007","publication_status":"published","day":"27","status":"public","quality_controlled":0,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"4547","date_created":"2018-12-11T12:09:25Z","abstract":[{"text":"We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about the history of a play, namely, on the past sequence of observations. Such games occur in the synthesis of a controller that does not see the private state of the plant. Our main results are twofold. First, we give a fixed-point algorithm for computing the set of states from which a player can win with a deterministic observation-based strategy for any omega-regular objective. The fixed point is computed in the lattice of antichains of state sets. This algorithm has the advantages of being directed by the objective and of avoiding an explicit subset construction on the game graph. Second, we give an algorithm for computing the set of states from which a player can win with probability 1 with a randomized observation-based strategy for a Buechi objective. This set is of interest because in the absence of perfect information, randomized strategies are more powerful than deterministic ones. We show that our algorithms are optimal by proving matching lower bounds.","lang":"eng"}],"type":"journal_article","volume":3,"citation":{"ama":"Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. <i>Logical Methods in Computer Science</i>. 2007;3(184):1-23. doi:<a href=\"https://doi.org/10.2168/LMCS-3(3:4)2007\">10.2168/LMCS-3(3:4)2007</a>","ista":"Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2007. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 3(184), 1–23.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.","ieee":"K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” <i>Logical Methods in Computer Science</i>, vol. 3, no. 184. International Federation of Computational Logic, pp. 1–23, 2007.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.” <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic, 2007. <a href=\"https://doi.org/10.2168/LMCS-3(3:4)2007\">https://doi.org/10.2168/LMCS-3(3:4)2007</a>.","apa":"Chatterjee, K., Doyen, L., Henzinger, T. A., &#38; Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. <i>Logical Methods in Computer Science</i>. International Federation of Computational Logic. <a href=\"https://doi.org/10.2168/LMCS-3(3:4)2007\">https://doi.org/10.2168/LMCS-3(3:4)2007</a>","mla":"Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” <i>Logical Methods in Computer Science</i>, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:<a href=\"https://doi.org/10.2168/LMCS-3(3:4)2007\">10.2168/LMCS-3(3:4)2007</a>."},"extern":1,"year":"2007","publist_id":"167","page":"1 - 23","title":"Algorithms for omega-regular games with imperfect information","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Krishnendu Chatterjee"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"full_name":"Thomas Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"full_name":"Raskin, Jean-François","last_name":"Raskin","first_name":"Jean"}],"issue":184,"date_updated":"2021-01-12T07:59:36Z","publisher":"International Federation of Computational Logic","acknowledgement":"This research was supported in part by the NSF grants CCR-0225610 and CCR-0234690 by the SNSF under the Indo-Swiss Joint Research Programme and by the FRFC project “Centre Fédéré en Vérification” funded by the FNRS under grant 2.4530.02.","date_published":"2007-07-27T00:00:00Z","month":"07","intvolume":"         3"},{"date_updated":"2021-01-12T06:58:52Z","issue":"6","title":"Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum","author":[{"last_name":"Luján","first_name":"Rafael","full_name":"Luján, Rafael"},{"full_name":"Ryuichi Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","orcid":"0000-0001-8761-9444"}],"month":"03","intvolume":"        23","date_published":"2006-03-01T00:00:00Z","publisher":"Wiley-Blackwell","year":"2006","page":"1479 - 1490","publist_id":"4239","_id":"2657","date_created":"2018-12-11T11:58:54Z","status":"public","day":"01","quality_controlled":0,"extern":1,"citation":{"apa":"Luján, R., &#38; Shigemoto, R. (2006). Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1460-9568.2006.04669.x\">https://doi.org/10.1111/j.1460-9568.2006.04669.x</a>","mla":"Luján, Rafael, and Ryuichi Shigemoto. “Localization of Metabotropic GABA Receptor Subunits GABAB1 and GABAB2 Relative to Synaptic Sites in the Rat Developing Cerebellum.” <i>European Journal of Neuroscience</i>, vol. 23, no. 6, Wiley-Blackwell, 2006, pp. 1479–90, doi:<a href=\"https://doi.org/10.1111/j.1460-9568.2006.04669.x\">10.1111/j.1460-9568.2006.04669.x</a>.","ista":"Luján R, Shigemoto R. 2006. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 23(6), 1479–1490.","short":"R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.","ieee":"R. Luján and R. Shigemoto, “Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum,” <i>European Journal of Neuroscience</i>, vol. 23, no. 6. Wiley-Blackwell, pp. 1479–1490, 2006.","ama":"Luján R, Shigemoto R. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. <i>European Journal of Neuroscience</i>. 2006;23(6):1479-1490. doi:<a href=\"https://doi.org/10.1111/j.1460-9568.2006.04669.x\">10.1111/j.1460-9568.2006.04669.x</a>","chicago":"Luján, Rafael, and Ryuichi Shigemoto. “Localization of Metabotropic GABA Receptor Subunits GABAB1 and GABAB2 Relative to Synaptic Sites in the Rat Developing Cerebellum.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2006. <a href=\"https://doi.org/10.1111/j.1460-9568.2006.04669.x\">https://doi.org/10.1111/j.1460-9568.2006.04669.x</a>."},"volume":23,"type":"journal_article","abstract":[{"text":"The highest densities of the two metabotropic GABA subunits, GABA B1 and GABAB2, have been reported as occurring around the glutamatergic synapses between Purkinje cell spines and parallel fibre varicosities. In order to determine how this distribution is achieved during development, we investigated the expression pattern and the cellular and subcellular localization of the GABAB1 and GABAB2 subunits in the rat cerebellum during postnatal development. At the light microscopic level, immunoreactivity for the GABAB1 and GABAB2 subunits was very prominent in the developing molecular layer, especially in Purkinje cells. Using double immunofluorescence, we demonstrated that GABAB1 was transiently expressed in glial cells. At the electron microscopic level, immunoreactivity for GABAB receptors was always detected both pre- and postsynaptically. Presynaptically, GABAB1 and GABAB2 were localized in the extrasynaptic membrane of parallel fibres at all ages, and only rarely in GABAergic axons. Postsynaptically, GABAB receptors were localized to the extrasynaptic and perisynaptic plasma membrane of Purkinje cell dendrites and spines throughout development. Quantitative analysis and three-dimensional reconstructions further revealed a progressive developmental movement of the GABAB1 subunit on the surface of Purkinje cells from dendritic shafts to its final destination, the dendritic spines. Together, these results indicate that GABAB receptors undergo dynamic regulation during cerebellar development in association with the establishment and maturation of glutamatergic synapses to Purkinje cells.","lang":"eng"}],"publication_status":"published","doi":"10.1111/j.1460-9568.2006.04669.x","publication":"European Journal of Neuroscience"},{"publisher":"Elsevier","date_published":"2006-05-01T00:00:00Z","intvolume":"        55","month":"05","author":[{"full_name":"Inamura, Mihoko","last_name":"Inamura","first_name":"Mihoko"},{"first_name":"Makoto","last_name":"Itakura","full_name":"Itakura, Makoto"},{"full_name":"Okamoto, Hirotsugu","last_name":"Okamoto","first_name":"Hirotsugu"},{"last_name":"Hoka","first_name":"Sumio","full_name":"Hoka, Sumio"},{"first_name":"Akira","last_name":"Mizoguchi","full_name":"Mizoguchi, Akira"},{"first_name":"Yugo","last_name":"Fukazawa","full_name":"Fukazawa, Yugo"},{"first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","full_name":"Ryuichi Shigemoto"},{"full_name":"Yamamori, Saori","first_name":"Saori","last_name":"Yamamori"},{"first_name":"Masami","last_name":"Takahashi","full_name":"Takahashi, Masami"}],"title":" Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons","issue":"1","date_updated":"2021-01-12T06:58:52Z","publist_id":"4238","page":"45 - 53","year":"2006","abstract":[{"lang":"eng","text":"Transmembrane AMPA receptor regulatory proteins (TARPs), including stargazin/γ-2, are associated with AMPA receptors and participate in their surface delivery and anchoring at the postsynaptic membrane. TARPs may also act as a positive modulator of the AMPA receptor ion channel function; however, little is known about other TARP members except for stargazin/γ-2. We examined the synaptic localization of stargazin/γ-2 and γ-8 by immunoelectron microscopy and biochemical analysis. The analysis of sodium dodecyl sulfate-digested freeze-fracture replica labeling revealed that stargazin/γ-2 was concentrated in the postsynaptic area, whereas γ-8 was distributed both in synaptic and extra-synaptic plasma membranes of the hippocampal neuron. When a synaptic plasma membrane-enriched brain fraction was treated with Triton X-100 and separated by sucrose density gradient ultracentrifugation, a large proportion of NMDA receptor and stargazin/γ-2 was accumulated in raft-enriched fractions, whereas AMPA receptor and γ-8 were distributed in both the raft-enriched fractions and other Triton-insoluble fractions. Phosphorylation of stargazin/γ-2 and γ-8 was regulated by different sets of kinases and phosphatases in cultured cortical neurons. These results suggested that stargazin/γ-2 and γ-8 have distinct roles in postsynaptic membranes under the regulation of different intracellular signaling pathways."}],"type":"journal_article","volume":55,"extern":1,"citation":{"ama":"Inamura M, Itakura M, Okamoto H, et al.  Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. <i>Neuroscience Research</i>. 2006;55(1):45-53. doi:<a href=\"https://doi.org/10.1016/j.neures.2006.01.004\">10.1016/j.neures.2006.01.004</a>","ieee":"M. Inamura <i>et al.</i>, “ Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons,” <i>Neuroscience Research</i>, vol. 55, no. 1. Elsevier, pp. 45–53, 2006.","short":"M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.","ista":"Inamura M, Itakura M, Okamoto H, Hoka S, Mizoguchi A, Fukazawa Y, Shigemoto R, Yamamori S, Takahashi M. 2006.  Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 55(1), 45–53.","chicago":"Inamura, Mihoko, Makoto Itakura, Hirotsugu Okamoto, Sumio Hoka, Akira Mizoguchi, Yugo Fukazawa, Ryuichi Shigemoto, Saori Yamamori, and Masami Takahashi. “ Differential Localization and Regulation of Stargazin-like Protein, γ-8 and Stargazin in the Plasma Membrane of Hippocampal and Cortical Neurons.” <i>Neuroscience Research</i>. Elsevier, 2006. <a href=\"https://doi.org/10.1016/j.neures.2006.01.004\">https://doi.org/10.1016/j.neures.2006.01.004</a>.","apa":"Inamura, M., Itakura, M., Okamoto, H., Hoka, S., Mizoguchi, A., Fukazawa, Y., … Takahashi, M. (2006).  Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. <i>Neuroscience Research</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neures.2006.01.004\">https://doi.org/10.1016/j.neures.2006.01.004</a>","mla":"Inamura, Mihoko, et al. “ Differential Localization and Regulation of Stargazin-like Protein, γ-8 and Stargazin in the Plasma Membrane of Hippocampal and Cortical Neurons.” <i>Neuroscience Research</i>, vol. 55, no. 1, Elsevier, 2006, pp. 45–53, doi:<a href=\"https://doi.org/10.1016/j.neures.2006.01.004\">10.1016/j.neures.2006.01.004</a>."},"day":"01","quality_controlled":0,"status":"public","_id":"2659","date_created":"2018-12-11T11:58:55Z","publication":"Neuroscience Research","publication_status":"published","doi":"10.1016/j.neures.2006.01.004"},{"publist_id":"4236","page":"1028 - 1035","year":"2006","publisher":"Nature Publishing Group","date_published":"2006-08-01T00:00:00Z","intvolume":"         9","month":"08","title":"Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition","author":[{"last_name":"Shaban","first_name":"Hamdy","full_name":"Shaban, Hamdy"},{"full_name":"Humeau, Yann","last_name":"Humeau","first_name":"Yann"},{"last_name":"Herry","first_name":"Cyril","full_name":"Herry, Cyril"},{"full_name":"Cassasus, Guillaume","last_name":"Cassasus","first_name":"Guillaume"},{"first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Ryuichi Shigemoto"},{"full_name":"Ciocchi, Stéphane","last_name":"Ciocchi","first_name":"Stéphane"},{"full_name":"Barbieri, Samuel","last_name":"Barbieri","first_name":"Samuel"},{"full_name":"Van Der Putten, Herman V","last_name":"Van Der Putten","first_name":"Herman"},{"first_name":"Klemens","last_name":"Kaupmann","full_name":"Kaupmann, Klemens"},{"full_name":"Bettler, Bernhard","last_name":"Bettler","first_name":"Bernhard"},{"full_name":"Lüthi, Andreas","first_name":"Andreas","last_name":"Lüthi"}],"issue":"8","date_updated":"2021-01-12T06:58:53Z","publication":"Nature Neuroscience","publication_status":"published","doi":"10.1038/nn1732","abstract":[{"text":"Pavlovian fear conditioning, a simple form of associative learning, is thought to involve the induction of associative, NMDA receptor-dependent long-term potentiation (LTP) in the lateral amygdala. Using a combined genetic and electrophysiological approach, we show here that lack of a specific GABAB receptor subtype, GABAB(1a,2), unmasks a nonassociative, NMDA receptor-independent form of presynaptic LTP at cortico-amygdala afferents. Moreover, the level of presynaptic GABA B(1a,2) receptor activation, and hence the balance between associative and nonassociative forms of LTP, can be dynamically modulated by local inhibitory activity. At the behavioral level, genetic loss of GABA B(1a) results in a generalization of conditioned fear to nonconditioned stimuli. Our findings indicate that presynaptic inhibition through GABAB(1a,2) receptors serves as an activity-dependent constraint on the induction of homosynaptic plasticity, which may be important to prevent the generalization of conditioned fear.","lang":"eng"}],"type":"journal_article","volume":9,"extern":1,"citation":{"apa":"Shaban, H., Humeau, Y., Herry, C., Cassasus, G., Shigemoto, R., Ciocchi, S., … Lüthi, A. (2006). Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. <i>Nature Neuroscience</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nn1732\">https://doi.org/10.1038/nn1732</a>","mla":"Shaban, Hamdy, et al. “Generalization of Amygdala LTP and Conditioned Fear in the Absence of Presynaptic Inhibition.” <i>Nature Neuroscience</i>, vol. 9, no. 8, Nature Publishing Group, 2006, pp. 1028–35, doi:<a href=\"https://doi.org/10.1038/nn1732\">10.1038/nn1732</a>.","ama":"Shaban H, Humeau Y, Herry C, et al. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. <i>Nature Neuroscience</i>. 2006;9(8):1028-1035. doi:<a href=\"https://doi.org/10.1038/nn1732\">10.1038/nn1732</a>","ieee":"H. Shaban <i>et al.</i>, “Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition,” <i>Nature Neuroscience</i>, vol. 9, no. 8. Nature Publishing Group, pp. 1028–1035, 2006.","ista":"Shaban H, Humeau Y, Herry C, Cassasus G, Shigemoto R, Ciocchi S, Barbieri S, Van Der Putten H, Kaupmann K, Bettler B, Lüthi A. 2006. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 9(8), 1028–1035.","short":"H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.","chicago":"Shaban, Hamdy, Yann Humeau, Cyril Herry, Guillaume Cassasus, Ryuichi Shigemoto, Stéphane Ciocchi, Samuel Barbieri, et al. “Generalization of Amygdala LTP and Conditioned Fear in the Absence of Presynaptic Inhibition.” <i>Nature Neuroscience</i>. Nature Publishing Group, 2006. <a href=\"https://doi.org/10.1038/nn1732\">https://doi.org/10.1038/nn1732</a>."},"status":"public","quality_controlled":0,"day":"01","_id":"2660","date_created":"2018-12-11T11:58:55Z"},{"year":"2006","page":"589 - 601","publist_id":"4237","date_updated":"2021-01-12T06:58:54Z","title":"Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants","author":[{"full_name":"Vigot, Réjan","last_name":"Vigot","first_name":"Réjan"},{"full_name":"Barbieri, Samuel","last_name":"Barbieri","first_name":"Samuel"},{"last_name":"Bräuner Osborne","first_name":"Hans","full_name":"Bräuner-Osborne, Hans"},{"full_name":"Tureček, Rostislav","last_name":"Tureček","first_name":"Rostislav"},{"full_name":"Ryuichi Shigemoto","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi"},{"full_name":"Zhang, Yan Ping","last_name":"Zhang","first_name":"Yan"},{"full_name":"Luján, Rafael","last_name":"Luján","first_name":"Rafael"},{"full_name":"Jacobson, Laura H","last_name":"Jacobson","first_name":"Laura"},{"last_name":"Biermann","first_name":"Barbara","full_name":"Biermann, Barbara"},{"first_name":"Jean","last_name":"Fritschy","full_name":"Fritschy, Jean-Marc"},{"first_name":"Claire","last_name":"Vacher","full_name":"Vacher, Claire-Marie"},{"full_name":"Müller, Matthias P","last_name":"Müller","first_name":"Matthias"},{"first_name":"Gilles","last_name":"Sansig","full_name":"Sansig, Gilles"},{"first_name":"Nicole","last_name":"Guetg","full_name":"Guetg, Nicole"},{"last_name":"Cryan","first_name":"John","full_name":"Cryan, John F"},{"first_name":"Klemens","last_name":"Kaupmann","full_name":"Kaupmann, Klemens"},{"full_name":"Gassmann, Martin","last_name":"Gassmann","first_name":"Martin"},{"last_name":"Oertner","first_name":"Thomas","full_name":"Oertner, Thomas G"},{"full_name":"Bettler, Bernhard","first_name":"Bernhard","last_name":"Bettler"}],"issue":"4","date_published":"2006-05-18T00:00:00Z","intvolume":"        50","month":"05","publisher":"Elsevier","publication":"Neuron","publication_status":"published","doi":"10.1016/j.neuron.2006.04.014","date_created":"2018-12-11T11:58:56Z","_id":"2661","quality_controlled":0,"day":"18","status":"public","volume":50,"citation":{"apa":"Vigot, R., Barbieri, S., Bräuner Osborne, H., Tureček, R., Shigemoto, R., Zhang, Y., … Bettler, B. (2006). Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2006.04.014\">https://doi.org/10.1016/j.neuron.2006.04.014</a>","mla":"Vigot, Réjan, et al. “Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants.” <i>Neuron</i>, vol. 50, no. 4, Elsevier, 2006, pp. 589–601, doi:<a href=\"https://doi.org/10.1016/j.neuron.2006.04.014\">10.1016/j.neuron.2006.04.014</a>.","ieee":"R. Vigot <i>et al.</i>, “Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants,” <i>Neuron</i>, vol. 50, no. 4. Elsevier, pp. 589–601, 2006.","ista":"Vigot R, Barbieri S, Bräuner Osborne H, Tureček R, Shigemoto R, Zhang Y, Luján R, Jacobson L, Biermann B, Fritschy J, Vacher C, Müller M, Sansig G, Guetg N, Cryan J, Kaupmann K, Gassmann M, Oertner T, Bettler B. 2006. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 50(4), 589–601.","short":"R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Tureček, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.","ama":"Vigot R, Barbieri S, Bräuner Osborne H, et al. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. <i>Neuron</i>. 2006;50(4):589-601. doi:<a href=\"https://doi.org/10.1016/j.neuron.2006.04.014\">10.1016/j.neuron.2006.04.014</a>","chicago":"Vigot, Réjan, Samuel Barbieri, Hans Bräuner Osborne, Rostislav Tureček, Ryuichi Shigemoto, Yan Zhang, Rafael Luján, et al. “Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants.” <i>Neuron</i>. Elsevier, 2006. <a href=\"https://doi.org/10.1016/j.neuron.2006.04.014\">https://doi.org/10.1016/j.neuron.2006.04.014</a>."},"extern":1,"abstract":[{"lang":"eng","text":"GABAB receptors are the G protein-coupled receptors for the main inhibitory neurotransmitter in the brain, γ-aminobutyric acid (GABA). Molecular diversity in the GABAB system arises from the GABAB1a and GABAB1b subunit isoforms that solely differ in their ectodomains by a pair of sushi repeats that is unique to GABAB1a. Using a combined genetic, physiological, and morphological approach, we now demonstrate that GABAB1 isoforms localize to distinct synaptic sites and convey separate functions in vivo. At hippocampal CA3-to-CA1 synapses, GABAB1a assembles heteroreceptors inhibiting glutamate release, while predominantly GABAB1b mediates postsynaptic inhibition. Electron microscopy reveals a synaptic distribution of GABAB1 isoforms that agrees with the observed functional differences. Transfected CA3 neurons selectively express GABAB1a in distal axons, suggesting that the sushi repeats, a conserved protein interaction motif, specify heteroreceptor localization. The constitutive absence of GABAB1a but not GABAB1b results in impaired synaptic plasticity and hippocampus-dependent memory, emphasizing molecular differences in synaptic GABAB functions."}],"type":"journal_article"},{"status":"public","day":"19","quality_controlled":0,"_id":"2662","date_created":"2018-12-11T11:58:56Z","type":"journal_article","abstract":[{"text":"G-protein-coupled inwardly rectifying K+ channels (Kir3 channels) coupled to metabotropic GABAB receptors are essential for the control of neuronal excitation. To determine the distribution of Kir3 channels and their spatial relationship to GABAB receptors on hippocampal pyramidal cells, we used a high-resolution immunocytochemical approach. Immunoreactivity for the Kir3.2 subunit was most abundant postsynaptically and localized to the extrasynaptic plasma membrane of dendritic shafts and spines of principal cells. Quantitative analysis of immunogold particles for Kir3.2 revealed an enrichment of the protein around putative glutamatergic synapses on dendritic spines, similar to that of GABA B1. Consistent with this observation, a high degree of coclustering of Kir3.2 and GABAB1 was revealed around excitatory synapses by the highly sensitive SDS-digested freeze-fracture replica immunolabeling. In contrast, in dendritic shafts receptors and channels were found to be mainly segregated. These results suggest that Kir3.2-containing K+ channels on dendritic spines preferentially mediate the effect of GABA, whereas channels on dendritic shafts are likely to be activated by other neurotransmitters as well. Thus, Kir3 channels, localized to different subcellular compartments of hippocampal principal cells, appear to be differentially involved in synaptic integration in pyramidal cell dendrites.","lang":"eng"}],"citation":{"apa":"Kulik, Á., Vida, I., Fukazawa, Y., Guetg, N., Kasugai, Y., Marker, C., … Shigemoto, R. (2006). Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.4178-05.2006\">https://doi.org/10.1523/JNEUROSCI.4178-05.2006</a>","mla":"Kulik, Ákos, et al. “Compartment-Dependent Colocalization of Kir3.2-Containing K+ Channels and GABAB Receptors in Hippocampal Pyramidal Cells.” <i>Journal of Neuroscience</i>, vol. 26, no. 16, Society for Neuroscience, 2006, pp. 4289–97, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.4178-05.2006\">10.1523/JNEUROSCI.4178-05.2006</a>.","short":"Á. Kulik, I. Vida, Y. Fukazawa, N. Guetg, Y. Kasugai, C. Marker, F. Rigato, B. Bettler, K. Wickman, M. Frotscher, R. Shigemoto, Journal of Neuroscience 26 (2006) 4289–4297.","ieee":"Á. Kulik <i>et al.</i>, “Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells,” <i>Journal of Neuroscience</i>, vol. 26, no. 16. Society for Neuroscience, pp. 4289–4297, 2006.","ista":"Kulik Á, Vida I, Fukazawa Y, Guetg N, Kasugai Y, Marker C, Rigato F, Bettler B, Wickman K, Frotscher M, Shigemoto R. 2006. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 26(16), 4289–4297.","ama":"Kulik Á, Vida I, Fukazawa Y, et al. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. <i>Journal of Neuroscience</i>. 2006;26(16):4289-4297. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.4178-05.2006\">10.1523/JNEUROSCI.4178-05.2006</a>","chicago":"Kulik, Ákos, Imre Vida, Yugo Fukazawa, Nicole Guetg, Yu Kasugai, Cheryl Marker, Franck Rigato, et al. “Compartment-Dependent Colocalization of Kir3.2-Containing K+ Channels and GABAB Receptors in Hippocampal Pyramidal Cells.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2006. <a href=\"https://doi.org/10.1523/JNEUROSCI.4178-05.2006\">https://doi.org/10.1523/JNEUROSCI.4178-05.2006</a>."},"extern":1,"volume":26,"doi":"10.1523/JNEUROSCI.4178-05.2006","publication_status":"published","publication":"Journal of Neuroscience","issue":"16","title":"Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells","author":[{"full_name":"Kulik, Ákos","first_name":"Ákos","last_name":"Kulik"},{"full_name":"Vida, Imre","last_name":"Vida","first_name":"Imre"},{"last_name":"Fukazawa","first_name":"Yugo","full_name":"Fukazawa, Yugo"},{"full_name":"Guetg, Nicole","first_name":"Nicole","last_name":"Guetg"},{"full_name":"Kasugai, Yu","last_name":"Kasugai","first_name":"Yu"},{"first_name":"Cheryl","last_name":"Marker","full_name":"Marker, Cheryl L"},{"full_name":"Rigato, Franck","last_name":"Rigato","first_name":"Franck"},{"last_name":"Bettler","first_name":"Bernhard","full_name":"Bettler, Bernhard"},{"full_name":"Wickman, Kevin D","first_name":"Kevin","last_name":"Wickman"},{"full_name":"Frotscher, Michael","last_name":"Frotscher","first_name":"Michael"},{"first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Ryuichi Shigemoto"}],"date_updated":"2021-01-12T06:58:54Z","publisher":"Society for Neuroscience","intvolume":"        26","month":"04","date_published":"2006-04-19T00:00:00Z","year":"2006","publist_id":"4235","page":"4289 - 4297"},{"publication_status":"published","doi":"10.1111/j.1460-9568.2006.05191.x","publication":"European Journal of Neuroscience","extern":1,"citation":{"short":"T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.","ista":"Kodama T, Itsukaichi Nishida Y, Fukazawa Y, Wakamori M, Miyata M, Molnár E, Mori Y, Shigemoto R, Imoto K. 2006. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 24(11), 2993–3007.","ieee":"T. Kodama <i>et al.</i>, “A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses,” <i>European Journal of Neuroscience</i>, vol. 24, no. 11. Wiley-Blackwell, pp. 2993–3007, 2006.","ama":"Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. <i>European Journal of Neuroscience</i>. 2006;24(11):2993-3007. doi:<a href=\"https://doi.org/10.1111/j.1460-9568.2006.05191.x\">10.1111/j.1460-9568.2006.05191.x</a>","chicago":"Kodama, Takashi, Yuko Itsukaichi Nishida, Yugo Fukazawa, Minoru Wakamori, Mariko Miyata, Elek Molnár, Yasuo Mori, Ryuichi Shigemoto, and Keiji Imoto. “A CaV2.1 Calcium Channel Mutation Rocker Reduces the Number of Postsynaptic AMPA Receptors in Parallel Fiber-Purkinje Cell Synapses.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 2006. <a href=\"https://doi.org/10.1111/j.1460-9568.2006.05191.x\">https://doi.org/10.1111/j.1460-9568.2006.05191.x</a>.","apa":"Kodama, T., Itsukaichi Nishida, Y., Fukazawa, Y., Wakamori, M., Miyata, M., Molnár, E., … Imoto, K. (2006). A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. <i>European Journal of Neuroscience</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1111/j.1460-9568.2006.05191.x\">https://doi.org/10.1111/j.1460-9568.2006.05191.x</a>","mla":"Kodama, Takashi, et al. “A CaV2.1 Calcium Channel Mutation Rocker Reduces the Number of Postsynaptic AMPA Receptors in Parallel Fiber-Purkinje Cell Synapses.” <i>European Journal of Neuroscience</i>, vol. 24, no. 11, Wiley-Blackwell, 2006, pp. 2993–3007, doi:<a href=\"https://doi.org/10.1111/j.1460-9568.2006.05191.x\">10.1111/j.1460-9568.2006.05191.x</a>."},"volume":24,"type":"journal_article","abstract":[{"text":"The rocker mice are hereditary ataxic mutants that carry a point mutation in the gene encoding the CaV2.1 (P/Q-type) Ca2+ channel α1 subunit, and show the mildest symptoms among the reported CaV2.1 mutant mice. We studied the basic characteristics of the rocker mutant Ca2+ channel and their impacts on excitatory synaptic transmission in cerebellar Purkinje cells (PCs). In acutely dissociated PC somas, the rocker mutant channel showed a moderate reduction in Ca2+ channel current density, whereas its kinetics and voltage dependency of gating remained nearly normal. Despite the small changes in channel function, synaptic transmission in the parallel fiber (PF)-PC synapses was severely impaired. The climbing fiber inputs onto PCs showed a moderate impairment but could elicit normal complex spikes. Presynaptic function of the PF-PC synapses, however, was unexpectedly almost normal in terms of paired-pulse facilitation, sensitivity to extracellular Ca2+ concentration and glutamate concentration in synaptic clefts. Electron microscopic analyses including freeze-fracture replica labeling revealed that both the number and density of postsynaptic α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) receptors substantially decreased without gross structural changes of the PF-PC synapses. We also observed an abnormal arborization of PC dendrites in young adult rocker mice (∼ 1 month old). These lines of evidence suggest that even a moderate dysfunction of CaV2.1 Ca2+ channel can cause substantial changes in postsynaptic molecular composition of the PF-PC synapses and dendritic structure of PCs.","lang":"eng"}],"_id":"2663","date_created":"2018-12-11T11:58:56Z","day":"01","quality_controlled":0,"status":"public","page":"2993 - 3007","publist_id":"4233","year":"2006","month":"12","intvolume":"        24","date_published":"2006-12-01T00:00:00Z","publisher":"Wiley-Blackwell","date_updated":"2021-01-12T06:58:54Z","issue":"11","title":"A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses","author":[{"full_name":"Kodama, Takashi","first_name":"Takashi","last_name":"Kodama"},{"full_name":"Itsukaichi-Nishida, Yuko","last_name":"Itsukaichi Nishida","first_name":"Yuko"},{"full_name":"Fukazawa, Yugo","first_name":"Yugo","last_name":"Fukazawa"},{"full_name":"Wakamori, Minoru","last_name":"Wakamori","first_name":"Minoru"},{"full_name":"Miyata, Mariko","last_name":"Miyata","first_name":"Mariko"},{"full_name":"Molnár, Elek","last_name":"Molnár","first_name":"Elek"},{"first_name":"Yasuo","last_name":"Mori","full_name":"Mori, Yasuo"},{"orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Ryuichi Shigemoto"},{"full_name":"Imoto, Keiji","last_name":"Imoto","first_name":"Keiji"}]},{"doi":"10.1007/s00441-006-0266-5","publication_status":"published","publication":"Cell and Tissue Research","status":"public","day":"01","quality_controlled":0,"date_created":"2018-12-11T11:58:57Z","_id":"2664","type":"review","abstract":[{"text":"Metabotropic glutamate receptors (mGlus) are a family of G-protein-coupled receptors activated by the neurotransmitter glutamate. Molecular cloning has revealed eight different subtypes (mGlu1-8) with distinct molecular and pharmacological properties. Multiplicity in this receptor family is further generated through alternative splicing. mGlus activate a multitude of signalling pathways important for modulating neuronal excitability, synaptic plasticity and feedback regulation of neurotransmitter release. In this review, we summarize anatomical findings (from our work and that of other laboratories) describing their distribution in the central nervous system. Recent evidence regarding the localization of these receptors in peripheral tissues will also be examined. The distinct regional, cellular and subcellular distribution of mGlus in the brain will be discussed in view of their relationship to neurotransmitter release sites and of possible functional implications.","lang":"eng"}],"extern":1,"citation":{"ieee":"F. Ferraguti and R. Shigemoto, “Metabotropic glutamate receptors,” <i>Cell and Tissue Research</i>, vol. 326, no. 2. Springer, pp. 483–504, 2006.","ista":"Ferraguti F, Shigemoto R. 2006. Metabotropic glutamate receptors. Cell and Tissue Research. 326(2), 483–504.","short":"F. Ferraguti, R. Shigemoto, Cell and Tissue Research 326 (2006) 483–504.","ama":"Ferraguti F, Shigemoto R. Metabotropic glutamate receptors. <i>Cell and Tissue Research</i>. 2006;326(2):483-504. doi:<a href=\"https://doi.org/10.1007/s00441-006-0266-5\">10.1007/s00441-006-0266-5</a>","chicago":"Ferraguti, Francesco, and Ryuichi Shigemoto. “Metabotropic Glutamate Receptors.” <i>Cell and Tissue Research</i>. Springer, 2006. <a href=\"https://doi.org/10.1007/s00441-006-0266-5\">https://doi.org/10.1007/s00441-006-0266-5</a>.","apa":"Ferraguti, F., &#38; Shigemoto, R. (2006). Metabotropic glutamate receptors. <i>Cell and Tissue Research</i>. Springer. <a href=\"https://doi.org/10.1007/s00441-006-0266-5\">https://doi.org/10.1007/s00441-006-0266-5</a>","mla":"Ferraguti, Francesco, and Ryuichi Shigemoto. “Metabotropic Glutamate Receptors.” <i>Cell and Tissue Research</i>, vol. 326, no. 2, Springer, 2006, pp. 483–504, doi:<a href=\"https://doi.org/10.1007/s00441-006-0266-5\">10.1007/s00441-006-0266-5</a>."},"volume":326,"year":"2006","publist_id":"4234","page":"483 - 504","issue":"2","title":"Metabotropic glutamate receptors","author":[{"last_name":"Ferraguti","first_name":"Francesco","full_name":"Ferraguti, Francesco"},{"first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","full_name":"Ryuichi Shigemoto"}],"date_updated":"2020-07-14T12:45:44Z","publisher":"Springer","month":"11","intvolume":"       326","date_published":"2006-11-01T00:00:00Z"},{"publication_status":"published","doi":"10.1007/s00205-005-0388-z","publication":"Archive for Rational Mechanics and Analysis","type":"journal_article","abstract":[{"lang":"eng","text":"We consider the dynamics of N boson systems interacting through a pair potential N -1 V a (x i -x j ) where V a (x)=a -3 V(x/a). We denote the solution to the N-particle Schrödinger equation by Ψ N, t . Recall that the Gross-Pitaevskii (GP) equation is a nonlinear Schrödinger equation and the GP hierarchy is an infinite BBGKY hierarchy of equations so that if u t solves the GP equation, then the family of k-particle density matrices [InlineMediaObject not available: see fulltext.] solves the GP hierarchy. Under the assumption that a = Nε for 0 &lt; ε &lt; 3/5, we prove that as N→∞ the limit points of the k-particle density matrices of Ψ N, t are solutions of the GP hierarchy with the coupling constant in the nonlinear term of the GP equation given by ∫ V (x)dx. The uniqueness of the solutions of this hierarchy remains an open question."}],"citation":{"mla":"Elgart, Alexander, et al. “Gross-Pitaevskii Equation as the Mean Field Limit of Weakly Coupled Bosons.” <i>Archive for Rational Mechanics and Analysis</i>, vol. 179, no. 2, Springer, 2006, pp. 265–83, doi:<a href=\"https://doi.org/10.1007/s00205-005-0388-z\">10.1007/s00205-005-0388-z</a>.","apa":"Elgart, A., Erdös, L., Schlein, B., &#38; Yau, H. (2006). Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. <i>Archive for Rational Mechanics and Analysis</i>. Springer. <a href=\"https://doi.org/10.1007/s00205-005-0388-z\">https://doi.org/10.1007/s00205-005-0388-z</a>","chicago":"Elgart, Alexander, László Erdös, Benjamin Schlein, and Horng Yau. “Gross-Pitaevskii Equation as the Mean Field Limit of Weakly Coupled Bosons.” <i>Archive for Rational Mechanics and Analysis</i>. Springer, 2006. <a href=\"https://doi.org/10.1007/s00205-005-0388-z\">https://doi.org/10.1007/s00205-005-0388-z</a>.","ama":"Elgart A, Erdös L, Schlein B, Yau H. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. <i>Archive for Rational Mechanics and Analysis</i>. 2006;179(2):265-283. doi:<a href=\"https://doi.org/10.1007/s00205-005-0388-z\">10.1007/s00205-005-0388-z</a>","short":"A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.","ieee":"A. Elgart, L. Erdös, B. Schlein, and H. Yau, “Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons,” <i>Archive for Rational Mechanics and Analysis</i>, vol. 179, no. 2. Springer, pp. 265–283, 2006.","ista":"Elgart A, Erdös L, Schlein B, Yau H. 2006. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 179(2), 265–283."},"extern":1,"volume":179,"day":"01","quality_controlled":0,"status":"public","_id":"2745","date_created":"2018-12-11T11:59:22Z","publist_id":"4147","page":"265 - 283","year":"2006","publisher":"Springer","month":"02","intvolume":"       179","date_published":"2006-02-01T00:00:00Z","issue":"2","author":[{"first_name":"Alexander","last_name":"Elgart","full_name":"Elgart, Alexander"},{"full_name":"László Erdös","orcid":"0000-0001-5366-9603","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László"},{"first_name":"Benjamin","last_name":"Schlein","full_name":"Schlein, Benjamin"},{"last_name":"Yau","first_name":"Horng","full_name":"Yau, Horng-Tzer"}],"title":"Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons","date_updated":"2021-01-12T06:59:25Z"},{"extern":1,"citation":{"ama":"Erdös L, Salmhofer M, Yau H. Towards the quantum Brownian motion. In: Vol 690. World Scientific Publishing; 2006:233-257. doi:<a href=\"https://doi.org/10.1007/3-540-34273-7_18\">10.1007/3-540-34273-7_18</a>","short":"L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.","ista":"Erdös L, Salmhofer M, Yau H. 2006. Towards the quantum Brownian motion. QMath: Mathematical Results in Quantum Physics, LNP, vol. 690, 233–257.","ieee":"L. Erdös, M. Salmhofer, and H. Yau, “Towards the quantum Brownian motion,” presented at the QMath: Mathematical Results in Quantum Physics, 2006, vol. 690, pp. 233–257.","chicago":"Erdös, László, Manfred Salmhofer, and Horng Yau. “Towards the Quantum Brownian Motion,” 690:233–57. World Scientific Publishing, 2006. <a href=\"https://doi.org/10.1007/3-540-34273-7_18\">https://doi.org/10.1007/3-540-34273-7_18</a>.","apa":"Erdös, L., Salmhofer, M., &#38; Yau, H. (2006). Towards the quantum Brownian motion (Vol. 690, pp. 233–257). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. <a href=\"https://doi.org/10.1007/3-540-34273-7_18\">https://doi.org/10.1007/3-540-34273-7_18</a>","mla":"Erdös, László, et al. <i>Towards the Quantum Brownian Motion</i>. Vol. 690, World Scientific Publishing, 2006, pp. 233–57, doi:<a href=\"https://doi.org/10.1007/3-540-34273-7_18\">10.1007/3-540-34273-7_18</a>."},"volume":690,"type":"conference","abstract":[{"lang":"eng","text":"We consider random Schrödinger equations on Rd or Zd for d ≥ 3 with uncorrelated, identically distributed random potential. Denote by λ the coupling constant and ψt the solution with initial data ψ0."}],"_id":"2746","date_created":"2018-12-11T11:59:23Z","day":"01","status":"public","quality_controlled":0,"doi":"10.1007/3-540-34273-7_18","publication_status":"published","intvolume":"       690","month":"01","alternative_title":["LNP"],"date_published":"2006-01-01T00:00:00Z","publisher":"World Scientific Publishing","date_updated":"2021-01-12T06:59:25Z","title":"Towards the quantum Brownian motion","author":[{"first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","last_name":"Erdös","full_name":"László Erdös"},{"first_name":"Manfred","last_name":"Salmhofer","full_name":"Salmhofer, Manfred"},{"full_name":"Yau, Horng-Tzer","last_name":"Yau","first_name":"Horng"}],"page":"233 - 257","conference":{"name":"QMath: Mathematical Results in Quantum Physics"},"publist_id":"4146","year":"2006"},{"issue":"12","author":[{"last_name":"Erdös","orcid":"0000-0001-5366-9603","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"László Erdös"},{"full_name":"Schlein, Benjamin","first_name":"Benjamin","last_name":"Schlein"},{"full_name":"Yau, Horng-Tzer","first_name":"Horng","last_name":"Yau"}],"title":"Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate","date_updated":"2021-01-12T06:59:26Z","publisher":"Wiley-Blackwell","intvolume":"        59","month":"12","date_published":"2006-12-01T00:00:00Z","year":"2006","publist_id":"4145","page":"1659 - 1741","day":"01","status":"public","quality_controlled":0,"_id":"2747","date_created":"2018-12-11T11:59:23Z","type":"journal_article","abstract":[{"lang":"eng","text":"Consider a system of N bosons on the three-dimensional unit torus interacting via a pair potential N 2V(N(x i - x j)) where x = (x i, . . ., x N) denotes the positions of the particles. Suppose that the initial data ψ N,0 satisfies the condition 〈ψ N,0, H 2 Nψ N,0) ≤ C N 2 where H N is the Hamiltonian of the Bose system. This condition is satisfied if ψ N,0 = W Nφ N,t where W N is an approximate ground state to H N and φ N,0 is regular. Let ψ N,t denote the solution to the Schrödinger equation with Hamiltonian H N. Gross and Pitaevskii proposed to model the dynamics of such a system by a nonlinear Schrödinger equation, the Gross-Pitaevskii (GP) equation. The GP hierarchy is an infinite BBGKY hierarchy of equations so that if u t solves the GP equation, then the family of k-particle density matrices ⊗ k |u t?〉 〈 t | solves the GP hierarchy. We prove that as N → ∞ the limit points of the k-particle density matrices of ψ N,t are solutions of the GP hierarchy. Our analysis requires that the N-boson dynamics be described by a modified Hamiltonian that cuts off the pair interactions whenever at least three particles come into a region with diameter much smaller than the typical interparticle distance. Our proof can be extended to a modified Hamiltonian that only forbids at least n particles from coming close together for any fixed n."}],"extern":1,"citation":{"chicago":"Erdös, László, Benjamin Schlein, and Horng Yau. “Derivation of the Gross-Pitaevskii Hierarchy for the Dynamics of Bose-Einstein Condensate.” <i>Communications on Pure and Applied Mathematics</i>. Wiley-Blackwell, 2006. <a href=\"https://doi.org/10.1002/cpa.20123\">https://doi.org/10.1002/cpa.20123</a>.","ama":"Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. <i>Communications on Pure and Applied Mathematics</i>. 2006;59(12):1659-1741. doi:<a href=\"https://doi.org/10.1002/cpa.20123\">10.1002/cpa.20123</a>","ista":"Erdös L, Schlein B, Yau H. 2006. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 59(12), 1659–1741.","short":"L. Erdös, B. Schlein, H. Yau, Communications on Pure and Applied Mathematics 59 (2006) 1659–1741.","ieee":"L. Erdös, B. Schlein, and H. Yau, “Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate,” <i>Communications on Pure and Applied Mathematics</i>, vol. 59, no. 12. Wiley-Blackwell, pp. 1659–1741, 2006.","mla":"Erdös, László, et al. “Derivation of the Gross-Pitaevskii Hierarchy for the Dynamics of Bose-Einstein Condensate.” <i>Communications on Pure and Applied Mathematics</i>, vol. 59, no. 12, Wiley-Blackwell, 2006, pp. 1659–741, doi:<a href=\"https://doi.org/10.1002/cpa.20123\">10.1002/cpa.20123</a>.","apa":"Erdös, L., Schlein, B., &#38; Yau, H. (2006). Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. <i>Communications on Pure and Applied Mathematics</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cpa.20123\">https://doi.org/10.1002/cpa.20123</a>"},"volume":59,"publication_status":"published","doi":"10.1002/cpa.20123","publication":"Communications on Pure and Applied Mathematics"},{"type":"journal_article","abstract":[{"text":"Generally, the motion of fluids is smooth and laminar at low speeds but becomes highly disordered and turbulent as the velocity increases. The transition from laminar to turbulent flow can involve a sequence of instabilities in which the system realizes progressively more complicated states, or it can occur suddenly. Once the transition has taken place, it is generally assumed that, under steady conditions, the turbulent state will persist indefinitely. The flow of a fluid down a straight pipe provides a ubiquitous example of a shear flow undergoing a sudden transition from laminar to turbulent motion. Extensive calculations and experimental studies have shown that, at relatively low flow rates, turbulence in pipes is transient, and is characterized by an exponential distribution of lifetimes. They also suggest that for Reynolds numbers exceeding a critical value the lifetime diverges (that is, becomes infinitely large), marking a change from transient to persistent turbulence. Here we present experimental data and numerical calculations covering more than two decades of lifetimes, showing that the lifetime does not in fact diverge but rather increases exponentially with the Reynolds number. This implies that turbulence in pipes is only a transient event (contrary to the commonly accepted view), and that the turbulent and laminar states remain dynamically connected, suggesting avenues for turbulence control.","lang":"eng"}],"citation":{"apa":"Hof, B., Westerweel, J., Schneider, T., &#38; Eckhardt, B. (2006). Finite lifetime of turbulence in shear flows. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature05089\">https://doi.org/10.1038/nature05089</a>","mla":"Hof, Björn, et al. “Finite Lifetime of Turbulence in Shear Flows.” <i>Nature</i>, vol. 443, no. 7107, Nature Publishing Group, 2006, pp. 59–62, doi:<a href=\"https://doi.org/10.1038/nature05089\">10.1038/nature05089</a>.","ama":"Hof B, Westerweel J, Schneider T, Eckhardt B. Finite lifetime of turbulence in shear flows. <i>Nature</i>. 2006;443(7107):59-62. doi:<a href=\"https://doi.org/10.1038/nature05089\">10.1038/nature05089</a>","short":"B. Hof, J. Westerweel, T. Schneider, B. Eckhardt, Nature 443 (2006) 59–62.","ieee":"B. Hof, J. Westerweel, T. Schneider, and B. Eckhardt, “Finite lifetime of turbulence in shear flows,” <i>Nature</i>, vol. 443, no. 7107. Nature Publishing Group, pp. 59–62, 2006.","ista":"Hof B, Westerweel J, Schneider T, Eckhardt B. 2006. Finite lifetime of turbulence in shear flows. Nature. 443(7107), 59–62.","chicago":"Hof, Björn, Jerry Westerweel, Tobias Schneider, and Bruno Eckhardt. “Finite Lifetime of Turbulence in Shear Flows.” <i>Nature</i>. Nature Publishing Group, 2006. <a href=\"https://doi.org/10.1038/nature05089\">https://doi.org/10.1038/nature05089</a>."},"extern":1,"volume":443,"day":"07","status":"public","quality_controlled":0,"date_created":"2018-12-11T11:59:37Z","_id":"2791","doi":"10.1038/nature05089","publication_status":"published","publication":"Nature","publisher":"Nature Publishing Group","month":"09","intvolume":"       443","date_published":"2006-09-07T00:00:00Z","issue":"7107","title":"Finite lifetime of turbulence in shear flows","author":[{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","first_name":"Björn","last_name":"Hof","orcid":"0000-0003-2057-2754","full_name":"Björn Hof"},{"first_name":"Jerry","last_name":"Westerweel","full_name":"Westerweel, Jerry"},{"full_name":"Schneider, Tobias M","first_name":"Tobias","last_name":"Schneider"},{"full_name":"Eckhardt, Bruno","last_name":"Eckhardt","first_name":"Bruno"}],"date_updated":"2021-01-12T06:59:44Z","publist_id":"4098","page":"59 - 62","year":"2006"}]