[{"date_updated":"2021-01-12T06:56:00Z","month":"04","date_published":"2007-04-27T00:00:00Z","publist_id":"7691","_id":"221","publisher":"Project Euclid","citation":{"chicago":"De La Bretèche, Régis, and Timothy D Browning. “On Manin’s Conjecture for Singular Del Pezzo Surfaces of Degree Four, I.” <i>Michigan Mathematical Journal</i>. Project Euclid, 2007. <a href=\"https://doi.org/10.1307/mmj/1177681985\">https://doi.org/10.1307/mmj/1177681985</a>.","short":"R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.","ama":"De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. <i>Michigan Mathematical Journal</i>. 2007;55(1):51-80. doi:<a href=\"https://doi.org/10.1307/mmj/1177681985\">10.1307/mmj/1177681985</a>","apa":"De La Bretèche, R., &#38; Browning, T. D. (2007). On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. <i>Michigan Mathematical Journal</i>. Project Euclid. <a href=\"https://doi.org/10.1307/mmj/1177681985\">https://doi.org/10.1307/mmj/1177681985</a>","mla":"De La Bretèche, Régis, and Timothy D. Browning. “On Manin’s Conjecture for Singular Del Pezzo Surfaces of Degree Four, I.” <i>Michigan Mathematical Journal</i>, vol. 55, no. 1, Project Euclid, 2007, pp. 51–80, doi:<a href=\"https://doi.org/10.1307/mmj/1177681985\">10.1307/mmj/1177681985</a>.","ieee":"R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, I,” <i>Michigan Mathematical Journal</i>, vol. 55, no. 1. Project Euclid, pp. 51–80, 2007.","ista":"De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 55(1), 51–80."},"file_date_updated":"2020-07-14T12:45:32Z","has_accepted_license":"1","year":"2007","author":[{"full_name":"De La Bretèche, Régis","last_name":"De La Bretèche","first_name":"Régis"},{"full_name":"Browning, Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","orcid":"0000-0002-8314-0177","last_name":"Browning"}],"date_created":"2018-12-11T11:45:17Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","external_id":{"arxiv":["math/0412086"]},"publication":"Michigan Mathematical Journal","ddc":["510"],"quality_controlled":"1","title":"On Manin's conjecture for singular del Pezzo surfaces of degree four, I","oa":1,"page":"51 - 80","doi":"10.1307/mmj/1177681985","language":[{"iso":"eng"}],"file":[{"file_name":"2007_MichiganMath_Breteche.pdf","checksum":"37663dde30b00d2af8a2606c6630a82f","access_level":"open_access","relation":"main_file","file_id":"6361","date_created":"2019-04-30T08:27:34Z","content_type":"application/pdf","file_size":256111,"creator":"dernst","date_updated":"2020-07-14T12:45:32Z"}],"intvolume":"        55","issue":"1","type":"journal_article","day":"27","volume":55,"arxiv":1,"oa_version":"Published Version","extern":"1"},{"author":[{"last_name":"De La Bretèche","first_name":"Régis","full_name":"de la Bretèche, Régis"},{"full_name":"Timothy Browning","orcid":"0000-0002-8314-0177","first_name":"Timothy D","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"}],"day":"01","type":"journal_article","issue":"3","year":"2007","volume":143,"publication_status":"published","date_created":"2018-12-11T11:45:17Z","extern":1,"status":"public","month":"01","date_updated":"2021-01-12T06:56:05Z","_id":"222","date_published":"2007-01-01T00:00:00Z","publication":"Mathematical Proceedings of the Cambridge Philosophical Society","publist_id":"7689","page":"579 - 605","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/math/0502510v4"}],"publisher":"Unknown","oa":1,"title":"On Manin's conjecture for singular del Pezzo surfaces of degree four, II","quality_controlled":0,"intvolume":"       143","abstract":[{"text":"Acknowledgements. The authors are grateful to Ulrich Derenthal and Brendan Hassett for several useful conversations relating to universal torsors for singular del Pezzo surfaces. Special thanks are due to Roger Heath–Brown whose ideas led us to the proof of Lemma 6. The paper was finalised while the first author was at the École Normale Supérieure, and the second author was at Oxford University supported by EPSRC grant number GR/R93155/01. The hospitality and financial support of these institutions is gratefully acknowledged. Finally, the authors would like to thank the anonymous referee for his careful reading of the manuscript and numerous useful suggestions.","lang":"eng"}],"citation":{"ista":"De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 143(3), 579–605.","ieee":"R. De La Bretèche and T. D. Browning, “On Manin’s conjecture for singular del Pezzo surfaces of degree four, II,” <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>, vol. 143, no. 3. Unknown, pp. 579–605, 2007.","apa":"De La Bretèche, R., &#38; Browning, T. D. (2007). On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>. Unknown. <a href=\"https://doi.org/10.1017/S0305004107000205\">https://doi.org/10.1017/S0305004107000205</a>","mla":"De La Bretèche, Régis, and Timothy D. Browning. “On Manin’s Conjecture for Singular Del Pezzo Surfaces of Degree Four, II.” <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>, vol. 143, no. 3, Unknown, 2007, pp. 579–605, doi:<a href=\"https://doi.org/10.1017/S0305004107000205\">10.1017/S0305004107000205</a>.","chicago":"De La Bretèche, Régis, and Timothy D Browning. “On Manin’s Conjecture for Singular Del Pezzo Surfaces of Degree Four, II.” <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>. Unknown, 2007. <a href=\"https://doi.org/10.1017/S0305004107000205\">https://doi.org/10.1017/S0305004107000205</a>.","short":"R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.","ama":"De La Bretèche R, Browning TD. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. <i>Mathematical Proceedings of the Cambridge Philosophical Society</i>. 2007;143(3):579-605. doi:<a href=\"https://doi.org/10.1017/S0305004107000205\">10.1017/S0305004107000205</a>"},"acknowledgement":"GR/R93155/01","doi":"10.1017/S0305004107000205"},{"issue":"1","year":"2007","type":"journal_article","day":"01","author":[{"full_name":"Timothy Browning","orcid":"0000-0002-8314-0177","first_name":"Timothy D","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"}],"publication_status":"published","date_created":"2018-12-11T11:45:17Z","volume":152,"extern":1,"date_updated":"2021-01-12T06:56:09Z","month":"09","status":"public","date_published":"2007-09-01T00:00:00Z","publist_id":"7690","publication":"Monatshefte fur Mathematik","_id":"223","quality_controlled":0,"title":"Density of integer solutions to diagonal quadratic forms","main_file_link":[{"url":"https://arxiv.org/abs/math/0603569","open_access":"1"}],"oa":1,"publisher":"Springer","page":"13 - 38","doi":"10.1007/s00605-007-0457-5","abstract":[{"lang":"eng","text":"Let Q be a non-singular diagonal quadratic form in at least four variables. We provide upper bounds for the number of integer solutions to the equation Q = 0, which lie in a box with sides of length 2B, as B → ∞. The estimates obtained are completely uniform in the coefficients of the form, and become sharper as they grow larger in modulus."}],"citation":{"ieee":"T. D. Browning, “Density of integer solutions to diagonal quadratic forms,” <i>Monatshefte fur Mathematik</i>, vol. 152, no. 1. Springer, pp. 13–38, 2007.","ista":"Browning TD. 2007. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 152(1), 13–38.","short":"T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.","ama":"Browning TD. Density of integer solutions to diagonal quadratic forms. <i>Monatshefte fur Mathematik</i>. 2007;152(1):13-38. doi:<a href=\"https://doi.org/10.1007/s00605-007-0457-5\">10.1007/s00605-007-0457-5</a>","chicago":"Browning, Timothy D. “Density of Integer Solutions to Diagonal Quadratic Forms.” <i>Monatshefte Fur Mathematik</i>. Springer, 2007. <a href=\"https://doi.org/10.1007/s00605-007-0457-5\">https://doi.org/10.1007/s00605-007-0457-5</a>.","mla":"Browning, Timothy D. “Density of Integer Solutions to Diagonal Quadratic Forms.” <i>Monatshefte Fur Mathematik</i>, vol. 152, no. 1, Springer, 2007, pp. 13–38, doi:<a href=\"https://doi.org/10.1007/s00605-007-0457-5\">10.1007/s00605-007-0457-5</a>.","apa":"Browning, T. D. (2007). Density of integer solutions to diagonal quadratic forms. <i>Monatshefte Fur Mathematik</i>. Springer. <a href=\"https://doi.org/10.1007/s00605-007-0457-5\">https://doi.org/10.1007/s00605-007-0457-5</a>"},"intvolume":"       152"},{"title":"On the failure of subadditivity of the Wigner-Yanase entropy","quality_controlled":0,"page":"285 - 288","publisher":"Springer","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0704.1435"}],"abstract":[{"text":"It was recently shown by Hansen that the Wigner-Yanase entropy is, for general states of quantum systems, not subadditive with respect to decomposition into two subsystems, although this property is known to hold for pure states. We investigate the question whether the weaker property of subadditivity for pure states with respect to decomposition into more than two subsystems holds. This property would have interesting applications in quantum chemistry. We show, however, that it does not hold in general, and provide a counterexample.","lang":"eng"}],"citation":{"ieee":"R. Seiringer, “On the failure of subadditivity of the Wigner-Yanase entropy,” <i>Letters in Mathematical Physics</i>, vol. 80, no. 3. Springer, pp. 285–288, 2007.","ista":"Seiringer R. 2007. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 80(3), 285–288.","ama":"Seiringer R. On the failure of subadditivity of the Wigner-Yanase entropy. <i>Letters in Mathematical Physics</i>. 2007;80(3):285-288. doi:<a href=\"https://doi.org/10.1007/s11005-007-0159-x\">10.1007/s11005-007-0159-x</a>","short":"R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.","chicago":"Seiringer, Robert. “On the Failure of Subadditivity of the Wigner-Yanase Entropy.” <i>Letters in Mathematical Physics</i>. Springer, 2007. <a href=\"https://doi.org/10.1007/s11005-007-0159-x\">https://doi.org/10.1007/s11005-007-0159-x</a>.","mla":"Seiringer, Robert. “On the Failure of Subadditivity of the Wigner-Yanase Entropy.” <i>Letters in Mathematical Physics</i>, vol. 80, no. 3, Springer, 2007, pp. 285–88, doi:<a href=\"https://doi.org/10.1007/s11005-007-0159-x\">10.1007/s11005-007-0159-x</a>.","apa":"Seiringer, R. (2007). On the failure of subadditivity of the Wigner-Yanase entropy. <i>Letters in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s11005-007-0159-x\">https://doi.org/10.1007/s11005-007-0159-x</a>"},"doi":"10.1007/s11005-007-0159-x","intvolume":"        80","month":"06","date_updated":"2021-01-12T06:57:03Z","status":"public","publist_id":"4557","date_published":"2007-06-01T00:00:00Z","publication":"Letters in Mathematical Physics","_id":"2367","volume":80,"date_created":"2018-12-11T11:57:15Z","publication_status":"published","extern":1,"year":"2007","issue":"3","author":[{"full_name":"Robert Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"day":"01","type":"journal_article"},{"title":"Bose-Einstein condensation and spontaneous symmetry breaking","quality_controlled":0,"page":"389 - 399","publisher":"Elsevier","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math-ph/0610034"}],"citation":{"ista":"Lieb É, Seiringer R, Yngvason J. 2007. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 59(3), 389–399.","ieee":"É. Lieb, R. Seiringer, and J. Yngvason, “Bose-Einstein condensation and spontaneous symmetry breaking,” <i>Reports on Mathematical Physics</i>, vol. 59, no. 3. Elsevier, pp. 389–399, 2007.","apa":"Lieb, É., Seiringer, R., &#38; Yngvason, J. (2007). Bose-Einstein condensation and spontaneous symmetry breaking. <i>Reports on Mathematical Physics</i>. Elsevier. <a href=\"https://doi.org/10.1016/S0034-4877(07)80074-7\">https://doi.org/10.1016/S0034-4877(07)80074-7</a>","mla":"Lieb, Élliott, et al. “Bose-Einstein Condensation and Spontaneous Symmetry Breaking.” <i>Reports on Mathematical Physics</i>, vol. 59, no. 3, Elsevier, 2007, pp. 389–99, doi:<a href=\"https://doi.org/10.1016/S0034-4877(07)80074-7\">10.1016/S0034-4877(07)80074-7</a>.","chicago":"Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Bose-Einstein Condensation and Spontaneous Symmetry Breaking.” <i>Reports on Mathematical Physics</i>. Elsevier, 2007. <a href=\"https://doi.org/10.1016/S0034-4877(07)80074-7\">https://doi.org/10.1016/S0034-4877(07)80074-7</a>.","short":"É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.","ama":"Lieb É, Seiringer R, Yngvason J. Bose-Einstein condensation and spontaneous symmetry breaking. <i>Reports on Mathematical Physics</i>. 2007;59(3):389-399. doi:<a href=\"https://doi.org/10.1016/S0034-4877(07)80074-7\">10.1016/S0034-4877(07)80074-7</a>"},"abstract":[{"text":"After recalling briefly the connection between spontaneous symmetry breaking and off-diagonal long-range order for models of magnets a general proof of spontaneous breaking of gauge symmetry as a consequence of Bose-Einstein condensation is presented. The proof is based on a rigorous validation of Bogoliubov's c-number substitution for the k = 0 mode operator α0.","lang":"eng"}],"doi":"10.1016/S0034-4877(07)80074-7","intvolume":"        59","month":"06","date_updated":"2021-01-12T06:57:04Z","status":"public","publication":"Reports on Mathematical Physics","date_published":"2007-06-01T00:00:00Z","publist_id":"4556","_id":"2370","volume":59,"publication_status":"published","date_created":"2018-12-11T11:57:16Z","extern":1,"year":"2007","issue":"3","author":[{"full_name":"Lieb, Élliott H","last_name":"Lieb","first_name":"Élliott"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer"},{"first_name":"Jakob","last_name":"Yngvason","full_name":"Yngvason, Jakob"}],"type":"journal_article","day":"01"},{"extern":1,"date_created":"2018-12-11T11:57:16Z","publication_status":"published","volume":275,"type":"journal_article","day":"01","author":[{"full_name":"Frank, Rupert L","first_name":"Rupert","last_name":"Frank"},{"last_name":"Lieb","first_name":"Élliott","full_name":"Lieb, Élliott H"},{"first_name":"Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Robert Seiringer"}],"issue":"2","year":"2007","intvolume":"       275","doi":"10.1007/s00220-007-0307-2","abstract":[{"text":"We give a proof of stability of relativistic matter with magnetic fields all the way up to the critical value of the nuclear charge Zα = 2/π.","lang":"eng"}],"citation":{"ieee":"R. Frank, É. Lieb, and R. Seiringer, “Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value,” <i>Communications in Mathematical Physics</i>, vol. 275, no. 2. Springer, pp. 479–489, 2007.","ista":"Frank R, Lieb É, Seiringer R. 2007. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 275(2), 479–489.","chicago":"Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Stability of Relativistic Matter with Magnetic Fields for Nuclear Charges up to the Critical Value.” <i>Communications in Mathematical Physics</i>. Springer, 2007. <a href=\"https://doi.org/10.1007/s00220-007-0307-2\">https://doi.org/10.1007/s00220-007-0307-2</a>.","short":"R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.","ama":"Frank R, Lieb É, Seiringer R. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. <i>Communications in Mathematical Physics</i>. 2007;275(2):479-489. doi:<a href=\"https://doi.org/10.1007/s00220-007-0307-2\">10.1007/s00220-007-0307-2</a>","apa":"Frank, R., Lieb, É., &#38; Seiringer, R. (2007). Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. <i>Communications in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s00220-007-0307-2\">https://doi.org/10.1007/s00220-007-0307-2</a>","mla":"Frank, Rupert, et al. “Stability of Relativistic Matter with Magnetic Fields for Nuclear Charges up to the Critical Value.” <i>Communications in Mathematical Physics</i>, vol. 275, no. 2, Springer, 2007, pp. 479–89, doi:<a href=\"https://doi.org/10.1007/s00220-007-0307-2\">10.1007/s00220-007-0307-2</a>."},"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math-ph/0610062"}],"oa":1,"publisher":"Springer","page":"479 - 489","quality_controlled":0,"title":"Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value","_id":"2371","date_published":"2007-10-01T00:00:00Z","publication":"Communications in Mathematical Physics","publist_id":"4555","status":"public","date_updated":"2021-01-12T06:57:05Z","month":"10"},{"extern":1,"publication_status":"published","date_created":"2018-12-11T11:57:17Z","volume":76,"type":"journal_article","day":"30","author":[{"first_name":"Rupert","last_name":"Frank","full_name":"Frank, Rupert L"},{"first_name":"Élliott","last_name":"Lieb","full_name":"Lieb, Élliott H"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer"},{"full_name":"Siedentop, Heinz K","last_name":"Siedentop","first_name":"Heinz"}],"year":"2007","issue":"5","intvolume":"        76","doi":"10.1103/PhysRevA.76.052517","abstract":[{"text":"The increasing interest in the Müller density-matrix-functional theory has led us to a systematic mathematical investigation of its properties. This functional is similar to the Hartree-Fock (HF) functional, but with a modified exchange term in which the square of the density matrix γ(x, x′) is replaced by the square of γ1 2 (x, x′). After an extensive introductory discussion of density-matrix-functional theory we show, among other things, that this functional is convex (unlike the HF functional) and that energy minimizing γ 's have unique densities ρ(r), which is a physically desirable property often absent in HF theory. We show that minimizers exist if N≤Z, and derive various properties of the minimal energy and the corresponding minimizers. We also give a precise statement about the equation for the orbitals of γ, which is more complex than for HF theory. We state some open mathematical questions about the theory together with conjectured solutions.","lang":"eng"}],"citation":{"ama":"Frank R, Lieb É, Seiringer R, Siedentop H. Müller’s exchange-correlation energy in density-matrix-functional theory. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. 2007;76(5). doi:<a href=\"https://doi.org/10.1103/PhysRevA.76.052517\">10.1103/PhysRevA.76.052517</a>","short":"R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).","chicago":"Frank, Rupert, Élliott Lieb, Robert Seiringer, and Heinz Siedentop. “Müller’s Exchange-Correlation Energy in Density-Matrix-Functional Theory.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2007. <a href=\"https://doi.org/10.1103/PhysRevA.76.052517\">https://doi.org/10.1103/PhysRevA.76.052517</a>.","mla":"Frank, Rupert, et al. “Müller’s Exchange-Correlation Energy in Density-Matrix-Functional Theory.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 76, no. 5, American Physical Society, 2007, doi:<a href=\"https://doi.org/10.1103/PhysRevA.76.052517\">10.1103/PhysRevA.76.052517</a>.","apa":"Frank, R., Lieb, É., Seiringer, R., &#38; Siedentop, H. (2007). Müller’s exchange-correlation energy in density-matrix-functional theory. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.76.052517\">https://doi.org/10.1103/PhysRevA.76.052517</a>","ieee":"R. Frank, É. Lieb, R. Seiringer, and H. Siedentop, “Müller’s exchange-correlation energy in density-matrix-functional theory,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 76, no. 5. American Physical Society, 2007.","ista":"Frank R, Lieb É, Seiringer R, Siedentop H. 2007. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 76(5)."},"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0705.1587"}],"oa":1,"publisher":"American Physical Society","quality_controlled":0,"title":"Müller's exchange-correlation energy in density-matrix-functional theory","_id":"2372","publication":"Physical Review A - Atomic, Molecular, and Optical Physics","date_published":"2007-11-30T00:00:00Z","publist_id":"4554","status":"public","date_updated":"2021-01-12T06:57:05Z","month":"11"},{"doi":"10.1007/BF02937429","abstract":[{"text":"For the BCS equation with local two-body interaction λV(x), we give a rigorous analysis of the asymptotic behavior of the critical temperature as γ&quot;0. We derive necessary and sufficient conditions onV(x) for the existence of a nontrivial solution for all values of γ&gt;0.","lang":"eng"}],"citation":{"chicago":"Frank, Rupert, Christian Hainzl, Serguei Naboko, and Robert Seiringer. “The Critical Temperature for the BCS Equation at Weak Coupling.” <i>Journal of Geometric Analysis</i>. Springer, 2007. <a href=\"https://doi.org/10.1007/BF02937429\">https://doi.org/10.1007/BF02937429</a>.","ama":"Frank R, Hainzl C, Naboko S, Seiringer R. The critical temperature for the BCS equation at weak coupling. <i>Journal of Geometric Analysis</i>. 2007;17(4):559-567. doi:<a href=\"https://doi.org/10.1007/BF02937429\">10.1007/BF02937429</a>","short":"R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.","apa":"Frank, R., Hainzl, C., Naboko, S., &#38; Seiringer, R. (2007). The critical temperature for the BCS equation at weak coupling. <i>Journal of Geometric Analysis</i>. Springer. <a href=\"https://doi.org/10.1007/BF02937429\">https://doi.org/10.1007/BF02937429</a>","mla":"Frank, Rupert, et al. “The Critical Temperature for the BCS Equation at Weak Coupling.” <i>Journal of Geometric Analysis</i>, vol. 17, no. 4, Springer, 2007, pp. 559–67, doi:<a href=\"https://doi.org/10.1007/BF02937429\">10.1007/BF02937429</a>.","ieee":"R. Frank, C. Hainzl, S. Naboko, and R. Seiringer, “The critical temperature for the BCS equation at weak coupling,” <i>Journal of Geometric Analysis</i>, vol. 17, no. 4. Springer, pp. 559–567, 2007.","ista":"Frank R, Hainzl C, Naboko S, Seiringer R. 2007. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 17(4), 559–567."},"intvolume":"        17","quality_controlled":0,"title":"The critical temperature for the BCS equation at weak coupling","publisher":"Springer","oa":1,"main_file_link":[{"url":"http://arxiv.org/abs/0704.3564","open_access":"1"}],"page":"559 - 567","date_published":"2007-01-01T00:00:00Z","publist_id":"4553","publication":"Journal of Geometric Analysis","_id":"2373","date_updated":"2021-01-12T06:57:05Z","month":"01","status":"public","extern":1,"publication_status":"published","date_created":"2018-12-11T11:57:17Z","volume":17,"year":"2007","issue":"4","day":"01","type":"journal_article","author":[{"full_name":"Frank, Rupert L","last_name":"Frank","first_name":"Rupert"},{"full_name":"Hainzl, Christian","first_name":"Christian","last_name":"Hainzl"},{"first_name":"Serguei","last_name":"Naboko","full_name":"Naboko, Serguei N"},{"full_name":"Robert Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521"}]},{"extern":1,"volume":82,"date_created":"2018-12-11T11:57:18Z","publication_status":"published","year":"2007","issue":"2-3","author":[{"first_name":"Rupert","last_name":"Frank","full_name":"Frank, Rupert L"},{"first_name":"Élliott","last_name":"Lieb","full_name":"Lieb, Élliott H"},{"first_name":"Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Robert Seiringer"}],"type":"journal_article","day":"01","abstract":[{"lang":"eng","text":"We give a Cwikel-Lieb-Rozenblum type bound on the number of bound states of Schrödinger operators with matrix-valued potentials using the functional integral method of Lieb. This significantly improves the constant in this inequality obtained earlier by Hundertmark."}],"citation":{"apa":"Frank, R., Lieb, É., &#38; Seiringer, R. (2007). Number of bound states of Schrödinger operators with matrix-valued potentials. <i>Letters in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s11005-007-0211-x\">https://doi.org/10.1007/s11005-007-0211-x</a>","mla":"Frank, Rupert, et al. “Number of Bound States of Schrödinger Operators with Matrix-Valued Potentials.” <i>Letters in Mathematical Physics</i>, vol. 82, no. 2–3, Springer, 2007, pp. 107–16, doi:<a href=\"https://doi.org/10.1007/s11005-007-0211-x\">10.1007/s11005-007-0211-x</a>.","chicago":"Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Number of Bound States of Schrödinger Operators with Matrix-Valued Potentials.” <i>Letters in Mathematical Physics</i>. Springer, 2007. <a href=\"https://doi.org/10.1007/s11005-007-0211-x\">https://doi.org/10.1007/s11005-007-0211-x</a>.","short":"R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.","ama":"Frank R, Lieb É, Seiringer R. Number of bound states of Schrödinger operators with matrix-valued potentials. <i>Letters in Mathematical Physics</i>. 2007;82(2-3):107-116. doi:<a href=\"https://doi.org/10.1007/s11005-007-0211-x\">10.1007/s11005-007-0211-x</a>","ista":"Frank R, Lieb É, Seiringer R. 2007. Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. 82(2–3), 107–116.","ieee":"R. Frank, É. Lieb, and R. Seiringer, “Number of bound states of Schrödinger operators with matrix-valued potentials,” <i>Letters in Mathematical Physics</i>, vol. 82, no. 2–3. Springer, pp. 107–116, 2007."},"doi":"10.1007/s11005-007-0211-x","intvolume":"        82","title":"Number of bound states of Schrödinger operators with matrix-valued potentials","quality_controlled":0,"page":"107 - 116","publisher":"Springer","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0710.1877"}],"date_published":"2007-12-01T00:00:00Z","publist_id":"4552","publication":"Letters in Mathematical Physics","_id":"2375","month":"12","date_updated":"2021-01-12T06:57:06Z","status":"public"},{"intvolume":"         7","doi":"10.1002/fuce.200600050","abstract":[{"lang":"eng","text":"The main factors for reducing the consumption of a vehicle are reduction of curb weight, air drag and increase in the drivetrain efficiency. Highly efficient drivetrains can be developed based on PEFC technology and curb weight may be limited by an innovative vehicle construction. In this paper, data on consumption and efficiency of a four‐place passenger vehicle with a curb weight of 850 kg and an H2/O2 fed PEFC/Supercap hybrid electric powertrain are presented. Hydrogen consumption in the New European Driving Cycle is 0.67 kg H2/100 km, which corresponds to a gasoline equivalent consumption of 2.5 l/100 km. When including the energy needed to supply pure oxygen, the calculated consumption increases from 0.67 to 0.69–0.79 kg H2/100 km, depending on the method of oxygen production."}],"language":[{"iso":"eng"}],"citation":{"chicago":"Büchi, F. N., G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, et al. “Consumption and Efficiency of a Passenger Car with a Hydrogen/Oxygen PEFC Based Hybrid Electric Drivetrain.” <i>Fuel Cells</i>. Wiley, 2007. <a href=\"https://doi.org/10.1002/fuce.200600050\">https://doi.org/10.1002/fuce.200600050</a>.","ama":"Büchi FN, Paganelli G, Dietrich P, et al. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. <i>Fuel Cells</i>. 2007;7(4):329-335. doi:<a href=\"https://doi.org/10.1002/fuce.200600050\">10.1002/fuce.200600050</a>","short":"F.N. Büchi, G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, R. Kötz, S.A. Freunberger, P.-A. Magne, D. Walser, D. Olsommer, Fuel Cells 7 (2007) 329–335.","apa":"Büchi, F. N., Paganelli, G., Dietrich, P., Laurent, D., Tsukada, A., Varenne, P., … Olsommer, D. (2007). Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. <i>Fuel Cells</i>. Wiley. <a href=\"https://doi.org/10.1002/fuce.200600050\">https://doi.org/10.1002/fuce.200600050</a>","mla":"Büchi, F. N., et al. “Consumption and Efficiency of a Passenger Car with a Hydrogen/Oxygen PEFC Based Hybrid Electric Drivetrain.” <i>Fuel Cells</i>, vol. 7, no. 4, Wiley, 2007, pp. 329–35, doi:<a href=\"https://doi.org/10.1002/fuce.200600050\">10.1002/fuce.200600050</a>.","ieee":"F. N. Büchi <i>et al.</i>, “Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain,” <i>Fuel Cells</i>, vol. 7, no. 4. Wiley, pp. 329–335, 2007.","ista":"Büchi FN, Paganelli G, Dietrich P, Laurent D, Tsukada A, Varenne P, Delfino A, Kötz R, Freunberger SA, Magne P-A, Walser D, Olsommer D. 2007. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 7(4), 329–335."},"publisher":"Wiley","page":"329-335","quality_controlled":"1","title":"Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain","_id":"7323","date_published":"2007-08-01T00:00:00Z","publication":"Fuel Cells","publication_identifier":{"issn":["1615-6846","1615-6854"]},"status":"public","date_updated":"2021-01-12T08:13:04Z","month":"08","article_type":"original","extern":"1","oa_version":"None","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-01-15T12:22:10Z","volume":7,"day":"01","type":"journal_article","author":[{"full_name":"Büchi, F. N.","last_name":"Büchi","first_name":"F. N."},{"last_name":"Paganelli","first_name":"G.","full_name":"Paganelli, G."},{"first_name":"P.","last_name":"Dietrich","full_name":"Dietrich, P."},{"last_name":"Laurent","first_name":"D.","full_name":"Laurent, D."},{"full_name":"Tsukada, A.","last_name":"Tsukada","first_name":"A."},{"full_name":"Varenne, P.","last_name":"Varenne","first_name":"P."},{"full_name":"Delfino, A.","last_name":"Delfino","first_name":"A."},{"full_name":"Kötz, R.","first_name":"R.","last_name":"Kötz"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319","full_name":"Freunberger, Stefan Alexander"},{"first_name":"P.-A.","last_name":"Magne","full_name":"Magne, P.-A."},{"full_name":"Walser, D.","first_name":"D.","last_name":"Walser"},{"full_name":"Olsommer, D.","last_name":"Olsommer","first_name":"D."}],"article_processing_charge":"No","year":"2007","issue":"4"},{"article_type":"original","extern":"1","oa_version":"None","volume":7,"date_created":"2020-01-15T12:22:20Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"F. N.","last_name":"Büchi","full_name":"Büchi, F. N."},{"full_name":"Freunberger, Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","last_name":"Freunberger"},{"full_name":"Reum, M.","first_name":"M.","last_name":"Reum"},{"full_name":"Paganelli, G.","first_name":"G.","last_name":"Paganelli"},{"last_name":"Tsukada","first_name":"A.","full_name":"Tsukada, A."},{"full_name":"Dietrich, P.","first_name":"P.","last_name":"Dietrich"},{"full_name":"Delfino, A.","last_name":"Delfino","first_name":"A."}],"day":"01","type":"journal_article","year":"2007","issue":"2","article_processing_charge":"No","intvolume":"         7","language":[{"iso":"eng"}],"citation":{"mla":"Büchi, F. N., et al. “On the Efficiency of an Advanced Automotive Fuel Cell System.” <i>Fuel Cells</i>, vol. 7, no. 2, Wiley, 2007, pp. 159–64, doi:<a href=\"https://doi.org/10.1002/fuce.200500257\">10.1002/fuce.200500257</a>.","apa":"Büchi, F. N., Freunberger, S. A., Reum, M., Paganelli, G., Tsukada, A., Dietrich, P., &#38; Delfino, A. (2007). On the efficiency of an advanced automotive fuel cell system. <i>Fuel Cells</i>. Wiley. <a href=\"https://doi.org/10.1002/fuce.200500257\">https://doi.org/10.1002/fuce.200500257</a>","short":"F.N. Büchi, S.A. Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, A. Delfino, Fuel Cells 7 (2007) 159–164.","ama":"Büchi FN, Freunberger SA, Reum M, et al. On the efficiency of an advanced automotive fuel cell system. <i>Fuel Cells</i>. 2007;7(2):159-164. doi:<a href=\"https://doi.org/10.1002/fuce.200500257\">10.1002/fuce.200500257</a>","chicago":"Büchi, F. N., Stefan Alexander Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, and A. Delfino. “On the Efficiency of an Advanced Automotive Fuel Cell System.” <i>Fuel Cells</i>. Wiley, 2007. <a href=\"https://doi.org/10.1002/fuce.200500257\">https://doi.org/10.1002/fuce.200500257</a>.","ista":"Büchi FN, Freunberger SA, Reum M, Paganelli G, Tsukada A, Dietrich P, Delfino A. 2007. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 7(2), 159–164.","ieee":"F. N. Büchi <i>et al.</i>, “On the efficiency of an advanced automotive fuel cell system,” <i>Fuel Cells</i>, vol. 7, no. 2. Wiley, pp. 159–164, 2007."},"abstract":[{"lang":"eng","text":"Efficiency is the key parameter for the application of fuel cells in automotive applications. The efficiency of a hydrogen/oxygen polymer electrolyte fuel cell system is analyzed and compared to hydrogen/air systems. The analysis is performed for the tank to electric power chain. Furthermore, the additional energy required for using pure oxygen as a second fuel is analyzed and included in the calculation. The results show that if hydrogen is produced from primary fossil energy carriers, such as natural gas and pure oxygen needs to be obtained by a conventional process; the fuel to electric current efficiency is comparable for hydrogen/oxygen and hydrogen/air systems. However, if hydrogen and oxygen are produced by the splitting of water, i.e., by electrolysis or by a thermochemical process, the fuel to electric current efficiency for the hydrogen/oxygen system is clearly superior."}],"doi":"10.1002/fuce.200500257","page":"159-164","publisher":"Wiley","title":"On the efficiency of an advanced automotive fuel cell system","_id":"7324","publication":"Fuel Cells","date_published":"2007-04-01T00:00:00Z","status":"public","publication_identifier":{"issn":["1615-6846","1615-6854"]},"month":"04","date_updated":"2021-01-12T08:13:04Z"},{"type":"journal_article","day":"09","author":[{"first_name":"I. A.","last_name":"Schneider","full_name":"Schneider, I. A."},{"full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","last_name":"Freunberger","orcid":"0000-0003-2902-5319","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"},{"full_name":"Kramer, D.","last_name":"Kramer","first_name":"D."},{"first_name":"A.","last_name":"Wokaun","full_name":"Wokaun, A."},{"last_name":"Scherer","first_name":"G. G.","full_name":"Scherer, G. G."}],"issue":"4","article_processing_charge":"No","year":"2007","article_type":"original","extern":"1","article_number":"B383","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-01-15T12:22:31Z","publication_status":"published","volume":154,"_id":"7325","publication":"Journal of The Electrochemical Society","date_published":"2007-02-09T00:00:00Z","publication_identifier":{"issn":["0013-4651"]},"status":"public","date_updated":"2021-01-12T08:13:05Z","month":"02","intvolume":"       154","doi":"10.1149/1.2435706","citation":{"ieee":"I. A. Schneider, S. A. Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer, “Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs,” <i>Journal of The Electrochemical Society</i>, vol. 154, no. 4. The Electrochemical Society, 2007.","ista":"Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. 2007. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. 154(4), B383.","ama":"Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. <i>Journal of The Electrochemical Society</i>. 2007;154(4). doi:<a href=\"https://doi.org/10.1149/1.2435706\">10.1149/1.2435706</a>","short":"I.A. Schneider, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, Journal of The Electrochemical Society 154 (2007).","chicago":"Schneider, I. A., Stefan Alexander Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.” <i>Journal of The Electrochemical Society</i>. The Electrochemical Society, 2007. <a href=\"https://doi.org/10.1149/1.2435706\">https://doi.org/10.1149/1.2435706</a>.","mla":"Schneider, I. A., et al. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.” <i>Journal of The Electrochemical Society</i>, vol. 154, no. 4, B383, The Electrochemical Society, 2007, doi:<a href=\"https://doi.org/10.1149/1.2435706\">10.1149/1.2435706</a>.","apa":"Schneider, I. A., Freunberger, S. A., Kramer, D., Wokaun, A., &#38; Scherer, G. G. (2007). Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. <i>Journal of The Electrochemical Society</i>. The Electrochemical Society. <a href=\"https://doi.org/10.1149/1.2435706\">https://doi.org/10.1149/1.2435706</a>"},"language":[{"iso":"eng"}],"abstract":[{"text":"Our experimental results shown here disprove that finite diffusion can generally be assumed in ac impedance models for H2/air-polymer electrolyte fuel cells (PEFCs) to account for the diffusive transport of oxygen through the gas diffusion layer (GDL) toward the air electrode. It is shown that the amplitude of the oxygen concentration oscillation created as a consequence of superimposed ac current at the air electrode is not zero at the channel/GDL interface but extends into the gas channels, at least below modulation frequencies of fmod=10 Hz . By this, sinusoidal oxygen-concentration oscillations within the cathode gas channels are excited locally along the flow field. Due to the forced air convection in the cathode flow-field channels, a coupling via the gas phase occurs downstream of the flow field. The coupling strongly affects the local and by this the overall impedance response of the cell and evokes the formation of a low-frequency arc in H2/air-PEFC impedance spectra. Based on the experimental results, a qualitative model is presented explaining the local impedance response of a segmented 200cm2H2/air PEFC.","lang":"eng"}],"publisher":"The Electrochemical Society","quality_controlled":"1","title":"Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs"},{"type":"journal_article","day":"26","author":[{"full_name":"Komiyama, Takaki","last_name":"Komiyama","first_name":"Takaki"},{"full_name":"Sweeney, Lora Beatrice Jaeger","last_name":"Sweeney","first_name":"Lora Beatrice Jaeger","orcid":"0000-0001-9242-5601","id":"56BE8254-C4F0-11E9-8E45-0B23E6697425"},{"full_name":"Schuldiner, Oren","last_name":"Schuldiner","first_name":"Oren"},{"full_name":"Garcia, K. Christopher","first_name":"K. Christopher","last_name":"Garcia"},{"last_name":"Luo","first_name":"Liqun","full_name":"Luo, Liqun"}],"issue":"2","article_processing_charge":"No","year":"2007","article_type":"original","extern":"1","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_created":"2020-04-30T10:37:08Z","volume":128,"_id":"7704","date_published":"2007-01-26T00:00:00Z","publication":"Cell","status":"public","publication_identifier":{"issn":["0092-8674"]},"date_updated":"2024-01-31T10:14:48Z","month":"01","intvolume":"       128","doi":"10.1016/j.cell.2006.12.028","abstract":[{"lang":"eng","text":"Gradients of axon guidance molecules instruct the formation of continuous neural maps, such as the retinotopic map in the vertebrate visual system. Here we show that molecular gradients can also instruct the formation of a discrete neural map. In the fly olfactory system, axons of 50 classes of olfactory receptor neurons (ORNs) and dendrites of 50 classes of projection neurons (PNs) form one-to-one connections at discrete units called glomeruli. We provide expression, loss- and gain-of-function data to demonstrate that the levels of transmembrane Semaphorin-1a (Sema-1a), acting cell-autonomously as a receptor or part of a receptor complex, direct the dendritic targeting of PNs along the dorsolateral to ventromedial axis of the antennal lobe. Sema-1a also regulates PN axon targeting in higher olfactory centers. Thus, graded expression of Sema-1a contributes to connection specificity from ORNs to PNs and then to higher brain centers, ensuring proper representation of olfactory information in the brain."}],"language":[{"iso":"eng"}],"citation":{"chicago":"Komiyama, Takaki, Lora B. Sweeney, Oren Schuldiner, K. Christopher Garcia, and Liqun Luo. “Graded Expression of Semaphorin-1a Cell-Autonomously Directs Dendritic Targeting of Olfactory Projection Neurons.” <i>Cell</i>. Elsevier, 2007. <a href=\"https://doi.org/10.1016/j.cell.2006.12.028\">https://doi.org/10.1016/j.cell.2006.12.028</a>.","short":"T. Komiyama, L.B. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.","ama":"Komiyama T, Sweeney LB, Schuldiner O, Garcia KC, Luo L. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. <i>Cell</i>. 2007;128(2):399-410. doi:<a href=\"https://doi.org/10.1016/j.cell.2006.12.028\">10.1016/j.cell.2006.12.028</a>","apa":"Komiyama, T., Sweeney, L. B., Schuldiner, O., Garcia, K. C., &#38; Luo, L. (2007). Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cell.2006.12.028\">https://doi.org/10.1016/j.cell.2006.12.028</a>","mla":"Komiyama, Takaki, et al. “Graded Expression of Semaphorin-1a Cell-Autonomously Directs Dendritic Targeting of Olfactory Projection Neurons.” <i>Cell</i>, vol. 128, no. 2, Elsevier, 2007, pp. 399–410, doi:<a href=\"https://doi.org/10.1016/j.cell.2006.12.028\">10.1016/j.cell.2006.12.028</a>.","ieee":"T. Komiyama, L. B. Sweeney, O. Schuldiner, K. C. Garcia, and L. Luo, “Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons,” <i>Cell</i>, vol. 128, no. 2. Elsevier, pp. 399–410, 2007.","ista":"Komiyama T, Sweeney LB, Schuldiner O, Garcia KC, Luo L. 2007. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. 128(2), 399–410."},"publisher":"Elsevier","page":"399-410","quality_controlled":"1","title":"Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons"},{"author":[{"id":"56BE8254-C4F0-11E9-8E45-0B23E6697425","first_name":"Lora Beatrice Jaeger","last_name":"Sweeney","orcid":"0000-0001-9242-5601","full_name":"Sweeney, Lora Beatrice Jaeger"},{"first_name":"Africa","last_name":"Couto","full_name":"Couto, Africa"},{"last_name":"Chou","first_name":"Ya-Hui","full_name":"Chou, Ya-Hui"},{"last_name":"Berdnik","first_name":"Daniela","full_name":"Berdnik, Daniela"},{"full_name":"Dickson, Barry J.","last_name":"Dickson","first_name":"Barry J."},{"full_name":"Luo, Liqun","first_name":"Liqun","last_name":"Luo"},{"full_name":"Komiyama, Takaki","last_name":"Komiyama","first_name":"Takaki"}],"type":"journal_article","day":"18","issue":"2","article_processing_charge":"No","year":"2007","article_type":"original","extern":"1","oa_version":"None","volume":53,"date_created":"2020-04-30T10:37:24Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"7705","publication":"Neuron","date_published":"2007-01-18T00:00:00Z","status":"public","publication_identifier":{"issn":["0896-6273"]},"month":"01","date_updated":"2024-01-31T10:14:39Z","intvolume":"        53","abstract":[{"text":"Axon-axon interactions have been implicated in neural circuit assembly, but the underlying mechanisms are poorly understood. Here, we show that in the Drosophila antennal lobe, early-arriving axons of olfactory receptor neurons (ORNs) from the antenna are required for the proper targeting of late-arriving ORN axons from the maxillary palp (MP). Semaphorin-1a is required for targeting of all MP but only half of the antennal ORN classes examined. Sema-1a acts nonautonomously to control ORN axon-axon interactions, in contrast to its cell-autonomous function in olfactory projection neurons. Phenotypic and genetic interaction analyses implicate PlexinA as the Sema-1a receptor in ORN targeting. Sema-1a on antennal ORN axons is required for correct targeting of MP axons within the antennal lobe, while interactions amongst MP axons facilitate their entry into the antennal lobe. We propose that Sema-1a/PlexinA-mediated repulsion provides a mechanism by which early-arriving ORN axons constrain the target choices of late-arriving axons.","lang":"eng"}],"citation":{"ista":"Sweeney LB, Couto A, Chou Y-H, Berdnik D, Dickson BJ, Luo L, Komiyama T. 2007. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 53(2), 185–200.","ieee":"L. B. Sweeney <i>et al.</i>, “Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions,” <i>Neuron</i>, vol. 53, no. 2. Elsevier, pp. 185–200, 2007.","mla":"Sweeney, Lora B., et al. “Temporal Target Restriction of Olfactory Receptor Neurons by Semaphorin-1a/PlexinA-Mediated Axon-Axon Interactions.” <i>Neuron</i>, vol. 53, no. 2, Elsevier, 2007, pp. 185–200, doi:<a href=\"https://doi.org/10.1016/j.neuron.2006.12.022\">10.1016/j.neuron.2006.12.022</a>.","apa":"Sweeney, L. B., Couto, A., Chou, Y.-H., Berdnik, D., Dickson, B. J., Luo, L., &#38; Komiyama, T. (2007). Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2006.12.022\">https://doi.org/10.1016/j.neuron.2006.12.022</a>","short":"L.B. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.","ama":"Sweeney LB, Couto A, Chou Y-H, et al. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. <i>Neuron</i>. 2007;53(2):185-200. doi:<a href=\"https://doi.org/10.1016/j.neuron.2006.12.022\">10.1016/j.neuron.2006.12.022</a>","chicago":"Sweeney, Lora B., Africa Couto, Ya-Hui Chou, Daniela Berdnik, Barry J. Dickson, Liqun Luo, and Takaki Komiyama. “Temporal Target Restriction of Olfactory Receptor Neurons by Semaphorin-1a/PlexinA-Mediated Axon-Axon Interactions.” <i>Neuron</i>. Elsevier, 2007. <a href=\"https://doi.org/10.1016/j.neuron.2006.12.022\">https://doi.org/10.1016/j.neuron.2006.12.022</a>."},"language":[{"iso":"eng"}],"doi":"10.1016/j.neuron.2006.12.022","page":"185-200","publisher":"Elsevier","title":"Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions","quality_controlled":"1"},{"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2020-04-30T11:02:28Z","year":"2007","author":[{"full_name":"Robinson, Matthew Richard","orcid":"0000-0001-8982-8813","first_name":"Matthew Richard","last_name":"Robinson","id":"E5D42276-F5DA-11E9-8E24-6303E6697425"},{"first_name":"Loeske E.B","last_name":"Kruuk","full_name":"Kruuk, Loeske E.B"}],"pmid":1,"abstract":[{"text":"In many species, females show reduced expression of a trait that is under sexual selection in males, and this expression is thought to be maintained through genetic associations with the male phenotype. However, there is also the potential for the female trait to convey an advantage in intrasexual conflicts over resources. We tested this hypothesis in a feral population of Soay sheep, in which males and females have a polymorphism for horn development, producing either full (normal horned), reduced (scurred) or no (polled, females only) horns. During the lambing period, females who possessed horns were more likely to initiate and win aggressive interactions, independent of age, weight and birthing status. The occurrence of aggression was also context dependent, decreasing over the lambing period and associated with local density. Our results demonstrate that a trait that confers benefits to males during intrasexual competition for mates may also be used by females in intrasexual competition over resources: males use weaponry to gain mates, whereas females use weaponry to gain food.","lang":"eng"}],"citation":{"mla":"Robinson, Matthew Richard, and Loeske E. .. Kruuk. “Function of Weaponry in Females: The Use of Horns in Intrasexual Competition for Resources in Female Soay Sheep.” <i>Biology Letters</i>, vol. 3, no. 6, The Royal Society, 2007, pp. 651–54, doi:<a href=\"https://doi.org/10.1098/rsbl.2007.0278\">10.1098/rsbl.2007.0278</a>.","apa":"Robinson, M. R., &#38; Kruuk, L. E. . (2007). Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. <i>Biology Letters</i>. The Royal Society. <a href=\"https://doi.org/10.1098/rsbl.2007.0278\">https://doi.org/10.1098/rsbl.2007.0278</a>","short":"M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.","ama":"Robinson MR, Kruuk LE. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. <i>Biology Letters</i>. 2007;3(6):651-654. doi:<a href=\"https://doi.org/10.1098/rsbl.2007.0278\">10.1098/rsbl.2007.0278</a>","chicago":"Robinson, Matthew Richard, and Loeske E.B Kruuk. “Function of Weaponry in Females: The Use of Horns in Intrasexual Competition for Resources in Female Soay Sheep.” <i>Biology Letters</i>. The Royal Society, 2007. <a href=\"https://doi.org/10.1098/rsbl.2007.0278\">https://doi.org/10.1098/rsbl.2007.0278</a>.","ista":"Robinson MR, Kruuk LE. 2007. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 3(6), 651–654.","ieee":"M. R. Robinson and L. E. . Kruuk, “Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep,” <i>Biology Letters</i>, vol. 3, no. 6. The Royal Society, pp. 651–654, 2007."},"publisher":"The Royal Society","date_published":"2007-08-21T00:00:00Z","_id":"7753","date_updated":"2021-01-12T08:15:18Z","month":"08","extern":"1","article_type":"original","volume":3,"oa_version":"Published Version","article_processing_charge":"No","issue":"6","type":"journal_article","day":"21","doi":"10.1098/rsbl.2007.0278","language":[{"iso":"eng"}],"intvolume":"         3","quality_controlled":"1","title":"Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep","oa":1,"main_file_link":[{"url":"https://doi.org/10.1098/rsbl.2007.0278","open_access":"1"}],"page":"651-654","external_id":{"pmid":["17711817"]},"publication":"Biology Letters","status":"public","publication_identifier":{"issn":["1744-9561","1744-957X"]}},{"_id":"4559","date_published":"2007-10-08T00:00:00Z","publist_id":"150","status":"public","date_updated":"2021-01-12T07:59:42Z","month":"10","acknowledgement":"Technical Report No. UCB/EECS-2007-122","citation":{"ista":"Chatterjee K. 2007. Stochastic ω-Regular Games. University of California, Berkeley.","ieee":"K. Chatterjee, “Stochastic ω-Regular Games,” University of California, Berkeley, 2007.","mla":"Chatterjee, Krishnendu. <i>Stochastic ω-Regular Games</i>. University of California, Berkeley, 2007, pp. 1–247.","apa":"Chatterjee, K. (2007). <i>Stochastic ω-Regular Games</i>. University of California, Berkeley.","ama":"Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.","short":"K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.","chicago":"Chatterjee, Krishnendu. “Stochastic ω-Regular Games.” University of California, Berkeley, 2007."},"abstract":[{"text":"We study games played on graphs with omega-regular conditions specified as parity, Rabin, Streett or Muller conditions. These games have applications in the verification, synthesis, modeling, testing, and compatibility checking of reactive systems. Important distinctions between graph games are as follows: (a) turn-based vs. concurrent games, depending on whether at a state of the game only a single player makes a move, or players make moves simultaneously; (b) deterministic vs. stochastic, depending on whether the transition function is a deterministic or a probabilistic function over successor states; and (c) zero-sum vs. non-zero-sum, depending on whether the objectives of the players are strictly conflicting or not.\n\nWe establish that the decision problem for turn-based stochastic zero-sum games with Rabin, Streett, and Muller objectives are NP-complete, coNP-complete, and PSPACE-complete, respectively, substantially improving the previously known 3EXPTIME bound. We also present strategy improvement style algorithms for turn-based stochastic Rabin and Streett games. In the case of concurrent stochastic zero-sum games with parity objectives we obtain a PSPACE bound, again improving the previously known 3EXPTIME bound. As a consequence, concurrent stochastic zero-sum games with Rabin, Streett, and Muller objectives can be solved in EXPSPACE, improving the previously known 4EXPTIME bound. We also present an elementary and combinatorial proof of the existence of memoryless \\epsilon-optimal strategies in concurrent stochastic games with reachability objectives, for all real \\epsilon&gt;0, where an \\epsilon-optimal strategy achieves the value of the game with in \\epsilon against all strategies of the opponent. We also use the proof techniques to present a strategy improvement style algorithm for concurrent stochastic reachability games.\n\nWe then go beyond \\omega-regular objectives and study the complexity of an important class of quantitative objectives, namely, limit-average objectives. In the case of limit-average games, the states of the graph is labeled with rewards and the goal is to maximize the long-run average of the rewards. We show that concurrent stochastic zero-sum games with limit-average objectives can be solved in EXPTIME.\n\nFinally, we introduce a new notion of equilibrium, called secure equilibrium, in non-zero-sum games which captures the notion of conditional competitiveness. We prove the existence of unique maximal secure equilibrium payoff profiles in turn-based deterministic games, and present algorithms to compute such payoff profiles. We also show how the notion of secure equilibrium extends the assume-guarantee style of reasoning in the game theoretic framework.","lang":"eng"}],"main_file_link":[{"url":"http://chess.eecs.berkeley.edu/pubs/462.html","open_access":"0"}],"publisher":"University of California, Berkeley","page":"1 - 247","quality_controlled":0,"title":"Stochastic ω-Regular Games","type":"dissertation","day":"08","author":[{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Krishnendu Chatterjee"}],"year":"2007","extern":1,"date_created":"2018-12-11T12:09:29Z","publication_status":"published"},{"type":"dissertation","day":"20","author":[{"full_name":"Chakrabarti, Arindam","first_name":"Arindam","last_name":"Chakrabarti"}],"supervisor":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000-0002-2985-7724"},{"full_name":"Necula, George","last_name":"Necula","first_name":"George"},{"full_name":"Lee, Edward","first_name":"Edward","last_name":"Lee"},{"full_name":"Silver, Jack","first_name":"Jack","last_name":"Silver"}],"article_processing_charge":"No","year":"2007","extern":"1","oa_version":"None","date_created":"2018-12-11T12:09:31Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"4566","publist_id":"145","date_published":"2007-12-20T00:00:00Z","status":"public","date_updated":"2021-01-12T07:59:45Z","month":"12","citation":{"apa":"Chakrabarti, A. (2007). <i>A framework for compositional design and analysis of systems</i>. University of California, Berkeley.","mla":"Chakrabarti, Arindam. <i>A Framework for Compositional Design and Analysis of Systems</i>. University of California, Berkeley, 2007, pp. 1–244.","chicago":"Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.","short":"A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.","ama":"Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.","ista":"Chakrabarti A. 2007. A framework for compositional design and analysis of systems. University of California, Berkeley.","ieee":"A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007."},"abstract":[{"lang":"eng","text":"Complex system design today calls for compositional design and implementation. However each component is designed with certain assumptions about the environment it is meant to operate in, and delivering certain guarantees if those assumptions are satisfied; numerous inter-component interaction errors are introduced in the manual and error-prone integration process as there is little support in design environments for machine-readably representing these assumptions and guarantees and automatically checking consistency during integration.\r\n\r\nBased on Interface Automata we propose a framework for compositional design and analysis of systems: a set of domain-specific automata-theoretic type systems for compositional system specification and analysis by behavioral specification of open systems. We focus on three different domains: component-based hardware systems communicating on bidirectional wires. concurrent distributed recursive message-passing software systems, and embedded software system components operating in resource-constrained environments. For these domains we present approaches to formally represent the assumptions and conditional guarantees between interacting open system components. Composition of such components produces new components with the appropriate assumptions and guarantees. We check satisfaction of temporal logic specifications by such components, and the substitutability of one component with another in an arbitrary context. Using this framework one can analyze large systems incrementally without needing extensive summary information to close the system at each stage. Furthermore, we focus only on the inter-component interaction behavior without dealing with the full implementation details of each component. Many of the merits of automata-theoretic model-checking are combined with the compositionality afforded by type-system based techniques. We also present an integer-based extension of the conventional boolean verification framework motivated by our interface formalism for embedded software components.\r\n\r\nOur algorithms for checking the behavioral compatibility of component interfaces are available in our tool Chic, which can be used as a plug-in for the Java IDE JBuilder and the heterogenous modeling and design environment Ptolemy II.\r\n\r\nFinally, we address the complementary problem of partitioning a large system into meaningful coherent components by analyzing the interaction patterns between its basic elements. We demonstrate the usefulness of our partitioning approach by evaluating its efficacy in improving unit-test branch coverage for a large software system implemented in C."}],"language":[{"iso":"eng"}],"publisher":"University of California, Berkeley","page":"1 - 244","title":"A framework for compositional design and analysis of systems"},{"status":"public","month":"10","date_updated":"2021-01-12T07:59:45Z","_id":"4567","publist_id":"139","publication":"International Journal on Software Tools for Technology Transfer","date_published":"2007-10-01T00:00:00Z","page":"505 - 525","publisher":"Springer","title":"The software model checker BLAST: Applications to software engineering","quality_controlled":0,"intvolume":"         9","abstract":[{"lang":"eng","text":"BLAST is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, BLAST either statically proves that the program satisfies the safety property, or provides an execution path that exhibits a violation of the property (or, since the problem is undecidable, does not terminate). BLAST constructs, explores, and refines abstractions of the program state space based on lazy predicate abstraction and interpolation-based predicate discovery. This paper gives an introduction to BLAST and demonstrates, through two case studies, how it can be applied to program verification and test-case generation. In the first case study, we use BLAST to statically prove memory safety for C programs. We use CCured, a type-based memory-safety analyzer, to annotate a program with run-time assertions that check for safe memory operations. Then, we use BLAST to remove as many of the run-time checks as possible (by proving that these checks never fail), and to generate execution scenarios that violate the assertions for the remaining run-time checks. In our second case study, we use BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. Given a C program and a target predicate p, BLAST determines the program locations q for which there exists a program execution that reaches q with p true, and automatically generates a set of test vectors that cause such executions. Our experiments show that BLAST can provide automated, precise, and scalable analysis for C programs."}],"citation":{"ista":"Beyer D, Henzinger TA, Jhala R, Majumdar R. 2007. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 9(5), 505–525.","ieee":"D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 9, no. 5. Springer, pp. 505–525, 2007.","mla":"Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:<a href=\"https://doi.org/10.1007/s10009-007-0044-z\">10.1007/s10009-007-0044-z</a>.","apa":"Beyer, D., Henzinger, T. A., Jhala, R., &#38; Majumdar, R. (2007). The software model checker BLAST: Applications to software engineering. <i>International Journal on Software Tools for Technology Transfer</i>. Springer. <a href=\"https://doi.org/10.1007/s10009-007-0044-z\">https://doi.org/10.1007/s10009-007-0044-z</a>","short":"D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.","ama":"Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker BLAST: Applications to software engineering. <i>International Journal on Software Tools for Technology Transfer</i>. 2007;9(5):505-525. doi:<a href=\"https://doi.org/10.1007/s10009-007-0044-z\">10.1007/s10009-007-0044-z</a>","chicago":"Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.” <i>International Journal on Software Tools for Technology Transfer</i>. Springer, 2007. <a href=\"https://doi.org/10.1007/s10009-007-0044-z\">https://doi.org/10.1007/s10009-007-0044-z</a>."},"doi":"10.1007/s10009-007-0044-z","author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"full_name":"Thomas Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Jhala, Ranjit","first_name":"Ranjit","last_name":"Jhala"},{"last_name":"Majumdar","first_name":"Ritankar","full_name":"Majumdar, Ritankar S"}],"day":"01","type":"journal_article","year":"2007","issue":"5","volume":9,"publication_status":"published","date_created":"2018-12-11T12:09:31Z","extern":1},{"intvolume":"      4596","abstract":[{"text":"We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to reach a target location against all possible choices of the opponent. We do not put any syntactic restriction on the game structure, nor do we require any player to guarantee time divergence. We only require players to use receptive strategies which do not block time. The minimal time is computed in part using a fixpoint expression, which we show can be evaluated on equivalence classes of a non-trivial extension of the clock-region equivalence relation for timed automata.","lang":"eng"}],"citation":{"ieee":"T. Brihaye, T. A. Henzinger, V. Prabhu, and J. Raskin, “Minimum-time reachability in timed games,” presented at the ICALP: Automata, Languages and Programming, 2007, vol. 4596, pp. 825–837.","ista":"Brihaye T, Henzinger TA, Prabhu V, Raskin J. 2007. Minimum-time reachability in timed games. ICALP: Automata, Languages and Programming, LNCS, vol. 4596, 825–837.","chicago":"Brihaye, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,” 4596:825–37. Springer, 2007. <a href=\"https://doi.org/10.1007/978-3-540-73420-8_71\">https://doi.org/10.1007/978-3-540-73420-8_71</a>.","ama":"Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:<a href=\"https://doi.org/10.1007/978-3-540-73420-8_71\">10.1007/978-3-540-73420-8_71</a>","short":"T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.","apa":"Brihaye, T., Henzinger, T. A., Prabhu, V., &#38; Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer. <a href=\"https://doi.org/10.1007/978-3-540-73420-8_71\">https://doi.org/10.1007/978-3-540-73420-8_71</a>","mla":"Brihaye, Thomas, et al. <i>Minimum-Time Reachability in Timed Games</i>. Vol. 4596, Springer, 2007, pp. 825–37, doi:<a href=\"https://doi.org/10.1007/978-3-540-73420-8_71\">10.1007/978-3-540-73420-8_71</a>."},"alternative_title":["LNCS"],"doi":"10.1007/978-3-540-73420-8_71","acknowledgement":"This research was supported in part by the NSF grant CCR-0225610 and by the Swiss National Science Foundation.","page":"825 - 837","publisher":"Springer","title":"Minimum-time reachability in timed games","quality_controlled":0,"_id":"4570","publist_id":"142","date_published":"2007-06-29T00:00:00Z","status":"public","month":"06","date_updated":"2021-01-12T07:59:47Z","extern":1,"volume":4596,"date_created":"2018-12-11T12:09:32Z","publication_status":"published","author":[{"first_name":"Thomas","last_name":"Brihaye","full_name":"Brihaye, Thomas"},{"full_name":"Thomas Henzinger","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Prabhu, Vinayak S","last_name":"Prabhu","first_name":"Vinayak"},{"first_name":"Jean","last_name":"Raskin","full_name":"Raskin, Jean-François"}],"conference":{"name":"ICALP: Automata, Languages and Programming"},"day":"29","type":"conference","year":"2007"},{"publication_status":"published","date_created":"2018-12-11T12:09:32Z","extern":1,"type":"conference","conference":{"name":"PLDI: Programming Languages Design and Implementation"},"day":"01","author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"full_name":"Thomas Henzinger","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Majumdar, Ritankar S","first_name":"Ritankar","last_name":"Majumdar"},{"full_name":"Rybalchenko, Andrey","first_name":"Andrey","last_name":"Rybalchenko"}],"year":"2007","publisher":"ACM","page":"300 - 309","quality_controlled":0,"title":"Path invariants","doi":"10.1145/1250734.1250769","abstract":[{"text":"The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes. In current schemes, the cause of a false alarm is identified as an infeasible error path, and the abstraction is refined in order to remove that path. By contrast, we view the cause of a false alarm -the spurious counterexample- as a full-fledged program, namely, a fragment of the original program whose control-flow graph may contain loops and represent unbounded computations. There are two advantages to using such path programs as counterexamples for abstraction refinement. First, we can bring the whole machinery of program analysis to bear on path programs, which are typically small compared to the original program. Specifically, we use constraint-based invariant generation to automatically infer invariants of path programs-so-called path invariants. Second, we use path invariants for abstraction refinement in order to remove not one infeasibility at a time, but at once all (possibly infinitely many) infeasible error computations that are represented by a path program. Unlike previous predicate discovery schemes, our method handles loops without unrolling them; it infers abstractions that involve universal quantification and naturally incorporates disjunctive reasoning.","lang":"eng"}],"citation":{"chicago":"Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Path Invariants,” 300–309. ACM, 2007. <a href=\"https://doi.org/10.1145/1250734.1250769\">https://doi.org/10.1145/1250734.1250769</a>.","ama":"Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:<a href=\"https://doi.org/10.1145/1250734.1250769\">10.1145/1250734.1250769</a>","short":"D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.","apa":"Beyer, D., Henzinger, T. A., Majumdar, R., &#38; Rybalchenko, A. (2007). Path invariants (pp. 300–309). Presented at the PLDI: Programming Languages Design and Implementation, ACM. <a href=\"https://doi.org/10.1145/1250734.1250769\">https://doi.org/10.1145/1250734.1250769</a>","mla":"Beyer, Dirk, et al. <i>Path Invariants</i>. ACM, 2007, pp. 300–09, doi:<a href=\"https://doi.org/10.1145/1250734.1250769\">10.1145/1250734.1250769</a>.","ieee":"D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Path invariants,” presented at the PLDI: Programming Languages Design and Implementation, 2007, pp. 300–309.","ista":"Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Path invariants. PLDI: Programming Languages Design and Implementation, 300–309."},"status":"public","date_updated":"2021-01-12T07:59:48Z","month":"06","_id":"4571","date_published":"2007-06-01T00:00:00Z","publist_id":"137"}]