[{"author":[{"id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","full_name":"Tamas Hausel","first_name":"Tamas","last_name":"Hausel"},{"last_name":"Letellier","first_name":"Emmanuel","full_name":"Letellier, Emmanuel"},{"full_name":"Rodríguez Villegas, Fernando","last_name":"Rodríguez Villegas","first_name":"Fernando"}],"citation":{"short":"T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.","mla":"Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” <i>Advances in Mathematics</i>, vol. 234, Academic Press, 2013, pp. 85–128, doi:<a href=\"https://doi.org/10.1016/j.aim.2012.10.009\">10.1016/j.aim.2012.10.009</a>.","ieee":"T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis on character and quiver varieties II,” <i>Advances in Mathematics</i>, vol. 234. Academic Press, pp. 85–128, 2013.","apa":"Hausel, T., Letellier, E., &#38; Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. <i>Advances in Mathematics</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.aim.2012.10.009\">https://doi.org/10.1016/j.aim.2012.10.009</a>","ista":"Hausel T, Letellier E, Rodríguez Villegas F. 2013. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 234, 85–128.","chicago":"Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” <i>Advances in Mathematics</i>. Academic Press, 2013. <a href=\"https://doi.org/10.1016/j.aim.2012.10.009\">https://doi.org/10.1016/j.aim.2012.10.009</a>.","ama":"Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on character and quiver varieties II. <i>Advances in Mathematics</i>. 2013;234:85-128. doi:<a href=\"https://doi.org/10.1016/j.aim.2012.10.009\">10.1016/j.aim.2012.10.009</a>"},"quality_controlled":0,"extern":1,"date_updated":"2021-01-12T06:50:57Z","title":"Arithmetic harmonic analysis on character and quiver varieties II","volume":234,"date_published":"2013-02-15T00:00:00Z","publisher":"Academic Press","month":"02","publication_status":"published","abstract":[{"lang":"eng","text":"We study connections between the topology of generic character varieties of fundamental groups of punctured Riemann surfaces, Macdonald polynomials, quiver representations, Hilbert schemes on Cx × Cx, modular forms and multiplicities in tensor products of irreducible characters of finite general linear groups."}],"year":"2013","status":"public","day":"15","page":"85 - 128","doi":"10.1016/j.aim.2012.10.009","acknowledgement":"During the preparation of this paper TH was supported by a Royal Society University Research Fellowship at the University of Oxford. EL was supported by ANR-09-JCJC-0102-01. FRV was supported by NSF grant DMS-0200605, an FRA from the University of Texas at Austin, EPSRC grant EP/G027110/1, Visiting Fellowships at All Souls and Wadham Colleges in Oxford and a Research Scholarship from the Clay Mathematical Institute.","type":"journal_article","_id":"1469","date_created":"2018-12-11T11:52:12Z","publication":"Advances in Mathematics","publist_id":"5724","intvolume":"       234"},{"acknowledgement":"Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F. Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca Migliorini was partially supported by PRIN 2007 project \"Spazi di moduli e teoria di Lie\"","doi":"10.5427/jsing.2013.7c","day":"01","main_file_link":[{"url":"http://arxiv.org/abs/1012.2583","open_access":"1"}],"page":"23 - 38","status":"public","year":"2013","date_created":"2018-12-11T11:52:12Z","oa":1,"type":"journal_article","_id":"1470","publist_id":"5725","intvolume":"         7","publication":"Journal of Singularities","author":[{"full_name":"De Cataldo, Mark A","first_name":"Mark","last_name":"De Cataldo"},{"last_name":"Hausel","first_name":"Tamas","full_name":"Tamas Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Migliorini, Luca","first_name":"Luca","last_name":"Migliorini"}],"extern":1,"quality_controlled":0,"date_updated":"2021-01-12T06:50:58Z","citation":{"ieee":"M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces,” <i>Journal of Singularities</i>, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013.","chicago":"De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” <i>Journal of Singularities</i>. Worldwide Center of Mathematics, 2013. <a href=\"https://doi.org/10.5427/jsing.2013.7c\">https://doi.org/10.5427/jsing.2013.7c</a>.","ama":"De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. <i>Journal of Singularities</i>. 2013;7:23-38. doi:<a href=\"https://doi.org/10.5427/jsing.2013.7c\">10.5427/jsing.2013.7c</a>","ista":"De Cataldo M, Hausel T, Migliorini L. 2013. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 7, 23–38.","apa":"De Cataldo, M., Hausel, T., &#38; Migliorini, L. (2013). Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. <i>Journal of Singularities</i>. Worldwide Center of Mathematics. <a href=\"https://doi.org/10.5427/jsing.2013.7c\">https://doi.org/10.5427/jsing.2013.7c</a>","short":"M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.","mla":"De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” <i>Journal of Singularities</i>, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:<a href=\"https://doi.org/10.5427/jsing.2013.7c\">10.5427/jsing.2013.7c</a>."},"date_published":"2013-01-01T00:00:00Z","publisher":"Worldwide Center of Mathematics","volume":7,"title":"Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces","month":"01","publication_status":"published","abstract":[{"lang":"eng","text":"We show that a natural isomorphism between the rational cohomology groups of the two zero-dimensional Hilbert schemes of n-points of two surfaces, the affine plane minus the axes and the cotangent bundle of an elliptic curve, exchanges the weight filtration on the first set of cohomology groups with the perverse Leray filtration associated with a natural fibration on the second set of cohomology groups. We discuss some associated hard Lefschetz phenomena."}]},{"issue":"11","abstract":[{"text":"We prove uniqueness of solutions of the DLSS equation in a class of sufficiently regular functions. The global weak solutions of the DLSS equation constructed by Jüngel and Matthes belong to this class of uniqueness. We also show uniqueness of solutions for the quantum drift-diffusion equation, which contains additional drift and second-order diffusion terms. The results hold in case of periodic or Dirichlet-Neumann boundary conditions. Our proof is based on a monotonicity property of the DLSS operator and sophisticated approximation arguments; we derive a PDE satisfied by the pointwise square root of the solution, which enables us to exploit the monotonicity property of the operator.","lang":"eng"}],"month":"11","publication_status":"published","title":"Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models","volume":38,"date_published":"2013-11-01T00:00:00Z","publisher":"Taylor & Francis","citation":{"short":"J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.","mla":"Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” <i>Communications in Partial Differential Equations</i>, vol. 38, no. 11, Taylor &#38; Francis, 2013, pp. 2004–47, doi:<a href=\"https://doi.org/10.1080/03605302.2013.823548\">10.1080/03605302.2013.823548</a>.","ieee":"J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models,” <i>Communications in Partial Differential Equations</i>, vol. 38, no. 11. Taylor &#38; Francis, pp. 2004–2047, 2013.","apa":"Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. <i>Communications in Partial Differential Equations</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.1080/03605302.2013.823548\">https://doi.org/10.1080/03605302.2013.823548</a>","ista":"Fischer JL. 2013. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. 38(11), 2004–2047.","chicago":"Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” <i>Communications in Partial Differential Equations</i>. Taylor &#38; Francis, 2013. <a href=\"https://doi.org/10.1080/03605302.2013.823548\">https://doi.org/10.1080/03605302.2013.823548</a>.","ama":"Fischer JL. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. <i>Communications in Partial Differential Equations</i>. 2013;38(11):2004-2047. doi:<a href=\"https://doi.org/10.1080/03605302.2013.823548\">10.1080/03605302.2013.823548</a>"},"date_updated":"2021-01-12T06:49:46Z","extern":1,"quality_controlled":0,"author":[{"id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Julian Fischer","first_name":"Julian L","last_name":"Fischer","orcid":"0000-0002-0479-558X"}],"publication":"Communications in Partial Differential Equations","intvolume":"        38","publist_id":"5962","type":"journal_article","_id":"1307","date_created":"2018-12-11T11:51:17Z","year":"2013","day":"01","doi":"10.1080/03605302.2013.823548","status":"public","page":"2004 - 2047"},{"publisher":"Society for Industrial and Applied Mathematics ","date_published":"2013-01-01T00:00:00Z","title":"Advection-driven support shrinking in a chemotaxis model with degenerate mobility","volume":45,"abstract":[{"lang":"eng","text":"We derive sufficient conditions for advection-driven backward motion of the free boundary in a chemotaxis model with degenerate mobility. In this model, a porous-medium-type diffusive term and an advection term are in competition. The former induces forward motion, the latter may induce backward motion of the free boundary depending on the direction of advection. We deduce conditions on the growth of the initial data at the free boundary which ensure that at least initially the advection term is dominant. This implies local backward motion of the free boundary provided the advection is (locally) directed appropriately. Our result is based on a new class of moving test functions and Stampacchia's lemma. As a by-product of our estimates, we obtain quantitative bounds on the spreading of the support of solutions for the chemotaxis model and provide a proof for the finite speed of the support propagation property of solutions."}],"publication_status":"published","month":"01","issue":"3","author":[{"orcid":"0000-0002-0479-558X","first_name":"Julian L","last_name":"Fischer","full_name":"Julian Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2021-01-12T06:49:46Z","quality_controlled":0,"extern":1,"citation":{"short":"J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.","mla":"Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” <i>SIAM Journal on Mathematical Analysis</i>, vol. 45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615, doi:<a href=\"https://doi.org/10.1137/120874291\">10.1137/120874291</a>.","ieee":"J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with degenerate mobility,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 45, no. 3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013.","chicago":"Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics , 2013. <a href=\"https://doi.org/10.1137/120874291\">https://doi.org/10.1137/120874291</a>.","ista":"Fischer JL. 2013. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. 45(3), 1585–1615.","ama":"Fischer JL. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. <i>SIAM Journal on Mathematical Analysis</i>. 2013;45(3):1585-1615. doi:<a href=\"https://doi.org/10.1137/120874291\">10.1137/120874291</a>","apa":"Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics . <a href=\"https://doi.org/10.1137/120874291\">https://doi.org/10.1137/120874291</a>"},"intvolume":"        45","publist_id":"5963","publication":"SIAM Journal on Mathematical Analysis","doi":"10.1137/120874291","page":"1585 - 1615","day":"01","status":"public","year":"2013","date_created":"2018-12-11T11:51:17Z","_id":"1308","type":"journal_article"},{"publisher":"Academic Press","date_published":"2013-11-15T00:00:00Z","title":"Optimal lower bounds on asymptotic support propagation rates for the thin-film equation","volume":255,"month":"11","publication_status":"published","abstract":[{"lang":"eng","text":"We derive lower bounds on asymptotic support propagation rates for strong solutions of the Cauchy problem for the thin-film equation. The bounds coincide up to a constant factor with the previously known upper bounds and thus are sharp. Our results hold in case of at most three spatial dimensions and n∈. (1, 2.92). The result is established using weighted backward entropy inequalities with singular weight functions to yield a differential inequality; combined with some entropy production estimates, the optimal rate of propagation is obtained. To the best of our knowledge, these are the first lower bounds on asymptotic support propagation rates for higher-order nonnegativity-preserving parabolic equations."}],"issue":"10","author":[{"orcid":"0000-0002-0479-558X","first_name":"Julian L","last_name":"Fischer","full_name":"Julian Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"}],"quality_controlled":0,"extern":1,"date_updated":"2021-01-12T06:49:47Z","citation":{"apa":"Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. <i>Journal of Differential Equations</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.jde.2013.07.028\">https://doi.org/10.1016/j.jde.2013.07.028</a>","ista":"Fischer JL. 2013. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. 255(10), 3127–3149.","chicago":"Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” <i>Journal of Differential Equations</i>. Academic Press, 2013. <a href=\"https://doi.org/10.1016/j.jde.2013.07.028\">https://doi.org/10.1016/j.jde.2013.07.028</a>.","ama":"Fischer JL. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. <i>Journal of Differential Equations</i>. 2013;255(10):3127-3149. doi:<a href=\"https://doi.org/10.1016/j.jde.2013.07.028\">10.1016/j.jde.2013.07.028</a>","ieee":"J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates for the thin-film equation,” <i>Journal of Differential Equations</i>, vol. 255, no. 10. Academic Press, pp. 3127–3149, 2013.","short":"J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.","mla":"Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” <i>Journal of Differential Equations</i>, vol. 255, no. 10, Academic Press, 2013, pp. 3127–49, doi:<a href=\"https://doi.org/10.1016/j.jde.2013.07.028\">10.1016/j.jde.2013.07.028</a>."},"publist_id":"5961","intvolume":"       255","publication":"Journal of Differential Equations","doi":"10.1016/j.jde.2013.07.028","status":"public","page":"3127 - 3149","year":"2013","day":"15","date_created":"2018-12-11T11:51:18Z","_id":"1310","type":"journal_article"},{"status":"public","publication_identifier":{"eissn":["1437-2096"],"issn":["0936-5214"]},"date_created":"2023-08-01T09:47:17Z","article_type":"original","_id":"13405","type":"journal_article","author":[{"full_name":"Ely, Tal","last_name":"Ely","first_name":"Tal"},{"full_name":"Das, Sanjib","first_name":"Sanjib","last_name":"Das"},{"full_name":"Li, Wenjie","last_name":"Li","first_name":"Wenjie"},{"last_name":"Kundu","first_name":"Pintu","full_name":"Kundu, Pintu"},{"last_name":"Tirosh","first_name":"Einat","full_name":"Tirosh, Einat"},{"first_name":"David","last_name":"Cahen","full_name":"Cahen, David"},{"full_name":"Vilan, Ayelet","first_name":"Ayelet","last_name":"Vilan"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal","first_name":"Rafal","last_name":"Klajn"}],"quality_controlled":"1","oa_version":"None","language":[{"iso":"eng"}],"volume":24,"article_processing_charge":"No","month":"10","issue":"18","day":"22","year":"2013","doi":"10.1055/s-0033-1340087","page":"2370-2374","intvolume":"        24","publication":"Synlett","keyword":["Organic Chemistry"],"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2023-08-08T07:47:35Z","citation":{"chicago":"Ely, Tal, Sanjib Das, Wenjie Li, Pintu Kundu, Einat Tirosh, David Cahen, Ayelet Vilan, and Rafal Klajn. “Photocontrol of Electrical Conductance with a Nonsymmetrical Azobenzene Dithiol.” <i>Synlett</i>. Georg Thieme Verlag, 2013. <a href=\"https://doi.org/10.1055/s-0033-1340087\">https://doi.org/10.1055/s-0033-1340087</a>.","ista":"Ely T, Das S, Li W, Kundu P, Tirosh E, Cahen D, Vilan A, Klajn R. 2013. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 24(18), 2370–2374.","ama":"Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. <i>Synlett</i>. 2013;24(18):2370-2374. doi:<a href=\"https://doi.org/10.1055/s-0033-1340087\">10.1055/s-0033-1340087</a>","apa":"Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D., … Klajn, R. (2013). Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. <i>Synlett</i>. Georg Thieme Verlag. <a href=\"https://doi.org/10.1055/s-0033-1340087\">https://doi.org/10.1055/s-0033-1340087</a>","ieee":"T. Ely <i>et al.</i>, “Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol,” <i>Synlett</i>, vol. 24, no. 18. Georg Thieme Verlag, pp. 2370–2374, 2013.","mla":"Ely, Tal, et al. “Photocontrol of Electrical Conductance with a Nonsymmetrical Azobenzene Dithiol.” <i>Synlett</i>, vol. 24, no. 18, Georg Thieme Verlag, 2013, pp. 2370–74, doi:<a href=\"https://doi.org/10.1055/s-0033-1340087\">10.1055/s-0033-1340087</a>.","short":"T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn, Synlett 24 (2013) 2370–2374."},"publisher":"Georg Thieme Verlag","date_published":"2013-10-22T00:00:00Z","title":"Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol","publication_status":"published","abstract":[{"lang":"eng","text":"We report a method for preparing electrode–molecule–electrode junctions that incorporate nonsymmetrical azobenzene dithiols. Our approach is based on sequential deprotection of thiol moieties originally carrying two different protecting groups. The azobenzene derivatives retained their switching properties within monolayers and permitted the photocontrol of electrical conductance."}]},{"keyword":["Mechanical Engineering","Mechanics of Materials","General Materials Science"],"scopus_import":"1","publication":"Advanced Materials","intvolume":"        25","year":"2013","doi":"10.1002/adma.201201734","page":"422-426","day":"18","abstract":[{"lang":"eng","text":"Dual-responsive nanoparticles are designed by functionalizing magnetic cores with light-responsive ligands. These materials respond to both light and magnetic fields and can be assembled into various higher-order structures, depending on the relative contributions of these two stimuli."}],"publication_status":"published","title":"Dual-responsive nanoparticles and their self-assembly","publisher":"Wiley","date_published":"2013-01-18T00:00:00Z","pmid":1,"citation":{"short":"S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials 25 (2013) 422–426.","mla":"Das, Sanjib, et al. “Dual-Responsive Nanoparticles and Their Self-Assembly.” <i>Advanced Materials</i>, vol. 25, no. 3, Wiley, 2013, pp. 422–26, doi:<a href=\"https://doi.org/10.1002/adma.201201734\">10.1002/adma.201201734</a>.","apa":"Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., &#38; Klajn, R. (2013). Dual-responsive nanoparticles and their self-assembly. <i>Advanced Materials</i>. Wiley. <a href=\"https://doi.org/10.1002/adma.201201734\">https://doi.org/10.1002/adma.201201734</a>","ista":"Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. 2013. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 25(3), 422–426.","ama":"Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles and their self-assembly. <i>Advanced Materials</i>. 2013;25(3):422-426. doi:<a href=\"https://doi.org/10.1002/adma.201201734\">10.1002/adma.201201734</a>","chicago":"Das, Sanjib, Priyadarshi Ranjan, Pradipta Sankar Maiti, Gurvinder Singh, Gregory Leitus, and Rafal Klajn. “Dual-Responsive Nanoparticles and Their Self-Assembly.” <i>Advanced Materials</i>. Wiley, 2013. <a href=\"https://doi.org/10.1002/adma.201201734\">https://doi.org/10.1002/adma.201201734</a>.","ieee":"S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive nanoparticles and their self-assembly,” <i>Advanced Materials</i>, vol. 25, no. 3. Wiley, pp. 422–426, 2013."},"date_updated":"2023-08-08T07:49:36Z","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["22933327"]},"_id":"13406","type":"journal_article","article_type":"original","date_created":"2023-08-01T09:47:30Z","publication_identifier":{"issn":["0935-9648"]},"status":"public","issue":"3","month":"01","article_processing_charge":"No","volume":25,"language":[{"iso":"eng"}],"oa_version":"None","quality_controlled":"1","author":[{"full_name":"Das, Sanjib","last_name":"Das","first_name":"Sanjib"},{"full_name":"Ranjan, Priyadarshi","last_name":"Ranjan","first_name":"Priyadarshi"},{"full_name":"Maiti, Pradipta Sankar","last_name":"Maiti","first_name":"Pradipta Sankar"},{"first_name":"Gurvinder","last_name":"Singh","full_name":"Singh, Gurvinder"},{"full_name":"Leitus, Gregory","last_name":"Leitus","first_name":"Gregory"},{"last_name":"Klajn","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal"}]},{"quality_controlled":"1","project":[{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"oa_version":"Published Version","author":[{"last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"full_name":"Fijalkow, Nathanaël","first_name":"Nathanaël","last_name":"Fijalkow"}],"has_accepted_license":"1","month":"09","file":[{"file_name":"IST-2016-624-v1+1_ChKr_Infinite-state_games_2013_17.pdf","date_updated":"2020-07-14T12:44:47Z","date_created":"2018-12-12T10:13:38Z","content_type":"application/pdf","file_size":547296,"access_level":"open_access","creator":"system","checksum":"b7091a3866db573c0db5ec486952255e","file_id":"5023","relation":"main_file"}],"language":[{"iso":"eng"}],"volume":23,"date_created":"2018-12-11T11:51:39Z","_id":"1374","type":"conference","status":"public","pubrep_id":"624","ec_funded":1,"conference":{"end_date":"2013-09-05","start_date":"203-09-02","location":"Torino, Italy","name":"CSL: Computer Science Logic"},"date_updated":"2021-01-12T06:50:14Z","department":[{"_id":"KrCh"}],"citation":{"apa":"Chatterjee, K., &#38; Fijalkow, N. (2013). Infinite-state games with finitary conditions. In <i>22nd EACSL Annual Conference on Computer Science Logic</i> (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CSL.2013.181\">https://doi.org/10.4230/LIPIcs.CSL.2013.181</a>","ista":"Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.","chicago":"Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In <i>22nd EACSL Annual Conference on Computer Science Logic</i>, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. <a href=\"https://doi.org/10.4230/LIPIcs.CSL.2013.181\">https://doi.org/10.4230/LIPIcs.CSL.2013.181</a>.","ama":"Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: <i>22nd EACSL Annual Conference on Computer Science Logic</i>. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CSL.2013.181\">10.4230/LIPIcs.CSL.2013.181</a>","ieee":"K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in <i>22nd EACSL Annual Conference on Computer Science Logic</i>, Torino, Italy, 2013, vol. 23, pp. 181–196.","short":"K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.","mla":"Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” <i>22nd EACSL Annual Conference on Computer Science Logic</i>, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CSL.2013.181\">10.4230/LIPIcs.CSL.2013.181</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"alternative_title":["LIPIcs"],"abstract":[{"lang":"eng","text":"We study two-player zero-sum games over infinite-state graphs equipped with ωB and finitary conditions. Our first contribution is about the strategy complexity, i.e the memory required for winning strategies: we prove that over general infinite-state graphs, memoryless strategies are sufficient for finitary Büchi, and finite-memory suffices for finitary parity games. We then study pushdown games with boundedness conditions, with two contributions. First we prove a collapse result for pushdown games with ωB-conditions, implying the decidability of solving these games. Second we consider pushdown games with finitary parity along with stack boundedness conditions, and show that solving these games is EXPTIME-complete."}],"publication_status":"published","ddc":["000"],"series_title":"Leibniz International Proceedings in Informatics","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file_date_updated":"2020-07-14T12:44:47Z","date_published":"2013-09-01T00:00:00Z","title":"Infinite-state games with finitary conditions","oa":1,"year":"2013","page":"181 - 196","doi":"10.4230/LIPIcs.CSL.2013.181","day":"01","scopus_import":1,"intvolume":"        23","publist_id":"5837","publication":"22nd EACSL Annual Conference on Computer Science Logic"},{"project":[{"name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","call_identifier":"FWF"},{"call_identifier":"FWF","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","call_identifier":"FP7"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"date_updated":"2023-02-23T12:24:53Z","oa_version":"None","citation":{"ieee":"K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in <i>13th International Conference on Formal Methods in Computer-Aided Design</i>, Portland, OR, United States, 2013, pp. 18–25.","ista":"Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In <i>13th International Conference on Formal Methods in Computer-Aided Design</i>, 18–25. IEEE, 2013. <a href=\"https://doi.org/10.1109/FMCAD.2013.6679386\">https://doi.org/10.1109/FMCAD.2013.6679386</a>.","ama":"Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: <i>13th International Conference on Formal Methods in Computer-Aided Design</i>. IEEE; 2013:18-25. doi:<a href=\"https://doi.org/10.1109/FMCAD.2013.6679386\">10.1109/FMCAD.2013.6679386</a>","apa":"Chatterjee, K., Henzinger, T. A., Otop, J., &#38; Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In <i>13th International Conference on Formal Methods in Computer-Aided Design</i> (pp. 18–25). Portland, OR, United States: IEEE. <a href=\"https://doi.org/10.1109/FMCAD.2013.6679386\">https://doi.org/10.1109/FMCAD.2013.6679386</a>","short":"K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.","mla":"Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” <i>13th International Conference on Formal Methods in Computer-Aided Design</i>, IEEE, 2013, pp. 18–25, doi:<a href=\"https://doi.org/10.1109/FMCAD.2013.6679386\">10.1109/FMCAD.2013.6679386</a>."},"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"full_name":"Otop, Jan","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Otop"},{"full_name":"Pavlogiannis, Andreas","id":"49704004-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8943-0722","first_name":"Andreas","last_name":"Pavlogiannis"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","publication_status":"published","abstract":[{"lang":"eng","text":"We consider the distributed synthesis problem for temporal logic specifications. Traditionally, the problem has been studied for LTL, and the previous results show that the problem is decidable iff there is no information fork in the architecture. We consider the problem for fragments of LTL and our main results are as follows: (1) We show that the problem is undecidable for architectures with information forks even for the fragment of LTL with temporal operators restricted to next and eventually. (2) For specifications restricted to globally along with non-nested next operators, we establish decidability (in EXPSPACE) for star architectures where the processes receive disjoint inputs, whereas we establish undecidability for architectures containing an information fork-meet structure. (3) Finally, we consider LTL without the next operator, and establish decidability (NEXPTIME-complete) for all architectures for a fragment that consists of a set of safety assumptions, and a set of guarantees where each guarantee is a safety, reachability, or liveness condition."}],"language":[{"iso":"eng"}],"date_published":"2013-12-11T00:00:00Z","publisher":"IEEE","title":"Distributed synthesis for LTL fragments","date_created":"2018-12-11T11:51:40Z","_id":"1376","type":"conference","page":"18 - 25","day":"11","year":"2013","status":"public","doi":"10.1109/FMCAD.2013.6679386","related_material":{"record":[{"status":"public","id":"5406","relation":"earlier_version"}]},"publist_id":"5835","conference":{"location":"Portland, OR, United States","name":"FMCAD: Formal Methods in Computer-Aided Design","start_date":"2013-10-20","end_date":"2013-10-23"},"ec_funded":1,"publication":"13th International Conference on Formal Methods in Computer-Aided Design"},{"conference":{"name":"FMCAD: Formal Methods in Computer-Aided Design","location":"Portland, OR, United States","start_date":"2013-10-20","end_date":"2013-10-23"},"ec_funded":1,"_id":"1385","type":"conference","date_created":"2018-12-11T11:51:43Z","main_file_link":[{"url":"http://arxiv.org/abs/1308.4767","open_access":"1"}],"status":"public","month":"12","language":[{"iso":"eng"}],"oa_version":"Preprint","quality_controlled":"1","project":[{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"},{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling"}],"author":[{"full_name":"Hofferek, Georg","last_name":"Hofferek","first_name":"Georg"},{"first_name":"Ashutosh","last_name":"Gupta","id":"335E5684-F248-11E8-B48F-1D18A9856A87","full_name":"Gupta, Ashutosh"},{"full_name":"Könighofer, Bettina","first_name":"Bettina","last_name":"Könighofer"},{"first_name":"Jie","last_name":"Jiang","full_name":"Jiang, Jie"},{"first_name":"Roderick","last_name":"Bloem","full_name":"Bloem, Roderick"}],"publication":"2013 Formal Methods in Computer-Aided Design","arxiv":1,"publist_id":"5825","oa":1,"day":"11","year":"2013","doi":"10.1109/FMCAD.2013.6679394","page":"77 - 84","acknowledgement":"This research was supported by the European Commission through project\r\nDIAMOND  (FP7-2009-IST-4-248613), and  QUAINT  (I774-N23),  ","publication_status":"published","abstract":[{"text":"It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controller. For instance, for a pipelined processor it suffices to state that the visible behavior of the pipelined system should be identical to a non-pipelined reference system (Burch-Dill paradigm). We present a novel procedure to efficiently synthesize multiple Boolean control signals from a specification given as a quantified first-order formula (with a specific quantifier structure). Our approach uses uninterpreted functions to abstract details of the design. We construct an unsatisfiable SMT formula from the given specification. Then, from just one proof of unsatisfiability, we use a variant of Craig interpolation to compute multiple coordinated interpolants that implement the Boolean control signals. Our method avoids iterative learning and back-substitution of the control functions. We applied our approach to synthesize a controller for a simple two-stage pipelined processor, and present first experimental results.","lang":"eng"}],"title":"Synthesizing multiple boolean functions using interpolation on a single proof","publisher":"IEEE","date_published":"2013-12-11T00:00:00Z","citation":{"mla":"Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” <i>2013 Formal Methods in Computer-Aided Design</i>, IEEE, 2013, pp. 77–84, doi:<a href=\"https://doi.org/10.1109/FMCAD.2013.6679394\">10.1109/FMCAD.2013.6679394</a>.","short":"G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.","apa":"Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., &#38; Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In <i>2013 Formal Methods in Computer-Aided Design</i> (pp. 77–84). Portland, OR, United States: IEEE. <a href=\"https://doi.org/10.1109/FMCAD.2013.6679394\">https://doi.org/10.1109/FMCAD.2013.6679394</a>","ama":"Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: <i>2013 Formal Methods in Computer-Aided Design</i>. IEEE; 2013:77-84. doi:<a href=\"https://doi.org/10.1109/FMCAD.2013.6679394\">10.1109/FMCAD.2013.6679394</a>","ista":"Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.","chicago":"Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In <i>2013 Formal Methods in Computer-Aided Design</i>, 77–84. IEEE, 2013. <a href=\"https://doi.org/10.1109/FMCAD.2013.6679394\">https://doi.org/10.1109/FMCAD.2013.6679394</a>.","ieee":"G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in <i>2013 Formal Methods in Computer-Aided Design</i>, Portland, OR, United States, 2013, pp. 77–84."},"department":[{"_id":"ToHe"}],"date_updated":"2021-01-12T06:50:19Z","external_id":{"arxiv":["1308.4767"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"scopus_import":1,"publist_id":"5823","intvolume":"      7966","oa":1,"acknowledgement":"and ERC Grant QUALITY.","page":"89 - 100","day":"01","year":"2013","doi":"10.1007/978-3-642-39212-2_11","publication_status":"published","abstract":[{"text":"Choices made by nondeterministic word automata depend on both the past (the prefix of the word read so far) and the future (the suffix yet to be read). In several applications, most notably synthesis, the future is diverse or unknown, leading to algorithms that are based on deterministic automata. Hoping to retain some of the advantages of nondeterministic automata, researchers have studied restricted classes of nondeterministic automata. Three such classes are nondeterministic automata that are good for trees (GFT; i.e., ones that can be expanded to tree automata accepting the derived tree languages, thus whose choices should satisfy diverse futures), good for games (GFG; i.e., ones whose choices depend only on the past), and determinizable by pruning (DBP; i.e., ones that embody equivalent deterministic automata). The theoretical properties and relative merits of the different classes are still open, having vagueness on whether they really differ from deterministic automata. In particular, while DBP ⊆ GFG ⊆ GFT, it is not known whether every GFT automaton is GFG and whether every GFG automaton is DBP. Also open is the possible succinctness of GFG and GFT automata compared to deterministic automata. We study these problems for ω-regular automata with all common acceptance conditions. We show that GFT=GFG⊃DBP, and describe a determinization construction for GFG automata.","lang":"eng"}],"ddc":["000"],"series_title":"Lecture Notes in Computer Science","file_date_updated":"2020-07-14T12:44:48Z","publisher":"Springer","date_published":"2013-07-01T00:00:00Z","title":"Nondeterminism in the presence of a diverse or unknown future","department":[{"_id":"ToHe"}],"date_updated":"2020-08-11T10:09:09Z","citation":{"mla":"Boker, Udi, et al. <i>Nondeterminism in the Presence of a Diverse or Unknown Future</i>. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:<a href=\"https://doi.org/10.1007/978-3-642-39212-2_11\">10.1007/978-3-642-39212-2_11</a>.","short":"U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.","ieee":"U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer, pp. 89–100, 2013.","ista":"Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.","chicago":"Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39212-2_11\">https://doi.org/10.1007/978-3-642-39212-2_11</a>.","ama":"Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:<a href=\"https://doi.org/10.1007/978-3-642-39212-2_11\">10.1007/978-3-642-39212-2_11</a>","apa":"Boker, U., Kuperberg, D., Kupferman, O., &#38; Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-39212-2_11\">https://doi.org/10.1007/978-3-642-39212-2_11</a>"},"alternative_title":["LNCS"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"start_date":"2013-07-08","end_date":"2013-07-12","name":"ICALP: Automata, Languages and Programming","location":"Riga, Latvia"},"ec_funded":1,"date_created":"2018-12-11T11:51:44Z","_id":"1387","type":"conference","status":"public","has_accepted_license":"1","month":"07","file":[{"relation":"main_file","file_size":276982,"access_level":"open_access","creator":"dernst","file_id":"7857","checksum":"98bc02e3793072e279ec8d364b381ff3","date_updated":"2020-07-14T12:44:48Z","date_created":"2020-05-15T11:05:50Z","content_type":"application/pdf","file_name":"2013_ICALP_Boker.pdf"}],"issue":"PART 2","language":[{"iso":"eng"}],"volume":7966,"article_processing_charge":"No","project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"quality_controlled":"1","oa_version":"Submitted Version","author":[{"last_name":"Boker","first_name":"Udi","id":"31E297B6-F248-11E8-B48F-1D18A9856A87","full_name":"Boker, Udi"},{"full_name":"Kuperberg, Denis","last_name":"Kuperberg","first_name":"Denis"},{"full_name":"Kupferman, Orna","first_name":"Orna","last_name":"Kupferman"},{"first_name":"Michał","last_name":"Skrzypczak","full_name":"Skrzypczak, Michał"}]},{"year":"2013","day":"05","doi":"10.15479/at:ista:1405","page":"134","acknowledgement":"This work was supported in part by the Austrian Science Fund NFN RiSE (Rigorous Systems Engineering) and by the ERC Advanced Grant QUAREM (Quantitative Reactve Modeling).\r\nChapter 2, 3, and 4 are joint work with Thomas A. Henzinger and Thomas Wies. Chapter 2 was published in FoSSaCS 2010 as “Forward Analysis of Depth-Bounded Processes” [112]. Chapter 3 was published in VMCAI 2012 as “Ideal Abstractions for Well-Structured Transition Systems” [114]. Chap- ter 5.1 is joint work with Kshitij Bansal, Eric Koskinen, and Thomas Wies. It was published in TACAS 2013 as “Structural Counter Abstraction” [13]. The author’s contribution in this part is mostly related to the implementation. The theory required to understand the method and its implementation is quickly recalled to make the thesis self-contained, but should not be considered as a contribution. For the details of the methods, we refer the reader to the orig- inal publication [13] and the corresponding technical report [14]. Chapter 5.2 is ongoing work with Shahram Esmaeilsabzali, Rupak Majumdar, and Thomas Wies. I also would like to thank the people who supported over the past 4 years. My advisor Thomas A. Henzinger who gave me a lot of freedom to work on projects I was interested in. My collaborators, especially Thomas Wies with whom I worked since the beginning. The members of my thesis committee, Viktor Kun- cak and Rupak Majumdar, who also agreed to advise me. Simon Aeschbacher, Pavol Cerny, Cezara Dragoi, Arjun Radhakrishna, my family, friends and col- leagues who created an enjoyable environment. ","oa":1,"publist_id":"5802","supervisor":[{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"}],"related_material":{"record":[{"relation":"part_of_dissertation","id":"2847","status":"public"},{"relation":"part_of_dissertation","id":"3251","status":"public"},{"status":"public","id":"4361","relation":"part_of_dissertation"}]},"alternative_title":["ISTA Thesis"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","degree_awarded":"PhD","citation":{"mla":"Zufferey, Damien. <i>Analysis of Dynamic Message Passing Programs</i>. Institute of Science and Technology Austria, 2013, doi:<a href=\"https://doi.org/10.15479/at:ista:1405\">10.15479/at:ista:1405</a>.","short":"D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.","apa":"Zufferey, D. (2013). <i>Analysis of dynamic message passing programs</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:1405\">https://doi.org/10.15479/at:ista:1405</a>","chicago":"Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. <a href=\"https://doi.org/10.15479/at:ista:1405\">https://doi.org/10.15479/at:ista:1405</a>.","ista":"Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria.","ama":"Zufferey D. Analysis of dynamic message passing programs. 2013. doi:<a href=\"https://doi.org/10.15479/at:ista:1405\">10.15479/at:ista:1405</a>","ieee":"D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013."},"department":[{"_id":"ToHe"},{"_id":"GradSch"}],"date_updated":"2023-09-07T11:36:37Z","title":"Analysis of dynamic message passing programs","file_date_updated":"2021-11-17T13:47:58Z","date_published":"2013-09-05T00:00:00Z","publisher":"Institute of Science and Technology Austria","ddc":["000"],"publication_status":"published","abstract":[{"lang":"eng","text":"Motivated by the analysis of highly dynamic message-passing systems, i.e. unbounded thread creation, mobility, etc. we present a framework for the analysis of depth-bounded systems. Depth-bounded systems are one of the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. Even though they are infinite state systems depth-bounded systems are well-structured, thus can be analyzed algorithmically. We give an interpretation of depth-bounded systems as graph-rewriting systems. This gives more flexibility and ease of use to apply depth-bounded systems to other type of systems like shared memory concurrency.\r\n\r\nFirst, we develop an adequate domain of limits for depth-bounded systems, a prerequisite for the effective representation of downward-closed sets. Downward-closed sets are needed by forward saturation-based algorithms to represent potentially infinite sets of states. Then, we present an abstract interpretation framework to compute the covering set of well-structured transition systems. Because, in general, the covering set is not computable, our abstraction over-approximates the actual covering set. Our abstraction captures the essence of acceleration based-algorithms while giving up enough precision to ensure convergence. We have implemented the analysis in the PICASSO tool and show that it is accurate in practice. Finally, we build some further analyses like termination using the covering set as starting point."}],"status":"public","publication_identifier":{"issn":["2663-337X"]},"main_file_link":[{"url":"http://dzufferey.github.io/files/2013_thesis.pdf"}],"type":"dissertation","_id":"1405","date_created":"2018-12-11T11:51:50Z","ec_funded":1,"author":[{"id":"4397AC76-F248-11E8-B48F-1D18A9856A87","full_name":"Zufferey, Damien","last_name":"Zufferey","first_name":"Damien","orcid":"0000-0002-3197-8736"}],"oa_version":"Published Version","project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"file":[{"date_created":"2021-02-22T11:28:36Z","date_updated":"2021-02-22T11:28:36Z","content_type":"application/pdf","file_name":"2013_Zufferey_thesis_final.pdf","relation":"main_file","success":1,"access_level":"open_access","file_size":1514906,"file_id":"9176","checksum":"ed2d7b52933d134e8dc69d569baa284e","creator":"dernst"},{"file_name":"2013_Zufferey_thesis_final_pdfa.pdf","content_type":"application/pdf","date_updated":"2021-11-17T13:47:58Z","date_created":"2021-11-16T14:42:52Z","creator":"cchlebak","file_id":"10298","checksum":"cecc4c4b14225bee973d32e3dba91a55","file_size":1378313,"access_level":"closed","relation":"main_file"}],"has_accepted_license":"1","month":"09"},{"status":"public","publication_identifier":{"issn":["2663-337X"]},"page":"123","year":"2013","day":"01","date_created":"2018-12-11T11:51:50Z","_id":"1406","type":"dissertation","publist_id":"5801","supervisor":[{"last_name":"Heisenberg","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J"}],"author":[{"full_name":"Campinho, Pedro","id":"3AFBBC42-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8526-5416","first_name":"Pedro","last_name":"Campinho"}],"degree_awarded":"PhD","alternative_title":["ISTA Thesis"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","department":[{"_id":"CaHe"}],"date_updated":"2023-09-07T11:36:07Z","citation":{"short":"P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science and Technology Austria, 2013.","mla":"Campinho, Pedro. <i>Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading</i>. Institute of Science and Technology Austria, 2013.","ieee":"P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading,” Institute of Science and Technology Austria, 2013.","chicago":"Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.","ama":"Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.","ista":"Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.","apa":"Campinho, P. (2013). <i>Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading</i>. Institute of Science and Technology Austria."},"oa_version":"None","date_published":"2013-10-01T00:00:00Z","language":[{"iso":"eng"}],"publisher":"Institute of Science and Technology Austria","title":"Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading","acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"article_processing_charge":"No","publication_status":"published","month":"10","abstract":[{"lang":"eng","text":"Epithelial spreading is a critical part of various developmental and wound repair processes. Here we use zebrafish epiboly as a model system to study the cellular and molecular mechanisms underlying the spreading of epithelial sheets. During zebrafish epiboly the enveloping cell layer (EVL), a simple squamous epithelium, spreads over the embryo to eventually cover the entire yolk cell by the end of gastrulation. The EVL leading edge is anchored through tight junctions to the yolk syncytial layer (YSL), where directly adjacent to the EVL margin a contractile actomyosin ring is formed that is thought to drive EVL epiboly. The prevalent view in the field was that the contractile ring exerts a pulling force on the EVL margin, which pulls the EVL towards the vegetal pole. However, how this force is generated and how it affects EVL morphology still remains elusive. Moreover, the cellular mechanisms mediating the increase in EVL surface area, while maintaining tissue integrity and function are still unclear. Here we show that the YSL actomyosin ring pulls on the EVL margin by two distinct force-generating mechanisms. One mechanism is based on contraction of the ring around its circumference, as previously proposed. The second mechanism is based on actomyosin retrogade flows, generating force through resistance against the substrate. The latter can function at any epiboly stage even in situations where the contraction-based mechanism is unproductive. Additionally, we demonstrate that during epiboly the EVL is subjected to anisotropic tension, which guides the orientation of EVL cell division along the main axis (animal-vegetal) of tension. The influence of tension in cell division orientation involves cell elongation and requires myosin-2 activity for proper spindle alignment. Strikingly, we reveal that tension-oriented cell divisions release anisotropic tension within the EVL and that in the absence of such divisions, EVL cells undergo ectopic fusions. We conclude that forces applied to the EVL by the action of the YSL actomyosin ring generate a tension anisotropy in the EVL that orients cell divisions, which in turn limit tissue tension increase thereby facilitating tissue spreading."}]},{"author":[{"first_name":"Vladimir","last_name":"Arkhipov","full_name":"Arkhipov, Vladimir Y"},{"first_name":"T","last_name":"Noah","full_name":"Noah T"},{"last_name":"Koschkar","first_name":"Steffen","full_name":"Koschkar, Steffen"},{"first_name":"Fyodor","last_name":"Kondrashov","orcid":"0000-0001-8243-4694","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","full_name":"Fyodor Kondrashov"}],"citation":{"mla":"Arkhipov, Vladimir, et al. “Birds of Mys Shmidta, North Chukotka, Russia.” <i>Forktail</i>, no. 29, Oriental Bird Club, 2013, pp. 25–30.","short":"V. Arkhipov, T. Noah, S. Koschkar, F. Kondrashov, Forktail (2013) 25–30.","apa":"Arkhipov, V., Noah, T., Koschkar, S., &#38; Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. <i>Forktail</i>. Oriental Bird Club.","ista":"Arkhipov V, Noah T, Koschkar S, Kondrashov F. 2013. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. (29), 25–30.","chicago":"Arkhipov, Vladimir, T Noah, Steffen Koschkar, and Fyodor Kondrashov. “Birds of Mys Shmidta, North Chukotka, Russia.” <i>Forktail</i>. Oriental Bird Club, 2013.","ama":"Arkhipov V, Noah T, Koschkar S, Kondrashov F. Birds of Mys Shmidta, north Chukotka, Russia. <i>Forktail</i>. 2013;(29):25-30.","ieee":"V. Arkhipov, T. Noah, S. Koschkar, and F. Kondrashov, “Birds of Mys Shmidta, north Chukotka, Russia,” <i>Forktail</i>, no. 29. Oriental Bird Club, pp. 25–30, 2013."},"quality_controlled":0,"extern":1,"date_updated":"2021-01-12T08:21:48Z","title":"Birds of Mys Shmidta, north Chukotka, Russia","date_published":"2013-09-01T00:00:00Z","publisher":"Oriental Bird Club","issue":"29","publication_status":"published","month":"09","abstract":[{"lang":"eng","text":"A survey of avifauna was carried out in the Mys Shmidta area, north Chukotka, Russia from 8 June to 12 July 2011. A total of 90 species was recorded in the area, which together with literature data made a final list of 104 species. For several species this area is beyond the northern, north-eastern or north-western limits of their known distribution. We collected new data for 19 globally or locally threatened species. Tundra Swan Cygnus columbianus, Emperor Goose Anser canagica, American Golden Plover Pluvialis dominica, Western Sandpiper Calidris mauri, Semipalmated Sandpiper C. pusilla, Northern House Martin Delichon urbica and Barn Swallow Hirundo rustica were all confirmed to be breeding. Breeding of Brent Goose Branta bernicla nigricans, Spectacled Eider Somateria fischeri and Steller's Eider Polysticta stelleri was judged to be 'very likely'. There was no evidence for breeding of Ross's Gull Rhodostethia rosea despite several records. Two Eurasian Dotterels Eudromias morinellus were recorded displaying for the first time in the area, but the status of the species is unclear. The area is important for Snowy Owl Nyctea scandiaca, and as moulting grounds for Emperor Goose. Canada Goose Branta canadensis, Baikal Teal Anas formosa, Bar-tailed Godwit Limosa lapponica, Slaty-backed Gull Larus schistisagus, Thayer's Gull L. thayeri, Black-headed Gull L. ridibundus, White-tailed Eagle Haliaeetus albicilla, Steller's Sea Eagle H. pelagicus, Osprey Pandion haliaetus, Arctic Warbler Phylloscopus borealis and House Sparrow Passer domesticus are more likely to be rare vagrants or migrants. An observation of a Pine Siskin Carduelis pinus is the first record for Eurasia."}],"page":"25 - 30","day":"01","main_file_link":[{"url":"http://orientalbirdclub.org/forktail29/","open_access":"1"}],"year":"2013","status":"public","acknowledgement":"We thank Natalya Kveten and Oksana Makarova, heads of administrations of Mys Shmidta and Ryrkaypiy for hospitality and for help with organising our excursions. Warm thanks too to Pavel Tomkovich for useful comments on local birds and ornithological literature. We are very grateful to The David and Lucile Packard Foundation for the support to Birds Russia’s Spoon-billed Sandpiper  conservation  programme  in  2011 and to Evgeny Syroechkovsky Jr, the leader of the Spoon-billed Sandpiper conservation team in Russia.","_id":"905","type":"journal_article","oa":1,"date_created":"2018-12-11T11:49:07Z","publication":"Forktail","publist_id":"6741"},{"status":"public","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"date_created":"2021-02-01T14:37:29Z","_id":"9055","type":"journal_article","article_type":"original","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":339,"month":"02","issue":"6122","author":[{"first_name":"Jérémie A","last_name":"Palacci","orcid":"0000-0002-7253-9465","id":"8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d","full_name":"Palacci, Jérémie A"},{"first_name":"S.","last_name":"Sacanna","full_name":"Sacanna, S."},{"first_name":"A. P.","last_name":"Steinberg","full_name":"Steinberg, A. P."},{"first_name":"D. J.","last_name":"Pine","full_name":"Pine, D. J."},{"full_name":"Chaikin, P. M.","last_name":"Chaikin","first_name":"P. M."}],"quality_controlled":"1","oa_version":"None","intvolume":"       339","publication":"Science","keyword":["Multidisciplinary"],"scopus_import":"1","year":"2013","page":"936-940","day":"22","doi":"10.1126/science.1230020","date_published":"2013-02-22T00:00:00Z","publisher":"American Association for the Advancement of Science ","pmid":1,"title":"Living crystals of light-activated colloidal surfers","abstract":[{"text":"Spontaneous formation of colonies of bacteria or flocks of birds are examples of self-organization in active living matter. Here, we demonstrate a form of self-organization from nonequilibrium driving forces in a suspension of synthetic photoactivated colloidal particles. They lead to two-dimensional \"living crystals,\" which form, break, explode, and re-form elsewhere. The dynamic assembly results from a competition between self-propulsion of particles and an attractive interaction induced respectively by osmotic and phoretic effects and activated by light. We measured a transition from normal to giant-number fluctuations. Our experiments are quantitatively described by simple numerical simulations. We show that the existence of the living crystals is intrinsically related to the out-of-equilibrium collisions of the self-propelled particles.","lang":"eng"}],"publication_status":"published","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["23371555"]},"date_updated":"2022-08-25T14:57:43Z","extern":"1","citation":{"ieee":"J. A. Palacci, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin, “Living crystals of light-activated colloidal surfers,” <i>Science</i>, vol. 339, no. 6122. American Association for the Advancement of Science , pp. 936–940, 2013.","chicago":"Palacci, Jérémie A, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin. “Living Crystals of Light-Activated Colloidal Surfers.” <i>Science</i>. American Association for the Advancement of Science , 2013. <a href=\"https://doi.org/10.1126/science.1230020\">https://doi.org/10.1126/science.1230020</a>.","ama":"Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. Living crystals of light-activated colloidal surfers. <i>Science</i>. 2013;339(6122):936-940. doi:<a href=\"https://doi.org/10.1126/science.1230020\">10.1126/science.1230020</a>","ista":"Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. 2013. Living crystals of light-activated colloidal surfers. Science. 339(6122), 936–940.","apa":"Palacci, J. A., Sacanna, S., Steinberg, A. P., Pine, D. J., &#38; Chaikin, P. M. (2013). Living crystals of light-activated colloidal surfers. <i>Science</i>. American Association for the Advancement of Science . <a href=\"https://doi.org/10.1126/science.1230020\">https://doi.org/10.1126/science.1230020</a>","short":"J.A. Palacci, S. Sacanna, A.P. Steinberg, D.J. Pine, P.M. Chaikin, Science 339 (2013) 936–940.","mla":"Palacci, Jérémie A., et al. “Living Crystals of Light-Activated Colloidal Surfers.” <i>Science</i>, vol. 339, no. 6122, American Association for the Advancement of Science , 2013, pp. 936–40, doi:<a href=\"https://doi.org/10.1126/science.1230020\">10.1126/science.1230020</a>."}},{"author":[{"full_name":"Melet, Angélique","last_name":"Melet","first_name":"Angélique"},{"full_name":"Nikurashin, Maxim","first_name":"Maxim","last_name":"Nikurashin"},{"id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","full_name":"Muller, Caroline J","last_name":"Muller","first_name":"Caroline J","orcid":"0000-0001-5836-5350"},{"full_name":"Falahat, S.","first_name":"S.","last_name":"Falahat"},{"full_name":"Nycander, Jonas","first_name":"Jonas","last_name":"Nycander"},{"full_name":"Timko, Patrick G.","first_name":"Patrick G.","last_name":"Timko"},{"full_name":"Arbic, Brian K.","first_name":"Brian K.","last_name":"Arbic"},{"last_name":"Goff","first_name":"John A.","full_name":"Goff, John A."}],"oa_version":"Published Version","quality_controlled":"1","volume":118,"article_processing_charge":"No","language":[{"iso":"eng"}],"issue":"11","month":"11","publication_identifier":{"issn":["2169-9275"]},"status":"public","main_file_link":[{"url":"https://doi.org/10.1002/2013JC009212","open_access":"1"}],"article_type":"original","type":"journal_article","_id":"9153","date_created":"2021-02-15T15:11:39Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"mla":"Melet, Angélique, et al. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” <i>Journal of Geophysical Research: Oceans</i>, vol. 118, no. 11, American Geophysical Union, 2013, pp. 6303–18, doi:<a href=\"https://doi.org/10.1002/2013jc009212\">10.1002/2013jc009212</a>.","short":"A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko, B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.","ieee":"A. Melet <i>et al.</i>, “Internal tide generation by abyssal hills using analytical theory,” <i>Journal of Geophysical Research: Oceans</i>, vol. 118, no. 11. American Geophysical Union, pp. 6303–6318, 2013.","apa":"Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko, P. G., … Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. <i>Journal of Geophysical Research: Oceans</i>. American Geophysical Union. <a href=\"https://doi.org/10.1002/2013jc009212\">https://doi.org/10.1002/2013jc009212</a>","ama":"Melet A, Nikurashin M, Muller CJ, et al. Internal tide generation by abyssal hills using analytical theory. <i>Journal of Geophysical Research: Oceans</i>. 2013;118(11):6303-6318. doi:<a href=\"https://doi.org/10.1002/2013jc009212\">10.1002/2013jc009212</a>","chicago":"Melet, Angélique, Maxim Nikurashin, Caroline J Muller, S. Falahat, Jonas Nycander, Patrick G. Timko, Brian K. Arbic, and John A. Goff. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” <i>Journal of Geophysical Research: Oceans</i>. American Geophysical Union, 2013. <a href=\"https://doi.org/10.1002/2013jc009212\">https://doi.org/10.1002/2013jc009212</a>.","ista":"Melet A, Nikurashin M, Muller CJ, Falahat S, Nycander J, Timko PG, Arbic BK, Goff JA. 2013. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 118(11), 6303–6318."},"extern":"1","date_updated":"2022-01-24T13:46:15Z","title":"Internal tide generation by abyssal hills using analytical theory","publisher":"American Geophysical Union","date_published":"2013-11-07T00:00:00Z","publication_status":"published","abstract":[{"lang":"eng","text":"Internal tide driven mixing plays a key role in sustaining the deep ocean stratification and meridional overturning circulation. Internal tides can be generated by topographic horizontal scales ranging from hundreds of meters to tens of kilometers. State of the art topographic products barely resolve scales smaller than ∼10 km in the deep ocean. On these scales abyssal hills dominate ocean floor roughness. The impact of abyssal hill roughness on internal‐tide generation is evaluated in this study. The conversion of M2 barotropic to baroclinic tidal energy is calculated based on linear wave theory both in real and spectral space using the Shuttle Radar Topography Mission SRTM30_PLUS bathymetric product at 1/120° resolution with and without the addition of synthetic abyssal hill roughness. Internal tide generation by abyssal hills integrates to 0.1 TW globally or 0.03 TW when the energy flux is empirically corrected for supercritical slope (i.e., ∼10% of the energy flux due to larger topographic scales resolved in standard products in both cases). The abyssal hill driven energy conversion is dominated by mid‐ocean ridges, where abyssal hill roughness is large. Focusing on two regions located over the Mid‐Atlantic Ridge and the East Pacific Rise, it is shown that regionally linear theory predicts an increase of the energy flux due to abyssal hills of up to 100% or 60% when an empirical correction for supercritical slopes is attempted. Therefore, abyssal hills, unresolved in state of the art topographic products, can have a strong impact on internal tide generation, especially over mid‐ocean ridges."}],"day":"07","year":"2013","page":"6303-6318","doi":"10.1002/2013jc009212","oa":1,"publication":"Journal of Geophysical Research: Oceans","intvolume":"       118"},{"citation":{"short":"C.J. Muller, Journal of Climate 26 (2013) 5028–5043.","mla":"Muller, Caroline J. “Impact of Convective Organization on the Response of Tropical Precipitation Extremes to Warming.” <i>Journal of Climate</i>, vol. 26, no. 14, American Meteorological Society, 2013, pp. 5028–43, doi:<a href=\"https://doi.org/10.1175/jcli-d-12-00655.1\">10.1175/jcli-d-12-00655.1</a>.","ieee":"C. J. Muller, “Impact of convective organization on the response of tropical precipitation extremes to warming,” <i>Journal of Climate</i>, vol. 26, no. 14. American Meteorological Society, pp. 5028–5043, 2013.","ista":"Muller CJ. 2013. Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. 26(14), 5028–5043.","ama":"Muller CJ. Impact of convective organization on the response of tropical precipitation extremes to warming. <i>Journal of Climate</i>. 2013;26(14):5028-5043. doi:<a href=\"https://doi.org/10.1175/jcli-d-12-00655.1\">10.1175/jcli-d-12-00655.1</a>","chicago":"Muller, Caroline J. “Impact of Convective Organization on the Response of Tropical Precipitation Extremes to Warming.” <i>Journal of Climate</i>. American Meteorological Society, 2013. <a href=\"https://doi.org/10.1175/jcli-d-12-00655.1\">https://doi.org/10.1175/jcli-d-12-00655.1</a>.","apa":"Muller, C. J. (2013). Impact of convective organization on the response of tropical precipitation extremes to warming. <i>Journal of Climate</i>. American Meteorological Society. <a href=\"https://doi.org/10.1175/jcli-d-12-00655.1\">https://doi.org/10.1175/jcli-d-12-00655.1</a>"},"date_updated":"2022-01-24T13:46:41Z","extern":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","abstract":[{"lang":"eng","text":"In this study the response of tropical precipitation extremes to warming in organized convection is examined using a cloud-resolving model. Vertical shear is imposed to organize the convection into squall lines. Earlier studies show that in disorganized convection, the fractional increase of precipitation extremes is similar to that of surface water vapor, which is substantially smaller than the increase in column water vapor. It has been suggested that organized convection could lead to stronger amplifications.\r\nRegardless of the strength of the shear, amplifications of precipitation extremes in the cloud-resolving simulations are comparable to those of surface water vapor and are substantially less than increases in column water vapor. The results without shear and with critical shear, for which the squall lines are perpendicular to the shear, are surprisingly similar with a fractional rate of increase of precipitation extremes slightly smaller than that of surface water vapor. Interestingly, the dependence on shear is nonmonotonic, and stronger supercritical shear yields larger rates, close to or slightly larger than surface humidity.\r\nA scaling is used to evaluate the thermodynamic and dynamic contributions to precipitation extreme changes. To first order, they are dominated by the thermodynamic component, which has the same magnitude for all shears, close to the change in surface water vapor. The dynamic contribution plays a secondary role and tends to weaken extremes without shear and with critical shear, while it strengthens extremes with supercritical shear. These different dynamic contributions for different shears are due to different responses of convective mass fluxes in individual updrafts to warming."}],"publication_status":"published","title":"Impact of convective organization on the response of tropical precipitation extremes to warming","date_published":"2013-07-15T00:00:00Z","publisher":"American Meteorological Society","oa":1,"year":"2013","doi":"10.1175/jcli-d-12-00655.1","page":"5028-5043","day":"15","keyword":["Atmospheric Science"],"publication":"Journal of Climate","intvolume":"        26","oa_version":"Published Version","quality_controlled":"1","author":[{"orcid":"0000-0001-5836-5350","last_name":"Muller","first_name":"Caroline J","full_name":"Muller, Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b"}],"issue":"14","month":"07","article_processing_charge":"No","volume":26,"language":[{"iso":"eng"}],"_id":"9154","type":"journal_article","article_type":"original","date_created":"2021-02-15T15:26:39Z","publication_identifier":{"issn":["0894-8755","1520-0442"]},"status":"public","main_file_link":[{"url":"https://doi.org/10.1175/JCLI-D-12-00655.1","open_access":"1"}]},{"date_created":"2021-02-18T14:31:26Z","_id":"9167","type":"journal_article","article_type":"original","publication_identifier":{"issn":["00027863"],"eissn":["15205126"]},"status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1310.5724"}],"quality_controlled":"1","oa_version":"Preprint","author":[{"orcid":"0000-0002-7253-9465","last_name":"Palacci","first_name":"Jérémie A","full_name":"Palacci, Jérémie A","id":"8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d"},{"full_name":"Sacanna, Stefano","last_name":"Sacanna","first_name":"Stefano"},{"full_name":"Vatchinsky, Adrian","first_name":"Adrian","last_name":"Vatchinsky"},{"first_name":"Paul M.","last_name":"Chaikin","full_name":"Chaikin, Paul M."},{"first_name":"David J.","last_name":"Pine","full_name":"Pine, David J."}],"month":"10","issue":"43","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":135,"oa":1,"day":"30","page":"15978-15981","doi":"10.1021/ja406090s","year":"2013","scopus_import":"1","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"],"intvolume":"       135","arxiv":1,"publication":"Journal of the American Chemical Society","date_updated":"2021-02-22T10:10:41Z","extern":"1","citation":{"ieee":"J. A. Palacci, S. Sacanna, A. Vatchinsky, P. M. Chaikin, and D. J. Pine, “Photoactivated colloidal dockers for cargo transportation,” <i>Journal of the American Chemical Society</i>, vol. 135, no. 43. American Chemical Society, pp. 15978–15981, 2013.","chicago":"Palacci, Jérémie A, Stefano Sacanna, Adrian Vatchinsky, Paul M. Chaikin, and David J. Pine. “Photoactivated Colloidal Dockers for Cargo Transportation.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2013. <a href=\"https://doi.org/10.1021/ja406090s\">https://doi.org/10.1021/ja406090s</a>.","ista":"Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. 2013. Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. 135(43), 15978–15981.","ama":"Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. Photoactivated colloidal dockers for cargo transportation. <i>Journal of the American Chemical Society</i>. 2013;135(43):15978-15981. doi:<a href=\"https://doi.org/10.1021/ja406090s\">10.1021/ja406090s</a>","apa":"Palacci, J. A., Sacanna, S., Vatchinsky, A., Chaikin, P. M., &#38; Pine, D. J. (2013). Photoactivated colloidal dockers for cargo transportation. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/ja406090s\">https://doi.org/10.1021/ja406090s</a>","mla":"Palacci, Jérémie A., et al. “Photoactivated Colloidal Dockers for Cargo Transportation.” <i>Journal of the American Chemical Society</i>, vol. 135, no. 43, American Chemical Society, 2013, pp. 15978–81, doi:<a href=\"https://doi.org/10.1021/ja406090s\">10.1021/ja406090s</a>.","short":"J.A. Palacci, S. Sacanna, A. Vatchinsky, P.M. Chaikin, D.J. Pine, Journal of the American Chemical Society 135 (2013) 15978–15981."},"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","external_id":{"pmid":["24131488"],"arxiv":["1310.5724"]},"abstract":[{"text":"We introduce a self-propelled colloidal hematite docker that can be steered to a small particle cargo many times its size, dock, transport the cargo to a remote location, and then release it. The self-propulsion and docking are reversible and activated by visible light. The docker can be steered either by a weak uniform magnetic field or by nanoscale tracks in a textured substrate. The light-activated motion and docking originate from osmotic/phoretic particle transport in a concentration gradient of fuel, hydrogen peroxide, induced by the photocatalytic activity of the hematite. The docking mechanism is versatile and can be applied to various materials and shapes. The hematite dockers are simple single-component particles and are synthesized in bulk quantities. This system opens up new possibilities for designing complex micrometer-size factories as well as new biomimetic systems.","lang":"eng"}],"publication_status":"published","date_published":"2013-10-30T00:00:00Z","publisher":"American Chemical Society","pmid":1,"title":"Photoactivated colloidal dockers for cargo transportation"},{"publisher":"National Academy of Sciences","language":[{"iso":"eng"}],"date_published":"2013-02-12T00:00:00Z","title":"Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing","volume":110,"article_processing_charge":"No","month":"02","publication_status":"published","abstract":[{"text":"Recent experiments have shown that spreading epithelial sheets exhibit a long-range coordination of motility forces that leads to a buildup of tension in the tissue, which may enhance cell division and the speed of wound healing. Furthermore, the edges of these epithelial sheets commonly show finger-like protrusions whereas the bulk often displays spontaneous swirls of motile cells. To explain these experimental observations, we propose a simple flocking-type mechanism, in which cells tend to align their motility forceswith their velocity. Implementing this idea in amechanical tissue simulation, the proposed model gives rise to efficient spreading and can explain the experimentally observed long-range alignment of motility forces in highly disordered patterns, as well as the buildup of tensile stress throughout the tissue. Our model also qualitatively reproduces the dependence of swirl size and swirl velocity on cell density reported in experiments and exhibits an undulation instability at the edge of the spreading tissue commonly observed in vivo. Finally, we study the dependence of colony spreading speed on important physical and biological parameters and derive simple scaling relations that show that coordination of motility forces leads to an improvement of the wound healing process for realistic tissue parameters.","lang":"eng"}],"issue":"7","author":[{"full_name":"Basan, Markus","first_name":"Markus","last_name":"Basan"},{"last_name":"Elgeti","first_name":"Jens","full_name":"Elgeti, Jens"},{"full_name":"Hannezo, Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6005-1561","first_name":"Edouard B","last_name":"Hannezo"},{"full_name":"Rappel, Wouter","first_name":"Wouter","last_name":"Rappel"},{"last_name":"Levine","first_name":"Herbert","full_name":"Levine, Herbert"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","date_updated":"2021-01-12T08:21:55Z","citation":{"ama":"Basan M, Elgeti J, Hannezo EB, Rappel W, Levine H. Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. <i>PNAS</i>. 2013;110(7):2452-2459. doi:<a href=\"https://doi.org/10.1073/pnas.1219937110\">10.1073/pnas.1219937110</a>","chicago":"Basan, Markus, Jens Elgeti, Edouard B Hannezo, Wouter Rappel, and Herbert Levine. “Alignment of Cellular Motility Forces with Tissue Flow as a Mechanism for Efficient Wound Healing.” <i>PNAS</i>. National Academy of Sciences, 2013. <a href=\"https://doi.org/10.1073/pnas.1219937110\">https://doi.org/10.1073/pnas.1219937110</a>.","ista":"Basan M, Elgeti J, Hannezo EB, Rappel W, Levine H. 2013. Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. PNAS. 110(7), 2452–2459.","apa":"Basan, M., Elgeti, J., Hannezo, E. B., Rappel, W., &#38; Levine, H. (2013). Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.1219937110\">https://doi.org/10.1073/pnas.1219937110</a>","ieee":"M. Basan, J. Elgeti, E. B. Hannezo, W. Rappel, and H. Levine, “Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing,” <i>PNAS</i>, vol. 110, no. 7. National Academy of Sciences, pp. 2452–2459, 2013.","mla":"Basan, Markus, et al. “Alignment of Cellular Motility Forces with Tissue Flow as a Mechanism for Efficient Wound Healing.” <i>PNAS</i>, vol. 110, no. 7, National Academy of Sciences, 2013, pp. 2452–59, doi:<a href=\"https://doi.org/10.1073/pnas.1219937110\">10.1073/pnas.1219937110</a>.","short":"M. Basan, J. Elgeti, E.B. Hannezo, W. Rappel, H. Levine, PNAS 110 (2013) 2452–2459."},"oa_version":"None","publist_id":"6518","intvolume":"       110","publication":"PNAS","acknowledgement":"This work was supported by National Science Foundation (NSF) Grant DMS-1068869 and by the NSF Center for Theoretical Biological Physics (Grant NSF PHY-0822283).\r\nWe acknowledge useful discussions with Eshel Ben-Jacob and Assaf Zaritsky. ","page":"2452 - 2459","day":"12","year":"2013","status":"public","doi":"10.1073/pnas.1219937110","date_created":"2018-12-11T11:49:12Z","type":"journal_article","_id":"921"},{"date_created":"2021-06-04T12:23:28Z","type":"journal_article","_id":"9459","article_type":"original","main_file_link":[{"url":"https://doi.org/10.1016/j.cell.2013.02.033","open_access":"1"}],"status":"public","publication_identifier":{"issn":["0092-8674"],"eissn":["1097-4172"]},"month":"03","issue":"1","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":153,"quality_controlled":"1","oa_version":"Published Version","author":[{"full_name":"Zemach, Assaf","first_name":"Assaf","last_name":"Zemach"},{"first_name":"M. Yvonne","last_name":"Kim","full_name":"Kim, M. Yvonne"},{"last_name":"Hsieh","first_name":"Ping-Hung","full_name":"Hsieh, Ping-Hung"},{"full_name":"Coleman-Derr, Devin","last_name":"Coleman-Derr","first_name":"Devin"},{"last_name":"Eshed-Williams","first_name":"Leor","full_name":"Eshed-Williams, Leor"},{"full_name":"Thao, Ka","first_name":"Ka","last_name":"Thao"},{"full_name":"Harmer, Stacey L.","last_name":"Harmer","first_name":"Stacey L."},{"id":"6973db13-dd5f-11ea-814e-b3e5455e9ed1","full_name":"Zilberman, Daniel","first_name":"Daniel","last_name":"Zilberman","orcid":"0000-0002-0123-8649"}],"scopus_import":"1","intvolume":"       153","publication":"Cell","oa":1,"year":"2013","doi":"10.1016/j.cell.2013.02.033","page":"193-205","day":"28","abstract":[{"text":"Nucleosome remodelers of the DDM1/Lsh family are required for DNA methylation of transposable elements, but the reason for this is unknown. How DDM1 interacts with other methylation pathways, such as small-RNA-directed DNA methylation (RdDM), which is thought to mediate plant asymmetric methylation through DRM enzymes, is also unclear. Here, we show that most asymmetric methylation is facilitated by DDM1 and mediated by the methyltransferase CMT2 separately from RdDM. We find that heterochromatic sequences preferentially require DDM1 for DNA methylation and that this preference depends on linker histone H1. RdDM is instead inhibited by heterochromatin and absolutely requires the nucleosome remodeler DRD1. Together, DDM1 and RdDM mediate nearly all transposon methylation and collaborate to repress transposition and regulate the methylation and expression of genes. Our results indicate that DDM1 provides DNA methyltransferases access to H1-containing heterochromatin to allow stable silencing of transposable elements in cooperation with the RdDM pathway.","lang":"eng"}],"publication_status":"published","publisher":"Elsevier","date_published":"2013-03-28T00:00:00Z","pmid":1,"title":"The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin","date_updated":"2021-12-14T08:25:35Z","extern":"1","department":[{"_id":"DaZi"}],"citation":{"ieee":"A. Zemach <i>et al.</i>, “The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin,” <i>Cell</i>, vol. 153, no. 1. Elsevier, pp. 193–205, 2013.","ista":"Zemach A, Kim MY, Hsieh P-H, Coleman-Derr D, Eshed-Williams L, Thao K, Harmer SL, Zilberman D. 2013. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. 153(1), 193–205.","ama":"Zemach A, Kim MY, Hsieh P-H, et al. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. <i>Cell</i>. 2013;153(1):193-205. doi:<a href=\"https://doi.org/10.1016/j.cell.2013.02.033\">10.1016/j.cell.2013.02.033</a>","chicago":"Zemach, Assaf, M. Yvonne Kim, Ping-Hung Hsieh, Devin Coleman-Derr, Leor Eshed-Williams, Ka Thao, Stacey L. Harmer, and Daniel Zilberman. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access H1-Containing Heterochromatin.” <i>Cell</i>. Elsevier, 2013. <a href=\"https://doi.org/10.1016/j.cell.2013.02.033\">https://doi.org/10.1016/j.cell.2013.02.033</a>.","apa":"Zemach, A., Kim, M. Y., Hsieh, P.-H., Coleman-Derr, D., Eshed-Williams, L., Thao, K., … Zilberman, D. (2013). The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cell.2013.02.033\">https://doi.org/10.1016/j.cell.2013.02.033</a>","mla":"Zemach, Assaf, et al. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access H1-Containing Heterochromatin.” <i>Cell</i>, vol. 153, no. 1, Elsevier, 2013, pp. 193–205, doi:<a href=\"https://doi.org/10.1016/j.cell.2013.02.033\">10.1016/j.cell.2013.02.033</a>.","short":"A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","external_id":{"pmid":["23540698"]}}]