[{"language":[{"iso":"eng"}],"volume":367,"article_processing_charge":"No","month":"06","issue":"6","author":[{"first_name":"Christopher","last_name":"Brooks","full_name":"Brooks, Christopher"},{"first_name":"Abraham","last_name":"Martin Del Campo Sanchez","id":"4CF47F6A-F248-11E8-B48F-1D18A9856A87","full_name":"Martin Del Campo Sanchez, Abraham"},{"first_name":"Frank","last_name":"Sottile","full_name":"Sottile, Frank"}],"quality_controlled":"1","oa_version":"Preprint","status":"public","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1207.4280"}],"date_created":"2018-12-11T11:52:50Z","type":"journal_article","_id":"1579","publisher":"American Mathematical Society","date_published":"2015-06-01T00:00:00Z","title":"Galois groups of Schubert problems of lines are at least alternating","publication_status":"published","abstract":[{"lang":"eng","text":"We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. This constitutes the largest family of enumerative problems whose Galois groups have been largely determined. Using a criterion of Vakil and a special position argument due to Schubert, our result follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, a combinatorial injection proves the inequality. For the remaining cases, we use the Weyl integral formulas to obtain an integral formula for these Kostka numbers. This rewrites the inequality as an integral, which we estimate to establish the inequality."}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"CaUh"}],"date_updated":"2021-01-12T06:51:43Z","citation":{"short":"C. Brooks, A. Martin del Campo Sanchez, F. Sottile, Transactions of the American Mathematical Society 367 (2015) 4183–4206.","mla":"Brooks, Christopher, et al. “Galois Groups of Schubert Problems of Lines Are at Least Alternating.” <i>Transactions of the American Mathematical Society</i>, vol. 367, no. 6, American Mathematical Society, 2015, pp. 4183–206, doi:<a href=\"https://doi.org/10.1090/S0002-9947-2014-06192-8\">10.1090/S0002-9947-2014-06192-8</a>.","ieee":"C. Brooks, A. Martin del Campo Sanchez, and F. Sottile, “Galois groups of Schubert problems of lines are at least alternating,” <i>Transactions of the American Mathematical Society</i>, vol. 367, no. 6. American Mathematical Society, pp. 4183–4206, 2015.","apa":"Brooks, C., Martin del Campo Sanchez, A., &#38; Sottile, F. (2015). Galois groups of Schubert problems of lines are at least alternating. <i>Transactions of the American Mathematical Society</i>. American Mathematical Society. <a href=\"https://doi.org/10.1090/S0002-9947-2014-06192-8\">https://doi.org/10.1090/S0002-9947-2014-06192-8</a>","ama":"Brooks C, Martin del Campo Sanchez A, Sottile F. Galois groups of Schubert problems of lines are at least alternating. <i>Transactions of the American Mathematical Society</i>. 2015;367(6):4183-4206. doi:<a href=\"https://doi.org/10.1090/S0002-9947-2014-06192-8\">10.1090/S0002-9947-2014-06192-8</a>","ista":"Brooks C, Martin del Campo Sanchez A, Sottile F. 2015. Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. 367(6), 4183–4206.","chicago":"Brooks, Christopher, Abraham Martin del Campo Sanchez, and Frank Sottile. “Galois Groups of Schubert Problems of Lines Are at Least Alternating.” <i>Transactions of the American Mathematical Society</i>. American Mathematical Society, 2015. <a href=\"https://doi.org/10.1090/S0002-9947-2014-06192-8\">https://doi.org/10.1090/S0002-9947-2014-06192-8</a>."},"publist_id":"5592","intvolume":"       367","publication":"Transactions of the American Mathematical Society","scopus_import":1,"acknowledgement":"This research was supported in part by NSF grant DMS-915211 and the Institut Mittag-Leffler.\r\n","day":"01","doi":"10.1090/S0002-9947-2014-06192-8","year":"2015","page":"4183 - 4206","oa":1},{"oa":1,"day":"17","year":"2015","doi":"10.1016/j.neuroscience.2015.10.046","page":"430 - 443","scopus_import":1,"publist_id":"5591","intvolume":"       311","publication":"Neuroscience","department":[{"_id":"PeJo"}],"date_updated":"2021-01-12T06:51:44Z","citation":{"apa":"Brenes, O., Vandael, D. H., Carbone, E., Montarolo, P., &#38; Ghirardi, M. (2015). Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. <i>Neuroscience</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuroscience.2015.10.046\">https://doi.org/10.1016/j.neuroscience.2015.10.046</a>","ama":"Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. <i>Neuroscience</i>. 2015;311:430-443. doi:<a href=\"https://doi.org/10.1016/j.neuroscience.2015.10.046\">10.1016/j.neuroscience.2015.10.046</a>","ista":"Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. 2015. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. 311, 430–443.","chicago":"Brenes, Oscar, David H Vandael, Emilio Carbone, Pier Montarolo, and Mirella Ghirardi. “Knock-down of Synapsin Alters Cell Excitability and Action Potential Waveform by Potentiating BK and Voltage Gated Ca2 Currents in Helix Serotonergic Neurons.” <i>Neuroscience</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.neuroscience.2015.10.046\">https://doi.org/10.1016/j.neuroscience.2015.10.046</a>.","ieee":"O. Brenes, D. H. Vandael, E. Carbone, P. Montarolo, and M. Ghirardi, “Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons,” <i>Neuroscience</i>, vol. 311. Elsevier, pp. 430–443, 2015.","mla":"Brenes, Oscar, et al. “Knock-down of Synapsin Alters Cell Excitability and Action Potential Waveform by Potentiating BK and Voltage Gated Ca2 Currents in Helix Serotonergic Neurons.” <i>Neuroscience</i>, vol. 311, Elsevier, 2015, pp. 430–43, doi:<a href=\"https://doi.org/10.1016/j.neuroscience.2015.10.046\">10.1016/j.neuroscience.2015.10.046</a>.","short":"O. Brenes, D.H. Vandael, E. Carbone, P. Montarolo, M. Ghirardi, Neuroscience 311 (2015) 430–443."},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","abstract":[{"lang":"eng","text":"Synapsins (Syns) are an evolutionarily conserved family of presynaptic proteins crucial for the fine-tuning of synaptic function. A large amount of experimental evidences has shown that Syns are involved in the development of epileptic phenotypes and several mutations in Syn genes have been associated with epilepsy in humans and animal models. Syn mutations induce alterations in circuitry and neurotransmitter release, differentially affecting excitatory and inhibitory synapses, thus causing an excitation/inhibition imbalance in network excitability toward hyperexcitability that may be a determinant with regard to the development of epilepsy. Another approach to investigate epileptogenic mechanisms is to understand how silencing Syn affects the cellular behavior of single neurons and is associated with the hyperexcitable phenotypes observed in epilepsy. Here, we examined the functional effects of antisense-RNA inhibition of Syn expression on individually identified and isolated serotonergic cells of the Helix land snail. We found that Helix synapsin silencing increases cell excitability characterized by a slightly depolarized resting membrane potential, decreases the rheobase, reduces the threshold for action potential (AP) firing and increases the mean and instantaneous firing rates, with respect to control cells. The observed increase of Ca2+ and BK currents in Syn-silenced cells seems to be related to changes in the shape of the AP waveform. These currents sustain the faster spiking in Syn-deficient cells by increasing the after hyperpolarization and limiting the Na+ and Ca2+ channel inactivation during repetitive firing. This in turn speeds up the depolarization phase by reaching the AP threshold faster. Our results provide evidence that Syn silencing increases intrinsic cell excitability associated with increased Ca2+ and Ca2+-dependent BK currents in the absence of excitatory or inhibitory inputs."}],"ddc":["570"],"file_date_updated":"2020-07-14T12:45:02Z","publisher":"Elsevier","date_published":"2015-12-17T00:00:00Z","title":"Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons","date_created":"2018-12-11T11:52:50Z","article_type":"original","_id":"1580","type":"journal_article","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","status":"public","quality_controlled":"1","oa_version":"Submitted Version","author":[{"last_name":"Brenes","first_name":"Oscar","full_name":"Brenes, Oscar"},{"full_name":"Vandael, David H","id":"3AE48E0A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7577-1676","first_name":"David H","last_name":"Vandael"},{"full_name":"Carbone, Emilio","first_name":"Emilio","last_name":"Carbone"},{"last_name":"Montarolo","first_name":"Pier","full_name":"Montarolo, Pier"},{"full_name":"Ghirardi, Mirella","first_name":"Mirella","last_name":"Ghirardi"}],"month":"12","has_accepted_license":"1","file":[{"checksum":"af2c4c994718c7be417eba0dc746aac9","file_id":"7849","creator":"dernst","access_level":"open_access","file_size":5563015,"relation":"main_file","file_name":"2015_Neuroscience_Brenes.pdf","content_type":"application/pdf","date_created":"2020-05-15T06:50:20Z","date_updated":"2020-07-14T12:45:02Z"}],"language":[{"iso":"eng"}],"volume":311,"article_processing_charge":"No"},{"title":"Weighted straight skeletons in the plane","publisher":"Elsevier","date_published":"2015-02-01T00:00:00Z","file_date_updated":"2020-07-14T12:45:02Z","ddc":["000"],"publication_status":"published","abstract":[{"text":"We investigate weighted straight skeletons from a geometric, graph-theoretical, and combinatorial point of view. We start with a thorough definition and shed light on some ambiguity issues in the procedural definition. We investigate the geometry, combinatorics, and topology of faces and the roof model, and we discuss in which cases a weighted straight skeleton is connected. Finally, we show that the weighted straight skeleton of even a simple polygon may be non-planar and may contain cycles, and we discuss under which restrictions on the weights and/or the input polygon the weighted straight skeleton still behaves similar to its unweighted counterpart. In particular, we obtain a non-procedural description and a linear-time construction algorithm for the straight skeleton of strictly convex polygons with arbitrary weights.","lang":"eng"}],"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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Biedl, Therese, et al. “Weighted Straight Skeletons in the Plane.” <i>Computational Geometry: Theory and Applications</i>, vol. 48, no. 2, Elsevier, 2015, pp. 120–33, doi:<a href=\"https://doi.org/10.1016/j.comgeo.2014.08.006\">10.1016/j.comgeo.2014.08.006</a>.","short":"T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 120–133.","chicago":"Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “Weighted Straight Skeletons in the Plane.” <i>Computational Geometry: Theory and Applications</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.comgeo.2014.08.006\">https://doi.org/10.1016/j.comgeo.2014.08.006</a>.","ista":"Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(2), 120–133.","ama":"Biedl T, Held M, Huber S, Kaaser D, Palfrader P. Weighted straight skeletons in the plane. <i>Computational Geometry: Theory and Applications</i>. 2015;48(2):120-133. doi:<a href=\"https://doi.org/10.1016/j.comgeo.2014.08.006\">10.1016/j.comgeo.2014.08.006</a>","apa":"Biedl, T., Held, M., Huber, S., Kaaser, D., &#38; Palfrader, P. (2015). Weighted straight skeletons in the plane. <i>Computational Geometry: Theory and Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.comgeo.2014.08.006\">https://doi.org/10.1016/j.comgeo.2014.08.006</a>","ieee":"T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Weighted straight skeletons in the plane,” <i>Computational Geometry: Theory and Applications</i>, vol. 48, no. 2. Elsevier, pp. 120–133, 2015."},"department":[{"_id":"HeEd"}],"date_updated":"2023-02-23T10:05:27Z","publication":"Computational Geometry: Theory and Applications","publist_id":"5589","intvolume":"        48","scopus_import":1,"related_material":{"record":[{"id":"1584","relation":"other","status":"public"}]},"day":"01","page":"120 - 133","year":"2015","doi":"10.1016/j.comgeo.2014.08.006","oa":1,"volume":48,"language":[{"iso":"eng"}],"file":[{"relation":"main_file","creator":"system","file_id":"5215","checksum":"c1ef67f6ec925e12f73a96b8fe285ab4","file_size":505987,"access_level":"open_access","content_type":"application/pdf","date_updated":"2020-07-14T12:45:02Z","date_created":"2018-12-12T10:16:28Z","file_name":"IST-2016-474-v1+1_1-s2.0-S0925772114000807-main.pdf"}],"issue":"2","month":"02","has_accepted_license":"1","author":[{"full_name":"Biedl, Therese","first_name":"Therese","last_name":"Biedl"},{"last_name":"Held","first_name":"Martin","full_name":"Held, Martin"},{"id":"4700A070-F248-11E8-B48F-1D18A9856A87","full_name":"Huber, Stefan","last_name":"Huber","first_name":"Stefan","orcid":"0000-0002-8871-5814"},{"first_name":"Dominik","last_name":"Kaaser","full_name":"Kaaser, Dominik"},{"first_name":"Peter","last_name":"Palfrader","full_name":"Palfrader, Peter"}],"oa_version":"Published Version","quality_controlled":"1","pubrep_id":"474","license":"https://creativecommons.org/licenses/by/4.0/","status":"public","_id":"1582","type":"journal_article","date_created":"2018-12-11T11:52:51Z"},{"pubrep_id":"473","status":"public","type":"journal_article","_id":"1583","date_created":"2018-12-11T11:52:51Z","volume":115,"language":[{"iso":"eng"}],"file":[{"file_name":"IST-2016-473-v1+1_1-s2.0-S0020019014001987-main.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:45:03Z","date_created":"2018-12-12T10:18:45Z","creator":"system","checksum":"2779a648610c9b5c86d0b51a62816d23","file_id":"5367","file_size":270137,"access_level":"open_access","relation":"main_file"}],"issue":"2","month":"02","has_accepted_license":"1","author":[{"full_name":"Biedl, Therese","first_name":"Therese","last_name":"Biedl"},{"last_name":"Held","first_name":"Martin","full_name":"Held, Martin"},{"id":"4700A070-F248-11E8-B48F-1D18A9856A87","full_name":"Huber, Stefan","first_name":"Stefan","last_name":"Huber","orcid":"0000-0002-8871-5814"},{"full_name":"Kaaser, Dominik","last_name":"Kaaser","first_name":"Dominik"},{"last_name":"Palfrader","first_name":"Peter","full_name":"Palfrader, Peter"}],"oa_version":"Published Version","quality_controlled":"1","publication":"Information Processing Letters","publist_id":"5588","intvolume":"       115","scopus_import":1,"doi":"10.1016/j.ipl.2014.09.021","day":"01","year":"2015","page":"243 - 247","oa":1,"title":"A simple algorithm for computing positively weighted straight skeletons of monotone polygons","date_published":"2015-02-01T00:00:00Z","publisher":"Elsevier","file_date_updated":"2020-07-14T12:45:03Z","ddc":["000"],"publication_status":"published","abstract":[{"lang":"eng","text":"We study the characteristics of straight skeletons of monotone polygonal chains and use them to devise an algorithm for computing positively weighted straight skeletons of monotone polygons. Our algorithm runs in O(nlogn) time and O(n) space, where n denotes the number of vertices of the polygon."}],"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)"},"citation":{"short":"T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Information Processing Letters 115 (2015) 243–247.","mla":"Biedl, Therese, et al. “A Simple Algorithm for Computing Positively Weighted Straight Skeletons of Monotone Polygons.” <i>Information Processing Letters</i>, vol. 115, no. 2, Elsevier, 2015, pp. 243–47, doi:<a href=\"https://doi.org/10.1016/j.ipl.2014.09.021\">10.1016/j.ipl.2014.09.021</a>.","ieee":"T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “A simple algorithm for computing positively weighted straight skeletons of monotone polygons,” <i>Information Processing Letters</i>, vol. 115, no. 2. Elsevier, pp. 243–247, 2015.","ista":"Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 115(2), 243–247.","chicago":"Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “A Simple Algorithm for Computing Positively Weighted Straight Skeletons of Monotone Polygons.” <i>Information Processing Letters</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.ipl.2014.09.021\">https://doi.org/10.1016/j.ipl.2014.09.021</a>.","ama":"Biedl T, Held M, Huber S, Kaaser D, Palfrader P. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. <i>Information Processing Letters</i>. 2015;115(2):243-247. doi:<a href=\"https://doi.org/10.1016/j.ipl.2014.09.021\">10.1016/j.ipl.2014.09.021</a>","apa":"Biedl, T., Held, M., Huber, S., Kaaser, D., &#38; Palfrader, P. (2015). A simple algorithm for computing positively weighted straight skeletons of monotone polygons. <i>Information Processing Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.ipl.2014.09.021\">https://doi.org/10.1016/j.ipl.2014.09.021</a>"},"department":[{"_id":"HeEd"}],"date_updated":"2021-01-12T06:51:45Z"},{"pubrep_id":"475","status":"public","date_created":"2018-12-11T11:52:51Z","type":"journal_article","_id":"1584","language":[{"iso":"eng"}],"volume":48,"month":"07","has_accepted_license":"1","file":[{"file_name":"IST-2016-475-v1+1_1-s2.0-S092577211500005X-main.pdf","content_type":"application/pdf","date_created":"2018-12-12T10:17:36Z","date_updated":"2020-07-14T12:45:03Z","file_id":"5292","checksum":"5b33719a86f7f4c8e5dc62c1b6893f49","creator":"system","access_level":"open_access","file_size":508379,"relation":"main_file"}],"issue":"5","author":[{"last_name":"Biedl","first_name":"Therese","full_name":"Biedl, Therese"},{"full_name":"Held, Martin","first_name":"Martin","last_name":"Held"},{"id":"4700A070-F248-11E8-B48F-1D18A9856A87","full_name":"Huber, Stefan","last_name":"Huber","first_name":"Stefan","orcid":"0000-0002-8871-5814"},{"first_name":"Dominik","last_name":"Kaaser","full_name":"Kaaser, Dominik"},{"full_name":"Palfrader, Peter","first_name":"Peter","last_name":"Palfrader"}],"quality_controlled":"1","oa_version":"Published Version","publist_id":"5587","intvolume":"        48","publication":"Computational Geometry: Theory and Applications","scopus_import":1,"related_material":{"record":[{"status":"public","id":"1582","relation":"other"}]},"doi":"10.1016/j.comgeo.2015.01.004","year":"2015","page":"429 - 442","day":"01","oa":1,"date_published":"2015-07-01T00:00:00Z","publisher":"Elsevier","file_date_updated":"2020-07-14T12:45:03Z","title":"Reprint of: Weighted straight skeletons in the plane","publication_status":"published","abstract":[{"text":"We investigate weighted straight skeletons from a geometric, graph-theoretical, and combinatorial point of view. We start with a thorough definition and shed light on some ambiguity issues in the procedural definition. We investigate the geometry, combinatorics, and topology of faces and the roof model, and we discuss in which cases a weighted straight skeleton is connected. Finally, we show that the weighted straight skeleton of even a simple polygon may be non-planar and may contain cycles, and we discuss under which restrictions on the weights and/or the input polygon the weighted straight skeleton still behaves similar to its unweighted counterpart. In particular, we obtain a non-procedural description and a linear-time construction algorithm for the straight skeleton of strictly convex polygons with arbitrary weights.","lang":"eng"}],"ddc":["000"],"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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"HeEd"}],"date_updated":"2023-02-23T10:05:22Z","citation":{"ama":"Biedl T, Held M, Huber S, Kaaser D, Palfrader P. Reprint of: Weighted straight skeletons in the plane. <i>Computational Geometry: Theory and Applications</i>. 2015;48(5):429-442. doi:<a href=\"https://doi.org/10.1016/j.comgeo.2015.01.004\">10.1016/j.comgeo.2015.01.004</a>","chicago":"Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “Reprint of: Weighted Straight Skeletons in the Plane.” <i>Computational Geometry: Theory and Applications</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.comgeo.2015.01.004\">https://doi.org/10.1016/j.comgeo.2015.01.004</a>.","ista":"Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(5), 429–442.","apa":"Biedl, T., Held, M., Huber, S., Kaaser, D., &#38; Palfrader, P. (2015). Reprint of: Weighted straight skeletons in the plane. <i>Computational Geometry: Theory and Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.comgeo.2015.01.004\">https://doi.org/10.1016/j.comgeo.2015.01.004</a>","ieee":"T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “Reprint of: Weighted straight skeletons in the plane,” <i>Computational Geometry: Theory and Applications</i>, vol. 48, no. 5. Elsevier, pp. 429–442, 2015.","short":"T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Computational Geometry: Theory and Applications 48 (2015) 429–442.","mla":"Biedl, Therese, et al. “Reprint of: Weighted Straight Skeletons in the Plane.” <i>Computational Geometry: Theory and Applications</i>, vol. 48, no. 5, Elsevier, 2015, pp. 429–42, doi:<a href=\"https://doi.org/10.1016/j.comgeo.2015.01.004\">10.1016/j.comgeo.2015.01.004</a>."}},{"ec_funded":1,"main_file_link":[{"url":"https://arxiv.org/abs/1511.03585","open_access":"1"}],"status":"public","_id":"1587","type":"journal_article","article_type":"original","date_created":"2018-12-11T11:52:53Z","article_processing_charge":"No","volume":92,"language":[{"iso":"eng"}],"issue":"6","article_number":"062506","month":"12","author":[{"first_name":"Pedro","last_name":"Amaro","full_name":"Amaro, Pedro"},{"last_name":"Fratini","first_name":"Filippo","full_name":"Fratini, Filippo"},{"full_name":"Safari, Laleh","id":"3C325E5E-F248-11E8-B48F-1D18A9856A87","first_name":"Laleh","last_name":"Safari"},{"last_name":"Antognini","first_name":"Aldo","full_name":"Antognini, Aldo"},{"last_name":"Indelicato","first_name":"Paul","full_name":"Indelicato, Paul"},{"full_name":"Pohl, Randolf","last_name":"Pohl","first_name":"Randolf"},{"first_name":"José","last_name":"Santos","full_name":"Santos, José"}],"oa_version":"Preprint","quality_controlled":"1","project":[{"name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"publication":"Physical Review A - Atomic, Molecular, and Optical Physics","intvolume":"        92","publist_id":"5584","arxiv":1,"scopus_import":1,"doi":"10.1103/PhysRevA.92.062506","year":"2015","day":"31","oa":1,"title":"Quantum interference shifts in laser spectroscopy with elliptical polarization","date_published":"2015-12-31T00:00:00Z","publisher":"American Physical Society","abstract":[{"text":"We investigate the quantum interference shifts between energetically close states, where the state structure is observed by laser spectroscopy. We report a compact and analytical expression that models the quantum interference induced shift for any admixture of circular polarization of the incident laser and angle of observation. An experimental scenario free of quantum interference can thus be predicted with this formula. Although this study is exemplified here for muonic deuterium, it can be applied to any other laser spectroscopy measurement of ns-n′p frequencies of a nonrelativistic atomic system, via an ns→n′p→n′′s scheme.","lang":"eng"}],"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["1511.03585"]},"citation":{"ieee":"P. Amaro <i>et al.</i>, “Quantum interference shifts in laser spectroscopy with elliptical polarization,” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 92, no. 6. American Physical Society, 2015.","apa":"Amaro, P., Fratini, F., Safari, L., Antognini, A., Indelicato, P., Pohl, R., &#38; Santos, J. (2015). Quantum interference shifts in laser spectroscopy with elliptical polarization. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.92.062506\">https://doi.org/10.1103/PhysRevA.92.062506</a>","chicago":"Amaro, Pedro, Filippo Fratini, Laleh Safari, Aldo Antognini, Paul Indelicato, Randolf Pohl, and José Santos. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. American Physical Society, 2015. <a href=\"https://doi.org/10.1103/PhysRevA.92.062506\">https://doi.org/10.1103/PhysRevA.92.062506</a>.","ama":"Amaro P, Fratini F, Safari L, et al. Quantum interference shifts in laser spectroscopy with elliptical polarization. <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>. 2015;92(6). doi:<a href=\"https://doi.org/10.1103/PhysRevA.92.062506\">10.1103/PhysRevA.92.062506</a>","ista":"Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 92(6), 062506.","short":"P. Amaro, F. Fratini, L. Safari, A. Antognini, P. Indelicato, R. Pohl, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 92 (2015).","mla":"Amaro, Pedro, et al. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” <i>Physical Review A - Atomic, Molecular, and Optical Physics</i>, vol. 92, no. 6, 062506, American Physical Society, 2015, doi:<a href=\"https://doi.org/10.1103/PhysRevA.92.062506\">10.1103/PhysRevA.92.062506</a>."},"date_updated":"2021-01-12T06:51:47Z","department":[{"_id":"MiLe"}]},{"citation":{"apa":"Altmeyer, S., Do, Y., &#38; Lai, Y. (2015). Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/srep18589\">https://doi.org/10.1038/srep18589</a>","ama":"Altmeyer S, Do Y, Lai Y. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. <i>Scientific Reports</i>. 2015;5. doi:<a href=\"https://doi.org/10.1038/srep18589\">10.1038/srep18589</a>","ista":"Altmeyer S, Do Y, Lai Y. 2015. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 5, 18589.","chicago":"Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Magnetic Field Induced Flow Pattern Reversal in a Ferrofluidic Taylor-Couette System.” <i>Scientific Reports</i>. Nature Publishing Group, 2015. <a href=\"https://doi.org/10.1038/srep18589\">https://doi.org/10.1038/srep18589</a>.","ieee":"S. Altmeyer, Y. Do, and Y. Lai, “Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system,” <i>Scientific Reports</i>, vol. 5. Nature Publishing Group, 2015.","short":"S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).","mla":"Altmeyer, Sebastian, et al. “Magnetic Field Induced Flow Pattern Reversal in a Ferrofluidic Taylor-Couette System.” <i>Scientific Reports</i>, vol. 5, 18589, Nature Publishing Group, 2015, doi:<a href=\"https://doi.org/10.1038/srep18589\">10.1038/srep18589</a>."},"date_updated":"2021-01-12T06:51:48Z","department":[{"_id":"BjHo"}],"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)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["530","540"],"abstract":[{"lang":"eng","text":"We investigate the dynamics of ferrofluidic wavy vortex flows in the counter-rotating Taylor-Couette system, with a focus on wavy flows with a mixture of the dominant azimuthal modes. Without external magnetic field flows are stable and pro-grade with respect to the rotation of the inner cylinder. More complex behaviors can arise when an axial or a transverse magnetic field is applied. Depending on the direction and strength of the field, multi-stable wavy states and bifurcations can occur. We uncover the phenomenon of flow pattern reversal as the strength of the magnetic field is increased through a critical value. In between the regimes of pro-grade and retrograde flow rotations, standing waves with zero angular velocities can emerge. A striking finding is that, under a transverse magnetic field, a second reversal in the flow pattern direction can occur, where the flow pattern evolves into pro-grade rotation again from a retrograde state. Flow reversal is relevant to intriguing phenomena in nature such as geomagnetic reversal. Our results suggest that, in ferrofluids, flow pattern reversal can be induced by varying a magnetic field in a controlled manner, which can be realized in laboratory experiments with potential applications in the development of modern fluid devices."}],"publication_status":"published","title":"Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system","publisher":"Nature Publishing Group","date_published":"2015-12-21T00:00:00Z","file_date_updated":"2020-07-14T12:45:03Z","oa":1,"year":"2015","doi":"10.1038/srep18589","day":"21","scopus_import":1,"publication":"Scientific Reports","intvolume":"         5","publist_id":"5582","oa_version":"Published Version","quality_controlled":"1","author":[{"orcid":"0000-0001-5964-0203","last_name":"Altmeyer","first_name":"Sebastian","full_name":"Altmeyer, Sebastian","id":"2EE67FDC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Do, Younghae","last_name":"Do","first_name":"Younghae"},{"full_name":"Lai, Ying","last_name":"Lai","first_name":"Ying"}],"file":[{"checksum":"927e151674347661ce36eae2818dafdc","file_id":"5036","creator":"system","access_level":"open_access","file_size":2771236,"relation":"main_file","file_name":"IST-2016-472-v1+1_srep18589.pdf","content_type":"application/pdf","date_created":"2018-12-12T10:13:49Z","date_updated":"2020-07-14T12:45:03Z"}],"article_number":"18589","month":"12","has_accepted_license":"1","volume":5,"language":[{"iso":"eng"}],"type":"journal_article","_id":"1589","article_type":"original","date_created":"2018-12-11T11:52:53Z","status":"public","pubrep_id":"472"},{"language":[{"iso":"eng"}],"article_processing_charge":"No","volume":9411,"month":"11","author":[{"full_name":"Aichholzer, Oswin","first_name":"Oswin","last_name":"Aichholzer"},{"full_name":"Biedl, Therese","first_name":"Therese","last_name":"Biedl"},{"full_name":"Hackl, Thomas","first_name":"Thomas","last_name":"Hackl"},{"first_name":"Martin","last_name":"Held","full_name":"Held, Martin"},{"full_name":"Huber, Stefan","id":"4700A070-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8871-5814","last_name":"Huber","first_name":"Stefan"},{"full_name":"Palfrader, Peter","last_name":"Palfrader","first_name":"Peter"},{"last_name":"Vogtenhuber","first_name":"Birgit","full_name":"Vogtenhuber, Birgit"}],"quality_controlled":"1","oa_version":"Preprint","conference":{"name":"GD: International Symposium on Graph Drawing","location":"Los Angeles, CA, United States","start_date":"2015-09-24","end_date":"2015-09-26"},"status":"public","main_file_link":[{"url":"http://arxiv.org/abs/1508.01076","open_access":"1"}],"publication_identifier":{"eisbn":["978-3-319-27261-0"],"isbn":["978-3-319-27260-3"]},"date_created":"2018-12-11T11:52:54Z","_id":"1590","type":"book_chapter","publisher":"Springer Nature","date_published":"2015-11-27T00:00:00Z","title":"Representing directed trees as straight skeletons","abstract":[{"lang":"eng","text":"The straight skeleton of a polygon is the geometric graph obtained by tracing the vertices during a mitered offsetting process. It is known that the straight skeleton of a simple polygon is a tree, and one can naturally derive directions on the edges of the tree from the propagation of the shrinking process. In this paper, we ask the reverse question: Given a tree with directed edges, can it be the straight skeleton of a polygon? And if so, can we find a suitable simple polygon? We answer these questions for all directed trees where the order of edges around each node is fixed."}],"publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","alternative_title":["LNCS"],"date_updated":"2022-01-28T09:10:37Z","department":[{"_id":"HeEd"}],"citation":{"short":"O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.","mla":"Aichholzer, Oswin, et al. “Representing Directed Trees as Straight Skeletons.” <i>Graph Drawing and Network Visualization</i>, vol. 9411, Springer Nature, 2015, pp. 335–47, doi:<a href=\"https://doi.org/10.1007/978-3-319-27261-0_28\">10.1007/978-3-319-27261-0_28</a>.","apa":"Aichholzer, O., Biedl, T., Hackl, T., Held, M., Huber, S., Palfrader, P., &#38; Vogtenhuber, B. (2015). Representing directed trees as straight skeletons. In <i>Graph Drawing and Network Visualization</i> (Vol. 9411, pp. 335–347). Los Angeles, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-27261-0_28\">https://doi.org/10.1007/978-3-319-27261-0_28</a>","ama":"Aichholzer O, Biedl T, Hackl T, et al. Representing directed trees as straight skeletons. In: <i>Graph Drawing and Network Visualization</i>. Vol 9411. Springer Nature; 2015:335-347. doi:<a href=\"https://doi.org/10.1007/978-3-319-27261-0_28\">10.1007/978-3-319-27261-0_28</a>","chicago":"Aichholzer, Oswin, Therese Biedl, Thomas Hackl, Martin Held, Stefan Huber, Peter Palfrader, and Birgit Vogtenhuber. “Representing Directed Trees as Straight Skeletons.” In <i>Graph Drawing and Network Visualization</i>, 9411:335–47. Springer Nature, 2015. <a href=\"https://doi.org/10.1007/978-3-319-27261-0_28\">https://doi.org/10.1007/978-3-319-27261-0_28</a>.","ista":"Aichholzer O, Biedl T, Hackl T, Held M, Huber S, Palfrader P, Vogtenhuber B. 2015.Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 335–347.","ieee":"O. Aichholzer <i>et al.</i>, “Representing directed trees as straight skeletons,” in <i>Graph Drawing and Network Visualization</i>, vol. 9411, Springer Nature, 2015, pp. 335–347."},"intvolume":"      9411","publist_id":"5581","publication":"Graph Drawing and Network Visualization","scopus_import":"1","doi":"10.1007/978-3-319-27261-0_28","day":"27","year":"2015","page":"335 - 347","oa":1},{"publist_id":"5580","intvolume":"        27","publication":"Plant Cell","scopus_import":1,"related_material":{"record":[{"relation":"dissertation_contains","id":"938","status":"public"}]},"page":"20 - 32","doi":"10.1105/tpc.114.134874","year":"2015","day":"20","oa":1,"pmid":1,"publisher":"American Society of Plant Biologists","date_published":"2015-01-20T00:00:00Z","title":"PIN-dependent auxin transport: Action, regulation, and evolution","publication_status":"published","abstract":[{"text":"Auxin participates in a multitude of developmental processes, as well as responses to environmental cues. Compared with other plant hormones, auxin exhibits a unique property, as it undergoes directional, cell-to-cell transport facilitated by plasma membrane-localized transport proteins. Among them, a prominent role has been ascribed to the PIN family of auxin efflux facilitators. PIN proteins direct polar auxin transport on account of their asymmetric subcellular localizations. In this review, we provide an overview of the multiple developmental roles of PIN proteins, including the atypical endoplasmic reticulum-localized members of the family, and look at the family from an evolutionary perspective. Next, we cover the cell biological and molecular aspects of PIN function, in particular the establishment of their polar subcellular localization. Hormonal and environmental inputs into the regulation of PIN action are summarized as well.","lang":"eng"}],"external_id":{"pmid":["25604445"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"JiFr"}],"date_updated":"2023-09-07T12:06:09Z","citation":{"ieee":"M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” <i>Plant Cell</i>, vol. 27, no. 1. American Society of Plant Biologists, pp. 20–32, 2015.","apa":"Adamowski, M., &#38; Friml, J. (2015). PIN-dependent auxin transport: Action, regulation, and evolution. <i>Plant Cell</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1105/tpc.114.134874\">https://doi.org/10.1105/tpc.114.134874</a>","ista":"Adamowski M, Friml J. 2015. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 27(1), 20–32.","chicago":"Adamowski, Maciek, and Jiří Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” <i>Plant Cell</i>. American Society of Plant Biologists, 2015. <a href=\"https://doi.org/10.1105/tpc.114.134874\">https://doi.org/10.1105/tpc.114.134874</a>.","ama":"Adamowski M, Friml J. PIN-dependent auxin transport: Action, regulation, and evolution. <i>Plant Cell</i>. 2015;27(1):20-32. doi:<a href=\"https://doi.org/10.1105/tpc.114.134874\">10.1105/tpc.114.134874</a>","mla":"Adamowski, Maciek, and Jiří Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” <i>Plant Cell</i>, vol. 27, no. 1, American Society of Plant Biologists, 2015, pp. 20–32, doi:<a href=\"https://doi.org/10.1105/tpc.114.134874\">10.1105/tpc.114.134874</a>.","short":"M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32."},"main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4330589/"}],"status":"public","date_created":"2018-12-11T11:52:54Z","type":"journal_article","_id":"1591","language":[{"iso":"eng"}],"volume":27,"month":"01","issue":"1","author":[{"id":"45F536D2-F248-11E8-B48F-1D18A9856A87","full_name":"Adamowski, Maciek","first_name":"Maciek","last_name":"Adamowski","orcid":"0000-0001-6463-5257"},{"first_name":"Jirí","last_name":"Friml","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí"}],"quality_controlled":"1","oa_version":"Submitted Version"},{"abstract":[{"lang":"eng","text":"Plants are sessile organisms that are permanently restricted to their site of germination. To compensate for their lack of mobility, plants evolved unique mechanisms enabling them to rapidly react to ever changing environmental conditions and flexibly adapt their postembryonic developmental program. A prominent demonstration of this developmental plasticity is their ability to bend organs in order to reach the position most optimal for growth and utilization of light, nutrients, and other resources. Shortly after germination, dicotyledonous seedlings form a bended structure, the so-called apical hook, to protect the delicate shoot meristem and cotyledons from damage when penetrating through the soil. Upon perception of a light stimulus, the apical hook rapidly opens and the photomorphogenic developmental program is activated. After germination, plant organs are able to align their growth with the light source and adopt the most favorable orientation through bending, in a process named phototropism. On the other hand, when roots and shoots are diverted from their upright orientation, they immediately detect a change in the gravity vector and bend to maintain a vertical growth direction. Noteworthy, despite the diversity of external stimuli perceived by different plant organs, all plant tropic movements share a common mechanistic basis: differential cell growth. In our review, we will discuss the molecular principles underlying various tropic responses with the focus on mechanisms mediating the perception of external signals, transduction cascades and downstream responses that regulate differential cell growth and consequently, organ bending. In particular, we highlight common and specific features of regulatory pathways in control of the bending of organs and a role for the plant hormone auxin as a key regulatory component."}],"publication_status":"published","ddc":["570"],"date_published":"2015-04-14T00:00:00Z","file_date_updated":"2020-07-14T12:45:03Z","publisher":"Frontiers Research Foundation","title":"Strategies of seedlings to overcome their sessile nature: Auxin in mobility control","date_updated":"2021-01-12T06:51:50Z","department":[{"_id":"EvBe"}],"citation":{"mla":"Žádníková, Petra, et al. “Strategies of Seedlings to Overcome Their Sessile Nature: Auxin in Mobility Control.” <i>Frontiers in Plant Science</i>, vol. 6, no. 4, Frontiers Research Foundation, 2015, doi:<a href=\"https://doi.org/10.3389/fpls.2015.00218\">10.3389/fpls.2015.00218</a>.","short":"P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).","ista":"Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. 2015. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. 6(4).","ama":"Žádníková P, Smet D, Zhu Q, Van Der Straeten D, Benková E. Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. <i>Frontiers in Plant Science</i>. 2015;6(4). doi:<a href=\"https://doi.org/10.3389/fpls.2015.00218\">10.3389/fpls.2015.00218</a>","chicago":"Žádníková, Petra, Dajo Smet, Qiang Zhu, Dominique Van Der Straeten, and Eva Benková. “Strategies of Seedlings to Overcome Their Sessile Nature: Auxin in Mobility Control.” <i>Frontiers in Plant Science</i>. Frontiers Research Foundation, 2015. <a href=\"https://doi.org/10.3389/fpls.2015.00218\">https://doi.org/10.3389/fpls.2015.00218</a>.","apa":"Žádníková, P., Smet, D., Zhu, Q., Van Der Straeten, D., &#38; Benková, E. (2015). Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. <i>Frontiers in Plant Science</i>. Frontiers Research Foundation. <a href=\"https://doi.org/10.3389/fpls.2015.00218\">https://doi.org/10.3389/fpls.2015.00218</a>","ieee":"P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, and E. Benková, “Strategies of seedlings to overcome their sessile nature: Auxin in mobility control,” <i>Frontiers in Plant Science</i>, vol. 6, no. 4. Frontiers Research Foundation, 2015."},"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)"},"scopus_import":1,"intvolume":"         6","publist_id":"5578","publication":"Frontiers in Plant Science","oa":1,"year":"2015","doi":"10.3389/fpls.2015.00218","day":"14","month":"04","has_accepted_license":"1","issue":"4","file":[{"file_name":"IST-2016-471-v1+1_fpls-06-00218.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:45:03Z","date_created":"2018-12-12T10:15:23Z","creator":"system","file_id":"5142","checksum":"c454d642e18dfa86820b97a86cd6d3cc","file_size":965690,"access_level":"open_access","relation":"main_file"}],"language":[{"iso":"eng"}],"volume":6,"quality_controlled":"1","project":[{"grant_number":"207362","_id":"253FCA6A-B435-11E9-9278-68D0E5697425","name":"Hormonal cross-talk in plant organogenesis","call_identifier":"FP7"}],"oa_version":"Published Version","author":[{"full_name":"Žádníková, Petra","first_name":"Petra","last_name":"Žádníková"},{"last_name":"Smet","first_name":"Dajo","full_name":"Smet, Dajo"},{"last_name":"Zhu","first_name":"Qiang","id":"40A4B9E6-F248-11E8-B48F-1D18A9856A87","full_name":"Zhu, Qiang"},{"first_name":"Dominique","last_name":"Van Der Straeten","full_name":"Van Der Straeten, Dominique"},{"full_name":"Benková, Eva","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8510-9739","last_name":"Benková","first_name":"Eva"}],"pubrep_id":"471","ec_funded":1,"date_created":"2018-12-11T11:52:55Z","type":"journal_article","_id":"1593","status":"public"},{"oa":1,"year":"2015","page":"99 - 110","doi":"10.1007/978-3-319-27261-0_9","day":"27","acknowledgement":"The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no [291734].","scopus_import":1,"related_material":{"record":[{"status":"public","relation":"later_version","id":"1113"},{"relation":"later_version","id":"1164","status":"public"}]},"publist_id":"5576","intvolume":"      9411","citation":{"mla":"Fulek, Radoslav, et al. <i>Hanani-Tutte for Radial Planarity</i>. Vol. 9411, Springer, 2015, pp. 99–110, doi:<a href=\"https://doi.org/10.1007/978-3-319-27261-0_9\">10.1007/978-3-319-27261-0_9</a>.","short":"R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.","ieee":"R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.","ista":"Fulek R, Pelsmajer M, Schaefer M. 2015. Hanani-Tutte for radial planarity. GD: Graph Drawing and Network Visualization, LNCS, vol. 9411, 99–110.","chicago":"Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity,” 9411:99–110. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-319-27261-0_9\">https://doi.org/10.1007/978-3-319-27261-0_9</a>.","ama":"Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. In: Vol 9411. Springer; 2015:99-110. doi:<a href=\"https://doi.org/10.1007/978-3-319-27261-0_9\">10.1007/978-3-319-27261-0_9</a>","apa":"Fulek, R., Pelsmajer, M., &#38; Schaefer, M. (2015). Hanani-Tutte for radial planarity (Vol. 9411, pp. 99–110). Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-319-27261-0_9\">https://doi.org/10.1007/978-3-319-27261-0_9</a>"},"department":[{"_id":"UlWa"}],"date_updated":"2023-02-21T16:23:36Z","alternative_title":["LNCS"],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","ddc":["510"],"publication_status":"published","abstract":[{"lang":"eng","text":"A drawing of a graph G is radial if the vertices of G are placed on concentric circles C1, . . . , Ck with common center c, and edges are drawn radially: every edge intersects every circle centered at c at most once. G is radial planar if it has a radial embedding, that is, a crossing- free radial drawing. If the vertices of G are ordered or partitioned into ordered levels (as they are for leveled graphs), we require that the assignment of vertices to circles corresponds to the given ordering or leveling. We show that a graph G is radial planar if G has a radial drawing in which every two edges cross an even number of times; the radial embedding has the same leveling as the radial drawing. In other words, we establish the weak variant of the Hanani-Tutte theorem for radial planarity. This generalizes a result by Pach and Tóth."}],"title":"Hanani-Tutte for radial planarity","date_published":"2015-11-27T00:00:00Z","publisher":"Springer","file_date_updated":"2020-07-14T12:45:03Z","_id":"1595","type":"conference","date_created":"2018-12-11T11:52:55Z","status":"public","pubrep_id":"594","conference":{"start_date":"2015-09-24","end_date":"2015-09-26","location":"Los Angeles, CA, USA","name":"GD: Graph Drawing and Network Visualization"},"ec_funded":1,"oa_version":"Submitted Version","quality_controlled":"1","project":[{"call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"author":[{"full_name":"Fulek, Radoslav","id":"39F3FFE4-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8485-1774","last_name":"Fulek","first_name":"Radoslav"},{"full_name":"Pelsmajer, Michael","first_name":"Michael","last_name":"Pelsmajer"},{"full_name":"Schaefer, Marcus","last_name":"Schaefer","first_name":"Marcus"}],"file":[{"date_created":"2018-12-12T10:08:36Z","date_updated":"2020-07-14T12:45:03Z","content_type":"application/pdf","file_name":"IST-2016-594-v1+1_HTCylinder_GD_Revision.pdf","relation":"main_file","access_level":"open_access","file_size":330135,"checksum":"685f91bd077a951ba067d42cce75409e","file_id":"4697","creator":"system"}],"month":"11","has_accepted_license":"1","volume":9411,"language":[{"iso":"eng"}]},{"day":"27","doi":"10.1007/978-3-319-27261-0_31","year":"2015","page":"373 - 379","oa":1,"publist_id":"5575","intvolume":"      9411","publication":"Graph Drawing and Network Visualization","scopus_import":"1","alternative_title":["LNCS"],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","department":[{"_id":"UlWa"}],"date_updated":"2022-01-28T09:20:50Z","citation":{"short":"R. Fulek, R. Radoičić, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 373–379.","mla":"Fulek, Radoslav, and Radoš Radoičić. “Vertical Visibility among Parallel Polygons in Three Dimensions.” <i>Graph Drawing and Network Visualization</i>, vol. 9411, Springer Nature, 2015, pp. 373–79, doi:<a href=\"https://doi.org/10.1007/978-3-319-27261-0_31\">10.1007/978-3-319-27261-0_31</a>.","apa":"Fulek, R., &#38; Radoičić, R. (2015). Vertical visibility among parallel polygons in three dimensions. In <i>Graph Drawing and Network Visualization</i> (Vol. 9411, pp. 373–379). Los Angeles, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-27261-0_31\">https://doi.org/10.1007/978-3-319-27261-0_31</a>","ama":"Fulek R, Radoičić R. Vertical visibility among parallel polygons in three dimensions. In: <i>Graph Drawing and Network Visualization</i>. Vol 9411. Springer Nature; 2015:373-379. doi:<a href=\"https://doi.org/10.1007/978-3-319-27261-0_31\">10.1007/978-3-319-27261-0_31</a>","ista":"Fulek R, Radoičić R. 2015.Vertical visibility among parallel polygons in three dimensions. In: Graph Drawing and Network Visualization. LNCS, vol. 9411, 373–379.","chicago":"Fulek, Radoslav, and Radoš Radoičić. “Vertical Visibility among Parallel Polygons in Three Dimensions.” In <i>Graph Drawing and Network Visualization</i>, 9411:373–79. Springer Nature, 2015. <a href=\"https://doi.org/10.1007/978-3-319-27261-0_31\">https://doi.org/10.1007/978-3-319-27261-0_31</a>.","ieee":"R. Fulek and R. Radoičić, “Vertical visibility among parallel polygons in three dimensions,” in <i>Graph Drawing and Network Visualization</i>, vol. 9411, Springer Nature, 2015, pp. 373–379."},"file_date_updated":"2020-07-14T12:45:04Z","date_published":"2015-11-27T00:00:00Z","publisher":"Springer Nature","title":"Vertical visibility among parallel polygons in three dimensions","publication_status":"published","abstract":[{"text":"Let C={C1,...,Cn} denote a collection of translates of a regular convex k-gon in the plane with the stacking order. The collection C forms a visibility clique if for everyi &lt; j the intersection Ci and (Ci ∩ Cj)\\⋃i&lt;l&lt;jCl =∅.elements that are stacked between them, i.e., We show that if C forms a visibility clique its size is bounded from above by O(k4) thereby improving the upper bound of 22k from the aforementioned paper. We also obtain an upper bound of 22(k/2)+2 on the size of a visibility clique for homothetes of a convex (not necessarily regular) k-gon.","lang":"eng"}],"ddc":["510"],"status":"public","publication_identifier":{"isbn":["978-3-319-27260-3"]},"date_created":"2018-12-11T11:52:56Z","_id":"1596","type":"book_chapter","conference":{"end_date":"2015-09-26","start_date":"2015-09-24","location":"Los Angeles, CA, United States","name":"GD: Graph Drawing and Network Visualization"},"ec_funded":1,"pubrep_id":"595","author":[{"id":"39F3FFE4-F248-11E8-B48F-1D18A9856A87","full_name":"Fulek, Radoslav","last_name":"Fulek","first_name":"Radoslav","orcid":"0000-0001-8485-1774"},{"last_name":"Radoičić","first_name":"Radoš","full_name":"Radoičić, Radoš"}],"quality_controlled":"1","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"oa_version":"Submitted Version","language":[{"iso":"eng"}],"volume":9411,"article_processing_charge":"No","month":"11","has_accepted_license":"1","file":[{"content_type":"application/pdf","date_updated":"2020-07-14T12:45:04Z","date_created":"2018-12-12T10:17:06Z","file_name":"IST-2016-595-v1+1_VerticalVisibilityGDRevision.pdf","relation":"main_file","creator":"system","checksum":"eec04f86c5921d04f025d5791db9b965","file_id":"5258","file_size":312992,"access_level":"open_access"}]},{"project":[{"_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"call_identifier":"FWF","name":"Game Theory","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"quality_controlled":"1","oa_version":"Preprint","author":[{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Joglekar","first_name":"Manas","full_name":"Joglekar, Manas"},{"last_name":"Shah","first_name":"Nisarg","full_name":"Shah, Nisarg"}],"month":"03","issue":"3","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":573,"date_created":"2018-12-11T11:52:56Z","_id":"1598","type":"journal_article","status":"public","main_file_link":[{"url":"http://arxiv.org/abs/1202.4175","open_access":"1"}],"ec_funded":1,"date_updated":"2023-02-23T10:55:03Z","department":[{"_id":"KrCh"}],"citation":{"mla":"Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” <i>Theoretical Computer Science</i>, vol. 573, no. 3, Elsevier, 2015, pp. 71–89, doi:<a href=\"https://doi.org/10.1016/j.tcs.2015.01.050\">10.1016/j.tcs.2015.01.050</a>.","short":"K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.","ieee":"K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” <i>Theoretical Computer Science</i>, vol. 573, no. 3. Elsevier, pp. 71–89, 2015.","ista":"Chatterjee K, Joglekar M, Shah N. 2015. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science. 573(3), 71–89.","ama":"Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. <i>Theoretical Computer Science</i>. 2015;573(3):71-89. doi:<a href=\"https://doi.org/10.1016/j.tcs.2015.01.050\">10.1016/j.tcs.2015.01.050</a>","chicago":"Chatterjee, Krishnendu, Manas Joglekar, and Nisarg Shah. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” <i>Theoretical Computer Science</i>. Elsevier, 2015. <a href=\"https://doi.org/10.1016/j.tcs.2015.01.050\">https://doi.org/10.1016/j.tcs.2015.01.050</a>.","apa":"Chatterjee, K., Joglekar, M., &#38; Shah, N. (2015). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcs.2015.01.050\">https://doi.org/10.1016/j.tcs.2015.01.050</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["1202.4175"]},"abstract":[{"text":"We consider Markov decision processes (MDPs) with specifications given as Büchi (liveness) objectives, and examine the problem of computing the set of almost-sure winning vertices such that the objective can be ensured with probability 1 from these vertices. We study for the first time the average-case complexity of the classical algorithm for computing the set of almost-sure winning vertices for MDPs with Büchi objectives. Our contributions are as follows: First, we show that for MDPs with constant out-degree the expected number of iterations is at most logarithmic and the average-case running time is linear (as compared to the worst-case linear number of iterations and quadratic time complexity). Second, for the average-case analysis over all MDPs we show that the expected number of iterations is constant and the average-case running time is linear (again as compared to the worst-case linear number of iterations and quadratic time complexity). Finally we also show that when all MDPs are equally likely, the probability that the classical algorithm requires more than a constant number of iterations is exponentially small.","lang":"eng"}],"publication_status":"published","date_published":"2015-03-30T00:00:00Z","publisher":"Elsevier","title":"Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives","oa":1,"acknowledgement":"The research was supported by FWF Grant No. P 23499-N23, FWF NFN Grant No. S11407-N23 (RiSE), ERC Start Grant (279307: Graph Games), and the Microsoft Faculty Fellows Award. Nisarg Shah is also supported by NSF Grant CCF-1215883.\r\n","doi":"10.1016/j.tcs.2015.01.050","page":"71 - 89","year":"2015","day":"30","related_material":{"record":[{"relation":"earlier_version","id":"2715","status":"public"}]},"scopus_import":1,"intvolume":"       573","arxiv":1,"publist_id":"5571","publication":"Theoretical Computer Science"},{"ec_funded":1,"conference":{"location":"San Francisco, CA, United States","name":"CAV: Computer Aided Verification","end_date":"2015-07-24","start_date":"2015-07-18"},"status":"public","_id":"1601","type":"conference","date_created":"2018-12-11T11:52:57Z","article_processing_charge":"No","volume":9206,"language":[{"iso":"eng"}],"file":[{"file_size":1651779,"access_level":"open_access","creator":"dernst","file_id":"7850","checksum":"5885236fa88a439baba9ac6f3e801e93","relation":"main_file","file_name":"2015_CAV_Babiak.pdf","date_updated":"2020-07-14T12:45:04Z","date_created":"2020-05-15T08:38:12Z","content_type":"application/pdf"}],"month":"07","has_accepted_license":"1","author":[{"full_name":"Babiak, Tomáš","last_name":"Babiak","first_name":"Tomáš"},{"full_name":"Blahoudek, František","last_name":"Blahoudek","first_name":"František"},{"full_name":"Duret Lutz, Alexandre","first_name":"Alexandre","last_name":"Duret Lutz"},{"full_name":"Klein, Joachim","last_name":"Klein","first_name":"Joachim"},{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","full_name":"Kretinsky, Jan","first_name":"Jan","last_name":"Kretinsky","orcid":"0000-0002-8122-2881"},{"last_name":"Mueller","first_name":"Daniel","full_name":"Mueller, Daniel"},{"full_name":"Parker, David","last_name":"Parker","first_name":"David"},{"first_name":"Jan","last_name":"Strejček","full_name":"Strejček, Jan"}],"oa_version":"Submitted Version","quality_controlled":"1","project":[{"grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","call_identifier":"FP7"},{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"}],"intvolume":"      9206","publist_id":"5566","scopus_import":1,"year":"2015","doi":"10.1007/978-3-319-21690-4_31","page":"479 - 486","day":"16","oa":1,"title":"The Hanoi omega-automata format","publisher":"Springer","file_date_updated":"2020-07-14T12:45:04Z","date_published":"2015-07-16T00:00:00Z","ddc":["000"],"abstract":[{"lang":"eng","text":"We propose a flexible exchange format for ω-automata, as typically used in formal verification, and implement support for it in a range of established tools. Our aim is to simplify the interaction of tools, helping the research community to build upon other people’s work. A key feature of the format is the use of very generic acceptance conditions, specified by Boolean combinations of acceptance primitives, rather than being limited to common cases such as Büchi, Streett, or Rabin. Such flexibility in the choice of acceptance conditions can be exploited in applications, for example in probabilistic model checking, and furthermore encourages the development of acceptance-agnostic tools for automata manipulations. The format allows acceptance conditions that are either state-based or transition-based, and also supports alternating automata."}],"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"citation":{"short":"T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.","mla":"Babiak, Tomáš, et al. <i>The Hanoi Omega-Automata Format</i>. Vol. 9206, Springer, 2015, pp. 479–86, doi:<a href=\"https://doi.org/10.1007/978-3-319-21690-4_31\">10.1007/978-3-319-21690-4_31</a>.","ista":"Babiak T, Blahoudek F, Duret Lutz A, Klein J, Kretinsky J, Mueller D, Parker D, Strejček J. 2015. The Hanoi omega-automata format. CAV: Computer Aided Verification, LNCS, vol. 9206, 479–486.","ama":"Babiak T, Blahoudek F, Duret Lutz A, et al. The Hanoi omega-automata format. In: Vol 9206. Springer; 2015:479-486. doi:<a href=\"https://doi.org/10.1007/978-3-319-21690-4_31\">10.1007/978-3-319-21690-4_31</a>","chicago":"Babiak, Tomáš, František Blahoudek, Alexandre Duret Lutz, Joachim Klein, Jan Kretinsky, Daniel Mueller, David Parker, and Jan Strejček. “The Hanoi Omega-Automata Format,” 9206:479–86. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-319-21690-4_31\">https://doi.org/10.1007/978-3-319-21690-4_31</a>.","apa":"Babiak, T., Blahoudek, F., Duret Lutz, A., Klein, J., Kretinsky, J., Mueller, D., … Strejček, J. (2015). The Hanoi omega-automata format (Vol. 9206, pp. 479–486). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. <a href=\"https://doi.org/10.1007/978-3-319-21690-4_31\">https://doi.org/10.1007/978-3-319-21690-4_31</a>","ieee":"T. Babiak <i>et al.</i>, “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486."},"date_updated":"2021-01-12T06:51:54Z","department":[{"_id":"ToHe"},{"_id":"KrCh"}]},{"conference":{"name":"SIGPLAN: Symposium on Principles of Programming Languages","location":"Mumbai, India","start_date":"2015-01-15","end_date":"2015-01-17"},"ec_funded":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1410.7724"}],"status":"public","date_created":"2018-12-11T11:52:58Z","_id":"1602","type":"journal_article","language":[{"iso":"eng"}],"volume":50,"month":"01","issue":"1","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"orcid":"0000-0003-4783-0389","last_name":"Ibsen-Jensen","first_name":"Rasmus","full_name":"Ibsen-Jensen, Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Andreas","last_name":"Pavlogiannis","orcid":"0000-0002-8943-0722","id":"49704004-F248-11E8-B48F-1D18A9856A87","full_name":"Pavlogiannis, Andreas"},{"first_name":"Prateesh","last_name":"Goyal","full_name":"Goyal, Prateesh"}],"quality_controlled":"1","project":[{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"oa_version":"Preprint","arxiv":1,"publist_id":"5565","intvolume":"        50","publication":"ACM SIGPLAN Notices","scopus_import":1,"related_material":{"record":[{"relation":"dissertation_contains","id":"821","status":"public"}]},"acknowledgement":"We thank anonymous reviewers for helpful comments to improve the presentation of the paper.","page":"97 - 109","year":"2015","doi":"10.1145/2676726.2676979","day":"01","oa":1,"publisher":"ACM","date_published":"2015-01-01T00:00:00Z","title":"Faster algorithms for algebraic path properties in recursive state machines with constant treewidth","publication_status":"published","abstract":[{"lang":"eng","text":"Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are standard models for interprocedural analysis. We consider a general framework with RSMs where the transitions are labeled from a semiring, and path properties are algebraic with semiring operations. RSMs with algebraic path properties can model interprocedural dataflow analysis problems, the shortest path problem, the most probable path problem, etc. The traditional algorithms for interprocedural analysis focus on path properties where the starting point is fixed as the entry point of a specific method. In this work, we consider possible multiple queries as required in many applications such as in alias analysis. The study of multiple queries allows us to bring in a very important algorithmic distinction between the resource usage of the one-time preprocessing vs for each individual query. The second aspect that we consider is that the control flow graphs for most programs have constant treewidth. Our main contributions are simple and implementable algorithms that supportmultiple queries for algebraic path properties for RSMs that have constant treewidth. Our theoretical results show that our algorithms have small additional one-time preprocessing, but can answer subsequent queries significantly faster as compared to the current best-known solutions for several important problems, such as interprocedural reachability and shortest path. We provide a prototype implementation for interprocedural reachability and intraprocedural shortest path that gives a significant speed-up on several benchmarks."}],"external_id":{"arxiv":["1410.7724"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"KrCh"}],"date_updated":"2023-09-07T12:01:58Z","citation":{"mla":"Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” <i>ACM SIGPLAN Notices</i>, vol. 50, no. 1, ACM, 2015, pp. 97–109, doi:<a href=\"https://doi.org/10.1145/2676726.2676979\">10.1145/2676726.2676979</a>.","short":"K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.","apa":"Chatterjee, K., Ibsen-Jensen, R., Pavlogiannis, A., &#38; Goyal, P. (2015). Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. <i>ACM SIGPLAN Notices</i>. Mumbai, India: ACM. <a href=\"https://doi.org/10.1145/2676726.2676979\">https://doi.org/10.1145/2676726.2676979</a>","ista":"Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. 2015. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 50(1), 97–109.","ama":"Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. <i>ACM SIGPLAN Notices</i>. 2015;50(1):97-109. doi:<a href=\"https://doi.org/10.1145/2676726.2676979\">10.1145/2676726.2676979</a>","chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” <i>ACM SIGPLAN Notices</i>. ACM, 2015. <a href=\"https://doi.org/10.1145/2676726.2676979\">https://doi.org/10.1145/2676726.2676979</a>.","ieee":"K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” <i>ACM SIGPLAN Notices</i>, vol. 50, no. 1. ACM, pp. 97–109, 2015."}},{"oa":1,"year":"2015","day":"16","page":"158 - 177","doi":"10.1007/978-3-319-21690-4_10","acknowledgement":"This research was funded in part by Austrian Science Fund (FWF) Grant No P 23499-N23, FWF NFN Grant No S11407-N23 (RiSE) and Z211-N23 (Wittgenstein Award), European Research Council (ERC) Grant No 279307 (Graph Games), ERC Grant No 267989 (QUAREM), the Czech Science Foundation Grant No P202/12/G061, and People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007–2013) REA Grant No 291734.","related_material":{"record":[{"id":"5549","relation":"research_paper","status":"public"}]},"scopus_import":1,"intvolume":"      9206","publist_id":"5564","citation":{"short":"T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.","mla":"Brázdil, Tomáš, et al. <i>Counterexample Explanation by Learning Small Strategies in Markov Decision Processes</i>. Vol. 9206, Springer, 2015, pp. 158–77, doi:<a href=\"https://doi.org/10.1007/978-3-319-21690-4_10\">10.1007/978-3-319-21690-4_10</a>.","ama":"Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. Counterexample explanation by learning small strategies in Markov decision processes. In: Vol 9206. Springer; 2015:158-177. doi:<a href=\"https://doi.org/10.1007/978-3-319-21690-4_10\">10.1007/978-3-319-21690-4_10</a>","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,” 9206:158–77. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-319-21690-4_10\">https://doi.org/10.1007/978-3-319-21690-4_10</a>.","ista":"Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. 2015. Counterexample explanation by learning small strategies in Markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 9206, 158–177.","apa":"Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., &#38; Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. <a href=\"https://doi.org/10.1007/978-3-319-21690-4_10\">https://doi.org/10.1007/978-3-319-21690-4_10</a>","ieee":"T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177."},"date_updated":"2024-02-21T13:52:07Z","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"For deterministic systems, a counterexample to a property can simply be an error trace, whereas counterexamples in probabilistic systems are necessarily more complex. For instance, a set of erroneous traces with a sufficient cumulative probability mass can be used. Since these are too large objects to understand and manipulate, compact representations such as subchains have been considered. In the case of probabilistic systems with non-determinism, the situation is even more complex. While a subchain for a given strategy (or scheduler, resolving non-determinism) is a straightforward choice, we take a different approach. Instead, we focus on the strategy itself, and extract the most important decisions it makes, and present its succinct representation.\r\nThe key tools we employ to achieve this are (1) introducing a concept of importance of a state w.r.t. the strategy, and (2) learning using decision trees. There are three main consequent advantages of our approach. Firstly, it exploits the quantitative information on states, stressing the more important decisions. Secondly, it leads to a greater variability and degree of freedom in representing the strategies. Thirdly, the representation uses a self-explanatory data structure. In summary, our approach produces more succinct and more explainable strategies, as opposed to e.g. binary decision diagrams. Finally, our experimental results show that we can extract several rules describing the strategy even for very large systems that do not fit in memory, and based on the rules explain the erroneous behaviour."}],"publication_status":"published","title":"Counterexample explanation by learning small strategies in Markov decision processes","date_published":"2015-07-16T00:00:00Z","publisher":"Springer","_id":"1603","type":"conference","date_created":"2018-12-11T11:52:58Z","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1502.02834"}],"status":"public","publication_identifier":{"eisbn":["978-3-319-21690-4"]},"ec_funded":1,"conference":{"location":"San Francisco, CA, United States","name":"CAV: Computer Aided Verification","start_date":"2015-07-18","end_date":"2015-07-24"},"oa_version":"Preprint","project":[{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"},{"call_identifier":"FP7","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":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734"}],"quality_controlled":"1","author":[{"full_name":"Brázdil, Tomáš","first_name":"Tomáš","last_name":"Brázdil"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Chmelik, Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","last_name":"Chmelik"},{"full_name":"Fellner, Andreas","id":"42BABFB4-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas","last_name":"Fellner"},{"orcid":"0000-0002-8122-2881","last_name":"Kretinsky","first_name":"Jan","full_name":"Kretinsky, Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87"}],"month":"07","volume":9206,"language":[{"iso":"eng"}]},{"oa":1,"acknowledgement":"This work was partly supported by the European Research Council (ERC) under grant 267989 (QUAREM), by the Austrian Science Fund (FWF) under grants S11402-N23, S11405-N23 and S11412-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award), and by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS, http://www.avacs.org/).","page":"19 - 35","doi":"10.1007/978-3-319-26287-1_2","year":"2015","day":"28","scopus_import":1,"publist_id":"5561","intvolume":"      9434","department":[{"_id":"ToHe"}],"date_updated":"2021-01-12T06:51:56Z","citation":{"apa":"Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., &#38; Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. <a href=\"https://doi.org/10.1007/978-3-319-26287-1_2\">https://doi.org/10.1007/978-3-319-26287-1_2</a>","ama":"Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. Abstraction-based parameter synthesis for multiaffine systems. In: Vol 9434. Springer; 2015:19-35. doi:<a href=\"https://doi.org/10.1007/978-3-319-26287-1_2\">10.1007/978-3-319-26287-1_2</a>","chicago":"Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,” 9434:19–35. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-319-26287-1_2\">https://doi.org/10.1007/978-3-319-26287-1_2</a>.","ista":"Bogomolov S, Schilling C, Bartocci E, Batt G, Kong H, Grosu R. 2015. Abstraction-based parameter synthesis for multiaffine systems. HVC: Haifa Verification Conference, LNCS, vol. 9434, 19–35.","ieee":"S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.","short":"S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.","mla":"Bogomolov, Sergiy, et al. <i>Abstraction-Based Parameter Synthesis for Multiaffine Systems</i>. Vol. 9434, Springer, 2015, pp. 19–35, doi:<a href=\"https://doi.org/10.1007/978-3-319-26287-1_2\">10.1007/978-3-319-26287-1_2</a>."},"alternative_title":["LNCS"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","abstract":[{"lang":"eng","text":"Multiaffine hybrid automata (MHA) represent a powerful formalism to model complex dynamical systems. This formalism is particularly suited for the representation of biological systems which often exhibit highly non-linear behavior. In this paper, we consider the problem of parameter identification for MHA. We present an abstraction of MHA based on linear hybrid automata, which can be analyzed by the SpaceEx model checker. This abstraction enables a precise handling of time-dependent properties. We demonstrate the potential of our approach on a model of a genetic regulatory network and a myocyte model."}],"ddc":["000"],"publisher":"Springer","file_date_updated":"2020-07-14T12:45:05Z","date_published":"2015-11-28T00:00:00Z","title":"Abstraction-based parameter synthesis for multiaffine systems","date_created":"2018-12-11T11:52:59Z","_id":"1605","type":"conference","status":"public","conference":{"name":"HVC: Haifa Verification Conference","location":"Haifa, Israel","end_date":"2015-11-19","start_date":"2015-11-17"},"ec_funded":1,"project":[{"call_identifier":"FP7","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","call_identifier":"FWF"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","oa_version":"Submitted Version","author":[{"orcid":"0000-0002-0686-0365","last_name":"Bogomolov","first_name":"Sergiy","full_name":"Bogomolov, Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87"},{"id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","full_name":"Schilling, Christian","first_name":"Christian","last_name":"Schilling","orcid":"0000-0003-3658-1065"},{"last_name":"Bartocci","first_name":"Ezio","full_name":"Bartocci, Ezio"},{"full_name":"Batt, Grégory","last_name":"Batt","first_name":"Grégory"},{"full_name":"Kong, Hui","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3066-6941","last_name":"Kong","first_name":"Hui"},{"first_name":"Radu","last_name":"Grosu","full_name":"Grosu, Radu"}],"has_accepted_license":"1","month":"11","file":[{"access_level":"open_access","file_size":1053207,"file_id":"7851","checksum":"3aab260f3f34641d622030ba22645b3e","creator":"dernst","relation":"main_file","file_name":"2015_LNCS_Bogomolov.pdf","date_created":"2020-05-15T08:43:19Z","date_updated":"2020-07-14T12:45:05Z","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"volume":9434,"article_processing_charge":"No"},{"volume":9206,"language":[{"iso":"eng"}],"month":"07","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"id":"3B699956-F248-11E8-B48F-1D18A9856A87","full_name":"Ibsen-Jensen, Rasmus","last_name":"Ibsen-Jensen","first_name":"Rasmus","orcid":"0000-0003-4783-0389"},{"id":"49704004-F248-11E8-B48F-1D18A9856A87","full_name":"Pavlogiannis, Andreas","first_name":"Andreas","last_name":"Pavlogiannis","orcid":"0000-0002-8943-0722"}],"oa_version":"Preprint","quality_controlled":"1","project":[{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification","call_identifier":"FWF"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307","call_identifier":"FP7"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"conference":{"end_date":"2015-07-24","start_date":"2015-07-18","location":"San Francisco, CA, USA","name":"CAV: Computer Aided Verification"},"ec_funded":1,"status":"public","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1504.07384"}],"_id":"1607","type":"conference","date_created":"2018-12-11T11:52:59Z","title":"Faster algorithms for quantitative verification in constant treewidth graphs","publisher":"Springer","date_published":"2015-07-16T00:00:00Z","publication_status":"published","abstract":[{"lang":"eng","text":"We consider the core algorithmic problems related to verification of systems with respect to three classical quantitative properties, namely, the mean-payoff property, the ratio property, and the minimum initial credit for energy property. The algorithmic problem given a graph and a quantitative property asks to compute the optimal value (the infimum value over all traces) from every node of the graph. We consider graphs with constant treewidth, and it is well-known that the control-flow graphs of most programs have constant treewidth. Let n denote the number of nodes of a graph, m the number of edges (for constant treewidth graphs m=O(n)) and W the largest absolute value of the weights. Our main theoretical results are as follows. First, for constant treewidth graphs we present an algorithm that approximates the mean-payoff value within a multiplicative factor of ϵ in time O(n⋅log(n/ϵ)) and linear space, as compared to the classical algorithms that require quadratic time. Second, for the ratio property we present an algorithm that for constant treewidth graphs works in time O(n⋅log(|a⋅b|))=O(n⋅log(n⋅W)), when the output is ab, as compared to the previously best known algorithm with running time O(n2⋅log(n⋅W)). Third, for the minimum initial credit problem we show that (i) for general graphs the problem can be solved in O(n2⋅m) time and the associated decision problem can be solved in O(n⋅m) time, improving the previous known O(n3⋅m⋅log(n⋅W)) and O(n2⋅m) bounds, respectively; and (ii) for constant treewidth graphs we present an algorithm that requires O(n⋅logn) time, improving the previous known O(n4⋅log(n⋅W)) bound. We have implemented some of our algorithms and show that they present a significant speedup on standard benchmarks."}],"alternative_title":["LNCS"],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs. CAV: Computer Aided Verification, LNCS, vol. 9206, 140–157.","chicago":"Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs,” 9206:140–57. Springer, 2015. <a href=\"https://doi.org/10.1007/978-3-319-21690-4_9\">https://doi.org/10.1007/978-3-319-21690-4_9</a>.","ama":"Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for quantitative verification in constant treewidth graphs. In: Vol 9206. Springer; 2015:140-157. doi:<a href=\"https://doi.org/10.1007/978-3-319-21690-4_9\">10.1007/978-3-319-21690-4_9</a>","apa":"Chatterjee, K., Ibsen-Jensen, R., &#38; Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer. <a href=\"https://doi.org/10.1007/978-3-319-21690-4_9\">https://doi.org/10.1007/978-3-319-21690-4_9</a>","ieee":"K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.","short":"K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.","mla":"Chatterjee, Krishnendu, et al. <i>Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs</i>. Vol. 9206, Springer, 2015, pp. 140–57, doi:<a href=\"https://doi.org/10.1007/978-3-319-21690-4_9\">10.1007/978-3-319-21690-4_9</a>."},"department":[{"_id":"KrCh"}],"date_updated":"2023-09-07T12:01:59Z","publist_id":"5560","intvolume":"      9206","scopus_import":1,"related_material":{"record":[{"id":"5430","relation":"earlier_version","status":"public"},{"id":"5437","relation":"earlier_version","status":"public"},{"id":"821","relation":"dissertation_contains","status":"public"}]},"page":"140 - 157","doi":"10.1007/978-3-319-21690-4_9","year":"2015","day":"16","acknowledgement":"The research was partly supported by Austrian Science Fund (FWF) Grant No P23499- N23, FWF NFN Grant No S11407-N23 (RiSE/SHiNE), ERC Start grant (279307: Graph Games), and Microsoft faculty fellows award.","oa":1},{"date_created":"2018-12-11T11:53:00Z","type":"conference","_id":"1609","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1502.04844"}],"status":"public","publication_identifier":{"isbn":["978-3-662-47665-9"]},"ec_funded":1,"conference":{"name":"ICALP: Automata, Languages and Programming","location":"Kyoto, Japan","start_date":"2015-07-06","end_date":"2015-07-10"},"project":[{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"call_identifier":"FWF","name":"Game Theory","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"}],"quality_controlled":"1","oa_version":"Preprint","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"},{"first_name":"Moshe","last_name":"Vardi","full_name":"Vardi, Moshe"}],"month":"06","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":9135,"oa":1,"acknowledgement":"This research was supported by Austrian Science Fund (FWF) Grant No P23499- N23, FWF NFN Grant No S11407-N23 (SHiNE), ERC Start grant (279307: Graph Games), EU FP7 Project Cassting, NSF grants CNS 1049862 and CCF-1139011, by NSF Expeditions in Computing project “ExCAPE: Expeditions in Computer Augmented Program Engineering”, by BSF grant 9800096, and by gift from Intel.","year":"2015","day":"20","doi":"10.1007/978-3-662-47666-6_9","page":"108 - 120","scopus_import":"1","intvolume":"      9135","publist_id":"5557","publication":"42nd International Colloquium","date_updated":"2022-02-01T15:04:44Z","department":[{"_id":"KrCh"}],"citation":{"ieee":"K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” in <i>42nd International Colloquium</i>, Kyoto, Japan, 2015, vol. 9135, pp. 108–120.","ista":"Chatterjee K, Doyen L, Vardi M. 2015. The complexity of synthesis from probabilistic components. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 108–120.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.” In <i>42nd International Colloquium</i>, 9135:108–20. Springer Nature, 2015. <a href=\"https://doi.org/10.1007/978-3-662-47666-6_9\">https://doi.org/10.1007/978-3-662-47666-6_9</a>.","ama":"Chatterjee K, Doyen L, Vardi M. The complexity of synthesis from probabilistic components. In: <i>42nd International Colloquium</i>. Vol 9135. Springer Nature; 2015:108-120. doi:<a href=\"https://doi.org/10.1007/978-3-662-47666-6_9\">10.1007/978-3-662-47666-6_9</a>","apa":"Chatterjee, K., Doyen, L., &#38; Vardi, M. (2015). The complexity of synthesis from probabilistic components. In <i>42nd International Colloquium</i> (Vol. 9135, pp. 108–120). Kyoto, Japan: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-662-47666-6_9\">https://doi.org/10.1007/978-3-662-47666-6_9</a>","short":"K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.","mla":"Chatterjee, Krishnendu, et al. “The Complexity of Synthesis from Probabilistic Components.” <i>42nd International Colloquium</i>, vol. 9135, Springer Nature, 2015, pp. 108–20, doi:<a href=\"https://doi.org/10.1007/978-3-662-47666-6_9\">10.1007/978-3-662-47666-6_9</a>."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","alternative_title":["LNCS"],"abstract":[{"text":"The synthesis problem asks for the automatic construction of a system from its specification. In the traditional setting, the system is “constructed from scratch” rather than composed from reusable components. However, this is rare in practice, and almost every non-trivial software system relies heavily on the use of libraries of reusable components. Recently, Lustig and Vardi introduced dataflow and controlflow synthesis from libraries of reusable components. They proved that dataflow synthesis is undecidable, while controlflow synthesis is decidable. The problem of controlflow synthesis from libraries of probabilistic components was considered by Nain, Lustig and Vardi, and was shown to be decidable for qualitative analysis (that asks that the specification be satisfied with probability 1). Our main contribution for controlflow synthesis from probabilistic components is to establish better complexity bounds for the qualitative analysis problem, and to show that the more general quantitative problem is undecidable. For the qualitative analysis, we show that the problem (i) is EXPTIME-complete when the specification is given as a deterministic parity word automaton, improving the previously known 2EXPTIME upper bound; and (ii) belongs to UP ∩ coUP and is parity-games hard, when the specification is given directly as a parity condition on the components, improving the previously known EXPTIME upper bound.","lang":"eng"}],"publication_status":"published","date_published":"2015-06-20T00:00:00Z","publisher":"Springer Nature","title":"The complexity of synthesis from probabilistic components"},{"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"},{"last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"orcid":"0000-0003-4783-0389","last_name":"Ibsen-Jensen","first_name":"Rasmus","full_name":"Ibsen-Jensen, Rasmus","id":"3B699956-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Otop","first_name":"Jan","full_name":"Otop, Jan","id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"None","quality_controlled":"1","project":[{"grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"},{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","call_identifier":"FWF"},{"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"},{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"}],"article_processing_charge":"No","volume":9135,"language":[{"iso":"eng"}],"issue":"Part II","month":"07","status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1504.08259"}],"publication_identifier":{"isbn":["978-3-662-47665-9"]},"type":"conference","_id":"1610","date_created":"2018-12-11T11:53:01Z","ec_funded":1,"conference":{"end_date":"2015-07-10","start_date":"2015-07-06","name":"ICALP: Automata, Languages and Programming","location":"Kyoto, Japan"},"pubrep_id":"321","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","alternative_title":["LNCS"],"external_id":{"arxiv":["1504.08259"]},"citation":{"ama":"Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: <i>42nd International Colloquium</i>. Vol 9135. Springer Nature; 2015:121-133. doi:<a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">10.1007/978-3-662-47666-6_10</a>","ista":"Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 121–133.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” In <i>42nd International Colloquium</i>, 9135:121–33. Springer Nature, 2015. <a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">https://doi.org/10.1007/978-3-662-47666-6_10</a>.","apa":"Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., &#38; Otop, J. (2015). Edit distance for pushdown automata. In <i>42nd International Colloquium</i> (Vol. 9135, pp. 121–133). Kyoto, Japan: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">https://doi.org/10.1007/978-3-662-47666-6_10</a>","ieee":"K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” in <i>42nd International Colloquium</i>, Kyoto, Japan, 2015, vol. 9135, no. Part II, pp. 121–133.","mla":"Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” <i>42nd International Colloquium</i>, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, doi:<a href=\"https://doi.org/10.1007/978-3-662-47666-6_10\">10.1007/978-3-662-47666-6_10</a>.","short":"K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133."},"date_updated":"2023-02-23T12:26:24Z","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"title":"Edit distance for pushdown automata","date_published":"2015-07-01T00:00:00Z","publisher":"Springer Nature","abstract":[{"lang":"eng","text":"The edit distance between two words w1, w2 is the minimal number of word operations (letter insertions, deletions, and substitutions) necessary to transform w1 to w2. The edit distance generalizes to languages L1,L2, where the edit distance is the minimal number k such that for every word from L1 there exists a word in L2 with edit distance at most k. We study the edit distance computation problem between pushdown automata and their subclasses. The problem of computing edit distance to pushdown automata is undecidable, and in practice, the interesting question is to compute the edit distance from a pushdown automaton (the implementation, a standard model for programs with recursion) to a regular language (the specification). In this work, we present a complete picture of decidability and complexity for deciding whether, for a given threshold k, the edit distance from a pushdown automaton to a finite automaton is at most k."}],"publication_status":"published","page":"121 - 133","doi":"10.1007/978-3-662-47666-6_10","year":"2015","day":"01","oa":1,"publication":"42nd International Colloquium","intvolume":"      9135","arxiv":1,"publist_id":"5556","related_material":{"record":[{"relation":"later_version","id":"465","status":"public"},{"status":"public","id":"5438","relation":"earlier_version"}]},"scopus_import":"1"}]