[{"author":[{"last_name":"Kammenga","full_name":"Kammenga, Jan E.","first_name":"Jan E."},{"first_name":"Patrick C.","full_name":"Phillips, Patrick C.","last_name":"Phillips"},{"last_name":"de Bono","orcid":"0000-0001-8347-0443","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"de Bono, Mario","first_name":"Mario"},{"last_name":"Doroszuk","first_name":"Agnieszka","full_name":"Doroszuk, Agnieszka"}],"status":"public","_id":"6148","quality_controlled":"1","intvolume":"        24","date_updated":"2021-01-12T08:06:21Z","issue":"4","page":"178-185","publication_identifier":{"issn":["0168-9525"]},"doi":"10.1016/j.tig.2008.01.001","oa_version":"None","language":[{"iso":"eng"}],"publication":"Trends in Genetics","date_created":"2019-03-21T08:19:45Z","publisher":"Elsevier","pmid":1,"title":"Beyond induced mutants: using worms to study natural variation in genetic pathways","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_published":"2008-04-01T00:00:00Z","type":"journal_article","month":"04","volume":24,"publication_status":"published","extern":"1","day":"01","year":"2008","citation":{"apa":"Kammenga, J. E., Phillips, P. C., de Bono, M., &#38; Doroszuk, A. (2008). Beyond induced mutants: using worms to study natural variation in genetic pathways. <i>Trends in Genetics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tig.2008.01.001\">https://doi.org/10.1016/j.tig.2008.01.001</a>","ieee":"J. E. Kammenga, P. C. Phillips, M. de Bono, and A. Doroszuk, “Beyond induced mutants: using worms to study natural variation in genetic pathways,” <i>Trends in Genetics</i>, vol. 24, no. 4. Elsevier, pp. 178–185, 2008.","chicago":"Kammenga, Jan E., Patrick C. Phillips, Mario de Bono, and Agnieszka Doroszuk. “Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.” <i>Trends in Genetics</i>. Elsevier, 2008. <a href=\"https://doi.org/10.1016/j.tig.2008.01.001\">https://doi.org/10.1016/j.tig.2008.01.001</a>.","short":"J.E. Kammenga, P.C. Phillips, M. de Bono, A. Doroszuk, Trends in Genetics 24 (2008) 178–185.","ama":"Kammenga JE, Phillips PC, de Bono M, Doroszuk A. Beyond induced mutants: using worms to study natural variation in genetic pathways. <i>Trends in Genetics</i>. 2008;24(4):178-185. doi:<a href=\"https://doi.org/10.1016/j.tig.2008.01.001\">10.1016/j.tig.2008.01.001</a>","ista":"Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 24(4), 178–185.","mla":"Kammenga, Jan E., et al. “Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.” <i>Trends in Genetics</i>, vol. 24, no. 4, Elsevier, 2008, pp. 178–85, doi:<a href=\"https://doi.org/10.1016/j.tig.2008.01.001\">10.1016/j.tig.2008.01.001</a>."},"external_id":{"pmid":["18325626"]}},{"status":"public","author":[{"last_name":"Olofsson","full_name":"Olofsson, Birgitta","first_name":"Birgitta"},{"id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"de Bono, Mario","first_name":"Mario","orcid":"0000-0001-8347-0443","last_name":"de Bono"}],"date_updated":"2022-08-25T15:03:41Z","intvolume":"        18","quality_controlled":"1","_id":"6149","oa_version":"None","page":"R204-R206","publication_identifier":{"issn":["0960-9822"]},"doi":"10.1016/j.cub.2008.01.002","issue":"5","publisher":"Elsevier","date_created":"2019-03-21T08:23:24Z","publication":"Current Biology","language":[{"iso":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","title":"Sleep: dozy worms and sleepy flies","pmid":1,"month":"03","type":"journal_article","date_published":"2008-03-11T00:00:00Z","citation":{"ama":"Olofsson B, de Bono M. Sleep: dozy worms and sleepy flies. <i>Current Biology</i>. 2008;18(5):R204-R206. doi:<a href=\"https://doi.org/10.1016/j.cub.2008.01.002\">10.1016/j.cub.2008.01.002</a>","ista":"Olofsson B, de Bono M. 2008. Sleep: dozy worms and sleepy flies. Current Biology. 18(5), R204–R206.","mla":"Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.” <i>Current Biology</i>, vol. 18, no. 5, Elsevier, 2008, pp. R204–06, doi:<a href=\"https://doi.org/10.1016/j.cub.2008.01.002\">10.1016/j.cub.2008.01.002</a>.","short":"B. Olofsson, M. de Bono, Current Biology 18 (2008) R204–R206.","apa":"Olofsson, B., &#38; de Bono, M. (2008). Sleep: dozy worms and sleepy flies. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2008.01.002\">https://doi.org/10.1016/j.cub.2008.01.002</a>","ieee":"B. Olofsson and M. de Bono, “Sleep: dozy worms and sleepy flies,” <i>Current Biology</i>, vol. 18, no. 5. Elsevier, pp. R204–R206, 2008.","chicago":"Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.” <i>Current Biology</i>. Elsevier, 2008. <a href=\"https://doi.org/10.1016/j.cub.2008.01.002\">https://doi.org/10.1016/j.cub.2008.01.002</a>."},"external_id":{"pmid":["18334193"]},"article_processing_charge":"No","year":"2008","publication_status":"published","extern":"1","day":"11","volume":18},{"publist_id":"6353","doi":"10.1103/PhysRevLett.100.080404","issue":"8","_id":"1036","month":"02","type":"journal_article","external_id":{"arxiv":["0710.5083"]},"extern":"1","year":"2008","abstract":[{"text":"We report on the control of interaction-induced dephasing of Bloch oscillations for an atomic Bose-Einstein condensate in an optical lattice. We quantify the dephasing in terms of the width of the quasimomentum distribution and measure its dependence on time for different interaction strengths which we control by means of a Feshbach resonance. For minimal interaction, the dephasing time is increased from a few to more than 20 thousand Bloch oscillation periods, allowing us to realize a BEC-based atom interferometer in the noninteracting limit.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Control of interaction-induced dephasing of bloch oscillations","acknowledgement":"We thank A. Daley for theoretical support and for help with\r\nsetting  up the  numerical  calculations  and  A. Buchleitner\r\nand  his  group  for  useful  discussions.  We  are  grateful  to\r\nA. Liem and H. Zellmer for valuable assistance in setting\r\nup the 1064 nm fiber amplifier system. We acknowledge\r\ncontributions  by  P.  Unterwaditzer  and  T.  Flir  during  the\r\nearly   stages   of   the   experiment.   We   are   indebted   to\r\nR.  Grimm  for  generous  support  and  gratefully  acknowledge  funding  by  the  Austrian  Ministry  of  Science  and\r\nResearch (BMWF) and the Austrian Science Fund (FWF).","oa_version":"None","arxiv":1,"publication":"Physical Review Letters","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:49:48Z","publisher":"American Physical Society","oa":1,"author":[{"last_name":"Gustavsson","full_name":"Gustavsson, Mattias","first_name":"Mattias"},{"last_name":"Haller","first_name":"Elmar","full_name":"Haller, Elmar"},{"last_name":"Mark","full_name":"Mark, Manfred","first_name":"Manfred"},{"orcid":"0000-0001-8559-3973","last_name":"Danzl","full_name":"Danzl, Johann G","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Gabriel","full_name":"Rojas Kopeinig, Gabriel","last_name":"Rojas Kopeinig"},{"full_name":"Nägerl, Hanns","first_name":"Hanns","last_name":"Nägerl"}],"status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/0710.5083"}],"intvolume":"       100","date_updated":"2021-01-12T06:47:49Z","date_published":"2008-02-28T00:00:00Z","volume":100,"citation":{"short":"M. Gustavsson, E. Haller, M. Mark, J.G. Danzl, G. Rojas Kopeinig, H. Nägerl, Physical Review Letters 100 (2008).","ama":"Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. Control of interaction-induced dephasing of bloch oscillations. <i>Physical Review Letters</i>. 2008;100(8). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.100.080404\">10.1103/PhysRevLett.100.080404</a>","ista":"Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. 2008. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 100(8).","mla":"Gustavsson, Mattias, et al. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” <i>Physical Review Letters</i>, vol. 100, no. 8, American Physical Society, 2008, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.100.080404\">10.1103/PhysRevLett.100.080404</a>.","ieee":"M. Gustavsson, E. Haller, M. Mark, J. G. Danzl, G. Rojas Kopeinig, and H. Nägerl, “Control of interaction-induced dephasing of bloch oscillations,” <i>Physical Review Letters</i>, vol. 100, no. 8. American Physical Society, 2008.","apa":"Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Rojas Kopeinig, G., &#38; Nägerl, H. (2008). Control of interaction-induced dephasing of bloch oscillations. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.100.080404\">https://doi.org/10.1103/PhysRevLett.100.080404</a>","chicago":"Gustavsson, Mattias, Elmar Haller, Manfred Mark, Johann G Danzl, Gabriel Rojas Kopeinig, and Hanns Nägerl. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” <i>Physical Review Letters</i>. American Physical Society, 2008. <a href=\"https://doi.org/10.1103/PhysRevLett.100.080404\">https://doi.org/10.1103/PhysRevLett.100.080404</a>."},"article_processing_charge":"No","publication_status":"published","day":"28"},{"doi":"10.1103/PhysRevLett.100.083002","issue":"8","publist_id":"6352","_id":"1037","external_id":{"arxiv":["0710.4052"]},"year":"2008","extern":"1","month":"02","type":"journal_article","acknowledgement":"We thank S. Du ̈rr and T. Volz for fruitful discussions. We acknowledge support by the Austrian Science Fund (FWF) within No. SFB 15 (project part 16). S.K. is supported within the Marie Curie Intra-European Program of the European Commission. F.F. is supported within the Lise Meitner program of the FWF.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Metastable feshbach molecules in high rotational states","abstract":[{"lang":"eng","text":"We experimentally demonstrate Cs2 Feshbach molecules well above the dissociation threshold, which are stable against spontaneous decay on the time scale of 1s. An optically trapped sample of ultracold dimers is prepared in a high rotational state and magnetically tuned into a region with a negative binding energy. The metastable character of these molecules arises from the large centrifugal barrier in combination with negligible coupling to states with low rotational angular momentum. A sharp onset of dissociation with increasing magnetic field is mediated by a crossing with a lower rotational dimer state and facilitates dissociation on demand with a well-defined energy."}],"publisher":"American Physical Society","date_created":"2018-12-11T11:49:49Z","publication":"Physical Review Letters","language":[{"iso":"eng"}],"oa_version":"None","arxiv":1,"date_updated":"2021-01-12T06:47:50Z","intvolume":"       100","main_file_link":[{"url":"https://arxiv.org/abs/0710.4052","open_access":"1"}],"status":"public","author":[{"last_name":"Knoop","first_name":"Steven","full_name":"Knoop, Steven"},{"first_name":"Michael","full_name":"Mark, Michael","last_name":"Mark"},{"last_name":"Ferlaino","full_name":"Ferlaino, Francesca","first_name":"Francesca"},{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","full_name":"Danzl, Johann G","first_name":"Johann G","last_name":"Danzl","orcid":"0000-0001-8559-3973"},{"last_name":"Kraemer","full_name":"Kraemer, Tobias","first_name":"Tobias"},{"first_name":"Hanns","full_name":"Nägerl, Hanns","last_name":"Nägerl"},{"full_name":"Grimm, Rudolf","first_name":"Rudolf","last_name":"Grimm"}],"oa":1,"citation":{"mla":"Knoop, Steven, et al. “Metastable Feshbach Molecules in High Rotational States.” <i>Physical Review Letters</i>, vol. 100, no. 8, American Physical Society, 2008, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.100.083002\">10.1103/PhysRevLett.100.083002</a>.","ama":"Knoop S, Mark M, Ferlaino F, et al. Metastable feshbach molecules in high rotational states. <i>Physical Review Letters</i>. 2008;100(8). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.100.083002\">10.1103/PhysRevLett.100.083002</a>","ista":"Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008. Metastable feshbach molecules in high rotational states. Physical Review Letters. 100(8).","short":"S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm, Physical Review Letters 100 (2008).","ieee":"S. Knoop <i>et al.</i>, “Metastable feshbach molecules in high rotational states,” <i>Physical Review Letters</i>, vol. 100, no. 8. American Physical Society, 2008.","apa":"Knoop, S., Mark, M., Ferlaino, F., Danzl, J. G., Kraemer, T., Nägerl, H., &#38; Grimm, R. (2008). Metastable feshbach molecules in high rotational states. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.100.083002\">https://doi.org/10.1103/PhysRevLett.100.083002</a>","chicago":"Knoop, Steven, Michael Mark, Francesca Ferlaino, Johann G Danzl, Tobias Kraemer, Hanns Nägerl, and Rudolf Grimm. “Metastable Feshbach Molecules in High Rotational States.” <i>Physical Review Letters</i>. American Physical Society, 2008. <a href=\"https://doi.org/10.1103/PhysRevLett.100.083002\">https://doi.org/10.1103/PhysRevLett.100.083002</a>."},"article_processing_charge":"No","publication_status":"published","day":"29","volume":100,"date_published":"2008-02-29T00:00:00Z"},{"volume":321,"day":"22","publication_status":"published","article_processing_charge":"No","citation":{"mla":"Danzl, Johann G., et al. “Quantum Gas of Deeply Bound Ground State Molecules.” <i>Science</i>, vol. 321, no. 5892, American Association for the Advancement of Science, 2008, pp. 1062–66, doi:<a href=\"https://doi.org/10.1126/science.1159909\">10.1126/science.1159909</a>.","ama":"Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground state molecules. <i>Science</i>. 2008;321(5892):1062-1066. doi:<a href=\"https://doi.org/10.1126/science.1159909\">10.1126/science.1159909</a>","ista":"Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science. 321(5892), 1062–1066.","short":"J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.","ieee":"J. G. Danzl <i>et al.</i>, “Quantum gas of deeply bound ground state molecules,” <i>Science</i>, vol. 321, no. 5892. American Association for the Advancement of Science, pp. 1062–1066, 2008.","chicago":"Danzl, Johann G, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum Gas of Deeply Bound Ground State Molecules.” <i>Science</i>. American Association for the Advancement of Science, 2008. <a href=\"https://doi.org/10.1126/science.1159909\">https://doi.org/10.1126/science.1159909</a>.","apa":"Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1159909\">https://doi.org/10.1126/science.1159909</a>"},"date_published":"2008-08-22T00:00:00Z","main_file_link":[{"url":"https://arxiv.org/abs/0806.2284","open_access":"1"}],"intvolume":"       321","date_updated":"2021-01-12T06:47:50Z","oa":1,"author":[{"id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","full_name":"Danzl, Johann G","first_name":"Johann G","last_name":"Danzl","orcid":"0000-0001-8559-3973"},{"last_name":"Haller","full_name":"Haller, Elmar","first_name":"Elmar"},{"full_name":"Gustavsson, Mattias","first_name":"Mattias","last_name":"Gustavsson"},{"first_name":"Manfred","full_name":"Mark, Manfred","last_name":"Mark"},{"last_name":"Hart","full_name":"Hart, Russell","first_name":"Russell"},{"first_name":"Nadia","full_name":"Bouloufa, Nadia","last_name":"Bouloufa"},{"full_name":"Dulieu, Olivier","first_name":"Olivier","last_name":"Dulieu"},{"first_name":"Helmut","full_name":"Ritsch, Helmut","last_name":"Ritsch"},{"first_name":"Hanns","full_name":"Nägerl, Hanns","last_name":"Nägerl"}],"status":"public","language":[{"iso":"eng"}],"publication":"Science","date_created":"2018-12-11T11:49:49Z","publisher":"American Association for the Advancement of Science","page":"1062 - 1066","arxiv":1,"oa_version":"None","acknowledgement":" We thank the team of J. Hecker Denschlag, the LevT team in our group, and T. Bergeman for very helpful discussions and M. Prevedelli for technical assistance. We are indebted to R. Grimm for generous support and gratefully acknowledge funding by the Austrian Ministry of Science and Research (Bundesministerium für Wissenschaft und Forschung) and the Austrian Science Fund (Fonds zur Förderung der wissenschaftlichen Forschung) in the form of a START prize grant and by the European Science Foundation in the framework of the EuroQUAM collective research project QuDipMol.\r\n","abstract":[{"text":"Molecular cooling techniques face the hurdle of dissipating translational as well as internal energy in the presence of a rich electronic, vibrational, and rotational energy spectrum. In our experiment, we create a translationally ultracold, dense quantum gas of molecules bound by more than 1000 wave numbers in the electronic ground state. Specifically, we stimulate with 80% efficiency, a two-photon transfer of molecules associated on a Feshbach resonance from a Bose-Einstein condensate of cesium atoms. In the process, the initial loose, long-range electrostatic bond of the Feshbach molecule is coherently transformed into a tight chemical bond. We demonstrate coherence of the transfer in a Ramsey-type experiment and show that the molecular sample is not heated during the transfer. Our results show that the preparation of a quantum gas of molecules in specific rovibrational states is possible and that the creation of a Bose-Einstein condensate of molecules in their rovibronic ground state is within reach.","lang":"eng"}],"title":"Quantum gas of deeply bound ground state molecules","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","year":"2008","external_id":{"arxiv":["0806.2284"]},"type":"journal_article","month":"08","_id":"1039","publist_id":"6351","doi":"10.1126/science.1159909","issue":"5892"},{"oa_version":"None","page":"394-401","article_type":"original","publisher":"American Chemical Society","date_created":"2021-11-29T15:31:06Z","publication":"Organometallics","language":[{"iso":"eng"}],"status":"public","author":[{"id":"bf63d406-f056-11eb-b41d-f263a6566d8b","first_name":"Anđela","full_name":"Šarić, Anđela","last_name":"Šarić","orcid":"0000-0002-7854-2139"},{"last_name":"Vrček","first_name":"Valerije","full_name":"Vrček, Valerije"},{"full_name":"Bühl, Michael","first_name":"Michael","last_name":"Bühl"}],"date_updated":"2021-11-30T08:04:44Z","quality_controlled":"1","main_file_link":[{"url":"https://pubs.acs.org/doi/10.1021/om700916f"}],"intvolume":"        27","date_published":"2008-01-15T00:00:00Z","citation":{"short":"A. Šarić, V. Vrček, M. Bühl, Organometallics 27 (2008) 394–401.","ama":"Šarić A, Vrček V, Bühl M. Density functional study of protonated formylmetallocenes. <i>Organometallics</i>. 2008;27(3):394-401. doi:<a href=\"https://doi.org/10.1021/om700916f\">10.1021/om700916f</a>","ista":"Šarić A, Vrček V, Bühl M. 2008. Density functional study of protonated formylmetallocenes. Organometallics. 27(3), 394–401.","mla":"Šarić, Anđela, et al. “Density Functional Study of Protonated Formylmetallocenes.” <i>Organometallics</i>, vol. 27, no. 3, American Chemical Society, 2008, pp. 394–401, doi:<a href=\"https://doi.org/10.1021/om700916f\">10.1021/om700916f</a>.","ieee":"A. Šarić, V. Vrček, and M. Bühl, “Density functional study of protonated formylmetallocenes,” <i>Organometallics</i>, vol. 27, no. 3. American Chemical Society, pp. 394–401, 2008.","chicago":"Šarić, Anđela, Valerije Vrček, and Michael Bühl. “Density Functional Study of Protonated Formylmetallocenes.” <i>Organometallics</i>. American Chemical Society, 2008. <a href=\"https://doi.org/10.1021/om700916f\">https://doi.org/10.1021/om700916f</a>.","apa":"Šarić, A., Vrček, V., &#38; Bühl, M. (2008). Density functional study of protonated formylmetallocenes. <i>Organometallics</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/om700916f\">https://doi.org/10.1021/om700916f</a>"},"article_processing_charge":"No","publication_status":"published","day":"15","volume":27,"publication_identifier":{"issn":["0276-7333"],"eissn":["1520-6041"]},"issue":"3","doi":"10.1021/om700916f","scopus_import":"1","keyword":["Inorganic Chemistry","Organic Chemistry","Physical and Theoretical Chemistry"],"_id":"10392","month":"01","type":"journal_article","year":"2008","extern":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","title":"Density functional study of protonated formylmetallocenes","abstract":[{"text":"Protonated formylmetallocenes [M(C5H5)(C5H4-CHOH)]+ (M = Fe, Ru) and their isomers have been studied at the BP86 and B3LYP levels of density functional theory. Oxygen-protonated isomers are the most stable forms in each case, with a plethora of ring- or metal-protonated species at least ca. 14 and 10 kcal/mol higher in energy for M = Fe and Ru, respectively. The computed rotational barriers around the C−C bond connecting the cyclopentadienyl and protonated formyl moieties, ca. 18 kcal/mol, are indicative of substantial conjugation between these moieties. Some of the ring- and iron-protonated species are models for possible intermediates in Friedel–Crafts acylation of ferrocene, and the computations provide further evidence that exo attack is clearly favored over endo attack of the electrophile in this reaction. The structures of the most stable mono- and diprotonated formylferrocenes are corroborated by the good agreement between GIAO-B3LYP-computed and experimental NMR chemical shifts.","lang":"eng"}],"acknowledgement":"M.B. wishes to thank Prof. W. Thiel and the Max-Planck-Institut für Kohlenforschung for continuing support. A Humboldt fellowship for V.V. is gratefully acknowledged. Computations were performed on Compaq XP1000 and ES40 workstations as well as on an Intel Xeon PC cluster at the MPI Mülheim. A.S. thanks the Computing Center of the University of Zagreb SRCE for allocating computer time on the Isabella cluster."},{"date_published":"2008-11-06T00:00:00Z","article_processing_charge":"No","citation":{"ama":"Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. <i>Nature</i>. 2008;456(7218):125-129. doi:<a href=\"https://doi.org/10.1038/nature07324\">10.1038/nature07324</a>","ista":"Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218), 125–129.","mla":"Zilberman, Daniel, et al. “Histone H2A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.” <i>Nature</i>, vol. 456, no. 7218, Springer Nature, 2008, pp. 125–29, doi:<a href=\"https://doi.org/10.1038/nature07324\">10.1038/nature07324</a>.","short":"D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.","chicago":"Zilberman, Daniel, Devin Coleman-Derr, Tracy Ballinger, and Steven Henikoff. “Histone H2A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.” <i>Nature</i>. Springer Nature, 2008. <a href=\"https://doi.org/10.1038/nature07324\">https://doi.org/10.1038/nature07324</a>.","apa":"Zilberman, D., Coleman-Derr, D., Ballinger, T., &#38; Henikoff, S. (2008). Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/nature07324\">https://doi.org/10.1038/nature07324</a>","ieee":"D. Zilberman, D. Coleman-Derr, T. Ballinger, and S. Henikoff, “Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks,” <i>Nature</i>, vol. 456, no. 7218. Springer Nature, pp. 125–129, 2008."},"publication_status":"published","day":"06","volume":456,"status":"public","oa":1,"author":[{"last_name":"Zilberman","orcid":"0000-0002-0123-8649","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","first_name":"Daniel","full_name":"Zilberman, Daniel"},{"first_name":"Devin","full_name":"Coleman-Derr, Devin","last_name":"Coleman-Derr"},{"full_name":"Ballinger, Tracy","first_name":"Tracy","last_name":"Ballinger"},{"full_name":"Henikoff, Steven","first_name":"Steven","last_name":"Henikoff"}],"date_updated":"2021-12-14T08:54:36Z","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2877514/"}],"intvolume":"       456","oa_version":"Submitted Version","page":"125-129","article_type":"letter_note","date_created":"2021-06-04T11:49:32Z","publisher":"Springer Nature","publication":"Nature","language":[{"iso":"eng"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","title":"Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks","abstract":[{"text":"Eukaryotic chromatin is separated into functional domains differentiated by posttranslational histone modifications, histone variants, and DNA methylation1–6. Methylation is associated with repression of transcriptional initiation in plants and animals, and is frequently found in transposable elements. Proper methylation patterns are critical for eukaryotic development4,5, and aberrant methylation-induced silencing of tumor suppressor genes is a common feature of human cancer7. In contrast to methylation, the histone variant H2A.Z is preferentially deposited by the Swr1 ATPase complex near 5′ ends of genes where it promotes transcriptional competence8–20. How DNA methylation and H2A.Z influence transcription remains largely unknown. Here we show that in the plant Arabidopsis thaliana, regions of DNA methylation are quantitatively deficient in H2A.Z. Exclusion of H2A.Z is seen at sites of DNA methylation in the bodies of actively transcribed genes and in methylated transposons. Mutation of the MET1 DNA methyltransferase, which causes both losses and gains of DNA methylation4,5, engenders opposite changes in H2A.Z deposition, while mutation of the PIE1 subunit of the Swr1 complex that deposits H2A.Z17 leads to genome-wide hypermethylation. Our findings indicate that DNA methylation can influence chromatin structure and effect gene silencing by excluding H2A.Z, and that H2A.Z protects genes from DNA methylation.","lang":"eng"}],"pmid":1,"month":"11","type":"journal_article","external_id":{"pmid":["18815594"]},"year":"2008","extern":"1","keyword":["Multidisciplinary"],"department":[{"_id":"DaZi"}],"_id":"9457","publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"doi":"10.1038/nature07324","issue":"7218","scopus_import":"1"},{"status":"public","author":[{"last_name":"Zilberman","orcid":"0000-0002-0123-8649","id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","full_name":"Zilberman, Daniel","first_name":"Daniel"}],"date_updated":"2021-12-14T08:54:07Z","intvolume":"        11","quality_controlled":"1","page":"554-559","oa_version":"None","article_type":"review","date_created":"2021-06-08T13:13:37Z","publisher":"Elsevier ","language":[{"iso":"eng"}],"publication":"Current Opinion in Plant Biology","date_published":"2008-10-01T00:00:00Z","publication_status":"published","citation":{"chicago":"Zilberman, Daniel. “The Evolving Functions of DNA Methylation.” <i>Current Opinion in Plant Biology</i>. Elsevier , 2008. <a href=\"https://doi.org/10.1016/j.pbi.2008.07.004\">https://doi.org/10.1016/j.pbi.2008.07.004</a>.","apa":"Zilberman, D. (2008). The evolving functions of DNA methylation. <i>Current Opinion in Plant Biology</i>. Elsevier . <a href=\"https://doi.org/10.1016/j.pbi.2008.07.004\">https://doi.org/10.1016/j.pbi.2008.07.004</a>","ieee":"D. Zilberman, “The evolving functions of DNA methylation,” <i>Current Opinion in Plant Biology</i>, vol. 11, no. 5. Elsevier , pp. 554–559, 2008.","mla":"Zilberman, Daniel. “The Evolving Functions of DNA Methylation.” <i>Current Opinion in Plant Biology</i>, vol. 11, no. 5, Elsevier , 2008, pp. 554–59, doi:<a href=\"https://doi.org/10.1016/j.pbi.2008.07.004\">10.1016/j.pbi.2008.07.004</a>.","ama":"Zilberman D. The evolving functions of DNA methylation. <i>Current Opinion in Plant Biology</i>. 2008;11(5):554-559. doi:<a href=\"https://doi.org/10.1016/j.pbi.2008.07.004\">10.1016/j.pbi.2008.07.004</a>","ista":"Zilberman D. 2008. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 11(5), 554–559.","short":"D. Zilberman, Current Opinion in Plant Biology 11 (2008) 554–559."},"article_processing_charge":"No","volume":11,"department":[{"_id":"DaZi"}],"_id":"9537","issue":"5","doi":"10.1016/j.pbi.2008.07.004","publication_identifier":{"issn":["1369-5266"]},"scopus_import":"1","title":"The evolving functions of DNA methylation","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","pmid":1,"abstract":[{"lang":"eng","text":"DNA methylation is an ancient process found in all domains of life. Although the enzymes that mediate methylation have remained highly conserved, DNA methylation has been adapted for a variety of uses throughout evolution, including defense against transposable elements and control of gene expression. Defects in DNA methylation are linked to human diseases, including cancer. Methylation has been lost several times in the course of animal and fungal evolution, thus limiting the opportunity for study in common model organisms. In the past decade, plants have emerged as a premier model system for genetic dissection of DNA methylation. A recent combination of plant genetics with powerful genomic approaches has led to a number of exciting discoveries and promises many more."}],"type":"journal_article","month":"10","extern":"1","year":"2008","external_id":{"pmid":["18774331"]}},{"citation":{"ieee":"A. Morozov and M. Serbyn, “Nonlinear algebra and Bogoliubov’s recursion,” <i>Theoretical and Mathematical Physics</i>, vol. 154, no. 2. Elsevier, pp. 270–293, 2008.","chicago":"Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.” <i>Theoretical and Mathematical Physics</i>. Elsevier, 2008. <a href=\"https://doi.org/10.1007/s11232-008-0026-7\">https://doi.org/10.1007/s11232-008-0026-7</a>.","apa":"Morozov, A., &#38; Serbyn, M. (2008). Nonlinear algebra and Bogoliubov’s recursion. <i>Theoretical and Mathematical Physics</i>. Elsevier. <a href=\"https://doi.org/10.1007/s11232-008-0026-7\">https://doi.org/10.1007/s11232-008-0026-7</a>","short":"A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.","ama":"Morozov A, Serbyn M. Nonlinear algebra and Bogoliubov’s recursion. <i>Theoretical and Mathematical Physics</i>. 2008;154(2):270-293. doi:<a href=\"https://doi.org/10.1007/s11232-008-0026-7\">10.1007/s11232-008-0026-7</a>","ista":"Morozov A, Serbyn M. 2008. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 154(2), 270–293.","mla":"Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.” <i>Theoretical and Mathematical Physics</i>, vol. 154, no. 2, Elsevier, 2008, pp. 270–93, doi:<a href=\"https://doi.org/10.1007/s11232-008-0026-7\">10.1007/s11232-008-0026-7</a>."},"extern":1,"year":"2008","day":"01","publication_status":"published","volume":154,"month":"01","type":"journal_article","date_published":"2008-01-01T00:00:00Z","acknowledgement":"This work is supported in part by the Dynasty Foundation (M. N. S.),  the\nRussian Foundation for Basic Research (Grant No\ns. 07-02-00878 and 07-02-00645), a joint grant (Grant\nNo. 06-01-92059-CE), the NWO (Project No. 047.011.2004.026), INTAS (Grant No. 05-1000008-7865), the\nProgram for Supporting Leading Scientific School\ns (Grant No. NSh-8004.2006.2), and also by a project\n(Project No. ANR-05-BLAN-0029-01, A. Yu. M.).","title":"Nonlinear algebra and Bogoliubov's recursion","abstract":[{"text":"We give many examples of applying Bogoliubov's forest formula to iterative solutions of various nonlinear equations. The same formula describes an extremely wide class of objects, from an ordinary quadratic equation to renormalization in quantum field theory.","lang":"eng"}],"publisher":"Elsevier","date_created":"2018-12-11T11:49:26Z","publication":"Theoretical and Mathematical Physics","doi":"10.1007/s11232-008-0026-7","issue":"2","page":"270 - 293","publist_id":"6437","date_updated":"2021-01-12T08:22:17Z","main_file_link":[{"url":"https://arxiv.org/abs/hep-th/0703258","open_access":"1"}],"intvolume":"       154","quality_controlled":0,"_id":"965","status":"public","oa":1,"author":[{"last_name":"Morozov","first_name":"Alexei","full_name":"Morozov, Alexei Y"},{"last_name":"Serbyn","orcid":"0000-0002-2399-5827","first_name":"Maksym","full_name":"Maksym Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87"}]},{"title":"Action potential initiation and propagation in hippocampal mossy fibre axons","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","pmid":1,"abstract":[{"lang":"eng","text":"Dentate gyrus granule cells transmit action potentials (APs) along their unmyelinated mossy fibre axons to the CA3 region. Although the initiation and propagation of APs are fundamental steps during neural computation, little is known about the site of AP initiation and the speed of propagation in mossy fibre axons. To address these questions, we performed simultaneous somatic and axonal whole-cell recordings from granule cells in acute hippocampal slices of adult mice at approximately 23 degrees C. Injection of short current pulses or synaptic stimulation evoked axonal and somatic APs with similar amplitudes. By contrast, the time course was significantly different, as axonal APs had a higher maximal rate of rise (464 +/- 30 V s(-1) in the axon versus 297 +/- 12 V s(-1) in the soma, mean +/- s.e.m.). Furthermore, analysis of latencies between the axonal and somatic signals showed that APs were initiated in the proximal axon at approximately 20-30 mum distance from the soma, and propagated orthodromically with a velocity of 0.24 m s(-1). Qualitatively similar results were obtained at a recording temperature of approximately 34 degrees C. Modelling of AP propagation in detailed cable models of granule cells suggested that a approximately 4 times higher Na(+) channel density ( approximately 1000 pS mum(-2)) in the axon might account for both the higher rate of rise of axonal APs and the robust AP initiation in the proximal mossy fibre axon. This may be of critical importance to separate dendritic integration of thousands of synaptic inputs from the generation and transmission of a common AP output."}],"year":"2008","extern":"1","external_id":{"pmid":["18258662"]},"type":"journal_article","month":"03","_id":"3822","publication_identifier":{"eissn":["1469-7793"],"issn":["0022-3751"]},"doi":"10.1113/jphysiol.2007.150151 ","issue":"7","publist_id":"2387","publication_status":"published","day":"31","citation":{"apa":"Schmidt Hieber, C., Jonas, P. M., &#38; Bischofberger, J. (2008). Action potential initiation and propagation in hippocampal mossy fibre axons. <i>The Journal of Physiology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1113/jphysiol.2007.150151 \">https://doi.org/10.1113/jphysiol.2007.150151 </a>","chicago":"Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” <i>The Journal of Physiology</i>. Wiley-Blackwell, 2008. <a href=\"https://doi.org/10.1113/jphysiol.2007.150151 \">https://doi.org/10.1113/jphysiol.2007.150151 </a>.","ieee":"C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Action potential initiation and propagation in hippocampal mossy fibre axons,” <i>The Journal of Physiology</i>, vol. 586, no. 7. Wiley-Blackwell, pp. 1849–57, 2008.","ama":"Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and propagation in hippocampal mossy fibre axons. <i>The Journal of Physiology</i>. 2008;586(7):1849-1857. doi:<a href=\"https://doi.org/10.1113/jphysiol.2007.150151 \">10.1113/jphysiol.2007.150151 </a>","ista":"Schmidt Hieber C, Jonas PM, Bischofberger J. 2008. Action potential initiation and propagation in hippocampal mossy fibre axons. The Journal of Physiology. 586(7), 1849–57.","mla":"Schmidt Hieber, Christoph, et al. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.” <i>The Journal of Physiology</i>, vol. 586, no. 7, Wiley-Blackwell, 2008, pp. 1849–57, doi:<a href=\"https://doi.org/10.1113/jphysiol.2007.150151 \">10.1113/jphysiol.2007.150151 </a>.","short":"C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, The Journal of Physiology 586 (2008) 1849–57."},"article_processing_charge":"No","OA_type":"closed access","volume":586,"date_published":"2008-03-31T00:00:00Z","date_updated":"2026-06-10T10:16:11Z","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2375716/"}],"intvolume":"       586","status":"public","oa":1,"author":[{"last_name":"Schmidt Hieber","first_name":"Christoph","full_name":"Schmidt Hieber, Christoph"},{"full_name":"Jonas, Peter M","first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","orcid":"0000-0001-5001-4804"},{"last_name":"Bischofberger","first_name":"Josef","full_name":"Bischofberger, Josef"}],"date_created":"2018-12-11T12:05:21Z","publisher":"Wiley-Blackwell","language":[{"iso":"eng"}],"publication":"The Journal of Physiology","page":"1849 - 57","oa_version":"None","article_type":"original"},{"abstract":[{"text":"Two studies in this issue of Neuron (Kwon and Castillo and Rebola et al.) show that the mossy fiber-CA3 pyramidal neuron synapse, a hippocampal synapse well known for its presynaptic plasticity, exhibits a novel form of long-term potentiation of NMDAR-mediated currents, which is induced and expressed postsynaptically.","lang":"eng"}],"pmid":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"The two sides of hippocampal mossy fiber plasticity (Review)","external_id":{"pmid":["18184559"]},"extern":"1","year":"2008","month":"01","type":"journal_article","_id":"3823","publist_id":"2388","publication_identifier":{"issn":["0896-6273"],"eissn":["1097-4199"]},"issue":"1","doi":"10.1016/j.neuron.2007.12.015","volume":57,"OA_type":"free access","article_processing_charge":"No","citation":{"ama":"Kerr A, Jonas PM. The two sides of hippocampal mossy fiber plasticity (Review). <i>Neuron</i>. 2008;57(1):5-7. doi:<a href=\"https://doi.org/10.1016/j.neuron.2007.12.015\">10.1016/j.neuron.2007.12.015</a>","ista":"Kerr A, Jonas PM. 2008. The two sides of hippocampal mossy fiber plasticity (Review). Neuron. 57(1), 5–7.","mla":"Kerr, Angharad, and Peter M. Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).” <i>Neuron</i>, vol. 57, no. 1, Elsevier, 2008, pp. 5–7, doi:<a href=\"https://doi.org/10.1016/j.neuron.2007.12.015\">10.1016/j.neuron.2007.12.015</a>.","short":"A. Kerr, P.M. Jonas, Neuron 57 (2008) 5–7.","chicago":"Kerr, Angharad, and Peter M Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).” <i>Neuron</i>. Elsevier, 2008. <a href=\"https://doi.org/10.1016/j.neuron.2007.12.015\">https://doi.org/10.1016/j.neuron.2007.12.015</a>.","ieee":"A. Kerr and P. M. Jonas, “The two sides of hippocampal mossy fiber plasticity (Review),” <i>Neuron</i>, vol. 57, no. 1. Elsevier, pp. 5–7, 2008.","apa":"Kerr, A., &#38; Jonas, P. M. (2008). The two sides of hippocampal mossy fiber plasticity (Review). <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2007.12.015\">https://doi.org/10.1016/j.neuron.2007.12.015</a>"},"publication_status":"published","day":"10","date_published":"2008-01-10T00:00:00Z","intvolume":"        57","date_updated":"2026-05-29T11:07:13Z","author":[{"last_name":"Kerr","full_name":"Kerr, Angharad","first_name":"Angharad"},{"first_name":"Peter M","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5001-4804","last_name":"Jonas"}],"status":"public","publication":"Neuron","language":[{"iso":"eng"}],"publisher":"Elsevier","date_created":"2018-12-11T12:05:22Z","article_type":"original","oa_version":"None","page":"5 - 7"},{"abstract":[{"lang":"eng","text":"It is generally thought that transmitter release at mammalian central synapses is triggered by Ca2+ microdomains, implying loose coupling between presynaptic Ca2+ channels and Ca2+ sensors of exocytosis. Here we show that Ca2+ channel subunit immunoreactivity is highly concentrated in the active zone of GABAergic presynaptic terminals of putative parvalbumin-containing basket cells in the hippocampus. Paired recording combined with presynaptic patch pipette perfusion revealed that GABA release at basket cell-granule cell synapses is sensitive to millimolar concentrations of the fast Ca2+ chelator BAPTA but insensitive to the slow Ca2+ chelator EGTA. These results show that Ca2+ source and Ca2+ sensor are tightly coupled at this synapse, with distances in the range of 10-20 nm. Models of Ca2+ inflow-exocytosis coupling further reveal that the tightness of coupling increases efficacy, speed, and temporal precision of transmitter release. Thus, tight coupling contributes to fast feedforward and feedback inhibition in the hippocampal network."}],"pmid":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse","external_id":{"pmid":["18304483"]},"extern":"1","year":"2008","month":"02","type":"journal_article","_id":"3824","publist_id":"2385","issue":"4","doi":"10.1016/j.neuron.2007.12.026","publication_identifier":{"eissn":["1097-4199"],"issn":["0896-6273"]},"volume":57,"OA_type":"closed access","citation":{"ieee":"I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse,” <i>Neuron</i>, vol. 57, no. 4. Elsevier, pp. 536–45, 2008.","chicago":"Bucurenciu, Iancu, Ákos Kulik, Beat Schwaller, Michael Frotscher, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and Ca2+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.” <i>Neuron</i>. Elsevier, 2008. <a href=\"https://doi.org/10.1016/j.neuron.2007.12.026\">https://doi.org/10.1016/j.neuron.2007.12.026</a>.","apa":"Bucurenciu, I., Kulik, Á., Schwaller, B., Frotscher, M., &#38; Jonas, P. M. (2008). Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2007.12.026\">https://doi.org/10.1016/j.neuron.2007.12.026</a>","short":"I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, P.M. Jonas, Neuron 57 (2008) 536–45.","ama":"Bucurenciu I, Kulik Á, Schwaller B, Frotscher M, Jonas PM. Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. <i>Neuron</i>. 2008;57(4):536-545. doi:<a href=\"https://doi.org/10.1016/j.neuron.2007.12.026\">10.1016/j.neuron.2007.12.026</a>","ista":"Bucurenciu I, Kulik Á, Schwaller B, Frotscher M, Jonas PM. 2008. Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. Neuron. 57(4), 536–45.","mla":"Bucurenciu, Iancu, et al. “Nanodomain Coupling between Ca(2+) Channels and Ca2+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.” <i>Neuron</i>, vol. 57, no. 4, Elsevier, 2008, pp. 536–45, doi:<a href=\"https://doi.org/10.1016/j.neuron.2007.12.026\">10.1016/j.neuron.2007.12.026</a>."},"article_processing_charge":"No","publication_status":"published","day":"28","date_published":"2008-02-28T00:00:00Z","intvolume":"        57","date_updated":"2026-05-29T10:55:32Z","author":[{"last_name":"Bucurenciu","first_name":"Iancu","full_name":"Bucurenciu, Iancu"},{"last_name":"Kulik","full_name":"Kulik, Ákos","first_name":"Ákos"},{"first_name":"Beat","full_name":"Schwaller, Beat","last_name":"Schwaller"},{"first_name":"Michael","full_name":"Frotscher, Michael","last_name":"Frotscher"},{"last_name":"Jonas","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","full_name":"Jonas, Peter M"}],"status":"public","publication":"Neuron","language":[{"iso":"eng"}],"publisher":"Elsevier","date_created":"2018-12-11T12:05:22Z","article_type":"original","oa_version":"None","page":"536 - 45"},{"type":"journal_article","month":"04","extern":"1","year":"2008","external_id":{"pmid":["18276734"]},"pmid":1,"abstract":[{"text":"Fast-spiking parvalbumin-expressing basket cells (BCs) represent a major type of inhibitory interneuron in the hippocampus. These cells inhibit principal cells in a temporally precise manner and are involved in the generation of network oscillations. Although BCs show a unique expression profile of Ca(2+)-permeable receptors, Ca(2+)-binding proteins and Ca(2+)-dependent signalling molecules, physiological Ca(2+) signalling in these interneurons has not been investigated. To study action potential (AP)-induced dendritic Ca(2+) influx and buffering, we combined whole-cell patch-clamp recordings with ratiometric Ca(2+) imaging from the proximal apical dendrites of rigorously identified BCs in acute slices, using the high-affinity Ca(2+) indicator fura-2 or the low-affinity dye fura-FF. Single APs evoked dendritic Ca(2+) transients with small amplitude. Bursts of APs evoked Ca(2+) transients with amplitudes that increased linearly with AP number. Analysis of Ca(2+) transients under steady-state conditions with different fura-2 concentrations and during loading with 200 microm fura-2 indicated that the endogenous Ca(2+)-binding ratio was approximately 200 (kappa(S) = 202 +/- 26 for the loading experiments). The peak amplitude of the Ca(2+) transients measured directly with 100 microm fura-FF was 39 nm AP(-1). At approximately 23 degrees C, the decay time constant of the Ca(2+) transients was 390 ms, corresponding to an extrusion rate of approximately 600 s(-1). At 34 degrees C, the decay time constant was 203 ms and the corresponding extrusion rate was approximately 1100 s(-1). At both temperatures, continuous theta-burst activity with three to five APs per theta cycle, as occurs in vivo during exploration, led to a moderate increase in the global Ca(2+) concentration that was proportional to AP number, whereas more intense stimulation was required to reach micromolar Ca(2+) concentrations and to shift Ca(2+) signalling into a non-linear regime. In conclusion, dentate gyrus BCs show a high endogenous Ca(2+)-binding ratio, a small AP-induced dendritic Ca(2+) influx, and a relatively slow Ca(2+) extrusion. These specific buffering properties of BCs will sharpen the time course of local Ca(2+) signals, while prolonging the decay of global Ca(2+) signals.","lang":"eng"}],"title":"Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publist_id":"2386","issue":"8","doi":"10.1113/jphysiol.2007.147298","publication_identifier":{"eissn":["1469-7793"],"issn":["0022-3751"]},"_id":"3825","date_published":"2008-04-14T00:00:00Z","OA_type":"green","volume":586,"publication_status":"published","day":"14","article_processing_charge":"No","citation":{"ista":"Aponte Y, Bischofberger J, Jonas PM. 2008. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. The Journal of Physiology. 586(8), 2061–75.","ama":"Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. <i>The Journal of Physiology</i>. 2008;586(8):2061-2075. doi:<a href=\"https://doi.org/10.1113/jphysiol.2007.147298\">10.1113/jphysiol.2007.147298</a>","mla":"Aponte, Yexica, et al. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” <i>The Journal of Physiology</i>, vol. 586, no. 8, Wiley-Blackwell, 2008, pp. 2061–75, doi:<a href=\"https://doi.org/10.1113/jphysiol.2007.147298\">10.1113/jphysiol.2007.147298</a>.","short":"Y. Aponte, J. Bischofberger, P.M. Jonas, The Journal of Physiology 586 (2008) 2061–75.","apa":"Aponte, Y., Bischofberger, J., &#38; Jonas, P. M. (2008). Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. <i>The Journal of Physiology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1113/jphysiol.2007.147298\">https://doi.org/10.1113/jphysiol.2007.147298</a>","ieee":"Y. Aponte, J. Bischofberger, and P. M. Jonas, “Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus,” <i>The Journal of Physiology</i>, vol. 586, no. 8. Wiley-Blackwell, pp. 2061–75, 2008.","chicago":"Aponte, Yexica, Josef Bischofberger, and Peter M Jonas. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.” <i>The Journal of Physiology</i>. Wiley-Blackwell, 2008. <a href=\"https://doi.org/10.1113/jphysiol.2007.147298\">https://doi.org/10.1113/jphysiol.2007.147298</a>."},"article_type":"original","page":"2061 - 75","oa_version":"None","language":[{"iso":"eng"}],"publication":"The Journal of Physiology","publisher":"Wiley-Blackwell","date_created":"2018-12-11T12:05:22Z","author":[{"full_name":"Aponte, Yexica","first_name":"Yexica","last_name":"Aponte"},{"first_name":"Josef","full_name":"Bischofberger, Josef","last_name":"Bischofberger"},{"orcid":"0000-0001-5001-4804","last_name":"Jonas","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","first_name":"Peter M"}],"oa":1,"status":"public","intvolume":"       586","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2465201/","open_access":"1"}],"OA_place":"repository","date_updated":"2026-05-29T11:01:59Z"},{"intvolume":"        28","date_updated":"2026-05-29T10:46:21Z","author":[{"last_name":"Doischer","full_name":"Doischer, Daniel","first_name":"Daniel"},{"full_name":"Hosp, Jonas","first_name":"Jonas","last_name":"Hosp"},{"last_name":"Yanagawa","full_name":"Yanagawa, Yuchio","first_name":"Yuchio"},{"first_name":"Kunihiko","full_name":"Obata, Kunihiko","last_name":"Obata"},{"last_name":"Jonas","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M","full_name":"Jonas, Peter M"},{"full_name":"Vida, Imre","first_name":"Imre","last_name":"Vida"},{"last_name":"Bartos","first_name":"Marlene","full_name":"Bartos, Marlene"}],"status":"public","language":[{"iso":"eng"}],"publication":"The Journal of Neuroscience","publisher":"Society for Neuroscience","date_created":"2018-12-11T12:05:23Z","article_type":"original","page":"12956 - 68","oa_version":"None","OA_type":"closed access","volume":28,"day":"01","publication_status":"published","article_processing_charge":"No","citation":{"short":"D. Doischer, J. Hosp, Y. Yanagawa, K. Obata, P.M. Jonas, I. Vida, M. Bartos, The Journal of Neuroscience 28 (2008) 12956–68.","mla":"Doischer, Daniel, et al. “Postnatal Differentiation of Basket Cells from Slow to Fast Signaling Devices.” <i>The Journal of Neuroscience</i>, vol. 28, no. 48, Society for Neuroscience, 2008, pp. 12956–68, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.2890-08.2008\">10.1523/JNEUROSCI.2890-08.2008</a>.","ista":"Doischer D, Hosp J, Yanagawa Y, Obata K, Jonas PM, Vida I, Bartos M. 2008. Postnatal differentiation of basket cells from slow to fast signaling devices. The Journal of Neuroscience. 28(48), 12956–68.","ama":"Doischer D, Hosp J, Yanagawa Y, et al. Postnatal differentiation of basket cells from slow to fast signaling devices. <i>The Journal of Neuroscience</i>. 2008;28(48):12956-12968. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.2890-08.2008\">10.1523/JNEUROSCI.2890-08.2008</a>","apa":"Doischer, D., Hosp, J., Yanagawa, Y., Obata, K., Jonas, P. M., Vida, I., &#38; Bartos, M. (2008). Postnatal differentiation of basket cells from slow to fast signaling devices. <i>The Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.2890-08.2008\">https://doi.org/10.1523/JNEUROSCI.2890-08.2008</a>","ieee":"D. Doischer <i>et al.</i>, “Postnatal differentiation of basket cells from slow to fast signaling devices,” <i>The Journal of Neuroscience</i>, vol. 28, no. 48. Society for Neuroscience, pp. 12956–68, 2008.","chicago":"Doischer, Daniel, Jonas Hosp, Yuchio Yanagawa, Kunihiko Obata, Peter M Jonas, Imre Vida, and Marlene Bartos. “Postnatal Differentiation of Basket Cells from Slow to Fast Signaling Devices.” <i>The Journal of Neuroscience</i>. Society for Neuroscience, 2008. <a href=\"https://doi.org/10.1523/JNEUROSCI.2890-08.2008\">https://doi.org/10.1523/JNEUROSCI.2890-08.2008</a>."},"date_published":"2008-01-01T00:00:00Z","_id":"3826","publist_id":"2383","doi":"10.1523/JNEUROSCI.2890-08.2008","issue":"48","publication_identifier":{"issn":["0270-6474"],"eissn":["1529-2401"]},"pmid":1,"abstract":[{"text":"Gamma frequency (30-100 Hz) oscillations in the mature cortex underlie higher cognitive functions. Fast signaling in GABAergic interneuron networks plays a key role in the generation of these oscillations. During development of the rodent brain, gamma activity appears at the end of the first postnatal week, but frequency and synchrony reach adult levels only by the fourth week. However, the mechanisms underlying the maturation of gamma activity are unclear. Here we demonstrate that hippocampal basket cells (BCs), the proposed cellular substrate of gamma oscillations, undergo marked changes in their morphological, intrinsic, and synaptic properties between postnatal day 6 (P6) and P25. During maturation, action potential duration, propagation time, duration of the release period, and decay time constant of IPSCs decreases by approximately 30-60%. Thus, postnatal development converts BCs from slow into fast signaling devices. Computational analysis reveals that BC networks with young intrinsic and synaptic properties as well as reduced connectivity generate oscillations with moderate coherence in the lower gamma frequency range. In contrast, BC networks with mature properties and increased connectivity generate highly coherent activity in the upper gamma frequency band. Thus, late postnatal maturation of BCs enhances coherence in neuronal networks and will thereby contribute to the development of cognitive brain functions.","lang":"eng"}],"title":"Postnatal differentiation of basket cells from slow to fast signaling devices","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2008","extern":"1","external_id":{"pmid":["19036989"]},"type":"journal_article","month":"01"},{"_id":"3827","publist_id":"2384","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"doi":"10.1073/pnas.0800621105","issue":"40","abstract":[{"text":"Previous studies revealed that synaptotagmin 1 is the major Ca(2+) sensor for fast synchronous transmitter release at excitatory synapses. However, the molecular identity of the Ca(2+) sensor at hippocampal inhibitory synapses has not been determined. To address the functional role of synaptotagmin 1 at identified inhibitory terminals, we made paired recordings from synaptically connected basket cells (BCs) and granule cells (GCs) in the dentate gyrus in organotypic slice cultures from wild-type and synaptotagmin 1-deficient mice. As expected, genetic elimination of synaptotagmin 1 abolished synchronous transmitter release at excitatory GC-BC synapses. However, synchronous release at inhibitory BC-GC synapses was maintained. Quantitative analysis revealed that elimination of synaptotagmin 1 reduced release probability and depression but maintained the synchrony of transmitter release at BC-GC synapses. Elimination of synaptotagmin 1 also increased the frequency of both miniature excitatory postsynaptic currents (measured in BCs) and miniature inhibitory postsynaptic currents (recorded in GCs), consistent with a clamping function of synaptotagmin 1 at both excitatory and inhibitory terminals. Single-cell reverse-transcription quantitative PCR analysis revealed that single BCs coexpressed multiple synaptotagmin isoforms, including synaptotagmin 1-5, 7, and 11-13. Our results indicate that, in contrast to excitatory synapses, synaptotagmin 1 is not absolutely required for synchronous release at inhibitory BC-GC synapses. Thus, alternative fast Ca(2+) sensors contribute to synchronous release of the inhibitory transmitter GABA in cortical circuits.","lang":"eng"}],"pmid":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses","external_id":{"pmid":["18832148"]},"extern":"1","year":"2008","month":"10","type":"journal_article","intvolume":"       105","date_updated":"2026-06-10T10:15:30Z","author":[{"full_name":"Kerr, Angharad","first_name":"Angharad","last_name":"Kerr"},{"full_name":"Reisinger, Ellen","first_name":"Ellen","last_name":"Reisinger"},{"last_name":"Jonas","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"}],"status":"public","publication":"Proceedings of the National Academy of Sciences","language":[{"iso":"eng"}],"date_created":"2018-12-11T12:05:23Z","publisher":"National Academy of Sciences","article_type":"original","oa_version":"None","page":"15581 - 6","volume":105,"OA_type":"closed access","article_processing_charge":"No","citation":{"short":"A. Kerr, E. Reisinger, P.M. Jonas, Proceedings of the National Academy of Sciences 105 (2008) 15581–6.","ista":"Kerr A, Reisinger E, Jonas PM. 2008. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. Proceedings of the National Academy of Sciences. 105(40), 15581–6.","ama":"Kerr A, Reisinger E, Jonas PM. Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. <i>Proceedings of the National Academy of Sciences</i>. 2008;105(40):15581-15586. doi:<a href=\"https://doi.org/10.1073/pnas.0800621105\">10.1073/pnas.0800621105</a>","mla":"Kerr, Angharad, et al. “Differential Dependence of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.” <i>Proceedings of the National Academy of Sciences</i>, vol. 105, no. 40, National Academy of Sciences, 2008, pp. 15581–86, doi:<a href=\"https://doi.org/10.1073/pnas.0800621105\">10.1073/pnas.0800621105</a>.","chicago":"Kerr, Angharad, Ellen Reisinger, and Peter M Jonas. “Differential Dependence of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.” <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences, 2008. <a href=\"https://doi.org/10.1073/pnas.0800621105\">https://doi.org/10.1073/pnas.0800621105</a>.","ieee":"A. Kerr, E. Reisinger, and P. M. Jonas, “Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses,” <i>Proceedings of the National Academy of Sciences</i>, vol. 105, no. 40. National Academy of Sciences, pp. 15581–6, 2008.","apa":"Kerr, A., Reisinger, E., &#38; Jonas, P. M. (2008). Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.0800621105\">https://doi.org/10.1073/pnas.0800621105</a>"},"publication_status":"published","day":"07","date_published":"2008-10-07T00:00:00Z"},{"status":"public","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2026-05-29T10:39:25Z","intvolume":"      5000","_id":"3872","oa_version":"None","page":"107 - 138","publication_identifier":{"eisbn":["9783540698500"],"isbn":["9783540698494"]},"doi":"10.1007/978-3-540-69850-0_7","publist_id":"2299","date_created":"2018-12-11T12:05:38Z","publisher":"Springer Nature","publication":"25 Years in Model Checking","language":[{"iso":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"Value iteration","abstract":[{"lang":"eng","text":"We survey value iteration algorithms on graphs. Such algorithms can be used for determining the existence of certain paths (model checking), the existence of certain strategies (game solving), and the probabilities of certain events (performance analysis). We classify the algorithms according to the value domain (boolean, probabilistic, or quantitative); according to the graph structure (nondeterministic, probabilistic, or multi-player); according to the desired property of paths (Borel level 1, 2, or 3); and according to the alternation depth and convergence rate of fixpoint computations."}],"acknowledgement":"This research was supported in part by the Swiss National Science Foundation and by the NSF grants CCR-0225610 and CCR-0234690.","month":"01","date_published":"2008-01-01T00:00:00Z","type":"book_chapter","citation":{"short":"K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer Nature, 2008, pp. 107–138.","mla":"Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” <i>25 Years in Model Checking</i>, vol. 5000, Springer Nature, 2008, pp. 107–38, doi:<a href=\"https://doi.org/10.1007/978-3-540-69850-0_7\">10.1007/978-3-540-69850-0_7</a>.","ama":"Chatterjee K, Henzinger TA. Value iteration. In: <i>25 Years in Model Checking</i>. Vol 5000. Springer Nature; 2008:107-138. doi:<a href=\"https://doi.org/10.1007/978-3-540-69850-0_7\">10.1007/978-3-540-69850-0_7</a>","ista":"Chatterjee K, Henzinger TA. 2008.Value iteration. In: 25 Years in Model Checking. LNCS, vol. 5000, 107–138.","ieee":"K. Chatterjee and T. A. Henzinger, “Value iteration,” in <i>25 Years in Model Checking</i>, vol. 5000, Springer Nature, 2008, pp. 107–138.","chicago":"Chatterjee, Krishnendu, and Thomas A Henzinger. “Value Iteration.” In <i>25 Years in Model Checking</i>, 5000:107–38. Springer Nature, 2008. <a href=\"https://doi.org/10.1007/978-3-540-69850-0_7\">https://doi.org/10.1007/978-3-540-69850-0_7</a>.","apa":"Chatterjee, K., &#38; Henzinger, T. A. (2008). Value iteration. In <i>25 Years in Model Checking</i> (Vol. 5000, pp. 107–138). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-69850-0_7\">https://doi.org/10.1007/978-3-540-69850-0_7</a>"},"article_processing_charge":"No","day":"01","extern":"1","publication_status":"published","year":"2008","volume":5000,"OA_type":"closed access","alternative_title":["LNCS"]},{"intvolume":"      4981","_id":"3873","date_updated":"2026-05-29T10:25:48Z","author":[{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Majumdar, Ritankar","first_name":"Ritankar","last_name":"Majumdar"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A"}],"status":"public","publication":"11th Workshop on Hybrid Systems: Computation and Control","language":[{"iso":"eng"}],"date_created":"2018-12-11T12:05:38Z","publisher":"Springer Nature","publist_id":"2296","conference":{"end_date":"2008-04-24","location":"St. Louis, MO, United States","start_date":"2008-04-22","name":"HSCC: Hybrid Systems - Computation and Control"},"oa_version":"None","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"]},"page":"72 - 86","doi":"DOI: 10.1007/978-3-540-78929-1_6","abstract":[{"lang":"eng","text":"We study the controller synthesis problem under budget constraints. In this problem, there is a cost associated with making an observation, and a controller can make only a limited number of observations in each round so that the total cost of the observations does not exceed a given fixed budget. The controller must ensure some omega-regular requirement subject to the budget constraint. Budget constraints arise in designing and implementing controllers for resource-constrained embedded systems, where a controller may not have enough power, time, or bandwidth to obtain data from all sensors in each round. They lead to games of imperfect information, where the unknown information is not fixed a priori, but can vary from round to round, based on the choices made by the controller how to allocate its budget. We show that the budget-constrained synthesis problem for W-regular objectives is complete for exponential time. In addition to studying synthesis under a fixed budget constraint, we study the budget optimization problem, where given a plant, an objective, and observation costs, we have to find a controller that achieves the objective with minimal average accumulated cost (or minimal peak cost). We show that this problem is reducible to a game of imperfect information where the winning objective is a conjunction of an omega-regular condition and a long-run average condition (or a least max-cost condition), and this again leads to an exponential-time algorithm. Finally, we extend our results to games over infinite state spaces, and show that the budget-constrained synthesis problem is decidable for infinite state games with stable quotients of finite index. Consequently, the discrete time budget-constrained synthesis problem is decidable for rectangular hybrid automata."}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"Controller synthesis with budget constraints","volume":4981,"alternative_title":["LNCS"],"OA_type":"closed access","citation":{"ama":"Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: <i>11th Workshop on Hybrid Systems: Computation and Control</i>. Vol 4981. Springer Nature; 2008:72-86. doi:<a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">DOI: 10.1007/978-3-540-78929-1_6</a>","ista":"Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget constraints. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 72–86.","mla":"Chatterjee, Krishnendu, et al. “Controller Synthesis with Budget Constraints.” <i>11th Workshop on Hybrid Systems: Computation and Control</i>, vol. 4981, Springer Nature, 2008, pp. 72–86, doi:<a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">DOI: 10.1007/978-3-540-78929-1_6</a>.","short":"K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 72–86.","chicago":"Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints.” In <i>11th Workshop on Hybrid Systems: Computation and Control</i>, 4981:72–86. Springer Nature, 2008. <a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">https://doi.org/DOI: 10.1007/978-3-540-78929-1_6</a>.","ieee":"K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” in <i>11th Workshop on Hybrid Systems: Computation and Control</i>, St. Louis, MO, United States, 2008, vol. 4981, pp. 72–86.","apa":"Chatterjee, K., Majumdar, R., &#38; Henzinger, T. A. (2008). Controller synthesis with budget constraints. In <i>11th Workshop on Hybrid Systems: Computation and Control</i> (Vol. 4981, pp. 72–86). St. Louis, MO, United States: Springer Nature. <a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">https://doi.org/DOI: 10.1007/978-3-540-78929-1_6</a>"},"article_processing_charge":"No","year":"2008","publication_status":"published","day":"03","extern":"1","month":"04","date_published":"2008-04-03T00:00:00Z","type":"conference"},{"day":"03","publication_status":"published","article_processing_charge":"No","citation":{"short":"K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 87–100.","mla":"Chatterjee, Krishnendu, et al. “Trading Infinite Memory for Uniform Randomness in Timed Games.” <i>11th Workshop on Hybrid Systems: Computation and Control</i>, vol. 4981, Springer Nature, 2008, pp. 87–100, doi:<a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">10.1007/978-3-540-78929-1_7</a>.","ista":"Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.","ama":"Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: <i>11th Workshop on Hybrid Systems: Computation and Control</i>. Vol 4981. Springer Nature; 2008:87-100. doi:<a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">10.1007/978-3-540-78929-1_7</a>","apa":"Chatterjee, K., Henzinger, T. A., &#38; Prabhu, V. (2008). Trading infinite memory for uniform randomness in timed games. In <i>11th Workshop on Hybrid Systems: Computation and Control</i> (Vol. 4981, pp. 87–100). St. Louis, MO, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">https://doi.org/10.1007/978-3-540-78929-1_7</a>","ieee":"K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” in <i>11th Workshop on Hybrid Systems: Computation and Control</i>, St. Louis, MO, United States, 2008, vol. 4981, pp. 87–100.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games.” In <i>11th Workshop on Hybrid Systems: Computation and Control</i>, 4981:87–100. Springer Nature, 2008. <a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">https://doi.org/10.1007/978-3-540-78929-1_7</a>."},"OA_type":"closed access","volume":4981,"date_published":"2008-04-03T00:00:00Z","date_updated":"2026-06-10T10:14:59Z","intvolume":"      4981","status":"public","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Vinayak","full_name":"Prabhu, Vinayak","last_name":"Prabhu"}],"date_created":"2018-12-11T12:05:38Z","publisher":"Springer Nature","language":[{"iso":"eng"}],"publication":"11th Workshop on Hybrid Systems: Computation and Control","page":"87 - 100","oa_version":"None","acknowledgement":"This research was supported in part by the NSF grants CCR-0208875, CCR-0225610, CCR-0234690, by the Swiss National Science Foundation, and by the Artist2 European Network of Excellence.","title":"Trading infinite memory for uniform randomness in timed games","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"lang":"eng","text":"We consider concurrent two-player timed automaton games with omega-regular objectives specified as parity conditions. These games offer an appropriate model for the synthesis of real-time controllers. Earlier works on timed games focused on pure strategies for each player. We study, for the first time, the use of randomized strategies in such games. While pure (i.e., nonrandomized) strategies in timed games require infinite memory for winning even with respect to reachability objectives, we show that randomized strategies can win with finite memory with respect to all parity objectives. Also, the synthesized randomized real-time controllers are much simpler in structure than the corresponding pure controllers, and therefore easier to implement. For safety objectives we prove the existence of pure finite-memory winning strategies. Finally, while randomization helps in simplifying the strategies required for winning timed parity games, we prove that randomization does not help in winning at more states."}],"extern":"1","year":"2008","alternative_title":["LNCS"],"type":"conference","month":"04","_id":"3874","doi":"10.1007/978-3-540-78929-1_7","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"]},"conference":{"start_date":"2008-04-22","name":"HSCC: Hybrid Systems - Computation and Control","end_date":"2008-04-24","location":"St. Louis, MO, United States"},"publist_id":"2297"},{"title":"Model-checking omega-regular properties of interval Markov chains","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"lang":"eng","text":"We study the problem of model checking Interval-valued Discrete-time Markov Chains (IDTMC). IDTMCs are discrete-time finite Markov Chains for which the exact transition probabilities are riot known. Instead in IDTMCs, each transition is associated with an interval in which the actual transition probability must lie. We consider two semantic interpretations for the uncertainty in the transition probabilities of an IDTMC. In the first interpretation, we think of an IDTMC as representing a (possibly uncountable) family of (classical) discrete-time Markov Chains, where each member of the family is a Markov Chain whose transition probabilities lie within the interval range given in the IDTMC. We call this semantic interpretation Uncertain Markov Chains (UMC). In the second semantics for an IDTMC, which we call Interval Markov Decision Process (IMDP), we view the uncertainty as being resolved through non-determinism. In other words, each time a state is visited, we adversarially pick a transition distribution that respects the interval constraints, and take a probabilistic step according to the chosen distribution. We introduce a logic omega-PCTL that can express liveness, strong fairness, and omega-regular properties (such properties cannot be expressed in PCTL). We show that the omega-PCTL model checking problem for Uncertain Markov Chain semantics is decidable in PSPACE (same as the best known upper bound for PCTL) and for Interval Markov Decision Process semantics is decidable in coNP (improving the previous known PSPACE bound for PCTL). We also show that the qualitative fragment of the logic can lie solved in coNP for the UMC interpretation, and can be solved in polynomial time for a sub-class of UMCs. We also prove lower bounds for these model checking problems. We show that the model checking problem of IDTMCs with LTL formulas can be solved for both UMC and IMDP semantics by reduction to the model checking problem of IDTMC with omega-PcTL formulas."}],"type":"conference","date_published":"2008-03-01T00:00:00Z","month":"03","extern":"1","year":"2008","publication_status":"published","day":"01","article_processing_charge":"No","citation":{"short":"K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science and Computational Structures - 11th International Conference, Springer Nature, 2008, pp. 302–317.","ista":"Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. Foundations of Software Science and Computational Structures - 11th International Conference. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.","ama":"Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>. Vol 4962. Springer Nature; 2008:302-317. doi:<a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">10.1007/978-3-540-78499-9_22</a>","mla":"Chatterjee, Krishnendu, et al. “Model-Checking Omega-Regular Properties of Interval Markov Chains.” <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>, vol. 4962, Springer Nature, 2008, pp. 302–17, doi:<a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">10.1007/978-3-540-78499-9_22</a>.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains.” In <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>, 4962:302–17. Springer Nature, 2008. <a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">https://doi.org/10.1007/978-3-540-78499-9_22</a>.","ieee":"K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” in <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>, Budapest, Hungary, 2008, vol. 4962, pp. 302–317.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Sen, K. (2008). Model-checking omega-regular properties of interval Markov chains. In <i>Foundations of Software Science and Computational Structures - 11th International Conference</i> (Vol. 4962, pp. 302–317). Budapest, Hungary: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">https://doi.org/10.1007/978-3-540-78499-9_22</a>"},"alternative_title":["LNCS"],"OA_type":"closed access","volume":4962,"status":"public","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Koushik","full_name":"Sen, Koushik","last_name":"Sen"}],"date_updated":"2026-05-29T10:35:10Z","_id":"3875","intvolume":"      4962","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"]},"page":"302 - 317","doi":"10.1007/978-3-540-78499-9_22","oa_version":"None","conference":{"end_date":"2008-04-06","location":"Budapest, Hungary","start_date":"2008-03-29","name":"FoSSaCS: Foundations of Software Science and Computation Structures"},"publist_id":"2298","publisher":"Springer Nature","date_created":"2018-12-11T12:05:39Z","language":[{"iso":"eng"}],"publication":"Foundations of Software Science and Computational Structures - 11th International Conference"},{"citation":{"ieee":"K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” in <i>Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems</i>, Saint Malo, France, 2008, vol. 5215, pp. 124–140.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.” In <i>Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems</i>, 5215:124–40. Springer Nature, 2008. <a href=\"https://doi.org/10.1007/978-3-540-85778-5_10\">https://doi.org/10.1007/978-3-540-85778-5_10</a>.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Prabhu, V. (2008). Timed parity games: complexity and robustness. In <i>Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems</i> (Vol. 5215, pp. 124–140). Saint Malo, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-85778-5_10\">https://doi.org/10.1007/978-3-540-85778-5_10</a>","short":"K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2008, pp. 124–140.","ama":"Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: complexity and robustness. In: <i>Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems</i>. Vol 5215. Springer Nature; 2008:124-140. doi:<a href=\"https://doi.org/10.1007/978-3-540-85778-5_10\">10.1007/978-3-540-85778-5_10</a>","ista":"Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.","mla":"Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” <i>Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems</i>, vol. 5215, Springer Nature, 2008, pp. 124–40, doi:<a href=\"https://doi.org/10.1007/978-3-540-85778-5_10\">10.1007/978-3-540-85778-5_10</a>."},"article_processing_charge":"No","day":"01","publication_status":"published","volume":5215,"OA_type":"green","date_published":"2008-10-01T00:00:00Z","date_updated":"2026-05-29T10:16:20Z","OA_place":"repository","intvolume":"      5215","status":"public","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"full_name":"Prabhu, Vinayak","first_name":"Vinayak","last_name":"Prabhu"}],"publisher":"Springer Nature","date_created":"2018-12-11T12:05:39Z","publication":"Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems","language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","id":"3315","relation":"later_version"}]},"oa_version":"None","arxiv":1,"page":"124 - 140","acknowledgement":"This research was supported in part by the NSF grants CCR-0132780, CNS-0720884, and CCR-0225610, and by the European COMBEST project.","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"Timed parity games: complexity and robustness","abstract":[{"text":"We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently propose a time delay and an action, and the action with the shorter delay is chosen. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsible for causing a zeno run. First, we present an efficient reduction of these games to turn-based (i.e., nonconcurrent) finite-state (i.e., untimed) parity games. The states of the resulting game are pairs of clock regions of the original game. Our reduction improves the best known complexity for solving timed parity games. Moreover, the rich class of algorithms for classical parity games can now be applied to timed parity games. Second, we consider two restricted classes of strategies for the player that represents the controller in a real-time synthesis problem, namely, limit-robust and bounded-robust strategies. Using a limit-robust strategy, the controller cannot choose an exact real-valued time delay but must allow for some nonzero jitter in each of its actions. If there is a given lower bound on the jitter, then the strategy is bounded-robust. We show that exact strategies are more powerful than limit-robust strategies, which are more powerful than bounded-robust strategies for any bound. For both kinds of robust strategies, we present efficient reductions to standard timed automaton games. These reductions provide algorithms for the synthesis of robust real-time controllers.","lang":"eng"}],"external_id":{"arxiv":["0807.1165"]},"year":"2008","extern":"1","alternative_title":["LNCS"],"month":"10","type":"conference","_id":"3876","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783540857778"]},"doi":"10.1007/978-3-540-85778-5_10","publist_id":"2294","conference":{"end_date":"2008-09-17","location":"Saint Malo, France","start_date":"2008-09-15","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"}}]