[{"abstract":[{"lang":"eng","text":"We use linear hybrid automata to define linear approximations of the phase portraits of nonlinear hybrid systems. The approximating automata can be analyzed automatically using the symbolic model checker HyTech. We demonstrate the technique through the study of predator-prey systems, where we compute population bounds for both species. We also identify a class of nonlinear hybrid automata for which linear phase-portrait approximations can be generated automatically."}],"doi":"10.1007/BFb0020961","day":"01","date_updated":"2022-07-06T09:58:25Z","citation":{"ama":"Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. <i>Hybrid Systems III: Verification and Control</i>. Vol 1066. Springer; 1996:377-388. doi:<a href=\"https://doi.org/10.1007/BFb0020961\">10.1007/BFb0020961</a>","apa":"Henzinger, T. A., &#38; Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, &#38; E. Sontag (Eds.), <i>Hybrid Systems III: Verification and Control</i> (Vol. 1066, pp. 377–388). Springer. <a href=\"https://doi.org/10.1007/BFb0020961\">https://doi.org/10.1007/BFb0020961</a>","ieee":"T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for nonlinear hybrid systems,” in <i>Hybrid Systems III: Verification and Control</i>, 1996, vol. 1066, pp. 377–388.","chicago":"Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” In <i>Hybrid Systems III: Verification and Control</i>, edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer, 1996. <a href=\"https://doi.org/10.1007/BFb0020961\">https://doi.org/10.1007/BFb0020961</a>.","mla":"Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” <i>Hybrid Systems III: Verification and Control</i>, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:<a href=\"https://doi.org/10.1007/BFb0020961\">10.1007/BFb0020961</a>.","short":"T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.), Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388.","ista":"Henzinger TA, Wong Toi H. 1996. Linear phase-portrait approximations for nonlinear hybrid systems. Hybrid Systems III: Verification and Control. , LNCS, vol. 1066, 377–388."},"year":"1996","extern":"1","volume":1066,"acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.","alternative_title":["LNCS"],"title":"Linear phase-portrait approximations for nonlinear hybrid systems","intvolume":"      1066","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:08:47Z","author":[{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Wong Toi, Howard","first_name":"Howard","last_name":"Wong Toi"}],"_id":"4426","publisher":"Springer","editor":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"full_name":"Sontag, Eduardo","last_name":"Sontag","first_name":"Eduardo"}],"page":"377 - 388","quality_controlled":"1","publist_id":"302","publication_identifier":{"isbn":["9783540611554"]},"date_published":"1996-01-01T00:00:00Z","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0020961"}],"month":"01","oa_version":"None","publication":"Hybrid Systems III: Verification and Control","language":[{"iso":"eng"}]},{"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0027241"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","date_published":"1996-01-01T00:00:00Z","type":"book_chapter","publication_identifier":{"isbn":["9783540495666"]},"publist_id":"303","language":[{"iso":"eng"}],"publication":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","oa_version":"None","month":"01","volume":1165,"acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.","extern":"1","date_updated":"2022-07-06T10:06:19Z","year":"1996","citation":{"ista":"Henzinger TA, Wong Toi H. 1996.Using HyTech to synthesize control parameters for a steam boiler. In: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS, vol. 1165, 265–282.","mla":"Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>, vol. 1165, Springer, 1996, pp. 265–82, doi:<a href=\"https://doi.org/10.1007/BFb0027241\">10.1007/BFb0027241</a>.","short":"T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282.","ieee":"T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters for a steam boiler,” in <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>, vol. 1165, Springer, 1996, pp. 265–282.","chicago":"Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” In <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>, 1165:265–82. Springer, 1996. <a href=\"https://doi.org/10.1007/BFb0027241\">https://doi.org/10.1007/BFb0027241</a>.","ama":"Henzinger TA, Wong Toi H. Using HyTech to synthesize control parameters for a steam boiler. In: <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i>. Vol 1165. Springer; 1996:265-282. doi:<a href=\"https://doi.org/10.1007/BFb0027241\">10.1007/BFb0027241</a>","apa":"Henzinger, T. A., &#38; Wong Toi, H. (1996). Using HyTech to synthesize control parameters for a steam boiler. In <i>Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control</i> (Vol. 1165, pp. 265–282). Springer. <a href=\"https://doi.org/10.1007/BFb0027241\">https://doi.org/10.1007/BFb0027241</a>"},"doi":"10.1007/BFb0027241","day":"01","abstract":[{"text":"We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we define and verify a controller that maintains safe operation of the boiler. The less abstract model permits the design of a more efficient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize control parameter constraints that guarantee safety of the boiler.","lang":"eng"}],"page":"265 - 282","quality_controlled":"1","publisher":"Springer","_id":"4427","author":[{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Howard","last_name":"Wong Toi","full_name":"Wong Toi, Howard"}],"publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:08:48Z","alternative_title":["LNCS"],"title":"Using HyTech to synthesize control parameters for a steam boiler","intvolume":"      1165"},{"extern":"1","acknowledgement":"This research was supported in part by ONR Young Investigator award N00014-95-1-0520, by NSF CAREER award CCR-9501708, by NSF grant CCR-9504469, by Air Force Office of Scientific Research contract F49620-93-1-0056, by ARPA grant NAG2-892, and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.","volume":1119,"year":"1996","citation":{"ama":"Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: <i>7th International Conference on Concurrency Theory</i>. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_74\">10.1007/3-540-61604-7_74</a>","apa":"Henzinger, T. A., &#38; Kopke, P. (1996). State equivalences for rectangular hybrid automata. In <i>7th International Conference on Concurrency Theory</i> (Vol. 1119, pp. 530–545). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/3-540-61604-7_74\">https://doi.org/10.1007/3-540-61604-7_74</a>","ieee":"T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,” in <i>7th International Conference on Concurrency Theory</i>, Pisa, Italy, 1996, vol. 1119, pp. 530–545.","chicago":"Henzinger, Thomas A, and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” In <i>7th International Conference on Concurrency Theory</i>, 1119:530–45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. <a href=\"https://doi.org/10.1007/3-540-61604-7_74\">https://doi.org/10.1007/3-540-61604-7_74</a>.","short":"T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.","mla":"Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.” <i>7th International Conference on Concurrency Theory</i>, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_74\">10.1007/3-540-61604-7_74</a>.","ista":"Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 530–545."},"date_updated":"2022-07-06T08:43:23Z","abstract":[{"text":"Three natural equivalence relations on the infinite state space of a hybrid automaton are language equivalence, simulation equivalence, and bisimulation equivalence. When one of these equivalence relations has a finite quotient, certain model checking and controller synthesis problems are decidable. When bounds on the number of equivalence classes are obtained, bounds on the running times of model checking and synthesis algorithms follow as corollaries.\r\nWe characterize the time-abstract versions of these equivalence relations on the state spaces of rectangular hybrid automata (RHA), in which each continuous variable is a clock with bounded drift. These automata are useful for modeling communications protocols with drifting local clocks, and for the conservative approximation of more complex hybrid systems. Of our two main results, one has positive implications for automatic verification, and the other has negative implications. On the positive side, we find that the (finite) language equivalence quotient for RHA is coarser than was previously known by a multiplicative exponential factor. On the negative side, we show that simulation equivalence for RHA is equality (which obviously has an infinite quotient).\r\nOur main positive result is established by analyzing a subclass of timed automata, called one-sided timed automata (OTA), for which the language equivalence quotient is coarser than for the class of all timed automata. An exact characterization of language equivalence for OTA requires a distinction between synchronous and asynchronous definitions of (bi)simulation: if time actions are silent, then the induced quotient for OTA is coarser than if time actions (but not their durations) are visible.","lang":"eng"}],"day":"01","doi":"10.1007/3-540-61604-7_74","quality_controlled":"1","page":"530 - 545","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","author":[{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kopke, Peter","last_name":"Kopke","first_name":"Peter"}],"_id":"4443","intvolume":"      1119","title":"State equivalences for rectangular hybrid automata","alternative_title":["LNCS"],"article_processing_charge":"No","date_created":"2018-12-11T12:08:52Z","publication_status":"published","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-61604-7_74"}],"type":"conference","date_published":"1996-01-01T00:00:00Z","publist_id":"288","publication_identifier":{"isbn":["9783540616047"]},"language":[{"iso":"eng"}],"conference":{"end_date":"1996-08-29","location":"Pisa, Italy","start_date":"1996-08-26","name":"CONCUR: Concurrency Theory"},"publication":"7th International Conference on Concurrency Theory","month":"01","oa_version":"None"},{"oa_version":"None","month":"01","publication":"7th International Conference on Concurrency Theory","conference":{"name":"CONCUR: Concurrency Theory","start_date":"1996-08-26","end_date":"1996-08-29","location":"Pisa, Italy"},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-540-70625-0"]},"publist_id":"233","date_published":"1996-01-01T00:00:00Z","type":"conference","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-61604-7_73"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T12:09:08Z","alternative_title":["LNCS"],"title":"A space-efficient on-the-fly algorithm for real-time model checking","intvolume":"      1119","_id":"4495","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"full_name":"Kupferman, Orna","first_name":"Orna","last_name":"Kupferman"},{"last_name":"Vardi","first_name":"Moshe","full_name":"Vardi, Moshe"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","page":"514 - 529","quality_controlled":"1","doi":"10.1007/3-540-61604-7_73","day":"01","abstract":[{"lang":"eng","text":"In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satisfies a temporal-logic formula that specifies the behavior. The main practical limitation of model checking is caused by the size of the state space of the program, which grows exponentially with the number of concurrent components. This problem, known as the state-explosion problem, becomes more difficult when we consider real-time model checking, where the program and the specification involve quantitative references to time. In particular, when use timed automata to describe real-time programs and we specify timed behaviors in the logic TCTL, a real-time extension of the temporal logic CTL with clock variables, then the state space under consideration grows exponentially not only with the number of concurrent components, but also with the number of clocks and the length of the clock constraints used in the program and the specification. Two powerful methods for coping with the state-explosion problem are on-the-fly and space-efficient model checking. In on-the-fly model checking, we explore only the portion of the state space of the program whose exploration is essential for determining the satisfaction of the specification. In space-efficient model checking, we store in memory the minimal information required, preferring to spend time on reconstructing information rather than spend space on storing it. In this work we develop an automata-theoretic approach to TCTL model checking that combines both methods. We suggest, for the first time, a PSPACE on-the-fly model-checking algorithm for TCTL."}],"date_updated":"2022-07-06T08:21:20Z","year":"1996","citation":{"short":"T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.","mla":"Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” <i>7th International Conference on Concurrency Theory</i>, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_73\">10.1007/3-540-61604-7_73</a>.","ista":"Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.","apa":"Henzinger, T. A., Kupferman, O., &#38; Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking. In <i>7th International Conference on Concurrency Theory</i> (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/3-540-61604-7_73\">https://doi.org/10.1007/3-540-61604-7_73</a>","ama":"Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: <i>7th International Conference on Concurrency Theory</i>. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:<a href=\"https://doi.org/10.1007/3-540-61604-7_73\">10.1007/3-540-61604-7_73</a>","chicago":"Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” In <i>7th International Conference on Concurrency Theory</i>, 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. <a href=\"https://doi.org/10.1007/3-540-61604-7_73\">https://doi.org/10.1007/3-540-61604-7_73</a>.","ieee":"T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” in <i>7th International Conference on Concurrency Theory</i>, Pisa, Italy, 1996, vol. 1119, pp. 514–529."},"acknowledgement":"Supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892.","volume":1119,"extern":"1"},{"publication_identifier":{"issn":["1043-6871"]},"day":"01","doi":"10.1109/LICS.1996.561342 ","publist_id":"213","abstract":[{"text":"We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces","lang":"eng"}],"year":"1996","citation":{"ama":"Henzinger TA. The theory of hybrid automata. In: <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>. IEEE; 1996:278-292. doi:<a href=\"https://doi.org/10.1109/LICS.1996.561342 \">10.1109/LICS.1996.561342 </a>","apa":"Henzinger, T. A. (1996). The theory of hybrid automata. In <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i> (pp. 278–292). New Brunswick, NJ, United States of America: IEEE. <a href=\"https://doi.org/10.1109/LICS.1996.561342 \">https://doi.org/10.1109/LICS.1996.561342 </a>","chicago":"Henzinger, Thomas A. “The Theory of Hybrid Automata.” In <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, 278–92. IEEE, 1996. <a href=\"https://doi.org/10.1109/LICS.1996.561342 \">https://doi.org/10.1109/LICS.1996.561342 </a>.","ieee":"T. A. Henzinger, “The theory of hybrid automata,” in <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, New Brunswick, NJ, United States of America, 1996, pp. 278–292.","short":"T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–292.","mla":"Henzinger, Thomas A. “The Theory of Hybrid Automata.” <i>Proceedings 11th Annual IEEE Symposium on Logic in Computer Science</i>, IEEE, 1996, pp. 278–92, doi:<a href=\"https://doi.org/10.1109/LICS.1996.561342 \">10.1109/LICS.1996.561342 </a>.","ista":"Henzinger TA. 1996. The theory of hybrid automata. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 278–292."},"date_updated":"2022-07-06T07:56:28Z","type":"conference","date_published":"1996-01-01T00:00:00Z","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/561342"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","article_processing_charge":"No","date_created":"2018-12-11T12:09:16Z","publication_status":"published","oa_version":"None","title":"The theory of hybrid automata","month":"01","publication":"Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","_id":"4519","author":[{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publisher":"IEEE","conference":{"name":"LICS: Logic in Computer Science","start_date":"1996-07-27","end_date":"1996-07-30","location":"New Brunswick, NJ, United States of America"},"quality_controlled":"1","page":"278 - 292","language":[{"iso":"eng"}]},{"type":"book_chapter","date_published":"1995-01-01T00:00:00Z","citation":{"ista":"Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones: Biosynthesis, Signal Transduction, Action! , 451–484.","mla":"Morris, David, et al. “Auxin Transport.” <i>Plant Hormones: Biosynthesis, Signal Transduction, Action!</i>, edited by Peter Davies, Kluwer, 1995, pp. 451–84, doi:<a href=\"https://doi.org/10.1007/978-1-4020-2686-7_21\">10.1007/978-1-4020-2686-7_21</a>.","short":"D. Morris, J. Friml, E. Zažímalová, in:, P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action!, Kluwer, 1995, pp. 451–484.","chicago":"Morris, David, Jiří Friml, and Eva Zažímalová. “Auxin Transport.” In <i>Plant Hormones: Biosynthesis, Signal Transduction, Action!</i>, edited by Peter Davies, 451–84. Kluwer, 1995. <a href=\"https://doi.org/10.1007/978-1-4020-2686-7_21\">https://doi.org/10.1007/978-1-4020-2686-7_21</a>.","ieee":"D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in <i>Plant Hormones: Biosynthesis, Signal Transduction, Action!</i>, P. Davies, Ed. Kluwer, 1995, pp. 451–484.","apa":"Morris, D., Friml, J., &#38; Zažímalová, E. (1995). Auxin transport. In P. Davies (Ed.), <i>Plant Hormones: Biosynthesis, Signal Transduction, Action!</i> (pp. 451–484). Kluwer. <a href=\"https://doi.org/10.1007/978-1-4020-2686-7_21\">https://doi.org/10.1007/978-1-4020-2686-7_21</a>","ama":"Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. <i>Plant Hormones: Biosynthesis, Signal Transduction, Action!</i>. Kluwer; 1995:451-484. doi:<a href=\"https://doi.org/10.1007/978-1-4020-2686-7_21\">10.1007/978-1-4020-2686-7_21</a>"},"year":"1995","date_updated":"2022-06-29T14:45:32Z","publist_id":"4438","abstract":[{"lang":"eng","text":"Auxins play a crucial role in the regulation of spatial and temporal aspects of plant growth and development1. As well as being required for the division, enlargement and differentiation of individual plant cells, auxins also function as signals between cells, tissues and organs. In this way they contribute to the coordination and integration of growth and development in the whole plant and to physiological responses of plants to environmental cues (63). At the individual cell level, fast changes or pulses in hormone concentration may function to initiate or to terminate a developmental process. In contrast, the maintenance of a stable concentration of the hormone (homeostasis) may be necessary to maintain the progress of a developmental event that has already been initiated."}],"publication_identifier":{"isbn":["978-1-4020-2684-3"]},"day":"01","doi":"10.1007/978-1-4020-2686-7_21","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-1-4020-2686-7_21"}],"author":[{"full_name":"Morris, David","first_name":"David","last_name":"Morris"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","full_name":"Friml, Jirí","first_name":"Jirí","last_name":"Friml"},{"full_name":"Zažímalová, Eva","last_name":"Zažímalová","first_name":"Eva"}],"scopus_import":"1","_id":"2465","publication":"Plant Hormones: Biosynthesis, Signal Transduction, Action!","title":"Auxin transport","month":"01","article_processing_charge":"No","date_created":"2018-12-11T11:57:49Z","publication_status":"published","oa_version":"None","language":[{"iso":"eng"}],"quality_controlled":"1","page":"451 - 484","editor":[{"last_name":"Davies","first_name":"Peter","full_name":"Davies, Peter"}],"publisher":"Kluwer"},{"article_type":"original","publisher":"Wiley-Blackwell","page":"555 - 570","quality_controlled":"1","title":"Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain","intvolume":"       360","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T11:57:59Z","author":[{"last_name":"Ohishi","first_name":"Hitoshi","full_name":"Ohishi, Hitoshi"},{"full_name":"Akazawa, Chihiro","last_name":"Akazawa","first_name":"Chihiro"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi"},{"first_name":"Shigetada","last_name":"Nakanishi","full_name":"Nakanishi, Shigetada"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"}],"issue":"4","pmid":1,"_id":"2491","scopus_import":"1","extern":"1","acknowledgement":"We are grateful  to Akira Uesugi for photographic help. This work has been supported in part by research grants from the Ministry of Education, Science and  Culture of Japan.","volume":360,"abstract":[{"text":"The distribution of mRNAs for metabotropic glutamate receptors, mGluR4 and mGluR7, which are highly sensitive for L-2-amino-4-phosphonobutyrate (L- AP4), was examined in the central nervous system of the rat by in situ hybridization. In general, the hybridization signals of mGluR7 mRNA were more widely distributed than those of mGluR4 mRNA, and differential expression of mGluR4 mRNA and mGluR7 mRNA was clearly indicated in some brain regions. Intense or moderate expression of mGluR4 mRNA was detected in the granule cells of the olfactory bulb and cerebellum, whereas no significant expression of mGluR7 mRNA was found in these cells. In other neurons or regions where mGluR7 mRNA was intensely or moderately expressed, no significant expression of mGluR4 mRNA was observed. Such were the mitral and tufted cells of the olfactory bulb; anterior olfactory nucleus; neocortical regions; cingulate cortex; retrosplenial cortex; piriform cortex; perirhinal cortex; CA1; CA3; granule cells of the dentate gyrus; superficial layers of the subicular cortex; deep layers of the entorhinal, parasubicular, and presubicular cortices; ventral part of the lateral septal nucleus; septohippocampal nucleus; triangular septal nucleus; nuclei of the diagonal band; bed nucleus of the stria terminalis; ventral pallidum; claustrum; amygdaloid nuclei other than the intercalated nuclei; preoptic region; hypothalamic nuclei other than the medial mammillary nucleus; ventral lateral geniculate nucleus; locus coeruleus; Purkinje cells; many nuclei of the lower brainstem other than the superior colliculus, periaqueductal gray, interpeduncular nucleus, pontine nuclei, and dorsal cochlear nucleus; and dorsal horn of the spinal cord. Both mGluR4 mRNA and mGluR7 mRNA were moderately or intensely expressed in the olfactory tubercle, superficial layers of the entorhinal cortex, CA4, septofimbrial nucleus, intercalated nuclei of the amygdala, medial mammillary nucleus, many thalamic nuclei, and pontine nuclei. Intense expression of both mGluR4 mRNA and mGluR7 mRNA was further detected in the trigeminal ganglion and dorsal root ganglia, whereas no significant expression of them was found in the pterygopalatine ganglion and superior cervical ganglion. The results indicate differential roles of the L-AP4-sensitive metabotropic glutamate receptors in the glutamatergic nervous system.","lang":"eng"}],"doi":"10.1002/cne.903600402","day":"02","external_id":{"pmid":["8801249"]},"date_updated":"2022-06-29T13:08:19Z","citation":{"ista":"Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. 1995. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 360(4), 555–570.","short":"H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 360 (1995) 555–570.","mla":"Ohishi, Hitoshi, et al. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” <i>Journal of Comparative Neurology</i>, vol. 360, no. 4, Wiley-Blackwell, 1995, pp. 555–70, doi:<a href=\"https://doi.org/10.1002/cne.903600402\">10.1002/cne.903600402</a>.","ieee":"H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain,” <i>Journal of Comparative Neurology</i>, vol. 360, no. 4. Wiley-Blackwell, pp. 555–570, 1995.","chicago":"Ohishi, Hitoshi, Chihiro Akazawa, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” <i>Journal of Comparative Neurology</i>. Wiley-Blackwell, 1995. <a href=\"https://doi.org/10.1002/cne.903600402\">https://doi.org/10.1002/cne.903600402</a>.","ama":"Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. <i>Journal of Comparative Neurology</i>. 1995;360(4):555-570. doi:<a href=\"https://doi.org/10.1002/cne.903600402\">10.1002/cne.903600402</a>","apa":"Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., &#38; Mizuno, N. (1995). Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. <i>Journal of Comparative Neurology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1002/cne.903600402\">https://doi.org/10.1002/cne.903600402</a>"},"year":"1995","language":[{"iso":"eng"}],"month":"10","oa_version":"None","publication":"Journal of Comparative Neurology","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/abs/10.1002/cne.903600402"}],"publist_id":"4410","publication_identifier":{"issn":["0021-9967"]},"date_published":"1995-10-02T00:00:00Z","type":"journal_article"},{"issue":"2","author":[{"last_name":"Ding","first_name":"Yu","full_name":"Ding, Yu"},{"full_name":"Takada, Masahiko","first_name":"Masahiko","last_name":"Takada"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"},{"last_name":"Mizuno","first_name":"Noboru","full_name":"Mizuno, Noboru"}],"scopus_import":"1","pmid":1,"_id":"2556","intvolume":"       674","title":"Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat","article_processing_charge":"No","date_created":"2018-12-11T11:58:22Z","publication_status":"published","quality_controlled":"1","page":"336 - 340","article_type":"original","publisher":"Elsevier","external_id":{"pmid":["7796113"]},"year":"1995","citation":{"apa":"Ding, Y., Takada, M., Shigemoto, R., &#38; Mizuno, N. (1995). Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. <i>Brain Research</i>. Elsevier. <a href=\"https://doi.org/10.1016/0006-8993(95)00022-I\">https://doi.org/10.1016/0006-8993(95)00022-I</a>","ama":"Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. <i>Brain Research</i>. 1995;674(2):336-340. doi:<a href=\"https://doi.org/10.1016/0006-8993(95)00022-I\">10.1016/0006-8993(95)00022-I</a>","chicago":"Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Spinoparabrachial Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Lumbar Spinal Cord of the Rat.” <i>Brain Research</i>. Elsevier, 1995. <a href=\"https://doi.org/10.1016/0006-8993(95)00022-I\">https://doi.org/10.1016/0006-8993(95)00022-I</a>.","ieee":"Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat,” <i>Brain Research</i>, vol. 674, no. 2. Elsevier, pp. 336–340, 1995.","mla":"Ding, Yu, et al. “Spinoparabrachial Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Lumbar Spinal Cord of the Rat.” <i>Brain Research</i>, vol. 674, no. 2, Elsevier, 1995, pp. 336–40, doi:<a href=\"https://doi.org/10.1016/0006-8993(95)00022-I\">10.1016/0006-8993(95)00022-I</a>.","short":"Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Brain Research 674 (1995) 336–340.","ista":"Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 674(2), 336–340."},"date_updated":"2022-06-29T08:32:01Z","abstract":[{"lang":"eng","text":"By using substance P receptor (SPR) immunofluorescence histochemistry combined with fluorescent retrograde labeling, SPR-like immunoreactive (SPR-LI) neurons sending their axons to the lateral parabrachial region were observed in the lumbar spinal cord of the rat. After injection of Fluoro-Gold into the lateral parabrachial region, retrogradely labeled neurons with SPR-LI were seen frequently in lamina I and the lateral spinal nucleus, and occasionally in laminae IV and V, with a predominantly contralateral distribution. Some of these neurons, especially those in lamina I, may convey nociceptive information to the lateral parabrachial region."}],"day":"20","doi":"10.1016/0006-8993(95)00022-I","extern":"1","volume":674,"acknowledgement":"The authors are grateful for photographic help of Mr. Akira Uesugi. This work was supported in part by Grants-in-Aid for Special Research on Priority Areas 05267104, Scientific Research (B) 05454658, and Scientific Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan.","publication":"Brain Research","month":"03","oa_version":"None","language":[{"iso":"eng"}],"type":"journal_article","date_published":"1995-03-20T00:00:00Z","publist_id":"4341","publication_identifier":{"issn":["0006-8993"]},"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"url":"sciencedirect.com/science/article/pii/000689939500022I?via%3Dihub"}]},{"quality_controlled":"1","page":"209 - 217","publisher":"Gauthier Villars Editeur","article_type":"original","scopus_import":"1","_id":"2558","pmid":1,"issue":"2","author":[{"first_name":"Gérard","last_name":"Mick","full_name":"Mick, Gérard"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Kitahama, Kunio","last_name":"Kitahama","first_name":"Kunio"}],"article_processing_charge":"No","date_created":"2018-12-11T11:58:23Z","publication_status":"published","intvolume":"       318","title":"Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents","volume":318,"extern":"1","citation":{"ama":"Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. <i>Comptes Rendus de l’Academie des Sciences - Series III</i>. 1995;318(2):209-217.","apa":"Mick, G., Shigemoto, R., &#38; Kitahama, K. (1995). Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. <i>Comptes Rendus de l’Academie Des Sciences - Series III</i>. Gauthier Villars Editeur.","chicago":"Mick, Gérard, Ryuichi Shigemoto, and Kunio Kitahama. “Localization of Substance P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal Rodents.” <i>Comptes Rendus de l’Academie Des Sciences - Series III</i>. Gauthier Villars Editeur, 1995.","ieee":"G. Mick, R. Shigemoto, and K. Kitahama, “Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents,” <i>Comptes Rendus de l’Academie des Sciences - Series III</i>, vol. 318, no. 2. Gauthier Villars Editeur, pp. 209–217, 1995.","short":"G. Mick, R. Shigemoto, K. Kitahama, Comptes Rendus de l’Academie Des Sciences - Series III 318 (1995) 209–217.","mla":"Mick, Gérard, et al. “Localization of Substance P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal Rodents.” <i>Comptes Rendus de l’Academie Des Sciences - Series III</i>, vol. 318, no. 2, Gauthier Villars Editeur, 1995, pp. 209–17.","ista":"Mick G, Shigemoto R, Kitahama K. 1995. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 318(2), 209–217."},"year":"1995","date_updated":"2022-06-29T08:18:48Z","external_id":{"pmid":["7757814 "]},"day":"01","abstract":[{"text":"Brain areas involved in the genesis and control of daily rhythms receive a prominent neural input that contains the neurotransmitter substance P (SP), a peptide putatively involved in the synchronization of circadian rhythms by environmental light. We investigated the localization of receptors to SP in the suprachiasmatic nucleus of the hypothalamus (SCN) and in the intergeniculate leaflet of the thalamus (IGL) of the rat and hamster using in situ hybridization histochemistry and immunohistochemistry. Consistently with that previously described in the rat, a neuronal population distributed along the lateral margin and at the dorso-latero-caudal aspect of the hamster SCN expresses moderately the mRNA encoding the SP receptor. In both rat and hamster, immunohistochemical data confirm the previous finding and reveal an almost complete absence of SP receptors in the ventral part of the SCN, which receives a direct projection from the retina. In the IGL of both species, numerous neurons prominently express the mRNA encoding the SP receptor. The immunostaining shows a high density of SP receptors on perikarya and dendrites throughout the nucleus. A dense staining is also observed on individual cells and processes bordering the lumen of blood vessels in the SCN and IGL.","lang":"eng"}],"language":[{"iso":"eng"}],"publication":"Comptes Rendus de l'Academie des Sciences - Series III","oa_version":"None","month":"02","main_file_link":[{"url":"https://pubmed.ncbi.nlm.nih.gov/7757814/"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","date_published":"1995-02-01T00:00:00Z","publication_identifier":{"issn":["0764-4469"]},"publist_id":"4340"},{"language":[{"iso":"eng"}],"publication":"Cell","oa_version":"Published Version","month":"02","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0092867495903542","open_access":"1"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","date_published":"1995-02-10T00:00:00Z","publication_identifier":{"issn":["0092-8674"]},"publist_id":"4339","oa":1,"quality_controlled":"1","page":"757 - 765","publisher":"Cell Press","article_type":"original","pmid":1,"_id":"2559","issue":"5","author":[{"first_name":"Masayuki","last_name":"Masu","full_name":"Masu, Masayuki"},{"full_name":"Iwakabe, Hideki","first_name":"Hideki","last_name":"Iwakabe"},{"last_name":"Tagawa","first_name":"Yoshiaki","full_name":"Tagawa, Yoshiaki"},{"first_name":"Tomomitsu","last_name":"Miyoshi","full_name":"Miyoshi, Tomomitsu"},{"first_name":"Masayuki","last_name":"Yamashita","full_name":"Yamashita, Masayuki"},{"full_name":"Fukuda, Yutaka","last_name":"Fukuda","first_name":"Yutaka"},{"full_name":"Sasaki, Hitoshi","first_name":"Hitoshi","last_name":"Sasaki"},{"first_name":"Kano","last_name":"Hiroi","full_name":"Hiroi, Kano"},{"last_name":"Nakamura","first_name":"Yasuhisa","full_name":"Nakamura, Yasuhisa"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi"},{"full_name":"Takada, Masahiko","last_name":"Takada","first_name":"Masahiko"},{"last_name":"Nakamura","first_name":"Kenji","full_name":"Nakamura, Kenji"},{"full_name":"Nakao, Kazuki","last_name":"Nakao","first_name":"Kazuki"},{"full_name":"Katsuki, Motoya","last_name":"Katsuki","first_name":"Motoya"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"}],"date_created":"2018-12-11T11:58:23Z","article_processing_charge":"No","publication_status":"published","intvolume":"        80","title":"Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene","volume":80,"acknowledgement":"We thank Drs. N. Mizuno, M. Iso, M. Tachibana, A. Kaneko, M. Tessier-Lavigne, and T. Hensch for useful advice and A. Uesugi for photographic assistance. This work is supported by grants in aid for specially promoted research, for scientific research on priority areas, and for scientific research (A) from the Ministry of Education, Science, and Culture in Japan and by grants from the Ministry of Health and Welfare of Japan, the Sankyo Foundation, and the Senri Life Science Foundation.","extern":"1","year":"1995","citation":{"ieee":"M. Masu <i>et al.</i>, “Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene,” <i>Cell</i>, vol. 80, no. 5. Cell Press, pp. 757–765, 1995.","chicago":"Masu, Masayuki, Hideki Iwakabe, Yoshiaki Tagawa, Tomomitsu Miyoshi, Masayuki Yamashita, Yutaka Fukuda, Hitoshi Sasaki, et al. “Specific Deficit of the ON Response in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” <i>Cell</i>. Cell Press, 1995. <a href=\"https://doi.org/10.1016/0092-8674(95)90354-2\">https://doi.org/10.1016/0092-8674(95)90354-2</a>.","apa":"Masu, M., Iwakabe, H., Tagawa, Y., Miyoshi, T., Yamashita, M., Fukuda, Y., … Nakanishi, S. (1995). Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/0092-8674(95)90354-2\">https://doi.org/10.1016/0092-8674(95)90354-2</a>","ama":"Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. <i>Cell</i>. 1995;80(5):757-765. doi:<a href=\"https://doi.org/10.1016/0092-8674(95)90354-2\">10.1016/0092-8674(95)90354-2</a>","ista":"Masu M, Iwakabe H, Tagawa Y, Miyoshi T, Yamashita M, Fukuda Y, Sasaki H, Hiroi K, Nakamura Y, Shigemoto R, Takada M, Nakamura K, Nakao K, Katsuki M, Nakanishi S. 1995. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 80(5), 757–765.","mla":"Masu, Masayuki, et al. “Specific Deficit of the ON Response in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” <i>Cell</i>, vol. 80, no. 5, Cell Press, 1995, pp. 757–65, doi:<a href=\"https://doi.org/10.1016/0092-8674(95)90354-2\">10.1016/0092-8674(95)90354-2</a>.","short":"M. Masu, H. Iwakabe, Y. Tagawa, T. Miyoshi, M. Yamashita, Y. Fukuda, H. Sasaki, K. Hiroi, Y. Nakamura, R. Shigemoto, M. Takada, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Cell 80 (1995) 757–765."},"date_updated":"2022-06-28T13:27:50Z","external_id":{"pmid":["7889569"]},"day":"10","doi":"10.1016/0092-8674(95)90354-2","abstract":[{"text":"Taking advantage of the restricted expression of metabotropic glutamate receptor subtype 6 (mGIuR6) in retinal ON bipolar cells, we generated knockout mice lacking mGIuR6 expression. The homozygous mutant mice showed a loss of ON responses but unchanged OFF responses to light. The mutant mice displayed no obvious changes in retinal cell organization nor in the projection of optic fibers to the brain. Furthermore, the mGIuR6-deficient mice showed visual behavioral responses to light stimulation as examined by shuttle box avoidance behavior experiments using light exposure as a conditioned stimulus. The results demonstrate that mGIuR6 is essential in synaptic transmission to the ON bipolar cell and that the OFF response provides an important means for transmitting visual information.","lang":"eng"}]},{"language":[{"iso":"eng"}],"oa_version":"None","month":"09","publication":"Neuroscience Letters","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0304394095119915?via%3Dihub"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"issn":["0304-3940"]},"publist_id":"4338","type":"journal_article","date_published":"1995-09-29T00:00:00Z","publisher":"Elsevier","article_type":"original","quality_controlled":"1","page":"139 - 142","article_processing_charge":"No","date_created":"2018-12-11T11:58:23Z","publication_status":"published","intvolume":"       198","title":"Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat","pmid":1,"_id":"2560","issue":"2","author":[{"full_name":"Lü, Yan","first_name":"Yan","last_name":"Lü"},{"full_name":"Jin, Shan","first_name":"Shan","last_name":"Jin"},{"full_name":"Xu, Tian","first_name":"Tian","last_name":"Xu"},{"first_name":"Bing","last_name":"Qin","full_name":"Qin, Bing"},{"full_name":"Li, Ji","last_name":"Li","first_name":"Ji"},{"full_name":"Ding, Yu","last_name":"Ding","first_name":"Yu"},{"orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"}],"volume":198,"extern":"1","day":"29","doi":"10.1016/0304-3940(95)11991-5","abstract":[{"lang":"eng","text":"Chemical irritation of the urinary bladder with formalin in the rat induced c-fos protein-like immunoreactivity in more than 80% of substance P receptor-like immunoreactive (SPR-LI) neurons of the dorsal commissural nucleus, sacral parasympathetic nucleus and lamina I in the 6th lumbar and 1st sacral cord segments. These neurons with SPR-LI may receive noxious information from the urinary bladder through the primary afferent fibers with substance P."}],"citation":{"ieee":"Y. Lü <i>et al.</i>, “Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat,” <i>Neuroscience Letters</i>, vol. 198, no. 2. Elsevier, pp. 139–142, 1995.","chicago":"Lü, Yan, Shan Jin, Tian Xu, Bing Qin, Ji Li, Yu Ding, Ryuichi Shigemoto, and Noboru Mizuno. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation in the Lumbosacral Cord Segments of the Rat.” <i>Neuroscience Letters</i>. Elsevier, 1995. <a href=\"https://doi.org/10.1016/0304-3940(95)11991-5\">https://doi.org/10.1016/0304-3940(95)11991-5</a>.","ama":"Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. <i>Neuroscience Letters</i>. 1995;198(2):139-142. doi:<a href=\"https://doi.org/10.1016/0304-3940(95)11991-5\">10.1016/0304-3940(95)11991-5</a>","apa":"Lü, Y., Jin, S., Xu, T., Qin, B., Li, J., Ding, Y., … Mizuno, N. (1995). Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0304-3940(95)11991-5\">https://doi.org/10.1016/0304-3940(95)11991-5</a>","ista":"Lü Y, Jin S, Xu T, Qin B, Li J, Ding Y, Shigemoto R, Mizuno N. 1995. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 198(2), 139–142.","short":"Y. Lü, S. Jin, T. Xu, B. Qin, J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Neuroscience Letters 198 (1995) 139–142.","mla":"Lü, Yan, et al. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation in the Lumbosacral Cord Segments of the Rat.” <i>Neuroscience Letters</i>, vol. 198, no. 2, Elsevier, 1995, pp. 139–42, doi:<a href=\"https://doi.org/10.1016/0304-3940(95)11991-5\">10.1016/0304-3940(95)11991-5</a>."},"year":"1995","date_updated":"2022-06-28T12:54:14Z","external_id":{"pmid":["8592640"]}},{"date_updated":"2022-06-28T12:44:57Z","year":"1995","citation":{"ista":"Ohishi H, Nomura S, Ding Y, Shigemoto R, Wada E, Kinoshita A, Li J, Neki A, Nakanishi S, Mizuno N. 1995. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 202(1–2), 85–88.","short":"H. Ohishi, S. Nomura, Y. Ding, R. Shigemoto, E. Wada, A. Kinoshita, J. Li, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1995) 85–88.","mla":"Ohishi, Hitoshi, et al. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study in the Rat.” <i>Neuroscience Letters</i>, vol. 202, no. 1–2, Elsevier, 1995, pp. 85–88, doi:<a href=\"https://doi.org/10.1016/0304-3940(95)12207-9\">10.1016/0304-3940(95)12207-9</a>.","chicago":"Ohishi, Hitoshi, Sakashi Nomura, Yu Ding, Ryuichi Shigemoto, Eiki Wada, Ayae Kinoshita, Jin Li, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study in the Rat.” <i>Neuroscience Letters</i>. Elsevier, 1995. <a href=\"https://doi.org/10.1016/0304-3940(95)12207-9\">https://doi.org/10.1016/0304-3940(95)12207-9</a>.","ieee":"H. Ohishi <i>et al.</i>, “Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat,” <i>Neuroscience Letters</i>, vol. 202, no. 1–2. Elsevier, pp. 85–88, 1995.","ama":"Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. <i>Neuroscience Letters</i>. 1995;202(1-2):85-88. doi:<a href=\"https://doi.org/10.1016/0304-3940(95)12207-9\">10.1016/0304-3940(95)12207-9</a>","apa":"Ohishi, H., Nomura, S., Ding, Y., Shigemoto, R., Wada, E., Kinoshita, A., … Mizuno, N. (1995). Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. <i>Neuroscience Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0304-3940(95)12207-9\">https://doi.org/10.1016/0304-3940(95)12207-9</a>"},"external_id":{"pmid":["8787837"]},"doi":"10.1016/0304-3940(95)12207-9","day":"01","abstract":[{"lang":"eng","text":"An antibody which recognizes specifically a metabotropic glutamate receptor, mGluR7, was produced by using a trpE fusion protein containing a C-terminal sequence of rat mGluR7. Neuropil in laminae I and II of the dorsal horn of the rat, as well as many neuronal cell bodies in the dorsal root ganglion, showed mGluR7-like immunoreactivity; the immunoreactivity in neuropil was seen in axon terminals, which were filled with round synaptic vesicles and constituted axodendritic and axosomatic asymmetric synapses. The mGluR7-like immunoreactivity in laminae I and II in the dorsal horn was reduced after dorsal rhizotomy. The results indicate that some axon terminals of the primary afferent fibers to laminae I and II of the dorsal horn are provided with mGluR7."}],"volume":202,"acknowledgement":"We are grateful to Mr. Akira Uesugi for photographic help.","extern":"1","pmid":1,"_id":"2561","author":[{"full_name":"Ohishi, Hitoshi","last_name":"Ohishi","first_name":"Hitoshi"},{"full_name":"Nomura, Sakashi","last_name":"Nomura","first_name":"Sakashi"},{"first_name":"Yu","last_name":"Ding","full_name":"Ding, Yu"},{"full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","last_name":"Shigemoto","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Eiki","last_name":"Wada","full_name":"Wada, Eiki"},{"last_name":"Kinoshita","first_name":"Ayae","full_name":"Kinoshita, Ayae"},{"first_name":"Jin","last_name":"Li","full_name":"Li, Jin"},{"full_name":"Neki, Akio","first_name":"Akio","last_name":"Neki"},{"full_name":"Nakanishi, Shigetada","first_name":"Shigetada","last_name":"Nakanishi"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"}],"issue":"1-2","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T11:58:24Z","title":"Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat","intvolume":"       202","page":"85 - 88","quality_controlled":"1","publisher":"Elsevier","article_type":"original","date_published":"1995-12-01T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["0304-3940"]},"publist_id":"4337","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0304394095122079?via%3Dihub"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public","publication":"Neuroscience Letters","oa_version":"None","month":"12","language":[{"iso":"eng"}]},{"doi":"10.1016/0168-0102(95)00961-R","day":"01","abstract":[{"text":"By means of substance P receptor (SPR) immunofluorescence histochemistry combined with Fluoro-Gold fluorescent retrograde labeling, SPR-like immunoreactive neurons in the caudal subnucleus of the spinal trigeminal nucleus of the rat were observed to send their axons to the nucleus of Kolliker-Fuse and ventrolateral part of the lateral parabrachial nucleus bilaterally with a clear ipsilateral dominance. These neurons were distributed mainly in lamina I, and additionally in lamina III.","lang":"eng"}],"date_updated":"2022-06-28T09:50:42Z","year":"1995","citation":{"apa":"Ding, Y., Takada, M., Shigemoto, R., &#38; Mizuno, N. (1995). Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. <i>Neuroscience Research</i>. Elsevier. <a href=\"https://doi.org/10.1016/0168-0102(95)00961-R\">https://doi.org/10.1016/0168-0102(95)00961-R</a>","ama":"Ding Y, Takada M, Shigemoto R, Mizuno N. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. <i>Neuroscience Research</i>. 1995;23(4):415-418. doi:<a href=\"https://doi.org/10.1016/0168-0102(95)00961-R\">10.1016/0168-0102(95)00961-R</a>","ieee":"Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat,” <i>Neuroscience Research</i>, vol. 23, no. 4. Elsevier, pp. 415–418, 1995.","chicago":"Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Trigeminoparabrachial Projection Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” <i>Neuroscience Research</i>. Elsevier, 1995. <a href=\"https://doi.org/10.1016/0168-0102(95)00961-R\">https://doi.org/10.1016/0168-0102(95)00961-R</a>.","mla":"Ding, Yu, et al. “Trigeminoparabrachial Projection Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” <i>Neuroscience Research</i>, vol. 23, no. 4, Elsevier, 1995, pp. 415–18, doi:<a href=\"https://doi.org/10.1016/0168-0102(95)00961-R\">10.1016/0168-0102(95)00961-R</a>.","short":"Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Neuroscience Research 23 (1995) 415–418.","ista":"Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 23(4), 415–418."},"external_id":{"pmid":["8602281"]},"acknowledgement":"The authors are grateful for photographic help of Ms. Miao-Li Zhang and Mr. Akira Uesugi. This work was supported in part by Grants-in-Aid for Special Research on Priority Areas 05267104, Scientific Research (B) 05454658, and Scientific Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan. ","volume":23,"extern":"1","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T11:58:24Z","title":"Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat","intvolume":"        23","pmid":1,"_id":"2563","author":[{"full_name":"Ding, Yu","last_name":"Ding","first_name":"Yu"},{"first_name":"Masahiko","last_name":"Takada","full_name":"Takada, Masahiko"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Mizuno, Noboru","last_name":"Mizuno","first_name":"Noboru"}],"issue":"4","publisher":"Elsevier","article_type":"original","page":"415 - 418","quality_controlled":"1","publication_identifier":{"issn":["0168-0102"]},"publist_id":"4336","date_published":"1995-11-01T00:00:00Z","type":"journal_article","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/016801029500961R?via%3Dihub"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","month":"11","publication":"Neuroscience Research","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"quality_controlled":"1","page":"127 - 132","conference":{"name":"International Conference on Partial Differential Operators and Mathematical Physics","start_date":"1995-07-03","end_date":"1995-07-09","location":"Holzhau, Germany"},"publisher":"Birkhäuser","author":[{"last_name":"Erdös","first_name":"László","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"}],"_id":"2712","intvolume":"        78","alternative_title":["Operator Theory: Advances and Applications"],"title":"Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals","month":"01","date_created":"2018-12-11T11:59:12Z","article_processing_charge":"No","publication_status":"published","oa_version":"None","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-0348-9092-2_13"}],"acknowledgement":"Work supported by the NSF grant PHY90-19433 A02, by the Alfred Sloan Foundation dissertation Fellowship and by the Erwin Schrödinger Institute for Mathematical Physics in Vienna.","volume":78,"type":"conference","date_published":"1995-01-01T00:00:00Z","year":"1995","citation":{"chicago":"Erdös, László. “Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory Integrals,” 78:127–32. Birkhäuser, 1995. <a href=\"https://doi.org/10.1007/978-3-0348-9092-2_13\">https://doi.org/10.1007/978-3-0348-9092-2_13</a>.","ieee":"L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132.","ama":"Erdös L. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. In: Vol 78. Birkhäuser; 1995:127-132. doi:<a href=\"https://doi.org/10.1007/978-3-0348-9092-2_13\">10.1007/978-3-0348-9092-2_13</a>","apa":"Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals (Vol. 78, pp. 127–132). Presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany: Birkhäuser. <a href=\"https://doi.org/10.1007/978-3-0348-9092-2_13\">https://doi.org/10.1007/978-3-0348-9092-2_13</a>","ista":"Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. International Conference on Partial Differential Operators and Mathematical Physics, Operator Theory: Advances and Applications, vol. 78, 127–132.","mla":"Erdös, László. <i>Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory Integrals</i>. Vol. 78, Birkhäuser, 1995, pp. 127–32, doi:<a href=\"https://doi.org/10.1007/978-3-0348-9092-2_13\">10.1007/978-3-0348-9092-2_13</a>.","short":"L. Erdös, in:, Birkhäuser, 1995, pp. 127–132."},"date_updated":"2022-06-28T09:31:20Z","publist_id":"4184","abstract":[{"lang":"eng","text":"We study the generalizations of the well-known Lieb-Thirring inequality for the magnetic Schrödinger operator with a nonconstant magnetic field. We use stochastic methods to prove estimates on the moments of the negative eigenvalues."}],"day":"01","doi":"10.1007/978-3-0348-9092-2_13"},{"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02099152"}],"type":"journal_article","date_published":"1995-06-01T00:00:00Z","publist_id":"4168","publication_identifier":{"issn":["0010-3616"]},"language":[{"iso":"eng"}],"publication":"Communications in Mathematical Physics","month":"06","oa_version":"None","extern":"1","volume":170,"citation":{"ieee":"L. Erdös, “Magnetic Lieb-Thirring inequalities,” <i>Communications in Mathematical Physics</i>, vol. 170, no. 3. Springer, pp. 629–668, 1995.","chicago":"Erdös, László. “Magnetic Lieb-Thirring Inequalities.” <i>Communications in Mathematical Physics</i>. Springer, 1995. <a href=\"https://doi.org/10.1007/BF02099152\">https://doi.org/10.1007/BF02099152</a>.","ama":"Erdös L. Magnetic Lieb-Thirring inequalities. <i>Communications in Mathematical Physics</i>. 1995;170(3):629-668. doi:<a href=\"https://doi.org/10.1007/BF02099152\">10.1007/BF02099152</a>","apa":"Erdös, L. (1995). Magnetic Lieb-Thirring inequalities. <i>Communications in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/BF02099152\">https://doi.org/10.1007/BF02099152</a>","ista":"Erdös L. 1995. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 170(3), 629–668.","mla":"Erdös, László. “Magnetic Lieb-Thirring Inequalities.” <i>Communications in Mathematical Physics</i>, vol. 170, no. 3, Springer, 1995, pp. 629–68, doi:<a href=\"https://doi.org/10.1007/BF02099152\">10.1007/BF02099152</a>.","short":"L. Erdös, Communications in Mathematical Physics 170 (1995) 629–668."},"year":"1995","date_updated":"2022-06-28T09:19:36Z","abstract":[{"text":"We study the generalizations of the well-known Lieb-Thirring inequality for the magnetic Schrödinger operator with nonconstant magnetic field. Our main result is the naturally expected magnetic Lieb-Thirring estimate on the moments of the negative eigenvalues for a certain class of magnetic fields (including even some unbounded ones). We develop a localization technique in path space of the stochastic Feynman-Kac representation of the heat kernel which effectively estimates the oscillatory effect due to the magnetic phase factor.","lang":"eng"}],"day":"01","doi":"10.1007/BF02099152","quality_controlled":"1","page":"629 - 668","article_type":"original","publisher":"Springer","issue":"3","author":[{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","first_name":"László","full_name":"Erdös, László","orcid":"0000-0001-5366-9603"}],"_id":"2724","intvolume":"       170","title":"Magnetic Lieb-Thirring inequalities","article_processing_charge":"No","date_created":"2018-12-11T11:59:16Z","publication_status":"published"},{"intvolume":"        13","title":"Fully dynamic biconnectivity in graphs","month":"06","article_processing_charge":"No","date_created":"2022-07-27T14:50:46Z","oa_version":"None","publication_status":"published","issue":"6","author":[{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","first_name":"Monika H"}],"scopus_import":"1","_id":"11677","publication":"Algorithmica","article_type":"original","publisher":"Springer Nature","language":[{"iso":"eng"}],"quality_controlled":"1","page":"503-538","abstract":[{"lang":"eng","text":"We present an algorithm for maintaining the biconnected components of a graph during a sequence of edge insertions and deletions. It requires linear storage and preprocessing time. The amortized running time for insertions and for deletions isO(m 2/3 ), wherem is the number of edges in the graph. Any query of the form ‘Are the verticesu andv biconnected?’ can be answered in timeO(1). This is the first sublinear algorithm for this problem. We can also output all articulation points separating any two vertices efficiently.\r\n\r\nIf the input is a plane graph, the amortized running time for insertions and deletions drops toO(√n logn) and the query time isO(log2 n), wheren is the number of vertices in the graph. The best previously known solution takes timeO(n 2/3 ) per update or query."}],"day":"01","publication_identifier":{"eissn":["1432-0541"],"issn":["0178-4617"]},"doi":"10.1007/bf01189067","type":"journal_article","date_published":"1995-06-01T00:00:00Z","year":"1995","citation":{"mla":"Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” <i>Algorithmica</i>, vol. 13, no. 6, Springer Nature, 1995, pp. 503–38, doi:<a href=\"https://doi.org/10.1007/bf01189067\">10.1007/bf01189067</a>.","short":"M.H. Henzinger, Algorithmica 13 (1995) 503–538.","ista":"Henzinger MH. 1995. Fully dynamic biconnectivity in graphs. Algorithmica. 13(6), 503–538.","apa":"Henzinger, M. H. (1995). Fully dynamic biconnectivity in graphs. <i>Algorithmica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/bf01189067\">https://doi.org/10.1007/bf01189067</a>","ama":"Henzinger MH. Fully dynamic biconnectivity in graphs. <i>Algorithmica</i>. 1995;13(6):503-538. doi:<a href=\"https://doi.org/10.1007/bf01189067\">10.1007/bf01189067</a>","ieee":"M. H. Henzinger, “Fully dynamic biconnectivity in graphs,” <i>Algorithmica</i>, vol. 13, no. 6. Springer Nature, pp. 503–538, 1995.","chicago":"Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” <i>Algorithmica</i>. Springer Nature, 1995. <a href=\"https://doi.org/10.1007/bf01189067\">https://doi.org/10.1007/bf01189067</a>."},"date_updated":"2022-09-12T09:00:14Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","extern":"1","volume":13},{"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","abstract":[{"lang":"eng","text":"This paper presents an algorithm for the fully dynamic biconnectivity problem whose running time is exponentially faster than all previously known solutions. It is the first dynamic algorithm that answers biconnectivity queries in time O(log/sup 2/n) in a n-node graph and can be updated after an edge insertion or deletion in polylogarithmic time. Our algorithm is a Las-Vegas style randomized algorithm with the update time amortized update time O(log/sup 4/n). Only recently the best deterministic result for this problem was improved to O(/spl radic/nlog/sup 2/n). We also give the first fully dynamic and a novel deletions-only transitive closure (i.e. directed connectivity) algorithms. These are randomized Monte Carlo algorithms. Let n be the number of nodes in the graph and let m/spl circ/ be the average number of edges in the graph during the whole update sequence: The fully dynamic algorithms achieve (1) query time O(n/logn) and update time O(m/spl circ//spl radic/nlog/sup 2/n+n); or (2) query time O(n/logn) and update time O(nm/spl circ//sup /spl mu/-1/)log/sup 2/n=O(nm/spl circ//sup 0.58/log/sup 2/n), where /spl mu/ is the exponent for boolean matrix multiplication (currently /spl mu/=2.38). The deletions-only algorithm answers queries in time O(n/logn). Its amortized update time is O(nlog/sup 2/n)."}],"day":"01","publication_identifier":{"issn":["0272-5428"],"isbn":["0-8186-7183-1"]},"doi":"10.1109/SFCS.1995.492668","type":"conference","date_published":"1995-11-01T00:00:00Z","year":"1995","citation":{"short":"M.H. Henzinger, V. King, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–672.","mla":"Henzinger, Monika H., and V. King. “Fully Dynamic Biconnectivity and Transitive Closure.” <i>Proceedings of IEEE 36th Annual Foundations of Computer Science</i>, Institute of Electrical and Electronics Engineers, 1995, pp. 664–72, doi:<a href=\"https://doi.org/10.1109/SFCS.1995.492668\">10.1109/SFCS.1995.492668</a>.","ista":"Henzinger MH, King V. 1995. Fully dynamic biconnectivity and transitive closure. Proceedings of IEEE 36th Annual Foundations of Computer Science. Foundations of Computer Science, 664–672.","apa":"Henzinger, M. H., &#38; King, V. (1995). Fully dynamic biconnectivity and transitive closure. In <i>Proceedings of IEEE 36th Annual Foundations of Computer Science</i> (pp. 664–672). Milwaukee, WI, United States: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/SFCS.1995.492668\">https://doi.org/10.1109/SFCS.1995.492668</a>","ama":"Henzinger MH, King V. Fully dynamic biconnectivity and transitive closure. In: <i>Proceedings of IEEE 36th Annual Foundations of Computer Science</i>. Institute of Electrical and Electronics Engineers; 1995:664-672. doi:<a href=\"https://doi.org/10.1109/SFCS.1995.492668\">10.1109/SFCS.1995.492668</a>","ieee":"M. H. Henzinger and V. King, “Fully dynamic biconnectivity and transitive closure,” in <i>Proceedings of IEEE 36th Annual Foundations of Computer Science</i>, Milwaukee, WI, United States, 1995, pp. 664–672.","chicago":"Henzinger, Monika H, and V. King. “Fully Dynamic Biconnectivity and Transitive Closure.” In <i>Proceedings of IEEE 36th Annual Foundations of Computer Science</i>, 664–72. Institute of Electrical and Electronics Engineers, 1995. <a href=\"https://doi.org/10.1109/SFCS.1995.492668\">https://doi.org/10.1109/SFCS.1995.492668</a>."},"date_updated":"2023-02-09T11:35:17Z","conference":{"end_date":"1995-10-25","location":"Milwaukee, WI, United States","name":"Foundations of Computer Science","start_date":"1995-10-23"},"publisher":"Institute of Electrical and Electronics Engineers","language":[{"iso":"eng"}],"quality_controlled":"1","page":"664-672","month":"11","title":"Fully dynamic biconnectivity and transitive closure","date_created":"2022-07-28T11:28:13Z","article_processing_charge":"No","publication_status":"published","oa_version":"None","author":[{"first_name":"Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"full_name":"King, V.","first_name":"V.","last_name":"King"}],"scopus_import":"1","_id":"11684","publication":"Proceedings of IEEE 36th Annual Foundations of Computer Science"},{"extern":"1","acknowledgement":"L.A.S. is grateful to the Wellcome Trust for a Research Fellowship. Support from the Biotechnology and Biological Sciences Research Council is also acknowledged. We thank our colleagues. Tania Bizouarn, Mike Hutton and Nick Cotton, for advice and valuable discussion. ","volume":1231,"external_id":{"pmid":["7578218"]},"date_updated":"2022-06-29T15:04:47Z","citation":{"mla":"Sazanov, Leonid A., and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications for the Mechanism of Proton Translocation.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1231, no. 3, Elsevier, 1995, pp. 304–12, doi:<a href=\"https://doi.org/10.1016/0005-2728(95)00096-2\">10.1016/0005-2728(95)00096-2</a>.","short":"L.A. Sazanov, B. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1231 (1995) 304–312.","ista":"Sazanov LA, Jackson B. 1995. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1231(3), 304–312.","ama":"Sazanov LA, Jackson B. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. 1995;1231(3):304-312. doi:<a href=\"https://doi.org/10.1016/0005-2728(95)00096-2\">10.1016/0005-2728(95)00096-2</a>","apa":"Sazanov, L. A., &#38; Jackson, B. (1995). Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier. <a href=\"https://doi.org/10.1016/0005-2728(95)00096-2\">https://doi.org/10.1016/0005-2728(95)00096-2</a>","ieee":"L. A. Sazanov and B. Jackson, “Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation,” <i>Biochimica et Biophysica Acta - Bioenergetics</i>, vol. 1231, no. 3. Elsevier, pp. 304–312, 1995.","chicago":"Sazanov, Leonid A, and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications for the Mechanism of Proton Translocation.” <i>Biochimica et Biophysica Acta - Bioenergetics</i>. Elsevier, 1995. <a href=\"https://doi.org/10.1016/0005-2728(95)00096-2\">https://doi.org/10.1016/0005-2728(95)00096-2</a>."},"year":"1995","abstract":[{"lang":"eng","text":"Transhydrogenase from beef-heart mitochondria was solubilised with Triton X-100 and purified by column chromatography. The detergent-dispersed enzyme catalysed the reduction of acetylpyridine adenine dinucleotide (AcPdAD+) by NADH, but only in the presence of NADP+. Experiments showed that this reaction was cyclic; NADP(H), whilst remaining bound to the enzyme, was alternately reduced by NADH and oxidised by AcPdAD+. A period of incubation of the enzyme with NADPH at pH 6.0 led to inhibition of the simple transhydrogenation reaction between AcPdAD+ and NADPH. However, after such treatment, transhydrogenase acquired the ability to catalyse the (NADPH-dependent) reduction of AcPdAD+ by NADH. It is suggested that this is a similar cycle to the one described above. Evidently, the binding affinity for NADP+ increases as a consequence of the inhibition process resulting from prolonged incubation with NADPH. The pH dependences of simple and cyclic transhydrogenation reactions are described. Though more complex than those in Escherichia coli transhydrogenase, they are consistent with the view [Hutton, M., Day, J.M., Bizouarn, T. and Jackson, J.B. (1994) Eur. J. Biochem. 219, 1041–10511] that, also in the mitochondrial enzyme, binding the release of NADP+ and NADP are accompanied by binding and release of a proton. The enzyme was successfully reconstituted into liposomes by a cholate dilution procedure. The proteoliposomes catalysed cyclic NADPH-dependent reduction of AcPdAD+ by NADH only when they were tightly coupled. However, they catalysed cyclic NADP+-dependent reduction of AcPdAD+ by NADH only when they were uncoupled eg. by addition of carbonylcyanide-p-trifluoromethoxyphenyl hydrazone. These observations are evidence that the proton binding and release which accompany NADP+ binding and release, respectively, take place on the inside of the vesicle, and that they are components of the electrogenic processes of the enzyme."}],"doi":"10.1016/0005-2728(95)00096-2","day":"10","page":"304 - 312","quality_controlled":"1","article_type":"original","publisher":"Elsevier","author":[{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","last_name":"Sazanov","orcid":"0000-0002-0977-7989","full_name":"Sazanov, Leonid A"},{"last_name":"Jackson","first_name":"Baz","full_name":"Jackson, Baz"}],"issue":"3","pmid":1,"_id":"1943","title":"Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation","intvolume":"      1231","publication_status":"published","article_processing_charge":"No","date_created":"2018-12-11T11:54:50Z","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/0005272895000962?via%3Dihub"}],"date_published":"1995-10-10T00:00:00Z","type":"journal_article","oa":1,"publist_id":"5142","publication_identifier":{"issn":["0005-2728"]},"language":[{"iso":"eng"}],"publication":"Biochimica et Biophysica Acta - Bioenergetics","month":"10","oa_version":"Published Version"},{"quality_controlled":"1","page":"166 - 179","publisher":"Springer","_id":"4587","author":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2018-12-11T12:09:37Z","article_processing_charge":"No","publication_status":"published","intvolume":"       939","title":"Local liveness for compositional modeling of fair reactive systems","alternative_title":["LNCS"],"volume":939,"acknowledgement":"Supported in part by the NSF grant CCR-9200794, by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.","extern":"1","year":"1995","citation":{"ista":"Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.","mla":"Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” <i>7th International Conference on Computer Aided Verification</i>, vol. 939, Springer, 1995, pp. 166–79, doi:<a href=\"https://doi.org/10.1007/3-540-60045-0_49\">10.1007/3-540-60045-0_49</a>.","short":"R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179.","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” In <i>7th International Conference on Computer Aided Verification</i>, 939:166–79. Springer, 1995. <a href=\"https://doi.org/10.1007/3-540-60045-0_49\">https://doi.org/10.1007/3-540-60045-0_49</a>.","ieee":"R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” in <i>7th International Conference on Computer Aided Verification</i>, Liege, Belgium, 1995, vol. 939, pp. 166–179.","apa":"Alur, R., &#38; Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems. In <i>7th International Conference on Computer Aided Verification</i> (Vol. 939, pp. 166–179). Liege, Belgium: Springer. <a href=\"https://doi.org/10.1007/3-540-60045-0_49\">https://doi.org/10.1007/3-540-60045-0_49</a>","ama":"Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: <i>7th International Conference on Computer Aided Verification</i>. Vol 939. Springer; 1995:166-179. doi:<a href=\"https://doi.org/10.1007/3-540-60045-0_49\">10.1007/3-540-60045-0_49</a>"},"date_updated":"2022-06-09T14:05:04Z","day":"01","doi":"10.1007/3-540-60045-0_49","abstract":[{"text":"We argue that the standard constraints on liveness conditions in nonblocking trace models—machine closure for closed systems, and receptiveness for open systems—are unnecessarily weak and complex, and that liveness should, instead, be specified by augmenting transition systems with acceptance conditions that satisfy a locality constraint. First, locality implies machine closure and receptiveness, and thus permits the composition and modular verification of live transition systems. Second, while machine closure and receptiveness are based on infinite games, locality is based on repeated finite games, and thus easier to check. Third, no expressive power is lost by the restriction to local liveness conditions. We illustrate the appeal of local liveness using the model of Fair Reactive Systems, a nonblocking trace model of communicating processes.","lang":"eng"}],"language":[{"iso":"eng"}],"conference":{"location":"Liege, Belgium","end_date":"1995-07-05","name":"CAV: Computer Aided Verification","start_date":"1995-07-03"},"publication":"7th International Conference on Computer Aided Verification","oa_version":"None","month":"01","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60045-0_49"}],"status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","date_published":"1995-01-01T00:00:00Z","publication_identifier":{"isbn":["978-3-540-60045-9"]},"publist_id":"120"},{"language":[{"iso":"eng"}],"month":"02","oa_version":"None","publication":"Theoretical Computer Science","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/030439759400202T?via%3Dihub"}],"publist_id":"94","publication_identifier":{"issn":["0304-3975"]},"type":"journal_article","date_published":"1995-02-06T00:00:00Z","article_type":"original","publisher":"Elsevier","quality_controlled":"1","page":"3 - 34","intvolume":"       138","title":"The algorithmic analysis of hybrid systems","date_created":"2018-12-11T12:09:45Z","article_processing_charge":"No","publication_status":"published","issue":"1","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"last_name":"Courcoubetis","first_name":"Costas","full_name":"Courcoubetis, Costas"},{"last_name":"Halbwachs","first_name":"Nicolas","full_name":"Halbwachs, Nicolas"},{"last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Pei","last_name":"Ho","full_name":"Ho, Pei"},{"full_name":"Nicollin, Xavier","first_name":"Xavier","last_name":"Nicollin"},{"first_name":"Alfredo","last_name":"Olivero","full_name":"Olivero, Alfredo"},{"first_name":"Joseph","last_name":"Sifakis","full_name":"Sifakis, Joseph"},{"first_name":"Sergio","last_name":"Yovine","full_name":"Yovine, Sergio"}],"_id":"4613","extern":"1","volume":138,"abstract":[{"text":"We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves to linear hybrid systems, where all variables follow piecewise-linear trajectories. We provide decidability and undecidability results for classes of linear hybrid systems, and we show that standard program-analysis techniques can be adapted to linear hybrid systems. In particular, we consider symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space. The procedures iteratively compute state sets that are definable as unions of convex polyhedra in multidimensional real space. We also present approximation techniques for dealing with systems for which the iterative procedures do not converge.","lang":"eng"}],"day":"06","doi":"10.1016/0304-3975(94)00202-T","year":"1995","citation":{"ista":"Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138(1), 3–34.","short":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34.","mla":"Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” <i>Theoretical Computer Science</i>, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:<a href=\"https://doi.org/10.1016/0304-3975(94)00202-T\">10.1016/0304-3975(94)00202-T</a>.","chicago":"Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” <i>Theoretical Computer Science</i>. Elsevier, 1995. <a href=\"https://doi.org/10.1016/0304-3975(94)00202-T\">https://doi.org/10.1016/0304-3975(94)00202-T</a>.","ieee":"R. Alur <i>et al.</i>, “The algorithmic analysis of hybrid systems,” <i>Theoretical Computer Science</i>, vol. 138, no. 1. Elsevier, pp. 3–34, 1995.","ama":"Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid systems. <i>Theoretical Computer Science</i>. 1995;138(1):3-34. doi:<a href=\"https://doi.org/10.1016/0304-3975(94)00202-T\">10.1016/0304-3975(94)00202-T</a>","apa":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/0304-3975(94)00202-T\">https://doi.org/10.1016/0304-3975(94)00202-T</a>"},"date_updated":"2022-06-09T13:40:48Z"}]