[{"_id":"3934","type":"journal_article","status":"public","citation":{"mla":"Drumea Mirancea, Mihaela, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.” Journal of Cell Science, vol. 119, no. Pt 7, Company of Biologists, 2006, pp. 1396–405, doi:10.1242/jcs.02840.","short":"M. Drumea Mirancea, J. Wessels, C. Müller, M. Essl, J. Eble, E. Tolosa, M. Koch, D. Reinhardt, M.K. Sixt, L. Sorokin, Y. Stierhof, H. Schwarz, G. Klein, Journal of Cell Science 119 (2006) 1396–1405.","ieee":"M. Drumea Mirancea et al., “Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules,” Journal of Cell Science, vol. 119, no. Pt 7. Company of Biologists, pp. 1396–1405, 2006.","ama":"Drumea Mirancea M, Wessels J, Müller C, et al. Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. 2006;119(Pt 7):1396-1405. doi:10.1242/jcs.02840","apa":"Drumea Mirancea, M., Wessels, J., Müller, C., Essl, M., Eble, J., Tolosa, E., … Klein, G. (2006). Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02840","chicago":"Drumea Mirancea, Mihaela, Johannes Wessels, Claudia Müller, Mike Essl, Johannes Eble, Eva Tolosa, Manuel Koch, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.” Journal of Cell Science. Company of Biologists, 2006. https://doi.org/10.1242/jcs.02840.","ista":"Drumea Mirancea M, Wessels J, Müller C, Essl M, Eble J, Tolosa E, Koch M, Reinhardt D, Sixt MK, Sorokin L, Stierhof Y, Schwarz H, Klein G. 2006. Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. 119(Pt 7), 1396–1405."},"date_updated":"2021-01-12T07:53:18Z","extern":1,"publist_id":"2192","author":[{"first_name":"Mihaela","last_name":"Drumea Mirancea","full_name":"Drumea-Mirancea, Mihaela"},{"first_name":"Johannes","full_name":"Wessels, Johannes T","last_name":"Wessels"},{"first_name":"Claudia","last_name":"Müller","full_name":"Müller, Claudia A"},{"full_name":"Essl, Mike","last_name":"Essl","first_name":"Mike"},{"first_name":"Johannes","last_name":"Eble","full_name":"Eble, Johannes A"},{"first_name":"Eva","last_name":"Tolosa","full_name":"Tolosa, Eva"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"},{"last_name":"Reinhardt","full_name":"Reinhardt, Dieter P","first_name":"Dieter"},{"full_name":"Michael Sixt","orcid":"0000-0002-6620-9179","last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K"},{"first_name":"Lydia","last_name":"Sorokin","full_name":"Sorokin, Lydia"},{"first_name":"York","full_name":"Stierhof, York-Dieter","last_name":"Stierhof"},{"last_name":"Schwarz","full_name":"Schwarz, Heinz","first_name":"Heinz"},{"first_name":"Gerd","full_name":"Klein, Gerd","last_name":"Klein"}],"title":"Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules","abstract":[{"text":"T cells develop in the thymus in a highly specialized cellular and extracellular microenvironment. The basement membrane molecule, laminin-5 (LN-5), is predominantly found in the medulla of the human thymic lobules. Using high-resolution light microscopy, we show here that LN-5 is localized in a bi-membranous conduit-like structure, together with other typical basement membrane components including collagen type IV, nidogen and perlecan. Other interstitial matrix components, such as fibrillin-1 or -2, tenascin-C or fibrillar collagen types, were also associated with these structures. Three-dimensional (3D) confocal microscopy suggested a tubular structure, whereas immunoelectron and transmission electron microscopy showed that the core of these tubes contained fibrillar collagens enwrapped by the LN-5-containing membrane. These medullary conduits are surrounded by thymic epithelial cells, which in vitro were found to bind LN-5, but also fibrillin and tenascin-C. Dendritic cells were also detected in close vicinity to the conduits. Both of these stromal cell types express major histocompatibility complex (MHC) class II molecules capable of antigen presentation. The conduits are connected to blood vessels but, with an average diameter of 2 mum, they are too small to transport cells. However, evidence is provided that smaller molecules such as a 10 kDa dextran, but not large molecules (>500 kDa), can be transported in the conduits. These results clearly demonstrate that a conduit system, which is also known from secondary lymphatic organs such as lymph nodes and spleen, is present in the medulla of the human thymus, and that it might serve to transport small blood-borne molecules or chemokines to defined locations within the medulla.","lang":"eng"}],"quality_controlled":0,"publisher":"Company of Biologists","intvolume":" 119","month":"04","year":"2006","publication_status":"published","publication":"Journal of Cell Science","day":"01","page":"1396 - 1405","date_created":"2018-12-11T12:05:58Z","volume":119,"doi":"10.1242/jcs.02840","issue":"Pt 7","date_published":"2006-04-01T00:00:00Z"},{"intvolume":" 26","month":"03","quality_controlled":0,"publisher":"American Society for Microbiology","abstract":[{"text":"Integrins regulate cell behavior through the assembly of multiprotein complexes at the site of cell adhesion. Parvins are components of such a multiprotein complex. They consist of three members (alpha-, beta-, and gamma-parvin), form a functional complex with integrin-linked kinase (ILK) and PINCH, and link integrins to the actin cytoskeleton. Whereas alpha- and beta-parvins are widely expressed, gamma-parvin has been reported to be expressed in hematopoietic organs. In the present study, we report the expression pattern of the parvins in hematopoietic cells and the phenotypic analysis of gamma-parvin-deficient mice. Whereas alpha-parvin is not expressed in hematopoietic cells, beta-parvin is only found in myeloid cells and gamma-parvin is present in both cells of the myeloid and lymphoid lineages, where it binds ILK. Surprisingly, loss of gamma-parvin expression had no effect on blood cell differentiation, proliferation, and survival and no consequence for the T-cell-dependent antibody response and lymphocyte and dendritic cell migration. These data indicate that despite the high expression of gamma-parvin in hematopoietic cells it must play a more subtle role for blood cell homeostasis.","lang":"eng"}],"date_created":"2018-12-11T12:05:58Z","volume":26,"date_published":"2006-03-01T00:00:00Z","doi":"10.1128/MCB.26.5.1817-1825.2006","issue":"5","page":"1817 - 1825","publication":"Molecular and Cellular Biology","day":"01","publication_status":"published","year":"2006","status":"public","type":"journal_article","_id":"3935","title":"γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response","publist_id":"2193","author":[{"first_name":"Haiyan","last_name":"Chu","full_name":"Chu, Haiyan"},{"first_name":"Ingo","last_name":"Thievessen","full_name":"Thievessen, Ingo"},{"first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","orcid":"0000-0002-6620-9179","full_name":"Michael Sixt"},{"first_name":"Tim","last_name":"Lämmermann","full_name":"Lämmermann, Tim"},{"first_name":"Ari","full_name":"Waisman, Ari","last_name":"Waisman"},{"full_name":"Braun, Attila","last_name":"Braun","first_name":"Attila"},{"full_name":"Noegel, Angelika A","last_name":"Noegel","first_name":"Angelika"},{"first_name":"Reinhard","full_name":"Fässler, Reinhard","last_name":"Fässler"}],"extern":1,"citation":{"apa":"Chu, H., Thievessen, I., Sixt, M. K., Lämmermann, T., Waisman, A., Braun, A., … Fässler, R. (2006). γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. American Society for Microbiology. https://doi.org/10.1128/MCB.26.5.1817-1825.2006","ama":"Chu H, Thievessen I, Sixt MK, et al. γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. 2006;26(5):1817-1825. doi:10.1128/MCB.26.5.1817-1825.2006","short":"H. Chu, I. Thievessen, M.K. Sixt, T. Lämmermann, A. Waisman, A. Braun, A. Noegel, R. Fässler, Molecular and Cellular Biology 26 (2006) 1817–1825.","ieee":"H. Chu et al., “γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response,” Molecular and Cellular Biology, vol. 26, no. 5. American Society for Microbiology, pp. 1817–1825, 2006.","mla":"Chu, Haiyan, et al. “γ-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.” Molecular and Cellular Biology, vol. 26, no. 5, American Society for Microbiology, 2006, pp. 1817–25, doi:10.1128/MCB.26.5.1817-1825.2006.","ista":"Chu H, Thievessen I, Sixt MK, Lämmermann T, Waisman A, Braun A, Noegel A, Fässler R. 2006. γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. 26(5), 1817–1825.","chicago":"Chu, Haiyan, Ingo Thievessen, Michael K Sixt, Tim Lämmermann, Ari Waisman, Attila Braun, Angelika Noegel, and Reinhard Fässler. “γ-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.” Molecular and Cellular Biology. American Society for Microbiology, 2006. https://doi.org/10.1128/MCB.26.5.1817-1825.2006."},"date_updated":"2021-01-12T07:53:18Z"},{"status":"public","type":"journal_article","_id":"3936","title":"β1 integrins: zip codes and signaling relay for blood cells","author":[{"last_name":"Sixt","full_name":"Michael Sixt","orcid":"0000-0002-6620-9179","first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Martina","last_name":"Bauer","full_name":"Bauer, Martina"},{"full_name":"Lämmermann, Tim","last_name":"Lämmermann","first_name":"Tim"},{"first_name":"Reinhard","full_name":"Fässler, Reinhard","last_name":"Fässler"}],"publist_id":"2191","extern":1,"date_updated":"2021-01-12T07:53:19Z","citation":{"mla":"Sixt, Michael K., et al. “Β1 Integrins: Zip Codes and Signaling Relay for Blood Cells.” Current Opinion in Cell Biology, vol. 18, no. 5, Elsevier, 2006, pp. 482–90, doi:10.1016/j.ceb.2006.08.007.","short":"M.K. Sixt, M. Bauer, T. Lämmermann, R. Fässler, Current Opinion in Cell Biology 18 (2006) 482–490.","ieee":"M. K. Sixt, M. Bauer, T. Lämmermann, and R. Fässler, “β1 integrins: zip codes and signaling relay for blood cells,” Current Opinion in Cell Biology, vol. 18, no. 5. Elsevier, pp. 482–490, 2006.","ama":"Sixt MK, Bauer M, Lämmermann T, Fässler R. β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. 2006;18(5):482-490. doi:10.1016/j.ceb.2006.08.007","apa":"Sixt, M. K., Bauer, M., Lämmermann, T., & Fässler, R. (2006). β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2006.08.007","chicago":"Sixt, Michael K, Martina Bauer, Tim Lämmermann, and Reinhard Fässler. “Β1 Integrins: Zip Codes and Signaling Relay for Blood Cells.” Current Opinion in Cell Biology. Elsevier, 2006. https://doi.org/10.1016/j.ceb.2006.08.007.","ista":"Sixt MK, Bauer M, Lämmermann T, Fässler R. 2006. β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. 18(5), 482–490."},"month":"10","intvolume":" 18","quality_controlled":0,"publisher":"Elsevier","abstract":[{"text":"At least eight of the twelve known members of the beta1 integrin family are expressed on hematopoietic cells. Among these, the VCAM-1 receptor alpha4beta1 has received most attention as a main factor mediating firm adhesion to the endothelium during blood cell extravasation. Therapeutic trials are ongoing into the use of antibodies and small molecule inhibitors to target this interaction and hence obtain anti-inflammatory effects. However, extravasation is only one possible process that is mediated by beta1 integrins and there is evidence that they also mediate leukocyte retention and positioning in the tissue, lymphocyte activation and possibly migration within the interstitium. Genetic mouse models where integrins are selectively deleted on blood cells have been used to investigate these functions and further studies will be invaluable to critically evaluate therapeutic trials.","lang":"eng"}],"volume":18,"doi":"10.1016/j.ceb.2006.08.007","issue":"5","date_published":"2006-10-01T00:00:00Z","date_created":"2018-12-11T12:05:59Z","page":"482 - 490","day":"01","publication":"Current Opinion in Cell Biology","year":"2006","publication_status":"published"},{"language":[{"iso":"eng"}],"publication":"Journal of Cell Biology","day":"04","publication_status":"published","year":"2006","date_created":"2018-12-11T12:07:11Z","doi":"10.1083/jcb.200606017","date_published":"2006-12-04T00:00:00Z","volume":175,"issue":"5","page":"791 - 802","oa_version":"None","abstract":[{"lang":"eng","text":"Wnt11 is a key signal, determining cell polarization and migration during vertebrate gastrulation. It is known that Wnt11 functionally interacts with several signaling components, the homologues of which control planar cell polarity in Drosophila melanogaster. Although in D. melanogaster these components are thought to polarize cells by asymmetrically localizing at the plasma membrane, it is not yet clear whether their subcellular localization plays a similarly important role in vertebrates. We show that in zebrafish embryonic cells, Wnt11 locally functions at the plasma membrane by accumulating its receptor, Frizzled 7, on adjacent sites of cell contacts. Wnt11-induced Frizzled 7 accumulations recruit the intracellular Wnt signaling mediator Dishevelled, as well as Wnt11 itself, and locally increase cell contact persistence. This increase in cell contact persistence is mediated by the local interaction of Wnt11, Frizzled 7, and the atypical cadherin Flamingo at the plasma membrane, and it does not require the activity of further downstream effectors of Wnt11 signaling, such as RhoA and Rok2. We propose that Wnt11, by interacting with Frizzled 7 and Flamingo, modulates local cell contact persistence to coordinate cell movements during gastrulation."}],"intvolume":" 175","month":"12","publisher":"Rockefeller University Press","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T07:54:48Z","citation":{"apa":"Witzel, S., Zimyanin, V., Carreira Barbosa, F., Tada, M., & Heisenberg, C.-P. J. (2006). Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200606017","ama":"Witzel S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C-PJ. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 2006;175(5):791-802. doi:10.1083/jcb.200606017","ieee":"S. Witzel, V. Zimyanin, F. Carreira Barbosa, M. Tada, and C.-P. J. Heisenberg, “Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane,” Journal of Cell Biology, vol. 175, no. 5. Rockefeller University Press, pp. 791–802, 2006.","short":"S. Witzel, V. Zimyanin, F. Carreira Barbosa, M. Tada, C.-P.J. Heisenberg, Journal of Cell Biology 175 (2006) 791–802.","mla":"Witzel, Sabine, et al. “Wnt11 Controls Cell Contact Persistence by Local Accumulation of Frizzled 7 at the Plasma Membrane.” Journal of Cell Biology, vol. 175, no. 5, Rockefeller University Press, 2006, pp. 791–802, doi:10.1083/jcb.200606017.","ista":"Witzel S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C-PJ. 2006. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 175(5), 791–802.","chicago":"Witzel, Sabine, Vitaly Zimyanin, Filipa Carreira Barbosa, Masazumi Tada, and Carl-Philipp J Heisenberg. “Wnt11 Controls Cell Contact Persistence by Local Accumulation of Frizzled 7 at the Plasma Membrane.” Journal of Cell Biology. Rockefeller University Press, 2006. https://doi.org/10.1083/jcb.200606017."},"title":"Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane","article_processing_charge":"No","publist_id":"1980","author":[{"first_name":"Sabine","full_name":"Witzel, Sabine","last_name":"Witzel"},{"last_name":"Zimyanin","full_name":"Zimyanin, Vitaly","first_name":"Vitaly"},{"first_name":"Filipa","last_name":"Carreira Barbosa","full_name":"Carreira Barbosa, Filipa"},{"first_name":"Masazumi","full_name":"Tada, Masazumi","last_name":"Tada"},{"full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J"}],"_id":"4140","status":"public","type":"journal_article"},{"status":"public","type":"journal_article","_id":"4145","title":"Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid","article_processing_charge":"No","author":[{"first_name":"Davide","last_name":"Tonelli","full_name":"Tonelli, Davide"},{"last_name":"Calegari","full_name":"Calegari, Frederico","first_name":"Frederico"},{"full_name":"Fei, Ji","last_name":"Fei","first_name":"Ji"},{"first_name":"Tadashi","full_name":"Nomura, Tadashi","last_name":"Nomura"},{"last_name":"Osumi","full_name":"Osumi, Noriko","first_name":"Noriko"},{"id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg"},{"first_name":"Wieland","full_name":"Huttner, Wieland","last_name":"Huttner"}],"publist_id":"1974","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T07:54:50Z","citation":{"ista":"Tonelli D, Calegari F, Fei J, Nomura T, Osumi N, Heisenberg C-PJ, Huttner W. 2006. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 41(6), 727–732.","chicago":"Tonelli, Davide, Frederico Calegari, Ji Fei, Tadashi Nomura, Noriko Osumi, Carl-Philipp J Heisenberg, and Wieland Huttner. “Single-Cell Detection of MicroRNAs in Developing Vertebrate Embryos after Acute Administration of a Dual-Fluorescence Reporter/Sensor Plasmid.” Biotechniques. Informa Healthcare, 2006. https://doi.org/10.2144/000112296.","short":"D. Tonelli, F. Calegari, J. Fei, T. Nomura, N. Osumi, C.-P.J. Heisenberg, W. Huttner, Biotechniques 41 (2006) 727–732.","ieee":"D. Tonelli et al., “Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid,” Biotechniques, vol. 41, no. 6. Informa Healthcare, pp. 727–732, 2006.","apa":"Tonelli, D., Calegari, F., Fei, J., Nomura, T., Osumi, N., Heisenberg, C.-P. J., & Huttner, W. (2006). Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. Informa Healthcare. https://doi.org/10.2144/000112296","ama":"Tonelli D, Calegari F, Fei J, et al. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 2006;41(6):727-732. doi:10.2144/000112296","mla":"Tonelli, Davide, et al. “Single-Cell Detection of MicroRNAs in Developing Vertebrate Embryos after Acute Administration of a Dual-Fluorescence Reporter/Sensor Plasmid.” Biotechniques, vol. 41, no. 6, Informa Healthcare, 2006, pp. 727–32, doi:10.2144/000112296."},"intvolume":" 41","month":"12","publisher":"Informa Healthcare","oa_version":"None","abstract":[{"lang":"eng","text":"The detection of microRNAs (miRNAs) at single-cell resolution is important for studying the role of these posttranscriptional regulators. Here, we use a dual-fluorescent green fluorescent protein (GFP)-reporter/monomeric red fluorescent protein (mRFP)-sensor (DFRS) plasmid, injected into zebrafish blastomeres or electroporated into defined tissues of mouse embryos in utero or ex utero, to monitor the dynamics of specific miRNAs in individual live cells. This approach reveals, for example, that in the developing mouse central nervous system,, miR-124a is expressed not only in postmitotic neurons but also in neuronal progenitor cells. Collectively, our results demonstrate that acute administration of DFRS plasmids.offers an alternative to previous in situ hybridization and transgenic approaches and allows the monitoring of miRNA appearance and disappearance in defined cell lineages during vertebrate development."}],"date_created":"2018-12-11T12:07:12Z","issue":"6","volume":41,"doi":"10.2144/000112296","date_published":"2006-12-01T00:00:00Z","page":"727 - 732","publication":"Biotechniques","language":[{"iso":"eng"}],"day":"01","year":"2006","publication_status":"published"},{"oa_version":"None","abstract":[{"text":"During vertebrate gastrulation, a well-orchestrated series of morphogenetic changes leads to the formation of the three germ layers: the ectoderm, mesoderm and endoderm. The analysis of gene expression patterns during gastrulation has been central to the identification of genes involved in germ layer formation. However, many proteins are regulated on a translational or post-translational level and are thus undetectable by gene expression analysis. Therefore, we developed a 2D-gel-based comparative proteomic approach to target proteins involved in germ layer morphogenesis during zebrafish gastrulation. Proteomes of ectodermal and mesendodermal progenitor cells were compared and 35 significantly regulated proteins were identified by mass spectrometry, including several proteins with predicted functions in cytoskeletal organization. A comparison of our proteomic results with data obtained in an accompanying microarray-based gene expression analysis revealed no significant overlap, confirming the complementary nature of proteomics and transcriptomics. The regulation of ezrin2, which was identified based on a reduction in spot intensity in mesendodermal cells, was independently validated. Furthermore, we show that ezrin2 is activated by phosphorylation in mesendodermal cells and is required for proper germ layer morphogenesis. We demonstrate the feasibility of proteomics in zebrafish, concluding that proteomics is a valuable tool for analysis of early development.","lang":"eng"}],"intvolume":" 119","month":"05","publisher":"Company of Biologists","language":[{"iso":"eng"}],"publication":"Journal of Cell Science","day":"15","year":"2006","publication_status":"published","date_created":"2018-12-11T12:07:24Z","volume":119,"date_published":"2006-05-15T00:00:00Z","issue":"10","doi":"10.1242/jcs.02928","page":"2073 - 2083","_id":"4176","status":"public","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T07:55:04Z","citation":{"mla":"Link, Vinzenz, et al. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.” Journal of Cell Science, vol. 119, no. 10, Company of Biologists, 2006, pp. 2073–83, doi:10.1242/jcs.02928.","short":"V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, C.-P.J. Heisenberg, Journal of Cell Science 119 (2006) 2073–2083.","ieee":"V. Link, L. Carvalho, I. Castanon, P. Stockinger, A. Shevchenko, and C.-P. J. Heisenberg, “Identification of regulators of germ layer morphogenesis using proteomics in zebrafish,” Journal of Cell Science, vol. 119, no. 10. Company of Biologists, pp. 2073–2083, 2006.","ama":"Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C-PJ. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 2006;119(10):2073-2083. doi:10.1242/jcs.02928","apa":"Link, V., Carvalho, L., Castanon, I., Stockinger, P., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02928","chicago":"Link, Vinzenz, Lara Carvalho, Irinka Castanon, Petra Stockinger, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.” Journal of Cell Science. Company of Biologists, 2006. https://doi.org/10.1242/jcs.02928.","ista":"Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C-PJ. 2006. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 119(10), 2073–2083."},"title":"Identification of regulators of germ layer morphogenesis using proteomics in zebrafish","article_processing_charge":"No","author":[{"last_name":"Link","full_name":"Link, Vinzenz","first_name":"Vinzenz"},{"first_name":"Lara","full_name":"Carvalho, Lara","last_name":"Carvalho"},{"first_name":"Irinka","last_name":"Castanon","full_name":"Castanon, Irinka"},{"full_name":"Stockinger, Petra","last_name":"Stockinger","first_name":"Petra"},{"last_name":"Shevchenko","full_name":"Shevchenko, Andrej","first_name":"Andrej"},{"last_name":"Heisenberg","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J"}],"publist_id":"1944"},{"month":"01","intvolume":" 6","publisher":"BioMed Central","main_file_link":[{"open_access":"1","url":"http://www.biomedcentral.com/1471-213X/6/1"}],"oa":1,"oa_version":"None","abstract":[{"lang":"eng","text":"Background: Zebrafish (D. rerio) has become a powerful and widely used model system for the analysis of vertebrate embryogenesis and organ development. While genetic methods are readily available in zebrafish, protocols for two dimensional (2D) gel electrophoresis and proteomics have yet to be developed. Results: As a prerequisite to carry out proteomic experiments with early zebrafish embryos, we developed a method to efficiently remove the yolk from large batches of embryos. This method enabled high resolution 2D gel electrophoresis and improved Western blotting considerably. Here, we provide detailed protocols for proteomics in zebrafish from sample preparation to mass spectrometry (MS), including a comparison of databases for MS identification of zebrafish proteins. Conclusion: The provided protocols for proteomic analysis of early embryos enable research to be taken in novel directions in embryogenesis."}],"date_published":"2006-01-13T00:00:00Z","doi":"10.1186/1471-213X-6-1","volume":6,"license":"https://creativecommons.org/licenses/by/4.0/","date_created":"2018-12-11T12:07:23Z","page":"1 - 9","day":"13","language":[{"iso":"eng"}],"publication":"BMC Developmental Biology","year":"2006","publication_status":"published","status":"public","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"4173","title":"Proteomics of early zebrafish embryos","publist_id":"1945","author":[{"first_name":"Vinzenz","full_name":"Link, Vinzenz","last_name":"Link"},{"full_name":"Shevchenko, Andrej","last_name":"Shevchenko","first_name":"Andrej"},{"first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg"}],"article_processing_charge":"No","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:55:02Z","citation":{"chicago":"Link, Vinzenz, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology. BioMed Central, 2006. https://doi.org/10.1186/1471-213X-6-1.","ista":"Link V, Shevchenko A, Heisenberg C-PJ. 2006. Proteomics of early zebrafish embryos. BMC Developmental Biology. 6, 1–9.","mla":"Link, Vinzenz, et al. “Proteomics of Early Zebrafish Embryos.” BMC Developmental Biology, vol. 6, BioMed Central, 2006, pp. 1–9, doi:10.1186/1471-213X-6-1.","ama":"Link V, Shevchenko A, Heisenberg C-PJ. Proteomics of early zebrafish embryos. BMC Developmental Biology. 2006;6:1-9. doi:10.1186/1471-213X-6-1","apa":"Link, V., Shevchenko, A., & Heisenberg, C.-P. J. (2006). Proteomics of early zebrafish embryos. BMC Developmental Biology. BioMed Central. https://doi.org/10.1186/1471-213X-6-1","short":"V. Link, A. Shevchenko, C.-P.J. Heisenberg, BMC Developmental Biology 6 (2006) 1–9.","ieee":"V. Link, A. Shevchenko, and C.-P. J. Heisenberg, “Proteomics of early zebrafish embryos,” BMC Developmental Biology, vol. 6. BioMed Central, pp. 1–9, 2006."}},{"publisher":"Wiley-Blackwell","intvolume":" 235","month":"04","abstract":[{"text":"Detailed reconstruction of the spatiotemporal history of embryonic cells is key to understanding tissue formation processes but is often complicated by the large number of cells involved, particularly so in vertebrates. Through a combination of high-resolution time-lapse lineage tracing and antibody staining, we have analyzed the movement of mesencephalic and metencephalic cell populations in the early zebrafish embryo. To facilitate the analysis of our cell tracking data, we have created TracePilot, a software tool that allows interactive manipulation and visualization of tracking data. We demonstrate its utility by showing novel visualizations of cell movement in the developing zebrafish brain. TracePilot (http://www.mpi-cbg.de/tracepilot) is Java-based, available free of charge, and has a program structure that allows the incorporation of additional analysis tools.","lang":"eng"}],"oa_version":"None","page":"928 - 933","date_created":"2018-12-11T12:07:25Z","issue":"4","date_published":"2006-04-01T00:00:00Z","volume":235,"doi":"10.1002/dvdy.20692","year":"2006","publication_status":"published","publication":"Developmental Dynamics","language":[{"iso":"eng"}],"day":"01","type":"journal_article","status":"public","_id":"4178","article_processing_charge":"No","publist_id":"1940","author":[{"first_name":"Tobias","full_name":"Langenberg, Tobias","last_name":"Langenberg"},{"full_name":"Dracz, Tadeusz","last_name":"Dracz","first_name":"Tadeusz"},{"first_name":"Andrew","last_name":"Oates","full_name":"Oates, Andrew"},{"first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566"},{"full_name":"Brand, Michael","last_name":"Brand","first_name":"Michael"}],"title":"Analysis and visualization of cell movement in the developing zebrafish brain","date_updated":"2021-01-12T07:55:04Z","citation":{"mla":"Langenberg, Tobias, et al. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics, vol. 235, no. 4, Wiley-Blackwell, 2006, pp. 928–33, doi:10.1002/dvdy.20692.","apa":"Langenberg, T., Dracz, T., Oates, A., Heisenberg, C.-P. J., & Brand, M. (2006). Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. Wiley-Blackwell. https://doi.org/10.1002/dvdy.20692","ama":"Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 2006;235(4):928-933. doi:10.1002/dvdy.20692","ieee":"T. Langenberg, T. Dracz, A. Oates, C.-P. J. Heisenberg, and M. Brand, “Analysis and visualization of cell movement in the developing zebrafish brain,” Developmental Dynamics, vol. 235, no. 4. Wiley-Blackwell, pp. 928–933, 2006.","short":"T. Langenberg, T. Dracz, A. Oates, C.-P.J. Heisenberg, M. Brand, Developmental Dynamics 235 (2006) 928–933.","chicago":"Langenberg, Tobias, Tadeusz Dracz, Andrew Oates, Carl-Philipp J Heisenberg, and Michael Brand. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.” Developmental Dynamics. Wiley-Blackwell, 2006. https://doi.org/10.1002/dvdy.20692.","ista":"Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. 2006. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 235(4), 928–933."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1"},{"status":"public","type":"journal_article","_id":"4184","title":"Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila","article_processing_charge":"No","publist_id":"1935","author":[{"first_name":"Mathias","last_name":"Köppen","full_name":"Köppen, Mathias"},{"first_name":"Beatriz","last_name":"Fernández","full_name":"Fernández, Beatriz"},{"first_name":"Lara","last_name":"Carvalho","full_name":"Carvalho, Lara"},{"last_name":"Jacinto","full_name":"Jacinto, António","first_name":"António"},{"last_name":"Heisenberg","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T07:55:08Z","citation":{"chicago":"Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development. Company of Biologists, 2006. https://doi.org/doi: 10.1242/dev.02439.","ista":"Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2006. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 133(14), 2671–2681.","mla":"Köppen, Mathias, et al. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development, vol. 133, no. 14, Company of Biologists, 2006, pp. 2671–81, doi:doi: 10.1242/dev.02439.","ama":"Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 2006;133(14):2671-2681. doi:doi: 10.1242/dev.02439","apa":"Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., & Heisenberg, C.-P. J. (2006). Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. Company of Biologists. https://doi.org/doi: 10.1242/dev.02439","ieee":"M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C.-P. J. Heisenberg, “Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila,” Development, vol. 133, no. 14. Company of Biologists, pp. 2671–2681, 2006.","short":"M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, C.-P.J. Heisenberg, Development 133 (2006) 2671–2681."},"intvolume":" 133","month":"07","publisher":"Company of Biologists","oa_version":"None","abstract":[{"lang":"eng","text":"Epithelial morphogenesis depends on coordinated changes in cell shape, a process that is still poorly understood. During zebrafish epiboly and Drosophila dorsal closure, cell-shape changes at the epithelial margin are of critical importance. Here evidence is provided for a conserved mechanism of local actin and myosin 2 recruitment during theses events. It was found that during epiboly of the zebrafish embryo, the movement of the outer epithelium (enveloping layer) over the yolk cell surface involves the constriction of marginal cells. This process depends on the recruitment of actin and myosin 2 within the yolk cytoplasm along the margin of the enveloping layer. Actin and myosin 2 recruitment within the yolk cytoplasm requires the Ste20-like kinase Msn1, an orthologue of Drosophila Misshapen. Similarly, in Drosophila, actin and myosin 2 localization and cell constriction at the margin of the epidermis mediate dorsal closure and are controlled by Misshapen. Thus, this study has characterized a conserved mechanism underlying coordinated cell-shape changes during epithelial morphogenesis."}],"date_created":"2018-12-11T12:07:27Z","volume":133,"date_published":"2006-07-15T00:00:00Z","doi":"doi: 10.1242/dev.02439","issue":"14","page":"2671 - 2681","publication":"Development","language":[{"iso":"eng"}],"day":"15","year":"2006","publication_status":"published"},{"day":"06","publication":"Developmental Cell","language":[{"iso":"eng"}],"publication_status":"published","year":"2006","date_published":"2006-11-06T00:00:00Z","doi":"10.1016/j.devcel.2006.09.023","issue":"5","volume":11,"date_created":"2018-12-11T12:07:39Z","page":"613 - 627","oa_version":"None","abstract":[{"text":"The molecular and cellular mechanisms governing cell motility and directed migration in response to the chemokine SDF-1 are largely unknown. Here, we demonstrate that zebrafish primordial germ cells whose migration is guided by SDF-1 generate bleb-like protrusions that are powered by cytoplasmic flow. Protrusions are formed at sites of higher levels of free calcium where activation of myosin contraction occurs. Separation of the acto-myosin cortex from the plasma membrane at these sites is followed by a flow of cytoplasm into the forming bleb. We propose that polarized activation of the receptor CXCR4 leads to a rise in free calcium that in turn activates myosin contraction in the part of the cell responding to higher levels of the ligand SDF-1. The biased formation of new protrusions in a particular region of the cell in response to SDF-1 defines the leading edge and the direction of cell migration.","lang":"eng"}],"month":"11","intvolume":" 11","publisher":"Cell Press","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T07:55:23Z","citation":{"mla":"Blaser, Heiko, et al. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.” Developmental Cell, vol. 11, no. 5, Cell Press, 2006, pp. 613–27, doi:10.1016/j.devcel.2006.09.023.","apa":"Blaser, H., Reichman Fried, M., Castanon, I., Dumstrei, K., Marlow, F., Kawakami, K., … Raz, E. (2006). Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2006.09.023","ama":"Blaser H, Reichman Fried M, Castanon I, et al. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 2006;11(5):613-627. doi:10.1016/j.devcel.2006.09.023","ieee":"H. Blaser et al., “Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow,” Developmental Cell, vol. 11, no. 5. Cell Press, pp. 613–627, 2006.","short":"H. Blaser, M. Reichman Fried, I. Castanon, K. Dumstrei, F. Marlow, K. Kawakami, L. Solnica Krezel, C.-P.J. Heisenberg, E. Raz, Developmental Cell 11 (2006) 613–627.","chicago":"Blaser, Heiko, Michal Reichman Fried, Irinka Castanon, Karin Dumstrei, Florence Marlow, Koichi Kawakami, Lilianna Solnica Krezel, Carl-Philipp J Heisenberg, and Erez Raz. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.” Developmental Cell. Cell Press, 2006. https://doi.org/10.1016/j.devcel.2006.09.023.","ista":"Blaser H, Reichman Fried M, Castanon I, Dumstrei K, Marlow F, Kawakami K, Solnica Krezel L, Heisenberg C-PJ, Raz E. 2006. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 11(5), 613–627."},"title":"Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow","author":[{"first_name":"Heiko","last_name":"Blaser","full_name":"Blaser, Heiko"},{"first_name":"Michal","last_name":"Reichman Fried","full_name":"Reichman Fried, Michal"},{"full_name":"Castanon, Irinka","last_name":"Castanon","first_name":"Irinka"},{"first_name":"Karin","last_name":"Dumstrei","full_name":"Dumstrei, Karin"},{"first_name":"Florence","full_name":"Marlow, Florence","last_name":"Marlow"},{"first_name":"Koichi","full_name":"Kawakami, Koichi","last_name":"Kawakami"},{"first_name":"Lilianna","full_name":"Solnica Krezel, Lilianna","last_name":"Solnica Krezel"},{"first_name":"Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J"},{"last_name":"Raz","full_name":"Raz, Erez","first_name":"Erez"}],"publist_id":"1898","article_processing_charge":"No","_id":"4218","status":"public","type":"journal_article"},{"_id":"4237","type":"journal_article","status":"public","citation":{"ista":"de Vladar H. 2006. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 238(2), 245–256.","chicago":"Vladar, Harold de. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology. Elsevier, 2006. https://doi.org/3802.","apa":"de Vladar, H. (2006). Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. Elsevier. https://doi.org/3802","ama":"de Vladar H. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 2006;238(2):245-256. doi:3802","ieee":"H. de Vladar, “Density-dependence as a size-independent regulatory mechanism,” Journal of Theoretical Biology, vol. 238, no. 2. Elsevier, pp. 245–256, 2006.","short":"H. de Vladar, Journal of Theoretical Biology 238 (2006) 245–256.","mla":"de Vladar, Harold. “Density-Dependence as a Size-Independent Regulatory Mechanism.” Journal of Theoretical Biology, vol. 238, no. 2, Elsevier, 2006, pp. 245–56, doi:3802."},"date_updated":"2021-01-12T07:55:31Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","article_processing_charge":"No","publist_id":"1878","author":[{"orcid":"0000-0002-5985-7653","full_name":"de Vladar, Harold","last_name":"de Vladar","first_name":"Harold","id":"2A181218-F248-11E8-B48F-1D18A9856A87"}],"title":"Density-dependence as a size-independent regulatory mechanism","abstract":[{"lang":"eng","text":"The growth function of populations is central in biomathematics. The main dogma is the existence of density-dependence mechanisms, which can be modelled with distinct functional forms that depend on the size of the Population. One important class of regulatory functions is the theta-logistic, which generalizes the logistic equation. Using this model as a motivation, this paper introduces a simple dynamical reformulation that generalizes many growth functions. The reformulation consists of two equations, one for population size, and one for the growth rate. Furthermore, the model shows that although population is density-dependent, the dynamics of the growth rate does not depend either on population size, nor on the carrying capacity. Actually, the growth equation is uncoupled from the population size equation, and the model has only two parameters, a Malthusian parameter rho and a competition coefficient theta. Distinct sign combinations of these parameters reproduce not only the family of theta-logistics, but also the van Bertalanffy, Gompertz and Potential Growth equations, among other possibilities. It is also shown that, except for two critical points, there is a general size-scaling relation that includes those appearing in the most important allometric theories, including the recently proposed Metabolic Theory of Ecology. With this model, several issues of general interest are discussed such as the growth of animal population, extinctions, cell growth and allometry, and the effect of environment over a population. (c) 2005 Elsevier Ltd. All rights reserved."}],"oa_version":"None","publisher":"Elsevier","intvolume":" 238","month":"01","year":"2006","publication_status":"published","language":[{"iso":"eng"}],"publication":"Journal of Theoretical Biology","day":"01","page":"245 - 256","date_created":"2018-12-11T12:07:46Z","doi":"3802","volume":238,"date_published":"2006-01-01T00:00:00Z","issue":"2"},{"publist_id":"1879","author":[{"first_name":"Harold","id":"2A181218-F248-11E8-B48F-1D18A9856A87","last_name":"Vladar","orcid":"0000-0002-5985-7653","full_name":"Harold Vladar"},{"first_name":"J.","full_name":"González,J. A","last_name":"González"}],"title":"Dynamic response of cancer under the influence of immunological activity and therapy","citation":{"ista":"de Vladar H, González J. 2006. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology., 91–109.","chicago":"Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2006.","ama":"de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2006:91-109.","apa":"de Vladar, H., & González, J. (2006). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier.","short":"H. de Vladar, J. González, Journal of Theoretical Biology (2006) 91–109.","ieee":"H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology. Elsevier, pp. 91–109, 2006.","mla":"de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, Elsevier, 2006, pp. 91–109."},"date_updated":"2021-01-12T07:55:30Z","extern":1,"type":"journal_article","status":"public","_id":"4235","page":"91 - 109","date_published":"2006-01-01T00:00:00Z","date_created":"2018-12-11T12:07:45Z","year":"2006","publication_status":"published","day":"01","publication":"Journal of Theoretical Biology","quality_controlled":0,"publisher":"Elsevier","month":"01"},{"author":[{"first_name":"Denis","full_name":"Roze, Denis","last_name":"Roze"},{"last_name":"Barton","orcid":"0000-0002-8548-5240","full_name":"Nicholas Barton","first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"1854","title":"The Hill-Robertson effect and the evolution of recombination","date_updated":"2021-01-12T07:55:36Z","citation":{"ista":"Roze D, Barton NH. 2006. The Hill-Robertson effect and the evolution of recombination. Genetics. 173(3), 1793–1811.","chicago":"Roze, Denis, and Nicholas H Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics. Genetics Society of America, 2006. https://doi.org/10.1534/genetics.106.058586 .","apa":"Roze, D., & Barton, N. H. (2006). The Hill-Robertson effect and the evolution of recombination. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.106.058586 ","ama":"Roze D, Barton NH. The Hill-Robertson effect and the evolution of recombination. Genetics. 2006;173(3):1793-1811. doi:10.1534/genetics.106.058586 ","short":"D. Roze, N.H. Barton, Genetics 173 (2006) 1793–1811.","ieee":"D. Roze and N. H. Barton, “The Hill-Robertson effect and the evolution of recombination,” Genetics, vol. 173, no. 3. Genetics Society of America, pp. 1793–1811, 2006.","mla":"Roze, Denis, and Nicholas H. Barton. “The Hill-Robertson Effect and the Evolution of Recombination.” Genetics, vol. 173, no. 3, Genetics Society of America, 2006, pp. 1793–811, doi:10.1534/genetics.106.058586 ."},"extern":1,"type":"journal_article","status":"public","_id":"4248","page":"1793 - 1811","issue":"3","doi":"10.1534/genetics.106.058586 ","date_published":"2006-07-01T00:00:00Z","volume":173,"date_created":"2018-12-11T12:07:50Z","publication_status":"published","year":"2006","day":"01","publication":"Genetics","quality_controlled":0,"publisher":"Genetics Society of America","month":"07","intvolume":" 173","abstract":[{"lang":"eng","text":"In finite populations, genetic drift generates interference between selected loci, causing advantageous alleles to be found more often on different chromosomes than on the same chromosome, which reduces the rate of adaptation. This “Hill–Robertson effect” generates indirect selection to increase recombination rates. We present a new method to quantify the strength of this selection. Our model represents a new beneficial allele (A) entering a population as a single copy, while another beneficial allele (B) is sweeping at another locus. A third locus affects the recombination rate between selected loci. Using a branching process model, we calculate the probability distribution of the number of copies of A on the different genetic backgrounds, after it is established but while it is still rare. Then, we use a deterministic model to express the change in frequency of the recombination modifier, due to hitchhiking, as A goes to fixation. We show that this method can give good estimates of selection for recombination. Moreover, it shows that recombination is selected through two different effects: it increases the fixation probability of new alleles, and it accelerates selective sweeps. The relative importance of these two effects depends on the relative times of occurrence of the beneficial alleles."}]},{"type":"review","status":"public","_id":"4250","publist_id":"1850","author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","full_name":"Nicholas Barton","orcid":"0000-0002-8548-5240","last_name":"Barton"}],"title":"Evolutionary Biology: How did the human species form?","citation":{"ieee":"N. H. Barton, “Evolutionary Biology: How did the human species form?,” Current Biology, vol. 16, no. 16. Cell Press, pp. 647–650, 2006.","short":"N.H. Barton, Current Biology 16 (2006) 647–650.","apa":"Barton, N. H. (2006). Evolutionary Biology: How did the human species form? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.07.032","ama":"Barton NH. Evolutionary Biology: How did the human species form? Current Biology. 2006;16(16):647-650. doi:10.1016/j.cub.2006.07.032","mla":"Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?” Current Biology, vol. 16, no. 16, Cell Press, 2006, pp. 647–50, doi:10.1016/j.cub.2006.07.032.","ista":"Barton NH. 2006. Evolutionary Biology: How did the human species form? Current Biology. 16(16), 647–650.","chicago":"Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?” Current Biology. Cell Press, 2006. https://doi.org/10.1016/j.cub.2006.07.032."},"date_updated":"2019-04-26T07:22:41Z","extern":1,"publisher":"Cell Press","quality_controlled":0,"intvolume":" 16","month":"08","abstract":[{"text":"A recent analysis has shown that divergence between human and chimpanzee varies greatly across the genome. Although this is consistent with ‘hybridisation’ between the diverging human and chimp lineages, such observations can be explained more simply by the null model of allopatric speciation.","lang":"eng"}],"page":"647 - 650","date_created":"2018-12-11T12:07:51Z","volume":16,"doi":"10.1016/j.cub.2006.07.032","date_published":"2006-08-22T00:00:00Z","issue":"16","year":"2006","publication_status":"published","publication":"Current Biology","day":"22"},{"title":"Field Constraint Analysis","author":[{"full_name":"Thomas Wies","last_name":"Wies","first_name":"Thomas","id":"447BFB88-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kuncak, Viktor","last_name":"Kuncak","first_name":"Viktor"},{"first_name":"Patrick","full_name":"Lam,Patrick","last_name":"Lam"},{"full_name":"Podelski,Andreas","last_name":"Podelski","first_name":"Andreas"},{"first_name":"Martin","full_name":"Rinard,Martin","last_name":"Rinard"}],"publist_id":"1097","extern":1,"citation":{"ista":"Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field Constraint Analysis. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 3855, , 157–173.","chicago":"Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis,” 157–73. Springer, 2006. https://doi.org/1551.","short":"T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.","ieee":"T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard, “Field Constraint Analysis,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2006, pp. 157–173.","ama":"Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field Constraint Analysis. In: Springer; 2006:157-173. doi:1551","apa":"Wies, T., Kuncak, V., Lam, P., Podelski, A., & Rinard, M. (2006). Field Constraint Analysis (pp. 157–173). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1551","mla":"Wies, Thomas, et al. Field Constraint Analysis. Springer, 2006, pp. 157–73, doi:1551."},"date_updated":"2021-01-12T07:56:23Z","status":"public","type":"conference","conference":{"name":"VMCAI: Verification, Model Checking and Abstract Interpretation"},"_id":"4359","date_published":"2006-01-01T00:00:00Z","doi":"1551","date_created":"2018-12-11T12:08:27Z","page":"157 - 173","day":"01","year":"2006","publication_status":"published","month":"01","alternative_title":["LNCS 3855"],"quality_controlled":0,"publisher":"Springer"},{"status":"public","type":"conference","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"_id":"4373","title":"Real Time Temporal Logic: Past, Present, Future","author":[{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"},{"last_name":"Nickovic","full_name":"Dejan Nickovic","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Pnueli,Amir","last_name":"Pnueli","first_name":"Amir"}],"publist_id":"1084","extern":1,"date_updated":"2021-01-12T07:56:29Z","citation":{"apa":"Maler, O., Nickovic, D., & Pnueli, A. (2006). Real Time Temporal Logic: Past, Present, Future (pp. 2–16). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1571","ama":"Maler O, Nickovic D, Pnueli A. Real Time Temporal Logic: Past, Present, Future. In: Springer; 2006:2-16. doi:1571","short":"O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.","ieee":"O. Maler, D. Nickovic, and A. Pnueli, “Real Time Temporal Logic: Past, Present, Future,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 2–16.","mla":"Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.","ista":"Maler O, Nickovic D, Pnueli A. 2006. Real Time Temporal Logic: Past, Present, Future. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 2–16.","chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future,” 2–16. Springer, 2006. https://doi.org/1571."},"month":"01","alternative_title":["LNCS"],"publisher":"Springer","quality_controlled":0,"date_published":"2006-01-23T00:00:00Z","doi":"1571","date_created":"2018-12-11T12:08:31Z","page":"2 - 16","day":"23","publication_status":"published","year":"2006"},{"day":"19","year":"2006","publication_status":"published","doi":"1570","date_published":"2006-10-19T00:00:00Z","date_created":"2018-12-11T12:08:31Z","page":"274 - 289","month":"10","quality_controlled":0,"publisher":"Springer","alternative_title":["LNCS"],"extern":1,"citation":{"chicago":"Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,” 274–89. Springer, 2006. https://doi.org/1570.","ista":"Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 274–289.","mla":"Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.","ieee":"O. Maler, D. Nickovic, and A. Pnueli, “From MITL to Timed Automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, pp. 274–289.","short":"O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.","apa":"Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1570","ama":"Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:1570"},"date_updated":"2021-01-12T07:56:30Z","title":"From MITL to Timed Automata","author":[{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"},{"full_name":"Dejan Nickovic","last_name":"Nickovic","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","first_name":"Dejan"},{"first_name":"Amir","full_name":"Pnueli,Amir","last_name":"Pnueli"}],"publist_id":"1085","_id":"4374","status":"public","type":"conference","conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"}},{"day":"08","year":"2006","publication_status":"published","date_created":"2018-12-11T12:08:41Z","volume":4144,"doi":"10.1007/11817963_5","date_published":"2006-08-08T00:00:00Z","page":"17 - 30","acknowledgement":"This research was supported in part by the NSF grants CCR-0234690 and CCR-0225610, and the Belgian FNRS grant 2.4530.02 of the FRFC project “Centre Fédéré en Vérification.”","abstract":[{"lang":"eng","text":"We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction to explicitly determinize the automaton, we keep the determinization step implicit. Our algorithm computes the least fixed point of a monotone function on the lattice of antichains of state sets. We evaluate the performance of our algorithm experimentally using the random automaton model recently proposed by Tabakov and Vardi. We show that on the difficult instances of this probabilistic model, the antichain algorithm outperforms the standard one by several orders of magnitude. We also show how variations of the antichain method can be used for solving the language-inclusion problem for nondeterministic finite automata, and the emptiness problem for alternating finite automata."}],"intvolume":" 4144","month":"08","alternative_title":["LNCS"],"publisher":"Springer","quality_controlled":0,"extern":1,"citation":{"ista":"De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.","chicago":"De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,” 4144:17–30. Springer, 2006. https://doi.org/10.1007/11817963_5.","ieee":"M. De Wulf, L. Doyen, T. A. Henzinger, and J. Raskin, “Antichains: A new algorithm for checking universality of finite automata,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 17–30.","short":"M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.","apa":"De Wulf, M., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_5","ama":"De Wulf M, Doyen L, Henzinger TA, Raskin J. Antichains: A new algorithm for checking universality of finite automata. In: Vol 4144. Springer; 2006:17-30. doi:10.1007/11817963_5","mla":"De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5."},"date_updated":"2021-01-12T07:56:45Z","title":"Antichains: A new algorithm for checking universality of finite automata","author":[{"first_name":"Martin","last_name":"De Wulf","full_name":"De Wulf, Martin"},{"first_name":"Laurent","last_name":"Doyen","full_name":"Doyen, Laurent"},{"orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Raskin","full_name":"Raskin, Jean-François","first_name":"Jean"}],"publist_id":"326","_id":"4406","status":"public","conference":{"name":"CAV: Computer Aided Verification"},"type":"conference"},{"title":"Preserving Secrecy Under Refinement","author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"last_name":"Cerny","full_name":"Pavol Cerny","first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Zdancewic","full_name":"Zdancewic,Steve","first_name":"Steve"}],"publist_id":"1054","extern":1,"citation":{"mla":"Alur, Rajeev, et al. Preserving Secrecy Under Refinement. Springer, 2006, pp. 107–18, doi:1543.","short":"R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.","ieee":"R. Alur, P. Cerny, and S. Zdancewic, “Preserving Secrecy Under Refinement,” presented at the ICALP: Automata, Languages and Programming, 2006, pp. 107–118.","apa":"Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/1543","ama":"Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543","chicago":"Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,” 107–18. Springer, 2006. https://doi.org/1543.","ista":"Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, , 107–118."},"date_updated":"2021-01-12T07:56:42Z","status":"public","conference":{"name":"ICALP: Automata, Languages and Programming"},"type":"conference","_id":"4401","date_created":"2018-12-11T12:08:40Z","date_published":"2006-01-01T00:00:00Z","doi":"1543","page":"107 - 118","day":"01","publication_status":"published","year":"2006","month":"01","alternative_title":["LNCS"],"quality_controlled":0,"publisher":"Springer"},{"publist_id":"295","author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"full_name":"Piterman, Nir","last_name":"Piterman","first_name":"Nir"}],"title":"Solving games without determinization","citation":{"chicago":"Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,” 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.","ista":"Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.","mla":"Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.","short":"T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.","ieee":"T. A. Henzinger and N. Piterman, “Solving games without determinization,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 395–410.","apa":"Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26","ama":"Henzinger TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26"},"date_updated":"2021-01-12T07:56:58Z","extern":1,"type":"conference","conference":{"name":"CSL: Computer Science Logic"},"status":"public","_id":"4437","page":"395 - 410","doi":"10.1007/11874683_26","volume":4207,"date_published":"2006-09-20T00:00:00Z","date_created":"2018-12-11T12:08:51Z","year":"2006","publication_status":"published","day":"20","alternative_title":["LNCS"],"publisher":"Springer","quality_controlled":0,"month":"09","intvolume":" 4207","abstract":[{"text":"The synthesis of reactive systems requires the solution of two-player games on graphs with ω-regular objectives. When the objective is specified by a linear temporal logic formula or nondeterministic Büchi automaton, then previous algorithms for solving the game require the construction of an equivalent deterministic automaton. However, determinization for automata on infinite words is extremely complicated, and current implementations fail to produce deterministic automata even for relatively small inputs. We show how to construct, from a given nondeterministic Büchi automaton, an equivalent nondeterministic parity automaton that is good for solving games with objective . The main insight is that a nondeterministic automaton is good for solving games if it fairly simulates the equivalent deterministic automaton. In this way, we omit the determinization step in game solving and reactive synthesis. The fact that our automata are nondeterministic makes them surprisingly simple, amenable to symbolic implementation, and allows an incremental search for winning strategies.","lang":"eng"}],"acknowledgement":"This research was supported in part by the Swiss National Science Foundation."},{"doi":"10.1109/RTAS.2006.11","date_published":"2006-04-24T00:00:00Z","date_created":"2018-12-11T12:08:50Z","page":"253 - 266","day":"24","publication_status":"published","year":"2006","month":"04","publisher":"IEEE","quality_controlled":0,"abstract":[{"lang":"eng","text":"We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component interface consists of an arrival rate function and a latency for each task sequence, and a capacity function for the shared resource. The interface specifies that the component guarantees certain task latencies depending on assumptions about task arrival rates and allocated resource capacities. Our algebra defines compatibility and refinement relations on interfaces. Interface compatibility can be checked on partial designs, even when some component interfaces are yet unknown. In this case interface composition computes as new assumptions the weakest constraints on the unknown components that are necessary to satisfy the specified guarantees. Interface refinement is defined in a way that ensures that compatible interfaces can be refined and implemented independently. Our algebra thus formalizes an interface-based design methodology that supports both the incremental addition of new components and the independent stepwise refinement of existing components. We demonstrate the flexibility and efficiency of the framework through simulation experiments."}],"title":"An interface algebra for real-time components","publist_id":"294","author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724"},{"first_name":"Slobodan","full_name":"Matic, Slobodan","last_name":"Matic"}],"extern":1,"citation":{"ista":"Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.","chicago":"Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,” 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.","apa":"Henzinger, T. A., & Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE. https://doi.org/10.1109/RTAS.2006.11","ama":"Henzinger TA, Matic S. An interface algebra for real-time components. In: IEEE; 2006:253-266. doi:10.1109/RTAS.2006.11","ieee":"T. A. Henzinger and S. Matic, “An interface algebra for real-time components,” presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, 2006, pp. 253–266.","short":"T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.","mla":"Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11."},"date_updated":"2021-01-12T07:56:57Z","status":"public","type":"conference","conference":{"name":"RTAS: Real-time and Embedded Technology and Applications Symposium"},"_id":"4436"},{"page":"1 - 17","date_created":"2018-12-11T12:08:49Z","date_published":"2006-09-19T00:00:00Z","doi":"10.1007/11867340_1","volume":4202,"publication_status":"published","year":"2006","day":"19","publisher":"Springer","alternative_title":["LNCS"],"quality_controlled":0,"intvolume":" 4202","month":"09","abstract":[{"text":"We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL by restricting the players to physically meaningful strategies, which do not prevent time from diverging. We show that TATL can be model checked over timed automaton games. We also specify timed optimization problems for physically meaningful strategies, and we show that for timed automaton games, the optimal answers can be approximated to within any degree of precision.","lang":"eng"}],"acknowledgement":"This research was supported in part by the NSF grants CCR-0208875, CCR-0225610, and CCR-0234690.","publist_id":"296","author":[{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Vinayak","last_name":"Prabhu","full_name":"Prabhu, Vinayak S"}],"title":"Timed alternating-time temporal logic","citation":{"chicago":"Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,” 4202:1–17. Springer, 2006. https://doi.org/10.1007/11867340_1.","ista":"Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.","mla":"Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.","apa":"Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11867340_1","ama":"Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Vol 4202. Springer; 2006:1-17. doi:10.1007/11867340_1","ieee":"T. A. Henzinger and V. Prabhu, “Timed alternating-time temporal logic,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2006, vol. 4202, pp. 1–17.","short":"T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17."},"date_updated":"2021-01-12T07:56:56Z","extern":1,"conference":{"name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"type":"conference","status":"public","_id":"4432"},{"status":"public","conference":{"name":"FM: Formal Methods"},"type":"conference","_id":"4431","title":"The embedded systems design challenge","publist_id":"301","author":[{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"full_name":"Sifakis, Joseph","last_name":"Sifakis","first_name":"Joseph"}],"extern":1,"citation":{"ama":"Henzinger TA, Sifakis J. The embedded systems design challenge. In: Vol 4085. Springer; 2006:1-15. doi:10.1007/11813040_1","apa":"Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer. https://doi.org/10.1007/11813040_1","short":"T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.","ieee":"T. A. Henzinger and J. Sifakis, “The embedded systems design challenge,” presented at the FM: Formal Methods, 2006, vol. 4085, pp. 1–15.","mla":"Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.","ista":"Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085, 1–15.","chicago":"Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,” 4085:1–15. Springer, 2006. https://doi.org/10.1007/11813040_1."},"date_updated":"2021-01-12T07:56:55Z","intvolume":" 4085","month":"08","publisher":"Springer","alternative_title":["LNCS"],"quality_controlled":0,"acknowledgement":"Supported in part by the ARTIST2 European Network of Excellence on Embedded Systems Design, by the NSF ITR Center on Hybrid and Embedded Software Systems (CHESS), and by the SNSF NCCR on Mobile Information and Communication Systems (MICS).","abstract":[{"lang":"eng","text":"We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safety-critical and best-effort engineering practices. We call for a coherent scientific foundation for embedded systems design, and we discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the need for constructivity in design. We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science."}],"date_created":"2018-12-11T12:08:49Z","volume":4085,"doi":"10.1007/11813040_1","date_published":"2006-08-10T00:00:00Z","page":"1 - 15","day":"10","publication_status":"published","year":"2006"},{"day":"28","publication":"Theoretical Computer Science","year":"2006","publication_status":"published","volume":354,"date_published":"2006-03-28T00:00:00Z","doi":"10.1016/j.tcs.2005.11.015","issue":"2","date_created":"2018-12-11T12:08:55Z","page":"173 - 186","abstract":[{"text":"One source of complexity in the μ-calculus is its ability to specify an unbounded number of switches between universal (AX) and existential (EX) branching modes. We therefore study the problems of satisfiability, validity, model checking, and implication for the universal and existential fragments of the μ-calculus, in which only one branching mode is allowed. The universal fragment is rich enough to express most specifications of interest, and therefore improved algorithms are of practical importance. We show that while the satisfiability and validity problems become indeed simpler for the existential and universal fragments, this is, unfortunately, not the case for model checking and implication. We also show the corresponding results for the alternation-free fragment of the μ-calculus, where no alternations between least and greatest fixed points are allowed. Our results imply that efforts to find a polynomial-time model-checking algorithm for the μ-calculus can be replaced by efforts to find such an algorithm for the universal or existential fragment.","lang":"eng"}],"month":"03","intvolume":" 354","publisher":"Elsevier","quality_controlled":0,"extern":1,"date_updated":"2021-01-12T07:57:04Z","citation":{"chicago":"Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2005.11.015.","ista":"Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.","mla":"Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.","ieee":"T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” Theoretical Computer Science, vol. 354, no. 2. Elsevier, pp. 173–186, 2006.","short":"T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.","ama":"Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 2006;354(2):173-186. doi:10.1016/j.tcs.2005.11.015","apa":"Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.11.015"},"title":"On the universal and existential fragments of the mu-calculus","publist_id":"276","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","last_name":"Henzinger"},{"first_name":"Orna","full_name":"Kupferman, Orna","last_name":"Kupferman"},{"last_name":"Majumdar","full_name":"Majumdar, Ritankar S","first_name":"Ritankar"}],"_id":"4451","status":"public","type":"journal_article"},{"quality_controlled":0,"publisher":"ACM","month":"01","abstract":[{"text":"We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and for these programs the property checking problem is undecidable. Two broad approaches to property checking are testing and verification. Testing tries to find inputs and executions which demonstrate violations of the property. Verification tries to construct a formal proof which shows that all executions of the program satisfy the property. Testing works best when errors are easy to find, but it is often difficult to achieve sufficient coverage for correct programs. On the other hand, verification methods are most successful when proofs are easy to find, but they are often inefficient at discovering errors. We propose a new algorithm, Synergy, which combines testing and verification. Synergy unifies several ideas from the literature, including counterexample-guided model checking, directed testing, and partition refinement.This paper presents a description of the Synergy algorithm, its theoretical properties, a comparison with related algorithms, and a prototype implementation called Yogi.","lang":"eng"}],"page":"117 - 127","date_created":"2018-12-11T12:09:18Z","doi":"10.1145/1181775.1181790","date_published":"2006-01-01T00:00:00Z","year":"2006","publication_status":"published","day":"01","conference":{"name":"FSE: Foundations of Software Engineering"},"type":"conference","status":"public","_id":"4523","author":[{"full_name":"Gulavani, Bhargav S","last_name":"Gulavani","first_name":"Bhargav"},{"orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Yamini","last_name":"Kannan","full_name":"Kannan, Yamini"},{"first_name":"Aditya","full_name":"Nori, Aditya V","last_name":"Nori"},{"full_name":"Rajamani, Sriram K","last_name":"Rajamani","first_name":"Sriram"}],"publist_id":"206","title":"Synergy: A new algorithm for property checking","citation":{"ama":"Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. Synergy: A new algorithm for property checking. In: ACM; 2006:117-127. doi:10.1145/1181775.1181790","apa":"Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., & Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1181775.1181790","short":"B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.","ieee":"B. Gulavani, T. A. Henzinger, Y. Kannan, A. Nori, and S. Rajamani, “Synergy: A new algorithm for property checking,” presented at the FSE: Foundations of Software Engineering, 2006, pp. 117–127.","mla":"Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.","ista":"Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering, 117–127.","chicago":"Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,” 117–27. ACM, 2006. https://doi.org/10.1145/1181775.1181790."},"date_updated":"2021-01-12T07:59:26Z","extern":1},{"month":"01","quality_controlled":0,"publisher":"ACM","abstract":[{"lang":"eng","text":"We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the language,and ensured by the compiler. Programs in HTL are extensible in two dimensions without changing their timing behavior: new program modules can be added, and individual program tasks can be refined. The mechanism supporting time invariance under parallel composition is that different program modules communicate at specified instances of time. Time invariance under refinement is achieved by conservative scheduling of the top level. HTL is a coordination language, in that individual tasks can be implemented in "foreign" languages. As a case study, we present a distributed HTL implementation of an automotive steer-by-wire controller."}],"date_created":"2018-12-11T12:09:18Z","doi":"10.1145/1176887.1176907","date_published":"2006-01-01T00:00:00Z","page":"132 - 141","day":"01","publication_status":"published","year":"2006","status":"public","conference":{"name":"EMSOFT: Embedded Software "},"type":"conference","_id":"4526","title":"A hierarchical coordination language for interacting real-time tasks","publist_id":"201","author":[{"first_name":"Arkadeb","last_name":"Ghosal","full_name":"Ghosal, Arkadeb"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger"},{"last_name":"Iercan","full_name":"Iercan, Daniel","first_name":"Daniel"},{"first_name":"Christoph","last_name":"Kirsch","full_name":"Kirsch, Christoph M"},{"last_name":"Sangiovanni Vincentelli","full_name":"Sangiovanni-Vincentelli, Alberto","first_name":"Alberto"}],"extern":1,"date_updated":"2021-01-12T07:59:27Z","citation":{"ama":"Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: ACM; 2006:132-141. doi:10.1145/1176887.1176907","apa":"Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907","short":"A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.","ieee":"A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni Vincentelli, “A hierarchical coordination language for interacting real-time tasks,” presented at the EMSOFT: Embedded Software , 2006, pp. 132–141.","mla":"Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.","ista":"Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. EMSOFT: Embedded Software , 132–141.","chicago":"Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907."}},{"citation":{"ista":"Fisher J, Henzinger TA. 2006. Executable biology. WSC: Winter Simulation Conference, 1675–1682.","chicago":"Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,” 1675–82. IEEE, 2006. https://doi.org/10.1109/WSC.2006.322942.","ieee":"J. Fisher and T. A. Henzinger, “Executable biology,” presented at the WSC: Winter Simulation Conference, 2006, pp. 1675–1682.","short":"J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.","apa":"Fisher, J., & Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE. https://doi.org/10.1109/WSC.2006.322942","ama":"Fisher J, Henzinger TA. Executable biology. In: IEEE; 2006:1675-1682. doi:10.1109/WSC.2006.322942","mla":"Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942."},"date_updated":"2021-01-12T07:59:28Z","extern":1,"publist_id":"197","author":[{"last_name":"Fisher","full_name":"Fisher, Jasmin","first_name":"Jasmin"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger"}],"title":"Executable biology","_id":"4528","type":"conference","conference":{"name":"WSC: Winter Simulation Conference"},"status":"public","year":"2006","publication_status":"published","day":"03","page":"1675 - 1682","doi":"10.1109/WSC.2006.322942","date_published":"2006-12-03T00:00:00Z","date_created":"2018-12-11T12:09:19Z","abstract":[{"text":"Computational modeling of biological systems is becoming increasingly common as scientists attempt to understand biological phenomena in their full complexity. Here we distinguish between two types of biological models mathematical and computational - according to their different representations of biological phenomena and their diverse potential. We call the approach of constructing computational models of biological systems executable biology, as it focuses on the design of executable computer algorithms that mimic biological phenomena. We give an overview of the main modeling efforts in this direction, and discuss some of the new challenges that executable biology poses for computer science and biology. We argue that for executable biology to reach its full potential as a mainstream biological technique, formal and algorithmic approaches must be integrated into biological research, driving biology towards a more precise engineering discipline.","lang":"eng"}],"publisher":"IEEE","quality_controlled":0,"month":"12"},{"extern":1,"date_updated":"2021-01-12T07:59:32Z","citation":{"mla":"Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.","apa":"Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17","ama":"Chatterjee K, Henzinger TA. Finitary winning in omega-regular games. In: Vol 3920. Springer; 2006:257-271. doi:10.1007/11691372_17","short":"K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.","ieee":"K. Chatterjee and T. A. Henzinger, “Finitary winning in omega-regular games,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2006, vol. 3920, pp. 257–271.","chicago":"Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,” 3920:257–71. Springer, 2006. https://doi.org/10.1007/11691372_17.","ista":"Chatterjee K, Henzinger TA. 2006. Finitary winning in omega-regular games. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 3920, 257–271."},"title":"Finitary winning in omega-regular games","publist_id":"183","author":[{"full_name":"Krishnendu Chatterjee","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"_id":"4539","status":"public","type":"conference","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"day":"15","publication_status":"published","year":"2006","volume":3920,"date_published":"2006-03-15T00:00:00Z","doi":"10.1007/11691372_17","date_created":"2018-12-11T12:09:22Z","page":"257 - 271","acknowledgement":"This research was supported in part by the AFOSR MURI grant F49620-00-1-0327 and the NSF ITR grant CCR-0225610.","abstract":[{"lang":"eng","text":"Games on graphs with ω-regular objectives provide a model for the control and synthesis of reactive systems. Every ω-regular objective can be decomposed into a safety part and a liveness part. The liveness part ensures that something good happens “eventually.” Two main strengths of the classical, infinite-limit formulation of liveness are robustness (independence from the granularity of transitions) and simplicity (abstraction of complicated time bounds). However, the classical liveness formulation suffers from the drawback that the time until something good happens may be unbounded. A stronger formulation of liveness, so-called finitary liveness, overcomes this drawback, while still retaining robustness and simplicity. Finitary liveness requires that there exists an unknown, fixed bound b such that something good happens within b transitions. While for one-shot liveness (reachability) objectives, classical and finitary liveness coincide, for repeated liveness (Büchi) objectives, the finitary formulation is strictly stronger. In this work we study games with finitary parity and Streett (fairness) objectives. We prove the determinacy of these games, present algorithms for solving these games, and characterize the memory requirements of winning strategies. Our algorithms can be used, for example, for synthesizing controllers that do not let the response time of a system increase without bound."}],"month":"03","intvolume":" 3920","quality_controlled":0,"publisher":"Springer","alternative_title":["LNCS"]},{"day":"14","publication_status":"published","year":"2006","date_created":"2018-12-11T12:09:22Z","doi":"10.1007/11672142_42","volume":3884,"date_published":"2006-02-14T00:00:00Z","page":"512 - 523","abstract":[{"text":"A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with ω-regular winning conditions specified as parity objectives. These games lie in NP ∩ coNP. We present a strategy improvement algorithm for stochastic parity games; this is the first non-brute-force algorithm for solving these games. From the strategy improvement algorithm we obtain a randomized subexponential-time algorithm to solve such games.","lang":"eng"}],"intvolume":" 3884","month":"02","alternative_title":["LNCS"],"quality_controlled":0,"publisher":"Springer","extern":1,"citation":{"chicago":"Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.","ista":"Chatterjee K, Henzinger TA. 2006. Strategy improvement and randomized subexponential algorithms for stochastic parity games. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 512–523.","mla":"Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.","ama":"Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games. In: Vol 3884. Springer; 2006:512-523. doi:10.1007/11672142_42","apa":"Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42","short":"K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.","ieee":"K. Chatterjee and T. A. Henzinger, “Strategy improvement and randomized subexponential algorithms for stochastic parity games,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 512–523."},"date_updated":"2021-01-12T07:59:32Z","title":"Strategy improvement and randomized subexponential algorithms for stochastic parity games","publist_id":"184","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Krishnendu Chatterjee","last_name":"Chatterjee"},{"full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"_id":"4538","status":"public","conference":{"name":"STACS: Theoretical Aspects of Computer Science"},"type":"conference"},{"title":"Markov decision processes with multiple objectives","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Krishnendu Chatterjee","orcid":"0000-0002-4561-241X"},{"first_name":"Ritankar","full_name":"Majumdar, Ritankar S","last_name":"Majumdar"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","last_name":"Henzinger"}],"publist_id":"161","extern":1,"date_updated":"2021-01-12T07:59:38Z","citation":{"chicago":"Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.","ista":"Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 325–336.","mla":"Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.","apa":"Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_26","ama":"Chatterjee K, Majumdar R, Henzinger TA. Markov decision processes with multiple objectives. In: Vol 3884. Springer; 2006:325-336. doi:10.1007/11672142_26","short":"K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.","ieee":"K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Markov decision processes with multiple objectives,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 325–336."},"status":"public","conference":{"name":"STACS: Theoretical Aspects of Computer Science"},"type":"conference","_id":"4551","date_created":"2018-12-11T12:09:26Z","volume":3884,"date_published":"2006-02-14T00:00:00Z","doi":"10.1007/11672142_26","page":"325 - 336","day":"14","year":"2006","publication_status":"published","intvolume":" 3884","month":"02","publisher":"Springer","quality_controlled":0,"alternative_title":["LNCS"],"acknowledgement":"This research was supported in part by the AFOSR MURI grant F49620-00-1-0327, and the NSF grants CCR-0225610, CCR-0234690, and CCR-0427202.","abstract":[{"lang":"eng","text":"We consider Markov decision processes (MDPs) with multiple discounted reward objectives. Such MDPs occur in design problems where one wishes to simultaneously optimize several criteria, for example, latency and power. The possible trade-offs between the different objectives are characterized by the Pareto curve. We show that every Pareto-optimal point can be achieved by a memoryless strategy; however, unlike in the single-objective case, the memoryless strategy may require randomization. Moreover, we show that the Pareto curve can be approximated in polynomial time in the size of the MDP. Additionally, we study the problem if a given value vector is realizable by any strategy, and show that it can be decided in polynomial time; but the question whether it is realizable by a deterministic memoryless strategy is NP-complete. These results provide efficient algorithms for design exploration in MDP models with multiple objectives.\nThis research was supported in part by the AFOSR MURI grant F49620-00-1-0327, and the NSF grants CCR-0225610, CCR-0234690, and CCR-0427202. "}]},{"quality_controlled":0,"publisher":"Elsevier","intvolume":" 365","month":"08","abstract":[{"lang":"eng","text":"In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we consider lexicographic objectives: first, each player tries to maximize her own payoff, and then, the player tries to minimize the opponent's payoff. Such objectives arise naturally in the verification of systems with multiple components. There, instead of proving that each component satisfies its specification no matter how the other components behave, it sometimes suffices to prove that each component satisfies its specification provided that the other components satisfy their specifications. We say that a Nash equilibrium is secure if it is an equilibrium with respect to the lexicographic objectives of both players. We prove that in graph games with Borel winning conditions, which include the games that arise in verification, there may be several Nash equilibria, but there is always a unique maximal payoff profile of a secure equilibrium. We show how this equilibrium can be computed in the case of ω-regular winning conditions, and we characterize the memory requirements of strategies that achieve the equilibrium."}],"page":"67 - 82","date_created":"2018-12-11T12:09:26Z","volume":365,"doi":"10.1016/j.tcs.2006.07.032","issue":"1-2","date_published":"2006-08-07T00:00:00Z","year":"2006","publication_status":"published","publication":"Theoretical Computer Science","day":"07","type":"journal_article","status":"public","_id":"4550","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Krishnendu Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jurdziński, Marcin","last_name":"Jurdziński","first_name":"Marcin"}],"publist_id":"164","title":"Games with secure equilibria","date_updated":"2021-01-12T07:59:38Z","citation":{"ista":"Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2006.07.032.","short":"K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.","ieee":"K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” Theoretical Computer Science, vol. 365, no. 1–2. Elsevier, pp. 67–82, 2006.","ama":"Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. Theoretical Computer Science. 2006;365(1-2):67-82. doi:10.1016/j.tcs.2006.07.032","apa":"Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2006.07.032","mla":"Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032."},"extern":1},{"publist_id":"163","author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Krishnendu Chatterjee","last_name":"Chatterjee"},{"first_name":"Luca","last_name":"De Alfaro","full_name":"de Alfaro, Luca"},{"full_name":"Faella, Marco","last_name":"Faella","first_name":"Marco"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger"},{"first_name":"Ritankar","full_name":"Majumdar, Ritankar S","last_name":"Majumdar"},{"first_name":"Mariëlle","last_name":"Stoelinga","full_name":"Stoelinga, Mariëlle"}],"title":"Compositional quantitative reasoning","citation":{"mla":"Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.","ama":"Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Compositional quantitative reasoning. In: IEEE; 2006:179-188. doi:10.1109/QEST.2006.11","apa":"Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.11","ieee":"K. Chatterjee, L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Compositional quantitative reasoning,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 179–188.","short":"K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.","chicago":"Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,” 179–88. IEEE, 2006. https://doi.org/10.1109/QEST.2006.11.","ista":"Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems, 179–188."},"date_updated":"2021-01-12T07:59:37Z","extern":1,"conference":{"name":"QEST: Quantitative Evaluation of Systems"},"type":"conference","status":"public","_id":"4549","page":"179 - 188","date_created":"2018-12-11T12:09:26Z","date_published":"2006-09-01T00:00:00Z","doi":"10.1109/QEST.2006.11","year":"2006","publication_status":"published","day":"01","publisher":"IEEE","quality_controlled":0,"month":"09","abstract":[{"lang":"eng","text":"We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantitative system properties, such as resource consumption, price, or a measure of how well a system satisfies its specification. The theory supports the composition of systems and specifications, and the hiding of variables. Boolean refinement relations are replaced by real-numbered distances between descriptions of a system at different levels of detail. We show that the classical Boolean rules for compositional reasoning have quantitative counterparts in our setting. While our general theory allows costs to be specified by arbitrary cost functions, we also consider a class of linear cost functions, which give rise to an instance of our framework where all operations are computable in polynomial time."}],"acknowledgement":"Supported in part by the NSF grants CCR-0234690, CCR-0208875, and CCR-0225610; by the NSF grant CCR-0132780 and ARP grant SC20051123."},{"date_updated":"2021-01-12T07:59:39Z","citation":{"apa":"Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48","ama":"Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48","ieee":"K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.","short":"K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.","mla":"Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.","ista":"Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems, 291–300.","chicago":"Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,” 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48."},"extern":1,"author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Krishnendu Chatterjee","last_name":"Chatterjee"},{"last_name":"De Alfaro","full_name":"de Alfaro, Luca","first_name":"Luca"},{"last_name":"Henzinger","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"162","title":"Strategy improvement for concurrent reachability games","_id":"4552","type":"conference","conference":{"name":"QEST: Quantitative Evaluation of Systems"},"status":"public","year":"2006","publication_status":"published","day":"01","page":"291 - 300","doi":"10.1109/QEST.2006.48","date_published":"2006-01-01T00:00:00Z","date_created":"2018-12-11T12:09:26Z","abstract":[{"text":"A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a probability distribution over the successor states. The objective for player 1 consists in reaching a set of target states; the objective for player 2 is to prevent this, so that the game is zero-sum. Our contributions are two-fold. First, we present a simple proof of the fact that in concurrent reachability games, for all epsilon > 0, memoryless epsilon-optimal strategies exist. A memoryless strategy is independent of the history of plays, and an epsilon-optimal strategy achieves the objective with probability within epsilon of the value of the game. In contrast to previous proofs of this fact, which rely on the limit behavior of discounted games using advanced Puisieux series analysis, our proof is elementary and combinatorial. Second, we present a strategy-improvement (a.k.a. policy-iteration) algorithm for concurrent games with reachability objectives.","lang":"eng"}],"publisher":"IEEE","quality_controlled":0,"month":"01"},{"status":"public","conference":{"name":"CAV: Computer Aided Verification"},"type":"conference","_id":"4574","title":"Lazy shape analysis","publist_id":"133","author":[{"full_name":"Beyer, Dirk","last_name":"Beyer","first_name":"Dirk"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Thomas Henzinger","orcid":"0000−0002−2985−7724","last_name":"Henzinger"},{"first_name":"Grégory","full_name":"Théoduloz, Grégory","last_name":"Théoduloz"}],"extern":1,"date_updated":"2021-01-12T07:59:49Z","citation":{"apa":"Beyer, D., Henzinger, T. A., & Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_48","ama":"Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis. In: Vol 4144. Springer; 2006:532-546. doi:10.1007/11817963_48","short":"D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.","ieee":"D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 532–546.","mla":"Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.","ista":"Beyer D, Henzinger TA, Théoduloz G. 2006. Lazy shape analysis. CAV: Computer Aided Verification, LNCS, vol. 4144, 532–546.","chicago":"Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,” 4144:532–46. Springer, 2006. https://doi.org/10.1007/11817963_48."},"intvolume":" 4144","month":"08","quality_controlled":0,"publisher":"Springer","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is difficult to find adequate predicate abstractions for the heap. In contrast, shape analysis, which uses graph-based heap abstractions, can provide a compact representation of recursive data structures. We integrate shape analysis into the software model checker Blast. Because shape analysis is expensive, we do not apply it globally. Instead, we ensure that, like predicates, shape graphs are computed and stored locally, only where necessary for proving the verification goal. To achieve this, we extend lazy abstraction refinement, which so far has been used only for predicate abstractions, to three-valued logical structures. This approach does not only increase the precision of model checking, but it also increases the efficiency of shape analysis. We implemented the technique by extending Blast with calls to Tvla."}],"date_created":"2018-12-11T12:09:33Z","date_published":"2006-08-08T00:00:00Z","doi":"10.1007/11817963_48","volume":4144,"page":"532 - 546","day":"08","year":"2006","publication_status":"published"},{"title":"Counterfactual computation revisited","external_id":{"arxiv":["0607101"]},"article_processing_charge":"No","publist_id":"7241","author":[{"id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur","orcid":"0000-0002-2031-204X","full_name":"Hosten, Onur","last_name":"Hosten"},{"first_name":"Matthew","full_name":"Rakher, Matthew","last_name":"Rakher"},{"full_name":"Barreiro, Julio","last_name":"Barreiro","first_name":"Julio"},{"full_name":"Peters, Nicholas","last_name":"Peters","first_name":"Nicholas"},{"full_name":"Kwiat, Paul","last_name":"Kwiat","first_name":"Paul"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","citation":{"chicago":"Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Computation Revisited.” ArXiv, 2006.","ista":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual computation revisited.","mla":"Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.","apa":"Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual computation revisited. ArXiv.","ama":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual computation revisited. 2006.","ieee":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual computation revisited.” ArXiv, 2006.","short":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006)."},"date_updated":"2020-05-12T08:23:52Z","status":"public","type":"preprint","_id":"573","date_created":"2018-12-11T11:47:16Z","date_published":"2006-08-06T00:00:00Z","page":"12","language":[{"iso":"eng"}],"day":"06","year":"2006","publication_status":"published","month":"08","main_file_link":[{"url":"https://arxiv.org/abs/quant-ph/0607101","open_access":"1"}],"oa":1,"publisher":"ArXiv","oa_version":"Preprint","abstract":[{"text":"Mitchison and Jozsa recently suggested that the "chained-Zeno" counterfactual computation protocol recently proposed by Hosten et al. is counterfactual for only one output of the computer. This claim was based on the existing abstract algebraic definition of counterfactual computation, and indeed according to this definition, their argument is correct. However, a more general definition (physically adequate) for counterfactual computation is implicitly assumed by Hosten et. al. Here we explain in detail why the protocol is counterfactual and how the "history tracking" method of the existing description inadequately represents the physics underlying the protocol. Consequently, we propose a modified definition of counterfactual computation. Finally, we comment on one of the most interesting aspects of the error-correcting protocol. ","lang":"eng"}]},{"publication_status":"published","year":"2006","day":"19","language":[{"iso":"eng"}],"page":"2","date_published":"2006-12-19T00:00:00Z","date_created":"2018-12-11T11:47:16Z","abstract":[{"lang":"eng","text":"Vaidman, in a recent article adopts the method of 'quantum weak measurements in pre- and postselected ensembles' to ascertain whether or not the chained-Zeno counterfactual computation scheme proposed by Hosten et al. is counterfactual; which has been the topic of a debate on the definition of counterfactuality. We disagree with his conclusion, which brings up some interesting aspects of quantum weak measurements and some concerns about the way they are interpreted. "}],"oa_version":"Preprint","publisher":"ArXiv","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/quant-ph/0612159"}],"oa":1,"month":"12","date_updated":"2020-05-12T08:18:01Z","citation":{"chicago":"Hosten, Onur, and Paul Kwiat. “Weak Measurements and Counterfactual Computation.” ArXiv, 2006.","ista":"Hosten O, Kwiat P. 2006. Weak measurements and counterfactual computation.","mla":"Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.","ieee":"O. Hosten and P. Kwiat, “Weak measurements and counterfactual computation.” ArXiv, 2006.","short":"O. Hosten, P. Kwiat, (2006).","ama":"Hosten O, Kwiat P. Weak measurements and counterfactual computation. 2006.","apa":"Hosten, O., & Kwiat, P. (2006). Weak measurements and counterfactual computation. ArXiv."},"extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"7240","author":[{"last_name":"Hosten","orcid":"0000-0002-2031-204X","full_name":"Hosten, Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur"},{"first_name":"Paul","full_name":"Kwiat, Paul","last_name":"Kwiat"}],"external_id":{"arxiv":["0612159"]},"article_processing_charge":"No","title":"Weak measurements and counterfactual computation","_id":"574","type":"preprint","status":"public"},{"author":[{"last_name":"Peters","full_name":"Peters, Nicholas A","first_name":"Nicholas"},{"full_name":"Arnold, Keith J","last_name":"Arnold","first_name":"Keith"},{"first_name":"Aaron","full_name":"VanDevender, Aaron P","last_name":"Vandevender"},{"full_name":"Jeffrey, Evan R","last_name":"Jeffrey","first_name":"Evan"},{"full_name":"Rangarajan, Radhika","last_name":"Rangarajan","first_name":"Radhika"},{"id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur","last_name":"Hosten","full_name":"Onur Hosten","orcid":"0000-0002-2031-204X"},{"full_name":"Barreiro, Julio T","last_name":"Barreiro","first_name":"Julio"},{"last_name":"Altepeter","full_name":"Altepeter, Joseph B","first_name":"Joseph"},{"last_name":"Kwiat","full_name":"Kwiat, Paul G","first_name":"Paul"}],"publist_id":"7234","title":"Towards a quasi-deterministic single-photon source","citation":{"ista":"Peters N, Arnold K, Vandevender A, Jeffrey E, Rangarajan R, Hosten O, Barreiro J, Altepeter J, Kwiat P. 2006. Towards a quasi-deterministic single-photon source. Quantum Communications and Quantum Imaging, Proc. SPIE, vol. 6305.","chicago":"Peters, Nicholas, Keith Arnold, Aaron Vandevender, Evan Jeffrey, Radhika Rangarajan, Onur Hosten, Julio Barreiro, Joseph Altepeter, and Paul Kwiat. “Towards a Quasi-Deterministic Single-Photon Source,” Vol. 6305. SPIE, 2006. https://doi.org/10.1117/12.684702.","apa":"Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O., … Kwiat, P. (2006). Towards a quasi-deterministic single-photon source (Vol. 6305). Presented at the Quantum Communications and Quantum Imaging, SPIE. https://doi.org/10.1117/12.684702","ama":"Peters N, Arnold K, Vandevender A, et al. Towards a quasi-deterministic single-photon source. In: Vol 6305. SPIE; 2006. doi:10.1117/12.684702","ieee":"N. Peters et al., “Towards a quasi-deterministic single-photon source,” presented at the Quantum Communications and Quantum Imaging, 2006, vol. 6305.","short":"N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.","mla":"Peters, Nicholas, et al. Towards a Quasi-Deterministic Single-Photon Source. Vol. 6305, SPIE, 2006, doi:10.1117/12.684702."},"date_updated":"2020-07-14T12:47:11Z","extern":1,"conference":{"name":"Quantum Communications and Quantum Imaging"},"type":"conference","status":"public","_id":"578","date_created":"2018-12-11T11:47:17Z","date_published":"2006-01-01T00:00:00Z","doi":"10.1117/12.684702","volume":6305,"publication_status":"published","year":"2006","day":"01","quality_controlled":0,"alternative_title":["Proc. SPIE"],"publisher":"SPIE","intvolume":" 6305","month":"01","abstract":[{"text":"A source of single photons allows secure quantum key distribution, in addition, to being a critical resource for linear optics quantum computing. We describe our progress on deterministically creating single photons from spontaneous parametric downconversion, an extension of the Pittman, Jacobs and Franson scheme [Phys. Rev A, v66, 042303 (2002)]. Their idea was to conditionally prepare single photons by measuring one member of a spontaneously emitted photon pair and storing the remaining conditionally prepared photon until a predetermined time, when it would be "deterministically" released from storage. Our approach attempts to improve upon this by recycling the pump pulse in order to decrease the possibility of multiple-pair generation, while maintaining a high probability of producing a single pair. Many of the challenges we discuss are central to other quantum information technologies, including the need for low-loss optical storage, switching and detection, and fast feed-forward control.","lang":"eng"}]},{"status":"public","conference":{"name":"Unknown (978-081946470-5)"},"type":"conference","_id":"577","title":"High-efficiency single-photon detectors","author":[{"first_name":"Radhika","full_name":"Rangarajan, Radhika","last_name":"Rangarajan"},{"last_name":"Altepeter","full_name":"Altepeter, Joseph B","first_name":"Joseph"},{"last_name":"Jeffrey","full_name":"Jeffrey, Evan R","first_name":"Evan"},{"last_name":"Stoutimore","full_name":"Stoutimore, Micah J","first_name":"Micah"},{"full_name":"Peters, Nicholas A","last_name":"Peters","first_name":"Nicholas"},{"id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","first_name":"Onur","full_name":"Onur Hosten","orcid":"0000-0002-2031-204X","last_name":"Hosten"},{"first_name":"Paul","last_name":"Kwiat","full_name":"Kwiat, Paul G"}],"publist_id":"7233","extern":1,"date_updated":"2020-07-14T12:47:11Z","citation":{"ieee":"R. Rangarajan et al., “High-efficiency single-photon detectors,” presented at the Unknown (978-081946470-5), 2006, vol. 6372.","short":"R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.","apa":"Rangarajan, R., Altepeter, J., Jeffrey, E., Stoutimore, M., Peters, N., Hosten, O., & Kwiat, P. (2006). High-efficiency single-photon detectors (Vol. 6372). Presented at the Unknown (978-081946470-5), SPIE. https://doi.org/10.1117/12.686117","ama":"Rangarajan R, Altepeter J, Jeffrey E, et al. High-efficiency single-photon detectors. In: Vol 6372. SPIE; 2006. doi:10.1117/12.686117","mla":"Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.","ista":"Rangarajan R, Altepeter J, Jeffrey E, Stoutimore M, Peters N, Hosten O, Kwiat P. 2006. High-efficiency single-photon detectors. Unknown (978-081946470-5), Proceedings of SPIE, vol. 6372.","chicago":"Rangarajan, Radhika, Joseph Altepeter, Evan Jeffrey, Micah Stoutimore, Nicholas Peters, Onur Hosten, and Paul Kwiat. “High-Efficiency Single-Photon Detectors,” Vol. 6372. SPIE, 2006. https://doi.org/10.1117/12.686117."},"intvolume":" 6372","month":"01","quality_controlled":0,"publisher":"SPIE","alternative_title":["Proceedings of SPIE"],"abstract":[{"lang":"eng","text":"Visible light photon counters (VLPCs) and solid-state photomultipliers (SSPMs) are high-efficiency single-photon detectors which have multi-photon counting capability. While both the VLPCs and the SSPMs have inferred internal quantum efficiencies above 93%, the actual measured values for both the detectors were in fact limited to less than 88%, attributed to in-coupling losses. We are currently improving this overall detection efficiency via a) custom anti-reflection coating the detectors and the in-coupling fibers, b) implementing a novel cryogenic design to reduce transmission losses and, c) using low-noise electronics to obtain a better signal-to-noise ratio."}],"date_created":"2018-12-11T11:47:17Z","volume":6372,"doi":"10.1117/12.686117","date_published":"2006-01-01T00:00:00Z","day":"01","publication_status":"published","year":"2006"},{"_id":"579","type":"journal_article","status":"public","date_updated":"2021-01-12T08:03:29Z","citation":{"ista":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual quantum computation through quantum interrogation. Nature. 439(7079), 949–952.","chicago":"Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature. Nature Publishing Group, 2006. https://doi.org/10.1038/nature04523.","apa":"Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04523","ama":"Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation through quantum interrogation. Nature. 2006;439(7079):949-952. doi:10.1038/nature04523","ieee":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation through quantum interrogation,” Nature, vol. 439, no. 7079. Nature Publishing Group, pp. 949–952, 2006.","short":"O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.","mla":"Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523."},"extern":1,"publist_id":"7235","author":[{"last_name":"Hosten","full_name":"Onur Hosten","orcid":"0000-0002-2031-204X","first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Rakher, Matthew T","last_name":"Rakher","first_name":"Matthew"},{"first_name":"Julio","full_name":"Barreiro, Julio T","last_name":"Barreiro"},{"last_name":"Peters","full_name":"Peters, Nicholas A","first_name":"Nicholas"},{"first_name":"Paul","last_name":"Kwiat","full_name":"Kwiat, Paul G"}],"title":"Counterfactual quantum computation through quantum interrogation","abstract":[{"lang":"eng","text":"The logic underlying the coherent nature of quantum information processing often deviates from intuitive reasoning, leading to surprising effects. Counterfactual computation constitutes a striking example: the potential outcome of a quantum computation can be inferred, even if the computer is not run 1. Relying on similar arguments to interaction-free measurements 2 (or quantum interrogation3), counterfactual computation is accomplished by putting the computer in a superposition of 'running' and 'not running' states, and then interfering the two histories. Conditional on the as-yet-unknown outcome of the computation, it is sometimes possible to counterfactually infer information about the solution. Here we demonstrate counterfactual computation, implementing Grover's search algorithm with an all-optical approach4. It was believed that the overall probability of such counterfactual inference is intrinsically limited1,5, so that it could not perform better on average than random guesses. However, using a novel 'chained' version of the quantum Zeno effect6, we show how to boost the counterfactual inference probability to unity, thereby beating the random guessing limit. Our methods are general and apply to any physical system, as illustrated by a discussion of trapped-ion systems. Finally, we briefly show that, in certain circumstances, counterfactual computation can eliminate errors induced by decoherence. "}],"quality_controlled":0,"publisher":"Nature Publishing Group","intvolume":" 439","month":"02","year":"2006","publication_status":"published","publication":"Nature","day":"23","page":"949 - 952","date_created":"2018-12-11T11:47:18Z","issue":"7079","doi":"10.1038/nature04523","volume":439,"date_published":"2006-02-23T00:00:00Z"},{"doi":"10.1109/CLEO.2006.4628641","date_published":"2006-01-01T00:00:00Z","date_created":"2018-12-11T11:47:19Z","year":"2006","publication_status":"published","day":"01","publisher":"IEEE","quality_controlled":0,"month":"01","abstract":[{"text":"Visible light photon counters (VLPCs) and solid-state photomultipliers (SSPMs) facilitate efficient single-photon detection. We are attempting to improve their efficiency, previously limited to < 88% by coupling losses, via anti-reflection coatings, better electronics and cryogenics.","lang":"eng"}],"publist_id":"7232","author":[{"last_name":"Rangarajan","full_name":"Rangarajan, Radhika","first_name":"Radhika"},{"first_name":"Nicholas","last_name":"Peters","full_name":"Peters, Nicholas A"},{"first_name":"Onur","id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","last_name":"Hosten","full_name":"Onur Hosten","orcid":"0000-0002-2031-204X"},{"last_name":"Altepeter","full_name":"Altepeter, Joseph B","first_name":"Joseph"},{"first_name":"Evan","last_name":"Jeffrey","full_name":"Jeffrey, Evan R"},{"first_name":"Paul","full_name":"Kwiat, Paul G","last_name":"Kwiat"}],"title":"Improved single-photon detection","citation":{"ista":"Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. 2006. Improved single-photon detection. CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference.","chicago":"Rangarajan, Radhika, Nicholas Peters, Onur Hosten, Joseph Altepeter, Evan Jeffrey, and Paul Kwiat. “Improved Single-Photon Detection.” IEEE, 2006. https://doi.org/10.1109/CLEO.2006.4628641.","ieee":"R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, and P. Kwiat, “Improved single-photon detection,” presented at the CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference, 2006.","short":"R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.","ama":"Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. Improved single-photon detection. In: IEEE; 2006. doi:10.1109/CLEO.2006.4628641","apa":"Rangarajan, R., Peters, N., Hosten, O., Altepeter, J., Jeffrey, E., & Kwiat, P. (2006). Improved single-photon detection. Presented at the CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference, IEEE. https://doi.org/10.1109/CLEO.2006.4628641","mla":"Rangarajan, Radhika, et al. Improved Single-Photon Detection. IEEE, 2006, doi:10.1109/CLEO.2006.4628641."},"date_updated":"2021-01-12T08:03:43Z","extern":1,"type":"conference","conference":{"name":"CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference"},"status":"public","_id":"583"},{"citation":{"chicago":"Salecker, Iris, Michael Häusser, and Mario de Bono. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.” EMBO Reports. Wiley, 2006. https://doi.org/10.1038/sj.embor.7400713.","ista":"Salecker I, Häusser M, de Bono M. 2006. On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO reports. 7(6), 585–589.","mla":"Salecker, Iris, et al. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.” EMBO Reports, vol. 7, no. 6, Wiley, 2006, pp. 585–89, doi:10.1038/sj.embor.7400713.","ieee":"I. Salecker, M. Häusser, and M. de Bono, “On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits,” EMBO reports, vol. 7, no. 6. Wiley, pp. 585–589, 2006.","short":"I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.","apa":"Salecker, I., Häusser, M., & de Bono, M. (2006). On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO Reports. Wiley. https://doi.org/10.1038/sj.embor.7400713","ama":"Salecker I, Häusser M, de Bono M. On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO reports. 2006;7(6):585-589. doi:10.1038/sj.embor.7400713"},"date_updated":"2021-01-12T08:06:23Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","extern":"1","external_id":{"pmid":["16729018"]},"author":[{"first_name":"Iris","full_name":"Salecker, Iris","last_name":"Salecker"},{"last_name":"Häusser","full_name":"Häusser, Michael","first_name":"Michael"},{"orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario","last_name":"de Bono","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","first_name":"Mario"}],"title":"On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits","_id":"6151","type":"journal_article","status":"public","year":"2006","publication_status":"published","publication_identifier":{"issn":["1469-221X","1469-3178"]},"publication":"EMBO reports","language":[{"iso":"eng"}],"day":"01","page":"585-589","date_created":"2019-03-21T08:50:43Z","date_published":"2006-06-01T00:00:00Z","doi":"10.1038/sj.embor.7400713","issue":"6","volume":7,"oa_version":"Published Version","pmid":1,"main_file_link":[{"url":"https://europepmc.org/articles/pmc1479602","open_access":"1"}],"oa":1,"quality_controlled":"1","publisher":"Wiley","intvolume":" 7","month":"06"},{"_id":"6152","status":"public","type":"journal_article","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T08:06:23Z","citation":{"mla":"Rogers, Candida, et al. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.” Current Biology, vol. 16, no. 7, Elsevier, 2006, pp. 649–59, doi:10.1016/j.cub.2006.03.023.","apa":"Rogers, C., Persson, A., Cheung, B., & de Bono, M. (2006). Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.03.023","ama":"Rogers C, Persson A, Cheung B, de Bono M. Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. 2006;16(7):649-659. doi:10.1016/j.cub.2006.03.023","short":"C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.","ieee":"C. Rogers, A. Persson, B. Cheung, and M. de Bono, “Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans,” Current Biology, vol. 16, no. 7. Elsevier, pp. 649–659, 2006.","chicago":"Rogers, Candida, Annelie Persson, Benny Cheung, and Mario de Bono. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.” Current Biology. Elsevier, 2006. https://doi.org/10.1016/j.cub.2006.03.023.","ista":"Rogers C, Persson A, Cheung B, de Bono M. 2006. Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. 16(7), 649–659."},"title":"Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans","external_id":{"pmid":["16581509"]},"author":[{"last_name":"Rogers","full_name":"Rogers, Candida","first_name":"Candida"},{"first_name":"Annelie","last_name":"Persson","full_name":"Persson, Annelie"},{"first_name":"Benny","full_name":"Cheung, Benny","last_name":"Cheung"},{"id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","first_name":"Mario","last_name":"de Bono","full_name":"de Bono, Mario","orcid":"0000-0001-8347-0443"}],"pmid":1,"oa_version":"None","intvolume":" 16","month":"04","quality_controlled":"1","publisher":"Elsevier","language":[{"iso":"eng"}],"publication":"Current Biology","day":"04","year":"2006","publication_status":"published","publication_identifier":{"issn":["0960-9822"]},"date_created":"2019-03-21T09:15:27Z","issue":"7","volume":16,"date_published":"2006-04-04T00:00:00Z","doi":"10.1016/j.cub.2006.03.023","page":"649-659"},{"abstract":[{"lang":"eng","text":"An experimental technique for measuring the current density distribution with a resolution smaller than the channel/rib scale of the flow field in polymer electrolyte fuel cells (PEFCs) is presented. The electron conductors in a plane perpendicular to the channel direction are considered as two-dimensional resistors. Hence, the current density is obtained from the solution of Laplace's equation with the potentials at current collector and reaction layer as boundary conditions. Using ohmic drop for calculating the local current, detailed knowledge of all resistances involved is of prime importance. In particular, the contact resistance between the gas diffusion layer (GDL) and flow field rib, as well as GDL bulk conductivity, are strongly dependent on clamping pressure. They represent a substantial amount of the total ohmic drop and therefore require careful consideration. The detailed experimental setup as well as the concise procedure for quantitative data evaluation is described. Finally, the method is applied successfully to a cell operated on pure oxygen and air up to high current densities. The results show that electrical and ionic resistances seem to govern the current distribution at low current regimes, whereas mass transport limitations locally hamper the current production at high loads."}],"oa_version":"None","publisher":"The Electrochemical Society","quality_controlled":"1","intvolume":" 153","month":"09","publication_status":"published","year":"2006","publication_identifier":{"issn":["0013-4651"]},"publication":"Journal of The Electrochemical Society","language":[{"iso":"eng"}],"day":"20","date_created":"2020-01-15T12:23:12Z","date_published":"2006-09-20T00:00:00Z","doi":"10.1149/1.2345591","volume":153,"issue":"11","_id":"7328","article_number":"A2158","type":"journal_article","article_type":"original","status":"public","citation":{"ista":"Freunberger SA, Reum M, Evertz J, Wokaun A, Büchi FN. 2006. Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. 153(11), A2158.","chicago":"Freunberger, Stefan Alexander, Mathias Reum, Jörg Evertz, Alexander Wokaun, and Felix N. Büchi. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.” Journal of The Electrochemical Society. The Electrochemical Society, 2006. https://doi.org/10.1149/1.2345591.","ama":"Freunberger SA, Reum M, Evertz J, Wokaun A, Büchi FN. Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. 2006;153(11). doi:10.1149/1.2345591","apa":"Freunberger, S. A., Reum, M., Evertz, J., Wokaun, A., & Büchi, F. N. (2006). Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2345591","ieee":"S. A. Freunberger, M. Reum, J. Evertz, A. Wokaun, and F. N. Büchi, “Measuring the current distribution in PEFCs with sub-millimeter resolution,” Journal of The Electrochemical Society, vol. 153, no. 11. The Electrochemical Society, 2006.","short":"S.A. Freunberger, M. Reum, J. Evertz, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).","mla":"Freunberger, Stefan Alexander, et al. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.” Journal of The Electrochemical Society, vol. 153, no. 11, A2158, The Electrochemical Society, 2006, doi:10.1149/1.2345591."},"date_updated":"2021-01-12T08:13:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","article_processing_charge":"No","author":[{"last_name":"Freunberger","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"},{"first_name":"Mathias","full_name":"Reum, Mathias","last_name":"Reum"},{"full_name":"Evertz, Jörg","last_name":"Evertz","first_name":"Jörg"},{"last_name":"Wokaun","full_name":"Wokaun, Alexander","first_name":"Alexander"},{"last_name":"Büchi","full_name":"Büchi, Felix N.","first_name":"Felix N."}],"title":"Measuring the current distribution in PEFCs with sub-millimeter resolution"},{"date_created":"2020-01-15T12:22:56Z","doi":"10.1016/j.jpowsour.2006.06.007","volume":161,"issue":"2","date_published":"2006-10-27T00:00:00Z","page":"1076-1083","publication":"Journal of Power Sources","language":[{"iso":"eng"}],"day":"27","publication_status":"published","year":"2006","publication_identifier":{"issn":["0378-7753"]},"intvolume":" 161","month":"10","publisher":"Elsevier","oa_version":"None","abstract":[{"text":"Propagation of performance changes to adjacent cells in polymer electrolyte fuel cell stacks is studied by means of voltage monitoring and local current density measurements in peripheral cells of the stack. A technical fuel cell stack has been modified by implementing two independent reactant and coolant supplies in order to deliberately change the performance of one cell (anomalous cell) and study the coupling phenomena to adjacent cells (coupling cells), while keeping the working conditions of the later cell-group unaltered.\r\nTwo anomalies are studied: (i) air starvation and (ii) thermal anomaly, in a single anomalous cell in the stack and their coupling to adjacent cells. The results have shown that anomalies inducing considerable changes in the local current density of the anomalous cell (such as air starvation) propagate to adjacent cells affecting their performance. The propagation of local current density changes takes place via the common bipolar plate due to its finite thickness and in-plane conductivity. Consequently, anomalies which do not strongly influence the local current density distribution (such as a thermal anomaly under the studied working conditions) do not propagate to adjacent cells.","lang":"eng"}],"title":"Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks","article_processing_charge":"No","author":[{"first_name":"Marco","last_name":"Santis","full_name":"Santis, Marco"},{"first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","last_name":"Freunberger"},{"first_name":"Matthias","last_name":"Papra","full_name":"Papra, Matthias"},{"last_name":"Wokaun","full_name":"Wokaun, Alexander","first_name":"Alexander"},{"first_name":"Felix N.","full_name":"Büchi, Felix N.","last_name":"Büchi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T08:13:06Z","citation":{"ieee":"M. Santis, S. A. Freunberger, M. Papra, A. Wokaun, and F. N. Büchi, “Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks,” Journal of Power Sources, vol. 161, no. 2. Elsevier, pp. 1076–1083, 2006.","short":"M. Santis, S.A. Freunberger, M. Papra, A. Wokaun, F.N. Büchi, Journal of Power Sources 161 (2006) 1076–1083.","ama":"Santis M, Freunberger SA, Papra M, Wokaun A, Büchi FN. Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. 2006;161(2):1076-1083. doi:10.1016/j.jpowsour.2006.06.007","apa":"Santis, M., Freunberger, S. A., Papra, M., Wokaun, A., & Büchi, F. N. (2006). Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2006.06.007","mla":"Santis, Marco, et al. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.” Journal of Power Sources, vol. 161, no. 2, Elsevier, 2006, pp. 1076–83, doi:10.1016/j.jpowsour.2006.06.007.","ista":"Santis M, Freunberger SA, Papra M, Wokaun A, Büchi FN. 2006. Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. 161(2), 1076–1083.","chicago":"Santis, Marco, Stefan Alexander Freunberger, Matthias Papra, Alexander Wokaun, and Felix N. Büchi. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.” Journal of Power Sources. Elsevier, 2006. https://doi.org/10.1016/j.jpowsour.2006.06.007."},"status":"public","type":"journal_article","article_type":"original","_id":"7327"},{"title":"What is learned beyond the scale of single cells?","article_processing_charge":"No","author":[{"full_name":"Büchi, Felix N.","last_name":"Büchi","first_name":"Felix N."},{"last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"},{"last_name":"Santis","full_name":"Santis, Marco","first_name":"Marco"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T08:13:05Z","citation":{"ieee":"F. N. Büchi, S. A. Freunberger, and M. Santis, “What is learned beyond the scale of single cells?,” in ECS Transactions, Cancun, Mexico, 2006, vol. 3, no. 1, pp. 963–968.","short":"F.N. Büchi, S.A. Freunberger, M. Santis, in:, ECS Transactions, ECS, 2006, pp. 963–968.","apa":"Büchi, F. N., Freunberger, S. A., & Santis, M. (2006). What is learned beyond the scale of single cells? In ECS Transactions (Vol. 3, pp. 963–968). Cancun, Mexico: ECS. https://doi.org/10.1149/1.2356215","ama":"Büchi FN, Freunberger SA, Santis M. What is learned beyond the scale of single cells? In: ECS Transactions. Vol 3. ECS; 2006:963-968. doi:10.1149/1.2356215","mla":"Büchi, Felix N., et al. “What Is Learned beyond the Scale of Single Cells?” ECS Transactions, vol. 3, no. 1, ECS, 2006, pp. 963–68, doi:10.1149/1.2356215.","ista":"Büchi FN, Freunberger SA, Santis M. 2006. What is learned beyond the scale of single cells? ECS Transactions. ECS Meeting vol. 3, 963–968.","chicago":"Büchi, Felix N., Stefan Alexander Freunberger, and Marco Santis. “What Is Learned beyond the Scale of Single Cells?” In ECS Transactions, 3:963–68. ECS, 2006. https://doi.org/10.1149/1.2356215."},"status":"public","conference":{"start_date":"2006-10-29","location":"Cancun, Mexico","end_date":"2006-11-03","name":"ECS Meeting"},"type":"conference","_id":"7326","date_created":"2020-01-15T12:22:44Z","issue":"1","volume":3,"date_published":"2006-11-03T00:00:00Z","doi":"10.1149/1.2356215","page":"963-968","publication":"ECS Transactions","language":[{"iso":"eng"}],"day":"03","year":"2006","publication_status":"published","intvolume":" 3","month":"11","quality_controlled":"1","publisher":"ECS","oa_version":"None","abstract":[{"lang":"eng","text":"Often the properties of a single cell are considered as representative for a complete polymer electrolyte fuel cell stack or even a fuel cell system. In some cases this comes close, however, in many real cases differences on several scales become important. Cell interaction phenomena in fuel cell stacks that arise from inequalities between adjacent cells are investigated in detail experimentally. For that, a specialized 2-cell stack with advanced localized diagnostics was developed. The results show that inequalities propagate by electrical coupling, inhomogeneous cell polarization and inducing in-plane current in the common bipolar plate. The effects of the different loss-mechanisms are analyzed and quantified. "}]},{"page":"1435-1438","date_created":"2020-01-15T12:23:22Z","doi":"10.1016/j.elecom.2006.05.032","volume":8,"issue":"9","date_published":"2006-09-01T00:00:00Z","year":"2006","publication_status":"published","publication_identifier":{"issn":["1388-2481"]},"language":[{"iso":"eng"}],"publication":"Electrochemistry Communications","day":"01","quality_controlled":"1","publisher":"Elsevier","intvolume":" 8","month":"09","abstract":[{"text":"A novel measurement principle for measuring the current distribution in polymer electrolyte fuel cells (PEFCs) is introduced. It allows, in contrast to all other known techniques, for the first time for a resolution smaller than the channel/rib scale of the flow field in PEFCs. The current density is obtained by considering the electron conductors in the cell as a two-dimensional resistor with the voltage drop caused by the current. The method was applied to a cell operated on oxygen up to high current densities. The results show that the ohmic resistances govern the current distribution in the low current regime, whereas mass transport limitations hamper the current production under the land at high loads.","lang":"eng"}],"oa_version":"None","article_processing_charge":"No","author":[{"first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","full_name":"Freunberger, Stefan Alexander","orcid":"0000-0003-2902-5319","last_name":"Freunberger"},{"last_name":"Reum","full_name":"Reum, Mathias","first_name":"Mathias"},{"first_name":"Alexander","full_name":"Wokaun, Alexander","last_name":"Wokaun"},{"full_name":"Büchi, Felix N.","last_name":"Büchi","first_name":"Felix N."}],"title":"Expanding current distribution measurement in PEFCs to sub-millimeter resolution","citation":{"chicago":"Freunberger, Stefan Alexander, Mathias Reum, Alexander Wokaun, and Felix N. Büchi. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.” Electrochemistry Communications. Elsevier, 2006. https://doi.org/10.1016/j.elecom.2006.05.032.","ista":"Freunberger SA, Reum M, Wokaun A, Büchi FN. 2006. Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. 8(9), 1435–1438.","mla":"Freunberger, Stefan Alexander, et al. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.” Electrochemistry Communications, vol. 8, no. 9, Elsevier, 2006, pp. 1435–38, doi:10.1016/j.elecom.2006.05.032.","short":"S.A. Freunberger, M. Reum, A. Wokaun, F.N. Büchi, Electrochemistry Communications 8 (2006) 1435–1438.","ieee":"S. A. Freunberger, M. Reum, A. Wokaun, and F. N. Büchi, “Expanding current distribution measurement in PEFCs to sub-millimeter resolution,” Electrochemistry Communications, vol. 8, no. 9. Elsevier, pp. 1435–1438, 2006.","apa":"Freunberger, S. A., Reum, M., Wokaun, A., & Büchi, F. N. (2006). Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. Elsevier. https://doi.org/10.1016/j.elecom.2006.05.032","ama":"Freunberger SA, Reum M, Wokaun A, Büchi FN. Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. 2006;8(9):1435-1438. doi:10.1016/j.elecom.2006.05.032"},"date_updated":"2021-01-12T08:13:06Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","article_type":"original","type":"journal_article","status":"public","_id":"7329"},{"month":"07","intvolume":" 51","publisher":"Elsevier","quality_controlled":"1","oa_version":"None","abstract":[{"text":"Polymer electrolyte fuel cells (PE fuel cells) working with air at low stoichiometries (<2.0) and standard electrochemical components show a high degree of inhomogeneity in the current density distribution over the active area. An inhomogeneous current density distribution leads to a non-uniform utilization of the active area, which could negatively affect the time of life of the cells. Furthermore, it is also believed to lower cell performance. In this work, the homogenization of the current density, realized by means of tailored cathodes with along-the-air-channel redistributed catalyst loadings, is investigated. The air stoichiometry range for which a homogenization of the current density is achieved depends upon the gradient with which the catalyst is redistributed along the air channel. A gentle increasing catalyst loading profile homogenizes the current density at relatively higher air stoichiometries, while a steeper profile is suited better for lower air stoichiometries. The results show that a homogenization of the current density by means of redistributed catalyst loading has negative effects on cell performance. Model calculations corroborate the experimental findings on homogenization of the current density and deliver an explanation for the decrease in cell performance.","lang":"eng"}],"volume":51,"issue":"25","date_published":"2006-07-01T00:00:00Z","doi":"10.1016/j.electacta.2006.02.008","date_created":"2020-01-15T12:23:34Z","page":"5383-5393","day":"01","publication":"Electrochimica Acta","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0013-4686"]},"year":"2006","publication_status":"published","status":"public","article_type":"original","type":"journal_article","_id":"7330","title":"Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients","author":[{"first_name":"M.","full_name":"Santis, M.","last_name":"Santis"},{"last_name":"Freunberger","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"},{"full_name":"Reiner, A.","last_name":"Reiner","first_name":"A."},{"first_name":"F.N.","full_name":"Büchi, F.N.","last_name":"Büchi"}],"article_processing_charge":"No","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Santis M, Freunberger SA, Reiner A, Büchi FN. 2006. Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. 51(25), 5383–5393.","chicago":"Santis, M., Stefan Alexander Freunberger, A. Reiner, and F.N. Büchi. “Homogenization of the Current Density in Polymer Electrolyte Fuel Cells by In-Plane Cathode Catalyst Gradients.” Electrochimica Acta. Elsevier, 2006. https://doi.org/10.1016/j.electacta.2006.02.008.","ieee":"M. Santis, S. A. Freunberger, A. Reiner, and F. N. Büchi, “Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients,” Electrochimica Acta, vol. 51, no. 25. Elsevier, pp. 5383–5393, 2006.","short":"M. Santis, S.A. Freunberger, A. Reiner, F.N. Büchi, Electrochimica Acta 51 (2006) 5383–5393.","apa":"Santis, M., Freunberger, S. A., Reiner, A., & Büchi, F. N. (2006). Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. Elsevier. https://doi.org/10.1016/j.electacta.2006.02.008","ama":"Santis M, Freunberger SA, Reiner A, Büchi FN. Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. 2006;51(25):5383-5393. doi:10.1016/j.electacta.2006.02.008","mla":"Santis, M., et al. “Homogenization of the Current Density in Polymer Electrolyte Fuel Cells by In-Plane Cathode Catalyst Gradients.” Electrochimica Acta, vol. 51, no. 25, Elsevier, 2006, pp. 5383–93, doi:10.1016/j.electacta.2006.02.008."},"date_updated":"2021-01-12T08:13:07Z"},{"year":"2006","publication_status":"published","publication_identifier":{"issn":["0013-4651"]},"language":[{"iso":"eng"}],"publication":"Journal of The Electrochemical Society","day":"04","date_created":"2020-01-15T12:24:00Z","volume":153,"issue":"2","date_published":"2006-01-04T00:00:00Z","doi":"10.1149/1.2150150","abstract":[{"text":"A quasi-two-dimensional, along-the-channel mass and heat-transfer model for a proton exchange membrane fuel cell (PEFC) is described and validated against experimental current distribution data. The model is formulated in a dimensional manner, i.e., local transport phenomena are treated one-dimensional in through-plane direction and coupled in-plane by convective transport in the gas and coolant channels. Thus, a two-dimensional slice running through the repetitive unit of a cell from the anode channel via membrane-electrode assembly (MEA) and cathode channel to the coolant channel and from inlet to outlet is modeled. The aim of the work is to elucidate the influence of operating conditions such as feed gas humidities and stoichiometric ratios on the along-the-channel current density distribution and to identify the distinct underlying voltage loss mechanisms. Furthermore, a complicated technical flow field is modeled by a combination of co- and counterflow subdomains and compared with experimental current densities.","lang":"eng"}],"oa_version":"None","quality_controlled":"1","publisher":"The Electrochemical Society","intvolume":" 153","month":"01","citation":{"short":"S.A. Freunberger, M. Santis, I.A. Schneider, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).","ieee":"S. A. Freunberger, M. Santis, I. A. Schneider, A. Wokaun, and F. N. Büchi, “In-plane effects in large-scale PEMFCs,” Journal of The Electrochemical Society, vol. 153, no. 2. The Electrochemical Society, 2006.","ama":"Freunberger SA, Santis M, Schneider IA, Wokaun A, Büchi FN. In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. 2006;153(2). doi:10.1149/1.2150150","apa":"Freunberger, S. A., Santis, M., Schneider, I. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2150150","mla":"Freunberger, Stefan Alexander, et al. “In-Plane Effects in Large-Scale PEMFCs.” Journal of The Electrochemical Society, vol. 153, no. 2, A396, The Electrochemical Society, 2006, doi:10.1149/1.2150150.","ista":"Freunberger SA, Santis M, Schneider IA, Wokaun A, Büchi FN. 2006. In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. 153(2), A396.","chicago":"Freunberger, Stefan Alexander, Marco Santis, Ingo A. Schneider, Alexander Wokaun, and Felix N. Büchi. “In-Plane Effects in Large-Scale PEMFCs.” Journal of The Electrochemical Society. The Electrochemical Society, 2006. https://doi.org/10.1149/1.2150150."},"date_updated":"2021-01-12T08:13:08Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","article_processing_charge":"No","author":[{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","last_name":"Freunberger"},{"last_name":"Santis","full_name":"Santis, Marco","first_name":"Marco"},{"first_name":"Ingo A.","last_name":"Schneider","full_name":"Schneider, Ingo A."},{"full_name":"Wokaun, Alexander","last_name":"Wokaun","first_name":"Alexander"},{"first_name":"Felix N.","last_name":"Büchi","full_name":"Büchi, Felix N."}],"title":"In-plane effects in large-scale PEMFCs","_id":"7332","article_number":"A396","article_type":"original","type":"journal_article","status":"public"},{"oa_version":"None","abstract":[{"lang":"eng","text":"A previously developed mathematical model for water management and current density distribution in a polymer electrolyte fuel cell (PEFCs) is employed to investigate the effects of cooling strategies on cell performance. The model describes a two-dimensional slice through the cell along the channels and through the entire cell sandwich including the coolant channels and the bipolar plate. Arbitrary flow arrangements of fuel, oxidant, and coolant stream directions can be described. Due to the serious impact of temperature on all processes in the PEFC, both the relative direction of the coolant stream to the gas streams and its mass flow turns out to significantly affect the cell performance. Besides influencing the electrochemical reaction and all kinds of mass transfer temperature, variations predominantly alter the local membrane hydration distribution and subseqently its conductivity."}],"month":"03","intvolume":" 153","publisher":"The Electrochemical Society","quality_controlled":"1","day":"27","language":[{"iso":"eng"}],"publication":"Journal of The Electrochemical Society","publication_identifier":{"issn":["0013-4651"]},"year":"2006","publication_status":"published","issue":"5","doi":"10.1149/1.2185282","date_published":"2006-03-27T00:00:00Z","volume":153,"date_created":"2020-01-15T12:23:46Z","article_number":"A909","_id":"7331","status":"public","article_type":"original","type":"journal_article","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2021-01-12T08:13:08Z","citation":{"ista":"Freunberger SA, Wokaun A, Büchi FN. 2006. In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. 153(5), A909.","chicago":"Freunberger, Stefan Alexander, Alexander Wokaun, and Felix N. Büchi. “In-Plane Effects in Large-Scale PEFCs: II. The Influence of Cooling Strategy on Cell Performance.” Journal of The Electrochemical Society. The Electrochemical Society, 2006. https://doi.org/10.1149/1.2185282.","apa":"Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2185282","ama":"Freunberger SA, Wokaun A, Büchi FN. In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. 2006;153(5). doi:10.1149/1.2185282","ieee":"S. A. Freunberger, A. Wokaun, and F. N. Büchi, “In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance,” Journal of The Electrochemical Society, vol. 153, no. 5. The Electrochemical Society, 2006.","short":"S.A. Freunberger, A. Wokaun, F.N. Büchi, Journal of The Electrochemical Society 153 (2006).","mla":"Freunberger, Stefan Alexander, et al. “In-Plane Effects in Large-Scale PEFCs: II. The Influence of Cooling Strategy on Cell Performance.” Journal of The Electrochemical Society, vol. 153, no. 5, A909, The Electrochemical Society, 2006, doi:10.1149/1.2185282."},"title":"In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance","author":[{"last_name":"Freunberger","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","first_name":"Stefan Alexander"},{"first_name":"Alexander","full_name":"Wokaun, Alexander","last_name":"Wokaun"},{"last_name":"Büchi","full_name":"Büchi, Felix N.","first_name":"Felix N."}],"article_processing_charge":"No"},{"title":"Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius","publist_id":"6794","author":[{"full_name":"Rogaev, Evgeny I","last_name":"Rogaev","first_name":"Evgeny"},{"full_name":"Moliaka, Yuri K","last_name":"Moliaka","first_name":"Yuri"},{"first_name":"Boris","last_name":"Malyarchuk","full_name":"Malyarchuk, Boris A"},{"first_name":"Fyodor","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","full_name":"Fyodor Kondrashov","orcid":"0000-0001-8243-4694","last_name":"Kondrashov"},{"full_name":"Derenko, Miroslava V","last_name":"Derenko","first_name":"Miroslava"},{"full_name":"Chumakov, Ilya M","last_name":"Chumakov","first_name":"Ilya"},{"last_name":"Grigorenko","full_name":"Grigorenko, Anastasia P","first_name":"Anastasia"}],"extern":1,"date_updated":"2021-01-12T08:19:58Z","citation":{"chicago":"Rogaev, Evgeny, Yuri Moliaka, Boris Malyarchuk, Fyodor Kondrashov, Miroslava Derenko, Ilya Chumakov, and Anastasia Grigorenko. “Complete Mitochondrial Genome and Phylogeny of Pleistocene Mammoth Mammuthus Primigenius.” PLoS Biology. Public Library of Science, 2006. https://doi.org/10.1371/journal.pbio.0040073.","ista":"Rogaev E, Moliaka Y, Malyarchuk B, Kondrashov F, Derenko M, Chumakov I, Grigorenko A. 2006. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 4(3), 0403–0410.","mla":"Rogaev, Evgeny, et al. “Complete Mitochondrial Genome and Phylogeny of Pleistocene Mammoth Mammuthus Primigenius.” PLoS Biology, vol. 4, no. 3, Public Library of Science, 2006, pp. 0403–10, doi:10.1371/journal.pbio.0040073.","ama":"Rogaev E, Moliaka Y, Malyarchuk B, et al. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 2006;4(3):0403-0410. doi:10.1371/journal.pbio.0040073","apa":"Rogaev, E., Moliaka, Y., Malyarchuk, B., Kondrashov, F., Derenko, M., Chumakov, I., & Grigorenko, A. (2006). Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.0040073","ieee":"E. Rogaev et al., “Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius,” PLoS Biology, vol. 4, no. 3. Public Library of Science, pp. 0403–0410, 2006.","short":"E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410."},"status":"public","type":"journal_article","_id":"854","doi":"10.1371/journal.pbio.0040073","date_published":"2006-03-01T00:00:00Z","volume":4,"issue":"3","date_created":"2018-12-11T11:48:51Z","page":"0403 - 0410","day":"01","publication":"PLoS Biology","publication_status":"published","year":"2006","month":"03","intvolume":" 4","publisher":"Public Library of Science","quality_controlled":0,"acknowledgement":"FAK is supported by the NSF Graduate Research Fellowship.\nWe thank the Natural History Museum, North-Eastern Research Center, Far Eastern Branch of the Russian Academy of Sciences for photographic material ofM. primigenius leg, V. A. Nikishina for artwork and technical support, Y.B. Yurov, G. Dvoryanchikov, N. Riazanskaya and T. Kolesnikova for technical support, K. Mehren and C. Gray for elephant specimens, and V. Y. Solovyev for help with artwork of animal images.","abstract":[{"text":"Phylogenetic relationships between the extinct woolly mammoth (Mammuthus primigenius), and the Asian (Elephas maximus) and African savanna (Loxodonta africana) elephants remain unresolved. Here, we report the sequence of the complete mitochondrial genome (16,842 base pairs) of a woolly mammoth extracted from permafrost-preserved remains from the Pleistocene epoch - the oldest mitochondrial genome sequence determined to date. We demonstrate that well-preserved mitochondrial genome fragments, as long as ∼1,600-1700 base pairs, can be retrieved from pre-Holocene remains of an extinct species. Phylogenetic reconstruction of the Elephantinae clade suggests that M. primigenius and E. maximus are sister species that diverged soon after their common ancestor split from the L. africana lineage. Low nucleotide diversity found between independently determined mitochondrial genomic sequences of woolly mammoths separated geographically and in time suggests that north-eastern Siberia was occupied by a relatively homogeneous population of M. primigenius throughout the late Pleistocene.","lang":"eng"}]}]