[{"scopus_import":"1","publication":"ACS Nano","author":[{"first_name":"Pintu K.","full_name":"Kundu, Pintu K.","last_name":"Kundu"},{"full_name":"Klajn, Rafal","last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal"}],"title":"Watching single molecules move in response to light","pmid":1,"publication_identifier":{"eissn":["1936-086X"],"issn":["1936-0851"]},"type":"journal_article","doi":"10.1021/nn506656r","extern":"1","page":"11913-11916","publication_status":"published","language":[{"iso":"eng"}],"volume":8,"month":"12","article_processing_charge":"No","date_created":"2023-08-01T09:45:42Z","quality_controlled":"1","date_updated":"2024-10-14T12:18:29Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Nature has long inspired scientists with its seemingly unlimited ability to harness solar energy and to utilize it to drive various physiological processes. With the help of man-made molecular photoswitches, we now have the potential to outperform natural systems in many ways, with the ultimate goal of fabricating multifunctional materials that operate at different light wavelengths. An important challenge in developing light-controlled artificial molecular machines lies in attaining a detailed understanding of the photoisomerization-coupled conformational changes that occur in macromolecules and molecular assemblies. In this issue of ACS Nano, Bléger, Rabe, and co-workers use force microscopy to provide interesting insights into the behavior of individual photoresponsive molecules and to identify contraction, extension, and crawling events accompanying light-induced isomerization."}],"date_published":"2014-12-23T00:00:00Z","keyword":["General Physics and Astronomy","General Engineering","General Materials Science"],"fulldoi":"https://doi.org/10.1021/nn506656r","article_type":"original","_id":"13399","status":"public","oa_version":"None","day":"23","publisher":"American Chemical Society","year":"2014","citation":{"ista":"Kundu PK, Klajn R. 2014. Watching single molecules move in response to light. ACS Nano. 8(12), 11913–11916.","ama":"Kundu PK, Klajn R. Watching single molecules move in response to light. <i>ACS Nano</i>. 2014;8(12):11913-11916. doi:<a href=\"https://doi.org/10.1021/nn506656r\">10.1021/nn506656r</a>","ieee":"P. K. Kundu and R. Klajn, “Watching single molecules move in response to light,” <i>ACS Nano</i>, vol. 8, no. 12. American Chemical Society, pp. 11913–11916, 2014.","apa":"Kundu, P. K., &#38; Klajn, R. (2014). Watching single molecules move in response to light. <i>ACS Nano</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/nn506656r\">https://doi.org/10.1021/nn506656r</a>","chicago":"Kundu, Pintu K., and Rafal Klajn. “Watching Single Molecules Move in Response to Light.” <i>ACS Nano</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/nn506656r\">https://doi.org/10.1021/nn506656r</a>.","mla":"Kundu, Pintu K., and Rafal Klajn. “Watching Single Molecules Move in Response to Light.” <i>ACS Nano</i>, vol. 8, no. 12, American Chemical Society, 2014, pp. 11913–16, doi:<a href=\"https://doi.org/10.1021/nn506656r\">10.1021/nn506656r</a>.","short":"P.K. Kundu, R. Klajn, ACS Nano 8 (2014) 11913–11916."},"issue":"12","external_id":{"pmid":["25474733"]},"intvolume":"         8"},{"type":"journal_article","doi":"10.1126/science.1254132","title":"Self-assembly of magnetite nanocubes into helical superstructures","pmid":1,"publication_identifier":{"issn":["0036-8075"],"eissn":["1095-9203"]},"extern":"1","scopus_import":"1","author":[{"last_name":"Singh","full_name":"Singh, Gurvinder","first_name":"Gurvinder"},{"last_name":"Chan","full_name":"Chan, Henry","first_name":"Henry"},{"full_name":"Baskin, Artem","last_name":"Baskin","first_name":"Artem"},{"full_name":"Gelman, Elijah","last_name":"Gelman","first_name":"Elijah"},{"full_name":"Repnin, Nikita","last_name":"Repnin","first_name":"Nikita"},{"first_name":"Petr","full_name":"Král, Petr","last_name":"Král"},{"first_name":"Rafal","full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn"}],"publication":"Science","article_processing_charge":"No","date_created":"2023-08-01T09:45:56Z","quality_controlled":"1","publication_status":"published","language":[{"iso":"eng"}],"volume":345,"page":"1149-1153","month":"07","keyword":["Multidisciplinary"],"fulldoi":"https://doi.org/10.1126/science.1254132","article_type":"original","date_published":"2014-07-24T00:00:00Z","date_updated":"2024-10-14T12:20:09Z","abstract":[{"lang":"eng","text":"Organizing inorganic nanocrystals into complex architectures is challenging and typically relies on preexisting templates, such as properly folded DNA or polypeptide chains. We found that under carefully controlled conditions, cubic nanocrystals of magnetite self-assemble into arrays of helical superstructures in a template-free manner with >99% yield. Computer simulations revealed that the formation of helices is determined by the interplay of van der Waals and magnetic dipole-dipole interactions, Zeeman coupling, and entropic forces and can be attributed to spontaneous formation of chiral nanocube clusters. Neighboring helices within their densely packed ensembles tended to adopt the same handedness in order to maximize packing, thus revealing a novel mechanism of symmetry breaking and chirality amplification."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"       345","issue":"6201","external_id":{"pmid":["25061133"]},"oa_version":"None","status":"public","_id":"13400","publisher":"American Association for the Advancement of Science","year":"2014","citation":{"chicago":"Singh, Gurvinder, Henry Chan, Artem Baskin, Elijah Gelman, Nikita Repnin, Petr Král, and Rafal Klajn. “Self-Assembly of Magnetite Nanocubes into Helical Superstructures.” <i>Science</i>. American Association for the Advancement of Science, 2014. <a href=\"https://doi.org/10.1126/science.1254132\">https://doi.org/10.1126/science.1254132</a>.","short":"G. Singh, H. Chan, A. Baskin, E. Gelman, N. Repnin, P. Král, R. Klajn, Science 345 (2014) 1149–1153.","mla":"Singh, Gurvinder, et al. “Self-Assembly of Magnetite Nanocubes into Helical Superstructures.” <i>Science</i>, vol. 345, no. 6201, American Association for the Advancement of Science, 2014, pp. 1149–53, doi:<a href=\"https://doi.org/10.1126/science.1254132\">10.1126/science.1254132</a>.","ista":"Singh G, Chan H, Baskin A, Gelman E, Repnin N, Král P, Klajn R. 2014. Self-assembly of magnetite nanocubes into helical superstructures. Science. 345(6201), 1149–1153.","ama":"Singh G, Chan H, Baskin A, et al. Self-assembly of magnetite nanocubes into helical superstructures. <i>Science</i>. 2014;345(6201):1149-1153. doi:<a href=\"https://doi.org/10.1126/science.1254132\">10.1126/science.1254132</a>","ieee":"G. Singh <i>et al.</i>, “Self-assembly of magnetite nanocubes into helical superstructures,” <i>Science</i>, vol. 345, no. 6201. American Association for the Advancement of Science, pp. 1149–1153, 2014.","apa":"Singh, G., Chan, H., Baskin, A., Gelman, E., Repnin, N., Král, P., &#38; Klajn, R. (2014). Self-assembly of magnetite nanocubes into helical superstructures. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.1254132\">https://doi.org/10.1126/science.1254132</a>"},"day":"24"},{"extern":"1","pmid":1,"publication_identifier":{"issn":["0002-7863"],"eissn":["1520-5126"]},"title":"Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran","doi":"10.1021/ja505948q","type":"journal_article","publication":"Journal of the American Chemical Society","author":[{"first_name":"Pintu K.","full_name":"Kundu, Pintu K.","last_name":"Kundu"},{"full_name":"Lerner, Avishai","last_name":"Lerner","first_name":"Avishai"},{"full_name":"Kučanda, Kristina","last_name":"Kučanda","first_name":"Kristina"},{"first_name":"Gregory","last_name":"Leitus","full_name":"Leitus, Gregory"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","full_name":"Klajn, Rafal","first_name":"Rafal"}],"scopus_import":"1","quality_controlled":"1","date_created":"2023-08-01T09:46:12Z","article_processing_charge":"No","month":"08","page":"11276-11279","language":[{"iso":"eng"}],"volume":136,"publication_status":"published","date_published":"2014-08-13T00:00:00Z","article_type":"original","fulldoi":"https://doi.org/10.1021/ja505948q","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"A compound combining the features of a molecular rotor and a photoswitch was synthesized and was shown to exist as three diastereomers, which interconvert via a reversible cyclic reaction scheme. Each of the three diastereomers was isolated, and by following the equilibration kinetics, activation barriers for all reactions were calculated. The results indicate that the properties of molecular switches depend heavily on their immediate chemical environment. The conclusions are important in the context of designing new switchable molecules and materials."}],"date_updated":"2024-10-14T12:20:21Z","external_id":{"pmid":["25072292"]},"issue":"32","intvolume":"       136","day":"13","citation":{"mla":"Kundu, Pintu K., et al. “Cyclic Kinetics during Thermal Equilibration of an Axially Chiral Bis-Spiropyran.” <i>Journal of the American Chemical Society</i>, vol. 136, no. 32, American Chemical Society, 2014, pp. 11276–79, doi:<a href=\"https://doi.org/10.1021/ja505948q\">10.1021/ja505948q</a>.","short":"P.K. Kundu, A. Lerner, K. Kučanda, G. Leitus, R. Klajn, Journal of the American Chemical Society 136 (2014) 11276–11279.","chicago":"Kundu, Pintu K., Avishai Lerner, Kristina Kučanda, Gregory Leitus, and Rafal Klajn. “Cyclic Kinetics during Thermal Equilibration of an Axially Chiral Bis-Spiropyran.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/ja505948q\">https://doi.org/10.1021/ja505948q</a>.","apa":"Kundu, P. K., Lerner, A., Kučanda, K., Leitus, G., &#38; Klajn, R. (2014). Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/ja505948q\">https://doi.org/10.1021/ja505948q</a>","ieee":"P. K. Kundu, A. Lerner, K. Kučanda, G. Leitus, and R. Klajn, “Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran,” <i>Journal of the American Chemical Society</i>, vol. 136, no. 32. American Chemical Society, pp. 11276–11279, 2014.","ama":"Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. <i>Journal of the American Chemical Society</i>. 2014;136(32):11276-11279. doi:<a href=\"https://doi.org/10.1021/ja505948q\">10.1021/ja505948q</a>","ista":"Kundu PK, Lerner A, Kučanda K, Leitus G, Klajn R. 2014. Cyclic kinetics during thermal equilibration of an axially chiral bis-spiropyran. Journal of the American Chemical Society. 136(32), 11276–11279."},"year":"2014","publisher":"American Chemical Society","status":"public","_id":"13401","oa_version":"None"},{"intvolume":"         5","external_id":{"pmid":["24709950"]},"oa_version":"Published Version","_id":"13402","status":"public","citation":{"chicago":"Kundu, Pintu K., Gregory L. Olsen, Vladimir Kiss, and Rafal Klajn. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” <i>Nature Communications</i>. Springer Nature, 2014. <a href=\"https://doi.org/10.1038/ncomms4588\">https://doi.org/10.1038/ncomms4588</a>.","short":"P.K. Kundu, G.L. Olsen, V. Kiss, R. Klajn, Nature Communications 5 (2014).","mla":"Kundu, Pintu K., et al. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” <i>Nature Communications</i>, vol. 5, 3588, Springer Nature, 2014, doi:<a href=\"https://doi.org/10.1038/ncomms4588\">10.1038/ncomms4588</a>.","ista":"Kundu PK, Olsen GL, Kiss V, Klajn R. 2014. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 5, 3588.","ama":"Kundu PK, Olsen GL, Kiss V, Klajn R. Nanoporous frameworks exhibiting multiple stimuli responsiveness. <i>Nature Communications</i>. 2014;5. doi:<a href=\"https://doi.org/10.1038/ncomms4588\">10.1038/ncomms4588</a>","apa":"Kundu, P. K., Olsen, G. L., Kiss, V., &#38; Klajn, R. (2014). Nanoporous frameworks exhibiting multiple stimuli responsiveness. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/ncomms4588\">https://doi.org/10.1038/ncomms4588</a>","ieee":"P. K. Kundu, G. L. Olsen, V. Kiss, and R. Klajn, “Nanoporous frameworks exhibiting multiple stimuli responsiveness,” <i>Nature Communications</i>, vol. 5. Springer Nature, 2014."},"year":"2014","publisher":"Springer Nature","day":"07","article_type":"original","fulldoi":"https://doi.org/10.1038/ncomms4588","keyword":["General Physics and Astronomy","General Biochemistry","Genetics and Molecular Biology","General Chemistry","Multidisciplinary"],"date_published":"2014-04-07T00:00:00Z","date_updated":"2024-10-14T12:20:30Z","abstract":[{"text":"Nanoporous frameworks are polymeric materials built from rigid molecules, which give rise to their nanoporous structures with applications in gas sorption and storage, catalysis and others. Conceptually new applications could emerge, should these beneficial properties be manipulated by external stimuli in a reversible manner. One approach to render nanoporous frameworks responsive to external signals would be to immobilize molecular switches within their nanopores. Although the majority of molecular switches require conformational freedom to isomerize, and switching in the solid state is prohibited, the nanopores may provide enough room for the switches to efficiently isomerize. Here we describe two families of nanoporous materials incorporating the spiropyran molecular switch. These materials exhibit a variety of interesting properties, including reversible photochromism and acidochromism under solvent-free conditions, light-controlled capture and release of metal ions, as well reversible chromism induced by solvation/desolvation.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2023-08-01T09:46:27Z","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"volume":5,"publication_status":"published","month":"04","main_file_link":[{"url":"https://doi.org/10.1038/ncomms4588","open_access":"1"}],"doi":"10.1038/ncomms4588","type":"journal_article","pmid":1,"publication_identifier":{"eissn":["2041-1723"]},"title":"Nanoporous frameworks exhibiting multiple stimuli responsiveness","oa":1,"extern":"1","article_number":"3588","scopus_import":"1","author":[{"first_name":"Pintu K.","full_name":"Kundu, Pintu K.","last_name":"Kundu"},{"first_name":"Gregory L.","last_name":"Olsen","full_name":"Olsen, Gregory L."},{"last_name":"Kiss","full_name":"Kiss, Vladimir","first_name":"Vladimir"},{"full_name":"Klajn, Rafal","last_name":"Klajn","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","first_name":"Rafal"}],"publication":"Nature Communications"},{"date_updated":"2024-10-14T12:20:41Z","abstract":[{"lang":"eng","text":"We show that bimolecular reactions between species confined to the surfaces of nanoparticles can be manipulated by the nature of the linker, as well as by the curvature of the underlying particles."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","fulldoi":"https://doi.org/10.1021/ja411573a","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"date_published":"2014-02-19T00:00:00Z","oa_version":"None","status":"public","_id":"13403","citation":{"apa":"Zdobinsky, T., Sankar Maiti, P., &#38; Klajn, R. (2014). Support curvature and conformational freedom control chemical reactivity of immobilized species. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/ja411573a\">https://doi.org/10.1021/ja411573a</a>","ieee":"T. Zdobinsky, P. Sankar Maiti, and R. Klajn, “Support curvature and conformational freedom control chemical reactivity of immobilized species,” <i>Journal of the American Chemical Society</i>, vol. 136, no. 7. American Chemical Society, pp. 2711–2714, 2014.","ista":"Zdobinsky T, Sankar Maiti P, Klajn R. 2014. Support curvature and conformational freedom control chemical reactivity of immobilized species. Journal of the American Chemical Society. 136(7), 2711–2714.","ama":"Zdobinsky T, Sankar Maiti P, Klajn R. Support curvature and conformational freedom control chemical reactivity of immobilized species. <i>Journal of the American Chemical Society</i>. 2014;136(7):2711-2714. doi:<a href=\"https://doi.org/10.1021/ja411573a\">10.1021/ja411573a</a>","short":"T. Zdobinsky, P. Sankar Maiti, R. Klajn, Journal of the American Chemical Society 136 (2014) 2711–2714.","mla":"Zdobinsky, Tino, et al. “Support Curvature and Conformational Freedom Control Chemical Reactivity of Immobilized Species.” <i>Journal of the American Chemical Society</i>, vol. 136, no. 7, American Chemical Society, 2014, pp. 2711–14, doi:<a href=\"https://doi.org/10.1021/ja411573a\">10.1021/ja411573a</a>.","chicago":"Zdobinsky, Tino, Pradipta Sankar Maiti, and Rafal Klajn. “Support Curvature and Conformational Freedom Control Chemical Reactivity of Immobilized Species.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/ja411573a\">https://doi.org/10.1021/ja411573a</a>."},"year":"2014","publisher":"American Chemical Society","day":"19","intvolume":"       136","external_id":{"pmid":["24320557"]},"issue":"7","scopus_import":"1","author":[{"last_name":"Zdobinsky","full_name":"Zdobinsky, Tino","first_name":"Tino"},{"full_name":"Sankar Maiti, Pradipta","last_name":"Sankar Maiti","first_name":"Pradipta"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn","full_name":"Klajn, Rafal","first_name":"Rafal"}],"publication":"Journal of the American Chemical Society","doi":"10.1021/ja411573a","type":"journal_article","publication_identifier":{"eissn":["1520-5126"],"issn":["0002-7863"]},"pmid":1,"title":"Support curvature and conformational freedom control chemical reactivity of immobilized species","extern":"1","language":[{"iso":"eng"}],"volume":136,"publication_status":"published","page":"2711-2714","month":"02","date_created":"2023-08-01T09:46:44Z","article_processing_charge":"No","quality_controlled":"1"},{"date_published":"2014-01-27T00:00:00Z","fulldoi":"https://doi.org/10.1039/c3cs60181a","article_type":"original","keyword":["General Chemistry"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"In the past few years, spiropyran has emerged as the molecule-of-choice for the construction of novel dynamic materials. This unique molecular switch undergoes structural isomerisation in response to a variety of orthogonal stimuli, e.g. light, temperature, metal ions, redox potential, and mechanical stress. Incorporation of this switch onto macromolecular supports or inorganic scaffolds allows for the creation of robust dynamic materials. This review discusses the synthesis, switching conditions, and use of dynamic materials in which spiropyran has been attached to the surfaces of polymers, biomacromolecules, inorganic nanoparticles, as well as solid surfaces. The resulting materials show fascinating properties whereby the state of the switch intimately affects a multitude of useful properties of the support. The utility of the spiropyran switch will undoubtedly endow these materials with far-reaching applications in the near future.","lang":"eng"}],"date_updated":"2024-10-14T12:20:49Z","external_id":{"pmid":["23979515"]},"issue":"1","intvolume":"        43","day":"27","citation":{"mla":"Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” <i>Chemical Society Reviews</i>, vol. 43, no. 1, Royal Society of Chemistry, 2014, pp. 148–84, doi:<a href=\"https://doi.org/10.1039/c3cs60181a\">10.1039/c3cs60181a</a>.","short":"R. Klajn, Chemical Society Reviews 43 (2014) 148–184.","chicago":"Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” <i>Chemical Society Reviews</i>. Royal Society of Chemistry, 2014. <a href=\"https://doi.org/10.1039/c3cs60181a\">https://doi.org/10.1039/c3cs60181a</a>.","apa":"Klajn, R. (2014). Spiropyran-based dynamic materials. <i>Chemical Society Reviews</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c3cs60181a\">https://doi.org/10.1039/c3cs60181a</a>","ieee":"R. Klajn, “Spiropyran-based dynamic materials,” <i>Chemical Society Reviews</i>, vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.","ama":"Klajn R. Spiropyran-based dynamic materials. <i>Chemical Society Reviews</i>. 2014;43(1):148-184. doi:<a href=\"https://doi.org/10.1039/c3cs60181a\">10.1039/c3cs60181a</a>","ista":"Klajn R. 2014. Spiropyran-based dynamic materials. Chemical Society Reviews. 43(1), 148–184."},"year":"2014","publisher":"Royal Society of Chemistry","_id":"13404","status":"public","oa_version":"Published Version","extern":"1","publication_identifier":{"issn":["0306-0012"],"eissn":["1460-4744"]},"pmid":1,"title":"Spiropyran-based dynamic materials","oa":1,"main_file_link":[{"url":"https://doi.org/10.1039/C3CS60181A","open_access":"1"}],"doi":"10.1039/c3cs60181a","type":"journal_article","publication":"Chemical Society Reviews","author":[{"first_name":"Rafal","full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn"}],"scopus_import":"1","quality_controlled":"1","date_created":"2023-08-01T09:47:03Z","article_processing_charge":"No","month":"01","page":"148-184","volume":43,"language":[{"iso":"eng"}],"publication_status":"published"},{"date_created":"2018-12-11T11:51:40Z","article_processing_charge":"No","project":[{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23"},{"call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","grant_number":"S11407"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","page":"104 - 116","language":[{"iso":"eng"}],"volume":547,"department":[{"_id":"KrCh"}],"publication_status":"published","month":"08","oa":1,"title":"Approximating the minimum cycle mean","doi":"10.1016/j.tcs.2014.06.031","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1307.4473"}],"type":"journal_article","scopus_import":"1","publication":"Theoretical Computer Science","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"full_name":"Henzinger, Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","orcid":"0000-0002-5008-6530"},{"first_name":"Sebastian","last_name":"Krinninger","full_name":"Krinninger, Sebastian"},{"first_name":"Veronika","full_name":"Loitzenbauer, Veronika","last_name":"Loitzenbauer"},{"first_name":"Michael","last_name":"Raskin","full_name":"Raskin, Michael"}],"external_id":{"isi":["000340694000008"],"arxiv":["1307.4473"]},"issue":"C","intvolume":"       547","status":"public","_id":"1375","oa_version":"Preprint","day":"28","arxiv":1,"isi":1,"citation":{"ista":"Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.","ama":"Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. <i>Theoretical Computer Science</i>. 2014;547(C):104-116. doi:<a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">10.1016/j.tcs.2014.06.031</a>","ieee":"K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” <i>Theoretical Computer Science</i>, vol. 547, no. C. Elsevier, pp. 104–116, 2014.","apa":"Chatterjee, K., Henzinger, M., Krinninger, S., Loitzenbauer, V., &#38; Raskin, M. (2014). Approximating the minimum cycle mean. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">https://doi.org/10.1016/j.tcs.2014.06.031</a>","chicago":"Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” <i>Theoretical Computer Science</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">https://doi.org/10.1016/j.tcs.2014.06.031</a>.","short":"K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.","mla":"Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” <i>Theoretical Computer Science</i>, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:<a href=\"https://doi.org/10.1016/j.tcs.2014.06.031\">10.1016/j.tcs.2014.06.031</a>."},"year":"2014","publisher":"Elsevier","date_published":"2014-08-28T00:00:00Z","fulldoi":"https://doi.org/10.1016/j.tcs.2014.06.031","article_type":"original","publist_id":"5836","date_updated":"2025-09-29T13:17:21Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"lang":"eng","text":"We consider directed graphs where each edge is labeled with an integer weight and study the fundamental algorithmic question of computing the value of a cycle with minimum mean weight. Our contributions are twofold: (1) First we show that the algorithmic question is reducible to the problem of a logarithmic number of min-plus matrix multiplications of n×n-matrices, where n is the number of vertices of the graph. (2) Second, when the weights are nonnegative, we present the first (1+ε)-approximation algorithm for the problem and the running time of our algorithm is Õ(nωlog3(nW/ε)/ε),1 where O(nω) is the time required for the classic n×n-matrix multiplication and W is the maximum value of the weights. With an additional O(log(nW/ε)) factor in space a cycle with approximately optimal weight can be computed within the same time bound."}],"ec_funded":1},{"fulldoi":"https://doi.org/10.1007/978-3-642-54013-4_10","has_accepted_license":"1","date_published":"2014-01-01T00:00:00Z","ddc":["000","005"],"file_date_updated":"2020-07-14T12:44:48Z","ec_funded":1,"abstract":[{"lang":"eng","text":"Fault-tolerant distributed algorithms play an important role in ensuring the reliability of many software applications. In this paper we consider distributed algorithms whose computations are organized in rounds. To verify the correctness of such algorithms, we reason about (i) properties (such as invariants) of the state, (ii) the transitions controlled by the algorithm, and (iii) the communication graph. We introduce a logic that addresses these points, and contains set comprehensions with cardinality constraints, function symbols to describe the local states of each process, and a limited form of quantifier alternation to express the verification conditions. We show its use in automating the verification of consensus algorithms. In particular, we give a semi-decision procedure for the unsatisfiability problem of the logic and identify a decidable fragment. We successfully applied our framework to verify the correctness of a variety of consensus algorithms tolerant to both benign faults (message loss, process crashes) and value faults (message corruption)."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"date_updated":"2021-01-12T06:50:22Z","publist_id":"5817","intvolume":"      8318","file":[{"relation":"main_file","checksum":"bffa33d39be77df0da39defe97eabf84","access_level":"open_access","creator":"system","date_updated":"2020-07-14T12:44:48Z","content_type":"application/pdf","file_id":"4859","date_created":"2018-12-12T10:11:06Z","file_size":444138,"file_name":"IST-2014-179-v1+1_vmcai14.pdf"}],"publisher":"Springer","acknowledgement":"Supported by the Vienna Science and Technology Fund (WWTF) through grant PROSEED.","citation":{"mla":"Dragoi, Cezara, et al. <i>A Logic-Based Framework for Verifying Consensus Algorithms</i>. Vol. 8318, Springer, 2014, pp. 161–81, doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">10.1007/978-3-642-54013-4_10</a>.","short":"C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.","chicago":"Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">https://doi.org/10.1007/978-3-642-54013-4_10</a>.","ieee":"C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.","apa":"Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., &#38; Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">https://doi.org/10.1007/978-3-642-54013-4_10</a>","ama":"Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:<a href=\"https://doi.org/10.1007/978-3-642-54013-4_10\">10.1007/978-3-642-54013-4_10</a>","ista":"Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181."},"year":"2014","day":"01","oa_version":"Submitted Version","_id":"1392","status":"public","type":"conference","doi":"10.1007/978-3-642-54013-4_10","oa":1,"title":"A logic-based framework for verifying consensus algorithms","author":[{"first_name":"Cezara","id":"2B2B5ED0-F248-11E8-B48F-1D18A9856A87","last_name":"Dragoi","full_name":"Dragoi, Cezara"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724"},{"first_name":"Helmut","full_name":"Veith, Helmut","last_name":"Veith"},{"full_name":"Widder, Josef","last_name":"Widder","first_name":"Josef"},{"full_name":"Zufferey, Damien","last_name":"Zufferey","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","first_name":"Damien","orcid":"0000-0002-3197-8736"}],"scopus_import":1,"conference":{"location":"San Diego, USA","name":"VMCAI: Verification, Model Checking and Abstract Interpretation","end_date":"2014-01-21","start_date":"2014-01-19"},"quality_controlled":"1","project":[{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling"}],"date_created":"2018-12-11T11:51:45Z","month":"01","pubrep_id":"179","publication_status":"published","volume":8318,"language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"page":"161 - 181"},{"day":"31","citation":{"chicago":"Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In <i>Proceedings of the on Future of Software Engineering</i>, 167–81. ACM, 2014. <a href=\"https://doi.org/10.1145/2593882.2593900\">https://doi.org/10.1145/2593882.2593900</a>.","short":"A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.","mla":"Gordon, Andrew, et al. “Probabilistic Programming.” <i>Proceedings of the on Future of Software Engineering</i>, ACM, 2014, pp. 167–81, doi:<a href=\"https://doi.org/10.1145/2593882.2593900\">10.1145/2593882.2593900</a>.","ama":"Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: <i>Proceedings of the on Future of Software Engineering</i>. ACM; 2014:167-181. doi:<a href=\"https://doi.org/10.1145/2593882.2593900\">10.1145/2593882.2593900</a>","ista":"Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.","apa":"Gordon, A., Henzinger, T. A., Nori, A., &#38; Rajamani, S. (2014). Probabilistic programming. In <i>Proceedings of the on Future of Software Engineering</i> (pp. 167–181). Hyderabad, India: ACM. <a href=\"https://doi.org/10.1145/2593882.2593900\">https://doi.org/10.1145/2593882.2593900</a>","ieee":"A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in <i>Proceedings of the on Future of Software Engineering</i>, Hyderabad, India, 2014, pp. 167–181."},"year":"2014","publisher":"ACM","status":"public","_id":"1393","oa_version":"Published Version","ddc":["000"],"date_published":"2014-05-31T00:00:00Z","fulldoi":"https://doi.org/10.1145/2593882.2593900","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Probabilistic programs are usual functional or imperative programs with two added constructs: (1) the ability to draw values at random from distributions, and (2) the ability to condition values of variables in a program via observations. Models from diverse application areas such as computer vision, coding theory, cryptographic protocols, biology and reliability analysis can be written as probabilistic programs. Probabilistic inference is the problem of computing an explicit representation of the probability distribution implicitly specified by a probabilistic program. Depending on the application, the desired output from inference may vary-we may want to estimate the expected value of some function f with respect to the distribution, or the mode of the distribution, or simply a set of samples drawn from the distribution. In this paper, we describe connections this research area called \\Probabilistic Programming&quot; has with programming languages and software engineering, and this includes language design, and the static and dynamic analysis of programs. We survey current state of the art and speculate on promising directions for future research.","lang":"eng"}],"ec_funded":1,"publist_id":"5816","date_updated":"2026-06-18T17:31:28Z","project":[{"call_identifier":"FP7","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989"},{"grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"quality_controlled":"1","date_created":"2018-12-11T11:51:45Z","article_processing_charge":"No","month":"05","page":"167 - 181","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"publication_status":"published","oa":1,"title":"Probabilistic programming","doi":"10.1145/2593882.2593900","main_file_link":[{"url":"https://doi.org/10.1145/2593882.2593900","open_access":"1"}],"type":"conference","publication":"Proceedings of the on Future of Software Engineering","author":[{"first_name":"Andrew","last_name":"Gordon","full_name":"Gordon, Andrew"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"full_name":"Nori, Aditya","last_name":"Nori","first_name":"Aditya"},{"first_name":"Sriram","last_name":"Rajamani","full_name":"Rajamani, Sriram"}],"conference":{"location":"Hyderabad, India","name":"FOSE: Future of Software Engineering","end_date":"2014-06-07","start_date":"2014-05-31"},"scopus_import":"1"},{"extern":"1","title":"The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics","publication_identifier":{"issn":["1359-6640"],"eissn":["1364-5498"]},"pmid":1,"type":"journal_article","doi":"10.1039/c4fd00018h","publication":"Faraday Discussions","author":[{"full_name":"Baykusheva, Denitsa Rangelova","last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova"},{"full_name":"Kraus, Peter M.","last_name":"Kraus","first_name":"Peter M."},{"last_name":"Zhang","full_name":"Zhang, Song Bin","first_name":"Song Bin"},{"first_name":"Nina","full_name":"Rohringer, Nina","last_name":"Rohringer"},{"last_name":"Wörner","full_name":"Wörner, Hans Jakob","first_name":"Hans Jakob"}],"scopus_import":"1","quality_controlled":"1","article_processing_charge":"No","date_created":"2023-08-10T06:38:19Z","month":"04","page":"113-132","publication_status":"published","language":[{"iso":"eng"}],"volume":171,"date_published":"2014-04-14T00:00:00Z","keyword":["Physical and Theoretical Chemistry"],"article_type":"original","fulldoi":"https://doi.org/10.1039/c4fd00018h","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"The sensitivities of high-harmonic generation (HHG) and strong-field ionization (SFI) to coupled electronic and nuclear dynamics are studied, using the nitric oxide (NO) molecule as an example. A coherent superposition of electronic and rotational states of NO is prepared by impulsive stimulated Raman scattering and probed by simultaneous detection of HHG and SFI yields. We observe a fourfold higher sensitivity of high-harmonic generation to electronic dynamics and attribute it to the presence of inelastic quantum paths connecting coherently related electronic states [Kraus et al., Phys. Rev. Lett.111, 243005 (2013)]. Whereas different harmonic orders display very different sensitivities to rotational or electronic dynamics, strong-field ionization is found to be most sensitive to electronic motion. We introduce a general theoretical formalism for high-harmonic generation from coupled nuclear-electronic wave packets. We show that the unequal sensitivities of different harmonic orders to electronic or rotational dynamics result from the angle dependence of the photorecombination matrix elements which encode several autoionizing and shape resonances in the photoionization continuum of NO. We further study the dependence of rotational and electronic coherences on the intensity of the excitation pulse and support the observations with calculations.","lang":"eng"}],"date_updated":"2023-08-22T08:58:12Z","external_id":{"pmid":["25415558"]},"intvolume":"       171","day":"14","publisher":"Royal Society of Chemistry","year":"2014","citation":{"chicago":"Baykusheva, Denitsa Rangelova, Peter M. Kraus, Song Bin Zhang, Nina Rohringer, and Hans Jakob Wörner. “The Sensitivities of High-Harmonic Generation and Strong-Field Ionization to Coupled Electronic and Nuclear Dynamics.” <i>Faraday Discussions</i>. Royal Society of Chemistry, 2014. <a href=\"https://doi.org/10.1039/c4fd00018h\">https://doi.org/10.1039/c4fd00018h</a>.","mla":"Baykusheva, Denitsa Rangelova, et al. “The Sensitivities of High-Harmonic Generation and Strong-Field Ionization to Coupled Electronic and Nuclear Dynamics.” <i>Faraday Discussions</i>, vol. 171, Royal Society of Chemistry, 2014, pp. 113–32, doi:<a href=\"https://doi.org/10.1039/c4fd00018h\">10.1039/c4fd00018h</a>.","short":"D.R. Baykusheva, P.M. Kraus, S.B. Zhang, N. Rohringer, H.J. Wörner, Faraday Discussions 171 (2014) 113–132.","ama":"Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. <i>Faraday Discussions</i>. 2014;171:113-132. doi:<a href=\"https://doi.org/10.1039/c4fd00018h\">10.1039/c4fd00018h</a>","ista":"Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. 2014. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. Faraday Discussions. 171, 113–132.","ieee":"D. R. Baykusheva, P. M. Kraus, S. B. Zhang, N. Rohringer, and H. J. Wörner, “The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics,” <i>Faraday Discussions</i>, vol. 171. Royal Society of Chemistry, pp. 113–132, 2014.","apa":"Baykusheva, D. R., Kraus, P. M., Zhang, S. B., Rohringer, N., &#38; Wörner, H. J. (2014). The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. <i>Faraday Discussions</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c4fd00018h\">https://doi.org/10.1039/c4fd00018h</a>"},"status":"public","_id":"14018","oa_version":"None"},{"day":"14","citation":{"short":"K. Vasilatou, J.M. Michaud, D.R. Baykusheva, G. Grassi, F. Merkt, The Journal of Chemical Physics 141 (2014).","mla":"Vasilatou, K., et al. “The Cyclopropene Radical Cation: Rovibrational Level Structure at Low Energies from High-Resolution Photoelectron Spectra.” <i>The Journal of Chemical Physics</i>, vol. 141, no. 6, 064317, AIP Publishing, 2014, doi:<a href=\"https://doi.org/10.1063/1.4890744\">10.1063/1.4890744</a>.","chicago":"Vasilatou, K., J. M. Michaud, Denitsa Rangelova Baykusheva, G. Grassi, and F. Merkt. “The Cyclopropene Radical Cation: Rovibrational Level Structure at Low Energies from High-Resolution Photoelectron Spectra.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2014. <a href=\"https://doi.org/10.1063/1.4890744\">https://doi.org/10.1063/1.4890744</a>.","apa":"Vasilatou, K., Michaud, J. M., Baykusheva, D. R., Grassi, G., &#38; Merkt, F. (2014). The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.4890744\">https://doi.org/10.1063/1.4890744</a>","ieee":"K. Vasilatou, J. M. Michaud, D. R. Baykusheva, G. Grassi, and F. Merkt, “The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra,” <i>The Journal of Chemical Physics</i>, vol. 141, no. 6. AIP Publishing, 2014.","ama":"Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. <i>The Journal of Chemical Physics</i>. 2014;141(6). doi:<a href=\"https://doi.org/10.1063/1.4890744\">10.1063/1.4890744</a>","ista":"Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. 2014. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 141(6), 064317."},"year":"2014","publisher":"AIP Publishing","_id":"14019","status":"public","oa_version":"None","external_id":{"pmid":["25134581"]},"issue":"6","intvolume":"       141","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The cyclopropene radical cation (c-C3H₄⁺) is an important but poorly characterized three-membered-ring hydrocarbon. We report on a measurement of the high-resolution photoelectron and photoionization spectra of cyclopropene and several deuterated isotopomers, from which we have determined the rovibrational energy level structure of the X⁺ (2)B2 ground electronic state of c-C3H₄⁺ at low energies for the first time. The synthesis of the partially deuterated isotopomers always resulted in mixtures of several isotopomers, differing in their number of D atoms and in the location of these atoms, so that the photoelectron spectra of deuterated samples are superpositions of the spectra of several isotopomers. The rotationally resolved spectra indicate a C(2v)-symmetric R0 structure for the ground electronic state of c-C3H₄⁺. Two vibrational modes of c-C3H₄⁺ are found to have vibrational wave numbers below 300 cm(-1), which is surprising for such a small cyclic hydrocarbon. The analysis of the isotopic shifts of the vibrational levels enabled the assignment of the lowest-frequency mode (fundamental wave number of ≈110 cm(-1) in c-C3H₄⁺) to the CH2 torsional mode (ν₈⁺, A2 symmetry) and of the second-lowest-frequency mode (≈210 cm(-1) in c-C3H₄⁺) to a mode combining a CH out-of-plane with a CH2 rocking motion (ν₁₅⁺, B2 symmetry). The potential energy along the CH2 torsional coordinate is flat near the equilibrium structure and leads to a pronounced anharmonicity."}],"date_updated":"2023-08-22T09:01:31Z","date_published":"2014-08-14T00:00:00Z","article_type":"original","fulldoi":"https://doi.org/10.1063/1.4890744","keyword":["Physical and Theoretical Chemistry","General Physics and Astronomy"],"month":"08","volume":141,"language":[{"iso":"eng"}],"publication_status":"published","quality_controlled":"1","date_created":"2023-08-10T06:38:30Z","article_processing_charge":"No","publication":"The Journal of Chemical Physics","author":[{"full_name":"Vasilatou, K.","last_name":"Vasilatou","first_name":"K."},{"full_name":"Michaud, J. M.","last_name":"Michaud","first_name":"J. M."},{"full_name":"Baykusheva, Denitsa Rangelova","last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova"},{"first_name":"G.","full_name":"Grassi, G.","last_name":"Grassi"},{"first_name":"F.","full_name":"Merkt, F.","last_name":"Merkt"}],"scopus_import":"1","article_number":"064317","extern":"1","publication_identifier":{"eissn":["1089-7690"],"issn":["0021-9606"]},"pmid":1,"title":"The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra","doi":"10.1063/1.4890744","type":"journal_article"},{"date_updated":"2023-08-22T09:02:56Z","abstract":[{"text":"We report the observation of macroscopic field-free orientation, i.e., more than 73% of CO molecules pointing in the same direction. This is achieved through an all-optical scheme operating at high particle densities (>10(17)  cm(-3)) that combines one-color (ω) and two-color (ω+2ω) nonresonant femtosecond laser pulses. We show that the achieved orientation solely relies on the hyperpolarizability interaction as opposed to an ionization-depletion mechanism, thus, opening a wide range of applications. The achieved strong orientation enables us to reveal the molecular-frame anisotropies of the photorecombination amplitudes and phases caused by a shape resonance. The resonance appears as a local maximum in the even-harmonic emission around 28 eV. In contrast, the odd-harmonic emission is suppressed in this spectral region through the combined effects of an asymmetric photorecombination phase and a subcycle Stark effect, generic for polar molecules, that we experimentally identify.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","fulldoi":"https://doi.org/10.1103/physrevlett.113.023001","keyword":["General Physics and Astronomy"],"date_published":"2014-07-11T00:00:00Z","oa_version":"Preprint","status":"public","_id":"14020","citation":{"apa":"Kraus, P. M., Baykusheva, D. R., &#38; Wörner, H. J. (2014). Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.113.023001\">https://doi.org/10.1103/physrevlett.113.023001</a>","ieee":"P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse field-free orientation reveals anisotropy of molecular shape resonance,” <i>Physical Review Letters</i>, vol. 113, no. 2. American Physical Society, 2014.","ista":"Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2), 023001.","ama":"Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. <i>Physical Review Letters</i>. 2014;113(2). doi:<a href=\"https://doi.org/10.1103/physrevlett.113.023001\">10.1103/physrevlett.113.023001</a>","mla":"Kraus, P. M., et al. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” <i>Physical Review Letters</i>, vol. 113, no. 2, 023001, American Physical Society, 2014, doi:<a href=\"https://doi.org/10.1103/physrevlett.113.023001\">10.1103/physrevlett.113.023001</a>.","short":"P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).","chicago":"Kraus, P. M., Denitsa Rangelova Baykusheva, and H. J. Wörner. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” <i>Physical Review Letters</i>. American Physical Society, 2014. <a href=\"https://doi.org/10.1103/physrevlett.113.023001\">https://doi.org/10.1103/physrevlett.113.023001</a>."},"year":"2014","publisher":"American Physical Society","day":"11","arxiv":1,"intvolume":"       113","external_id":{"arxiv":["1311.3923"],"pmid":["25062172"]},"issue":"2","scopus_import":"1","author":[{"first_name":"P. M.","full_name":"Kraus, P. M.","last_name":"Kraus"},{"first_name":"Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","last_name":"Baykusheva","full_name":"Baykusheva, Denitsa Rangelova"},{"first_name":"H. J.","full_name":"Wörner, H. J.","last_name":"Wörner"}],"publication":"Physical Review Letters","doi":"10.1103/physrevlett.113.023001","main_file_link":[{"url":"https://arxiv.org/abs/1311.3923","open_access":"1"}],"type":"journal_article","publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]},"pmid":1,"oa":1,"title":"Two-pulse field-free orientation reveals anisotropy of molecular shape resonance","extern":"1","article_number":"023001","volume":113,"language":[{"iso":"eng"}],"publication_status":"published","month":"07","date_created":"2023-08-10T06:38:38Z","article_processing_charge":"No","quality_controlled":"1"},{"oa_version":"Preprint","status":"public","_id":"14021","citation":{"ista":"Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 47(12), 124030.","ama":"Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. 2014;47(12). doi:<a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">10.1088/0953-4075/47/12/124030</a>","apa":"Kraus, P. M., Baykusheva, D. R., &#38; Wörner, H. J. (2014). Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">https://doi.org/10.1088/0953-4075/47/12/124030</a>","ieee":"P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules,” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>, vol. 47, no. 12. IOP Publishing, 2014.","chicago":"Kraus, P M, Denitsa Rangelova Baykusheva, and H J Wörner. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. IOP Publishing, 2014. <a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">https://doi.org/10.1088/0953-4075/47/12/124030</a>.","short":"P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 47 (2014).","mla":"Kraus, P. M., et al. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>, vol. 47, no. 12, 124030, IOP Publishing, 2014, doi:<a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">10.1088/0953-4075/47/12/124030</a>."},"year":"2014","publisher":"IOP Publishing","arxiv":1,"day":"10","intvolume":"        47","external_id":{"arxiv":["1311.3923"]},"issue":"12","date_updated":"2023-08-22T09:04:30Z","abstract":[{"lang":"eng","text":"We present the detailed analysis of a new two-pulse orientation scheme that achieves macroscopic field-free orientation at the high particle densities required for attosecond and high-harmonic spectroscopies (Kraus et al 2013 arXiv:1311.3923). Carbon monoxide molecules are oriented by combining one-colour and delayed two-colour non-resonant femtosecond laser pulses. High-harmonic generation is used to probe the oriented wave-packet dynamics and reveals that a very high degree of orientation (Nup/Ntotal = 0.73–0.82) is achieved. We further extend this approach to orienting carbonyl sulphide molecules. We show that the present two-pulse scheme selectively enhances orientation created by the hyperpolarizability interaction whereas the ionization-depletion mechanism plays no role. We further control and optimize orientation through the delay between the one- and two-colour pump pulses. Finally, we demonstrate a complementary encoding of electronic-structure features, such as shape resonances, in the even- and odd-harmonic spectrum. The achieved progress makes two-pulse field-free orientation an attractive tool for a broad class of time-resolved measurements."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","fulldoi":"https://doi.org/10.1088/0953-4075/47/12/124030","keyword":["Condensed Matter Physics","Atomic and Molecular Physics","and Optics"],"date_published":"2014-06-10T00:00:00Z","volume":47,"language":[{"iso":"eng"}],"publication_status":"published","month":"06","date_created":"2023-08-10T06:38:48Z","article_processing_charge":"No","quality_controlled":"1","scopus_import":"1","author":[{"full_name":"Kraus, P M","last_name":"Kraus","first_name":"P M"},{"first_name":"Denitsa Rangelova","last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","full_name":"Baykusheva, Denitsa Rangelova"},{"full_name":"Wörner, H J","last_name":"Wörner","first_name":"H J"}],"publication":"Journal of Physics B: Atomic, Molecular and Optical Physics","doi":"10.1088/0953-4075/47/12/124030","main_file_link":[{"url":"https://arxiv.org/abs/1311.3923","open_access":"1"}],"type":"journal_article","publication_identifier":{"eissn":["1361-6455"],"issn":["0953-4075"]},"oa":1,"title":"Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules","extern":"1","article_number":"124030"},{"quality_controlled":"1","article_processing_charge":"No","date_created":"2023-09-06T12:51:14Z","month":"11","publication_status":"published","volume":126,"language":[{"iso":"eng"}],"page":"12949-12954","extern":"1","type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1002/ange.201405991","open_access":"1"}],"doi":"10.1002/ange.201405991","title":"Facile and scalable preparation of pure and dense DNA origami solutions","oa":1,"publication_identifier":{"eissn":["1521-3773"],"issn":["1433-7851"]},"pmid":1,"author":[{"first_name":"Evi","full_name":"Stahl, Evi","last_name":"Stahl"},{"first_name":"Thomas","full_name":"Martin, Thomas","last_name":"Martin"},{"id":"dfec9381-4341-11ee-8fd8-faa02bba7d62","last_name":"Praetorius","full_name":"Praetorius, Florian M","first_name":"Florian M"},{"first_name":"Hendrik","full_name":"Dietz, Hendrik","last_name":"Dietz"}],"publication":"Angewandte Chemie International Edition","scopus_import":"1","intvolume":"       126","issue":"47","external_id":{"pmid":["25346175"]},"publisher":"Wiley","citation":{"mla":"Stahl, Evi, et al. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” <i>Angewandte Chemie International Edition</i>, vol. 126, no. 47, Wiley, 2014, pp. 12949–54, doi:<a href=\"https://doi.org/10.1002/ange.201405991\">10.1002/ange.201405991</a>.","short":"E. Stahl, T. Martin, F.M. Praetorius, H. Dietz, Angewandte Chemie International Edition 126 (2014) 12949–12954.","chicago":"Stahl, Evi, Thomas Martin, Florian M Praetorius, and Hendrik Dietz. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” <i>Angewandte Chemie International Edition</i>. Wiley, 2014. <a href=\"https://doi.org/10.1002/ange.201405991\">https://doi.org/10.1002/ange.201405991</a>.","apa":"Stahl, E., Martin, T., Praetorius, F. M., &#38; Dietz, H. (2014). Facile and scalable preparation of pure and dense DNA origami solutions. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/ange.201405991\">https://doi.org/10.1002/ange.201405991</a>","ieee":"E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable preparation of pure and dense DNA origami solutions,” <i>Angewandte Chemie International Edition</i>, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.","ista":"Stahl E, Martin T, Praetorius FM, Dietz H. 2014. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 126(47), 12949–12954.","ama":"Stahl E, Martin T, Praetorius FM, Dietz H. Facile and scalable preparation of pure and dense DNA origami solutions. <i>Angewandte Chemie International Edition</i>. 2014;126(47):12949-12954. doi:<a href=\"https://doi.org/10.1002/ange.201405991\">10.1002/ange.201405991</a>"},"year":"2014","day":"17","oa_version":"Published Version","_id":"14301","status":"public","fulldoi":"https://doi.org/10.1002/ange.201405991","article_type":"original","date_published":"2014-11-17T00:00:00Z","abstract":[{"lang":"eng","text":"DNA has become a prime material for assembling complex three-dimensional objects that promise utility in various areas of application. However, achieving user-defined goals with DNA objects has been hampered by the difficulty to prepare them at arbitrary concentrations and in user-defined solution conditions. Here, we describe a method that solves this problem. The method is based on poly(ethylene glycol)-induced depletion of species with high molecular weight. We demonstrate that our method is applicable to a wide spectrum of DNA shapes and that it achieves excellent recovery yields of target objects up to 97 %, while providing efficient separation from non-integrated DNA strands. DNA objects may be prepared at concentrations up to the limit of solubility, including the possibility for bringing DNA objects into a solid phase. Due to the fidelity and simplicity of our method we anticipate that it will help to catalyze the development of new types of applications that use self-assembled DNA objects."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-11-07T12:14:30Z"},{"day":"01","arxiv":1,"publisher":"International Congress of Mathematicians","citation":{"chicago":"Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” In <i>Proceedings of the International Congress of Mathematicians</i>, 3:214–36. International Congress of Mathematicians, 2014.","mla":"Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” <i>Proceedings of the International Congress of Mathematicians</i>, vol. 3, International Congress of Mathematicians, 2014, pp. 214–36.","short":"L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.","ista":"Erdös L. 2014. Random matrices, log-gases and Hölder regularity. Proceedings of the International Congress of Mathematicians. ICM: International Congress of Mathematicians vol. 3, 214–236.","ama":"Erdös L. Random matrices, log-gases and Hölder regularity. In: <i>Proceedings of the International Congress of Mathematicians</i>. Vol 3. International Congress of Mathematicians; 2014:214-236.","ieee":"L. Erdös, “Random matrices, log-gases and Hölder regularity,” in <i>Proceedings of the International Congress of Mathematicians</i>, Seoul, Korea, 2014, vol. 3, pp. 214–236.","apa":"Erdös, L. (2014). Random matrices, log-gases and Hölder regularity. In <i>Proceedings of the International Congress of Mathematicians</i> (Vol. 3, pp. 214–236). Seoul, Korea: International Congress of Mathematicians."},"acknowledgement":"The author is partially supported by SFB-TR 12 Grant of the German Research Council.","year":"2014","_id":"1507","status":"public","oa_version":"Submitted Version","external_id":{"arxiv":["1407.5752"]},"intvolume":"         3","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The Wigner-Dyson-Gaudin-Mehta conjecture asserts that the local eigenvalue statistics of large real and complex Hermitian matrices with independent, identically distributed entries are universal in a sense that they depend only on the symmetry class of the matrix and otherwise are independent of the details of the distribution. We present the recent solution to this half-century old conjecture. We explain how stochastic tools, such as the Dyson Brownian motion, and PDE ideas, such as De Giorgi-Nash-Moser regularity theory, were combined in the solution. We also show related results for log-gases that represent a universal model for strongly correlated systems. Finally, in the spirit of Wigner’s original vision, we discuss the extensions of these universality results to more realistic physical systems such as random band matrices."}],"ec_funded":1,"publist_id":"5670","date_updated":"2025-06-11T07:52:59Z","date_published":"2014-08-01T00:00:00Z","month":"08","page":"214 - 236","publication_status":"published","department":[{"_id":"LaEr"}],"language":[{"iso":"eng"}],"volume":3,"project":[{"name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"338804"}],"quality_controlled":"1","article_processing_charge":"No","date_created":"2018-12-11T11:52:25Z","publication":"Proceedings of the International Congress of Mathematicians","author":[{"orcid":"0000-0001-5366-9603","first_name":"László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László"}],"conference":{"location":"Seoul, Korea","name":"ICM: International Congress of Mathematicians","end_date":"2014-08-21","start_date":"2014-08-13"},"scopus_import":"1","title":"Random matrices, log-gases and Hölder regularity","oa":1,"type":"conference","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1407.5752"}]},{"external_id":{"arxiv":["1403.2563"]},"day":"01","arxiv":1,"year":"2014","citation":{"apa":"Bräunlich, G., Hainzl, C., &#38; Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In <i>Proceedings of the QMath12 Conference</i> (pp. 127–137). Berlin, Germany: World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789814618144_0007\">https://doi.org/10.1142/9789814618144_0007</a>","ieee":"G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in <i>Proceedings of the QMath12 Conference</i>, Berlin, Germany, 2014, pp. 127–137.","ista":"Bräunlich G, Hainzl C, Seiringer R. 2014. On the BCS gap equation for superfluid fermionic gases. Proceedings of the QMath12 Conference. QMath: Mathematical Results in Quantum Physics, 127–137.","ama":"Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: <i>Proceedings of the QMath12 Conference</i>. World Scientific Publishing; 2014:127-137. doi:<a href=\"https://doi.org/10.1142/9789814618144_0007\">10.1142/9789814618144_0007</a>","short":"G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.","mla":"Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.” <i>Proceedings of the QMath12 Conference</i>, World Scientific Publishing, 2014, pp. 127–37, doi:<a href=\"https://doi.org/10.1142/9789814618144_0007\">10.1142/9789814618144_0007</a>.","chicago":"Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.” In <i>Proceedings of the QMath12 Conference</i>, 127–37. World Scientific Publishing, 2014. <a href=\"https://doi.org/10.1142/9789814618144_0007\">https://doi.org/10.1142/9789814618144_0007</a>."},"publisher":"World Scientific Publishing","_id":"1516","status":"public","oa_version":"Preprint","date_published":"2014-01-01T00:00:00Z","fulldoi":"https://doi.org/10.1142/9789814618144_0007","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"We present a rigorous derivation of the BCS gap equation for superfluid fermionic gases with point interactions. Our starting point is the BCS energy functional, whose minimizer we investigate in the limit when the range of the interaction potential goes to zero.\r\n","lang":"eng"}],"publist_id":"5661","date_updated":"2021-01-12T06:51:19Z","quality_controlled":"1","date_created":"2018-12-11T11:52:28Z","article_processing_charge":"No","month":"01","page":"127 - 137","department":[{"_id":"RoSe"}],"language":[{"iso":"eng"}],"publication_status":"published","oa":1,"title":"On the BCS gap equation for superfluid fermionic gases","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1403.2563"}],"doi":"10.1142/9789814618144_0007","type":"conference","publication":"Proceedings of the QMath12 Conference","author":[{"first_name":"Gerhard","full_name":"Bräunlich, Gerhard","last_name":"Bräunlich"},{"last_name":"Hainzl","full_name":"Hainzl, Christian","first_name":"Christian"},{"first_name":"Robert","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"conference":{"name":"QMath: Mathematical Results in Quantum Physics","end_date":"2013-09-13","location":"Berlin, Germany","start_date":"2013-09-10"}},{"article_processing_charge":"No","date_created":"2024-03-21T07:58:31Z","quality_controlled":"1","page":"7199-7204","publication_status":"published","volume":79,"language":[{"iso":"eng"}],"month":"06","oa":1,"title":"Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters","publication_identifier":{"issn":["0022-3263"],"eissn":["1520-6904"]},"type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1021/jo500773t","open_access":"1"}],"doi":"10.1021/jo500773t","extern":"1","scopus_import":"1","publication":"The Journal of Organic Chemistry","author":[{"full_name":"Guan, Weiye","last_name":"Guan","first_name":"Weiye"},{"first_name":"Alicia Kathleen","full_name":"Michael, Alicia Kathleen","id":"6437c950-2a03-11ee-914d-d6476dd7b75c","last_name":"Michael"},{"full_name":"McIntosh, Melissa L.","last_name":"McIntosh","first_name":"Melissa L."},{"first_name":"Liza","full_name":"Koren-Selfridge, Liza","last_name":"Koren-Selfridge"},{"first_name":"John P.","last_name":"Scott","full_name":"Scott, John P."},{"full_name":"Clark, Timothy B.","last_name":"Clark","first_name":"Timothy B."}],"issue":"15","intvolume":"        79","status":"public","_id":"15161","oa_version":"Published Version","day":"10","publisher":"American Chemical Society","citation":{"chicago":"Guan, Weiye, Alicia K. Michael, Melissa L. McIntosh, Liza Koren-Selfridge, John P. Scott, and Timothy B. Clark. “Stereoselective Formation of Trisubstituted Vinyl Boronate Esters by the Acid-Mediated Elimination of α-Hydroxyboronate Esters.” <i>The Journal of Organic Chemistry</i>. American Chemical Society, 2014. <a href=\"https://doi.org/10.1021/jo500773t\">https://doi.org/10.1021/jo500773t</a>.","short":"W. Guan, A.K. Michael, M.L. McIntosh, L. Koren-Selfridge, J.P. Scott, T.B. Clark, The Journal of Organic Chemistry 79 (2014) 7199–7204.","mla":"Guan, Weiye, et al. “Stereoselective Formation of Trisubstituted Vinyl Boronate Esters by the Acid-Mediated Elimination of α-Hydroxyboronate Esters.” <i>The Journal of Organic Chemistry</i>, vol. 79, no. 15, American Chemical Society, 2014, pp. 7199–204, doi:<a href=\"https://doi.org/10.1021/jo500773t\">10.1021/jo500773t</a>.","ista":"Guan W, Michael AK, McIntosh ML, Koren-Selfridge L, Scott JP, Clark TB. 2014. Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters. The Journal of Organic Chemistry. 79(15), 7199–7204.","ama":"Guan W, Michael AK, McIntosh ML, Koren-Selfridge L, Scott JP, Clark TB. Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters. <i>The Journal of Organic Chemistry</i>. 2014;79(15):7199-7204. doi:<a href=\"https://doi.org/10.1021/jo500773t\">10.1021/jo500773t</a>","apa":"Guan, W., Michael, A. K., McIntosh, M. L., Koren-Selfridge, L., Scott, J. P., &#38; Clark, T. B. (2014). Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters. <i>The Journal of Organic Chemistry</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/jo500773t\">https://doi.org/10.1021/jo500773t</a>","ieee":"W. Guan, A. K. Michael, M. L. McIntosh, L. Koren-Selfridge, J. P. Scott, and T. B. Clark, “Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters,” <i>The Journal of Organic Chemistry</i>, vol. 79, no. 15. American Chemical Society, pp. 7199–7204, 2014."},"year":"2014","date_published":"2014-06-10T00:00:00Z","keyword":["Organic Chemistry"],"fulldoi":"https://doi.org/10.1021/jo500773t","article_type":"letter_note","date_updated":"2024-03-25T11:50:01Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"The copper-catalyzed diboration of ketones followed by an acid-catalyzed elimination leads to the formation of 1,1-disubstituted and trisubstituted vinyl boronate esters with moderate to good yields and selectivity. Addition of tosic acid to the crude diboration products provides the corresponding vinyl boronate esters upon elimination. The trisubstituted vinyl boronate esters are formed as the (Z)-olefin isomer, which was established by subjecting the products to a Suzuki–Miyaura coupling reaction to obtain alkenes of known geometry.","lang":"eng"}]},{"quality_controlled":"1","date_created":"2018-12-11T11:53:08Z","article_processing_charge":"No","month":"03","department":[{"_id":"ChWo"}],"language":[{"iso":"eng"}],"volume":33,"pubrep_id":"577","publication_status":"published","article_number":"15","oa":1,"title":"Edit propagation using geometric relationship functions","doi":"10.1145/2591010","type":"journal_article","publication":"ACM Transactions on Graphics","author":[{"full_name":"Guerrero, Paul","last_name":"Guerrero","first_name":"Paul"},{"last_name":"Jeschke","id":"44D6411A-F248-11E8-B48F-1D18A9856A87","full_name":"Jeschke, Stefan","first_name":"Stefan"},{"last_name":"Wimmer","full_name":"Wimmer, Michael","first_name":"Michael"},{"first_name":"Peter","full_name":"Wonka, Peter","last_name":"Wonka"}],"external_id":{"isi":["000335009900003"]},"issue":"2","file":[{"file_name":"IST-2016-577-v1+1_2014.TOG.Paul.EditingPropagation.final.pdf","file_size":9832561,"date_created":"2018-12-12T10:11:22Z","file_id":"4876","date_updated":"2020-07-14T12:45:07Z","content_type":"application/pdf","creator":"system","access_level":"open_access","checksum":"7f91e588a4e888610313b98271e6418e","relation":"main_file"}],"intvolume":"        33","day":"01","isi":1,"year":"2014","citation":{"short":"P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).","mla":"Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.” <i>ACM Transactions on Graphics</i>, vol. 33, no. 2, 15, ACM, 2014, doi:<a href=\"https://doi.org/10.1145/2591010\">10.1145/2591010</a>.","chicago":"Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.” <i>ACM Transactions on Graphics</i>. ACM, 2014. <a href=\"https://doi.org/10.1145/2591010\">https://doi.org/10.1145/2591010</a>.","ieee":"P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” <i>ACM Transactions on Graphics</i>, vol. 33, no. 2. ACM, 2014.","apa":"Guerrero, P., Jeschke, S., Wimmer, M., &#38; Wonka, P. (2014). Edit propagation using geometric relationship functions. <i>ACM Transactions on Graphics</i>. ACM. <a href=\"https://doi.org/10.1145/2591010\">https://doi.org/10.1145/2591010</a>","ama":"Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. <i>ACM Transactions on Graphics</i>. 2014;33(2). doi:<a href=\"https://doi.org/10.1145/2591010\">10.1145/2591010</a>","ista":"Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 33(2), 15."},"publisher":"ACM","_id":"1629","status":"public","oa_version":"Submitted Version","ddc":["000"],"date_published":"2014-03-01T00:00:00Z","has_accepted_license":"1","fulldoi":"https://doi.org/10.1145/2591010","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","file_date_updated":"2020-07-14T12:45:07Z","abstract":[{"lang":"eng","text":"We propose a method for propagating edit operations in 2D vector graphics, based on geometric relationship functions. These functions quantify the geometric relationship of a point to a polygon, such as the distance to the boundary or the direction to the closest corner vertex. The level sets of the relationship functions describe points with the same relationship to a polygon. For a given query point, we first determine a set of relationships to local features, construct all level sets for these relationships, and accumulate them. The maxima of the resulting distribution are points with similar geometric relationships. We show extensions to handle mirror symmetries, and discuss the use of relationship functions as local coordinate systems. Our method can be applied, for example, to interactive floorplan editing, and it is especially useful for large layouts, where individual edits would be cumbersome. We demonstrate populating 2D layouts with tens to hundreds of objects by propagating relatively few edit operations."}],"publist_id":"5526","date_updated":"2025-09-29T13:16:25Z"},{"date_published":"2014-01-01T00:00:00Z","fulldoi":"https://doi.org/10.1007/978-3-319-10879-7_7","publist_id":"5509","date_updated":"2026-06-22T14:10:02Z","alternative_title":["LNCS"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ec_funded":1,"abstract":[{"lang":"eng","text":"We extend the notion of verifiable random functions (VRF) to constrained VRFs, which generalize the concept of constrained pseudorandom functions, put forward by Boneh and Waters (Asiacrypt’13), and independently by Kiayias et al. (CCS’13) and Boyle et al. (PKC’14), who call them delegatable PRFs and functional PRFs, respectively. In a standard VRF the secret key sk allows one to evaluate a pseudorandom function at any point of its domain; in addition, it enables computation of a non-interactive proof that the function value was computed correctly. In a constrained VRF from the key sk one can derive constrained keys skS for subsets S of the domain, which allow computation of function values and proofs only at points in S. After formally defining constrained VRFs, we derive instantiations from the multilinear-maps-based constrained PRFs by Boneh and Waters, yielding a VRF with constrained keys for any set that can be decided by a polynomial-size circuit. Our VRFs have the same function values as the Boneh-Waters PRFs and are proved secure under the same hardness assumption, showing that verifiability comes at no cost. Constrained (functional) VRFs were stated as an open problem by Boyle et al."}],"external_id":{"cryptoeprintid":["2014/537"]},"intvolume":"      8642","_id":"1643","status":"public","editor":[{"last_name":"Abdalla","full_name":"Abdalla, Michel","first_name":"Michel"},{"first_name":"Roberto","full_name":"De Prisco, Roberto","last_name":"De Prisco"}],"oa_version":"Submitted Version","day":"01","das_tickbox":"1","publisher":"Springer","citation":{"chicago":"Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In <i>SCN 2014</i>, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10879-7_7\">https://doi.org/10.1007/978-3-319-10879-7_7</a>.","short":"G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.","mla":"Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” <i>SCN 2014</i>, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:<a href=\"https://doi.org/10.1007/978-3-319-10879-7_7\">10.1007/978-3-319-10879-7_7</a>.","ama":"Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. <i>SCN 2014</i>. Vol 8642. Springer; 2014:95-114. doi:<a href=\"https://doi.org/10.1007/978-3-319-10879-7_7\">10.1007/978-3-319-10879-7_7</a>","ista":"Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN: Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.","ieee":"G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in <i>SCN 2014</i>, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.","apa":"Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla &#38; R. De Prisco (Eds.), <i>SCN 2014</i> (Vol. 8642, pp. 95–114). Amalfi, Italy: Springer. <a href=\"https://doi.org/10.1007/978-3-319-10879-7_7\">https://doi.org/10.1007/978-3-319-10879-7_7</a>"},"year":"2014","title":"Constrained Verifiable Random Functions ","oa":1,"type":"conference","doi":"10.1007/978-3-319-10879-7_7","main_file_link":[{"url":"http://eprint.iacr.org/2014/537","open_access":"1"}],"conference":{"start_date":"2014-09-03","location":"Amalfi, Italy","end_date":"2014-09-05","name":"SCN: Security and Cryptography for Networks"},"corr_author":"1","scopus_import":"1","publication":"SCN 2014","cryptoeprintid":1,"author":[{"full_name":"Fuchsbauer, Georg","last_name":"Fuchsbauer","id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87","first_name":"Georg"}],"article_processing_charge":"No","date_created":"2018-12-11T11:53:13Z","project":[{"grant_number":"259668","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"page":"95 - 114","publication_status":"published","department":[{"_id":"KrPi"}],"volume":8642,"language":[{"iso":"eng"}],"month":"01"},{"oa_version":"Submitted Version","status":"public","_id":"1702","publisher":"Open Publishing Association","year":"2014","citation":{"short":"A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38.","mla":"Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” <i>Electronic Proceedings in Theoretical Computer Science, EPTCS</i>, vol. 169, Open Publishing Association, 2014, pp. 31–38, doi:<a href=\"https://doi.org/10.4204/EPTCS.169.5\">10.4204/EPTCS.169.5</a>.","chicago":"Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” In <i>Electronic Proceedings in Theoretical Computer Science, EPTCS</i>, 169:31–38. Open Publishing Association, 2014. <a href=\"https://doi.org/10.4204/EPTCS.169.5\">https://doi.org/10.4204/EPTCS.169.5</a>.","apa":"Gupta, A., Popeea, C., &#38; Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In <i>Electronic Proceedings in Theoretical Computer Science, EPTCS</i> (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing Association. <a href=\"https://doi.org/10.4204/EPTCS.169.5\">https://doi.org/10.4204/EPTCS.169.5</a>","ieee":"A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving recursion free-horn clauses,” in <i>Electronic Proceedings in Theoretical Computer Science, EPTCS</i>, Vienna, Austria, 2014, vol. 169, pp. 31–38.","ista":"Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science, EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169, 31–38.","ama":"Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion free-horn clauses. In: <i>Electronic Proceedings in Theoretical Computer Science, EPTCS</i>. Vol 169. Open Publishing Association; 2014:31-38. doi:<a href=\"https://doi.org/10.4204/EPTCS.169.5\">10.4204/EPTCS.169.5</a>"},"day":"02","arxiv":1,"intvolume":"       169","external_id":{"arxiv":["1303.7378"]},"date_updated":"2025-06-11T08:03:28Z","alternative_title":["EPTCS"],"publist_id":"5435","abstract":[{"lang":"eng","text":"In this paper we present INTERHORN, a solver for recursion-free Horn clauses. The main application domain of INTERHORN lies in solving interpolation problems arising in software verification. We show how a range of interpolation problems, including path, transition, nested, state/transition and well-founded interpolation can be handled directly by INTERHORN. By detailing these interpolation problems and their Horn clause representations, we hope to encourage the emergence of a common back-end interpolation interface useful for diverse verification tools."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.4204/EPTCS.169.5","date_published":"2014-12-02T00:00:00Z","publication_status":"published","volume":169,"department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"page":"31 - 38","month":"12","article_processing_charge":"No","date_created":"2018-12-11T11:53:33Z","quality_controlled":"1","scopus_import":"1","conference":{"name":"HCVS: Horn Clauses for Verification and Synthesis","end_date":"2014-07-17","location":"Vienna, Austria","start_date":"2014-07-17"},"corr_author":"1","author":[{"last_name":"Gupta","id":"335E5684-F248-11E8-B48F-1D18A9856A87","full_name":"Gupta, Ashutosh","first_name":"Ashutosh"},{"first_name":"Corneliu","full_name":"Popeea, Corneliu","last_name":"Popeea"},{"last_name":"Rybalchenko","full_name":"Rybalchenko, Andrey","first_name":"Andrey"}],"publication":"Electronic Proceedings in Theoretical Computer Science, EPTCS","type":"conference","doi":"10.4204/EPTCS.169.5","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1303.7378"}],"oa":1,"title":"Generalised interpolation by solving recursion free-horn clauses"}]