[{"date_updated":"2021-01-12T07:42:29Z","_id":"330","type":"journal_article","title":"Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor","article_processing_charge":"No","issue":"3","page":"1438 - 1441","month":"01","year":"2012","intvolume":"       134","date_created":"2018-12-11T11:45:51Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","volume":134,"doi":"10.1021/ja209688a","article_type":"original","quality_controlled":"1","status":"public","author":[{"first_name":"Alexey","full_name":"Shavel, Alexey","last_name":"Shavel"},{"full_name":"Cadavid, Doris","first_name":"Doris","last_name":"Cadavid"},{"last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria"},{"last_name":"Carrete","first_name":"Alex","full_name":"Carrete, Alex"},{"last_name":"Cabot","full_name":"Cabot, Andreu","first_name":"Andreu"}],"citation":{"mla":"Shavel, Alexey, et al. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow Reactor.” <i>Journal of the American Chemical Society</i>, vol. 134, no. 3, ACS, 2012, pp. 1438–41, doi:<a href=\"https://doi.org/10.1021/ja209688a\">10.1021/ja209688a</a>.","short":"A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.","ieee":"A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, and A. Cabot, “Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor,” <i>Journal of the American Chemical Society</i>, vol. 134, no. 3. ACS, pp. 1438–1441, 2012.","ista":"Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. 2012. Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the American Chemical Society. 134(3), 1438–1441.","chicago":"Shavel, Alexey, Doris Cadavid, Maria Ibáñez, Alex Carrete, and Andreu Cabot. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow Reactor.” <i>Journal of the American Chemical Society</i>. ACS, 2012. <a href=\"https://doi.org/10.1021/ja209688a\">https://doi.org/10.1021/ja209688a</a>.","apa":"Shavel, A., Cadavid, D., Ibáñez, M., Carrete, A., &#38; Cabot, A. (2012). Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal of the American Chemical Society</i>. ACS. <a href=\"https://doi.org/10.1021/ja209688a\">https://doi.org/10.1021/ja209688a</a>","ama":"Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal of the American Chemical Society</i>. 2012;134(3):1438-1441. doi:<a href=\"https://doi.org/10.1021/ja209688a\">10.1021/ja209688a</a>"},"extern":"1","oa_version":"None","date_published":"2012-01-02T00:00:00Z","publication":"Journal of the American Chemical Society","publisher":"ACS","day":"02","language":[{"iso":"eng"}],"publist_id":"7531","abstract":[{"text":"A procedure for the continuous production of Cu 2ZnSnS 4 (CZTS) nanoparticles with controlled composition is presented. CZTS nanoparticles were prepared through the reaction of the metals' amino complexes with elemental sulfur in a continuous-flow reactor at moderate temperatures (300-330 °C). High-resolution transmission electron microscopy and X-ray diffraction analysis showed the nanocrystals to have a crystallographic structure compatible with that of the kesterite. Chemical characterization of the materials showed the presence of the four elements in each individual nanocrystal. Composition control was achieved by adjusting the solution flow rate through the reactor and the proper choice of the nominal precursor concentration within the flowing solution. Single-particle analysis revealed a composition distribution within each sample, which was optimized at the highest synthesis temperatures used. ","lang":"eng"}]},{"day":"01","date_published":"2012-08-01T00:00:00Z","doi":"10.1016/j.patrec.2011.10.007","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T12:02:36Z","volume":33,"oa_version":"Submitted Version","author":[{"full_name":"Bendich, Paul","first_name":"Paul","id":"43F6EC54-F248-11E8-B48F-1D18A9856A87","last_name":"Bendich"},{"last_name":"Cabello","full_name":"Cabello, Sergio","first_name":"Sergio"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","first_name":"Herbert","orcid":"0000-0002-9823-6833"}],"status":"public","oa":1,"acknowledgement":"Research by the third author is partially supported by the National Science Foundation (NSF) under grant DBI-0820624.","year":"2012","has_accepted_license":"1","date_updated":"2021-01-12T07:42:34Z","_id":"3310","title":"A point calculus for interlevel set homology","publisher":"Elsevier","file_date_updated":"2020-07-14T12:46:06Z","publication":"Pattern Recognition Letters","file":[{"content_type":"application/pdf","checksum":"d65f79775b51258a604ca5ec741297cc","access_level":"open_access","creator":"system","file_id":"5116","relation":"main_file","date_created":"2018-12-12T10:15:00Z","file_size":280280,"date_updated":"2020-07-14T12:46:06Z","file_name":"IST-2016-542-v1+1_2012-J-01-Poinculus.pdf"}],"scopus_import":1,"abstract":[{"text":"The theory of persistent homology opens up the possibility to reason about topological features of a space or a function quantitatively and in combinatorial terms. We refer to this new angle at a classical subject within algebraic topology as a point calculus, which we present for the family of interlevel sets of a real-valued function. Our account of the subject is expository, devoid of proofs, and written for non-experts in algebraic topology.","lang":"eng"}],"publist_id":"3330","department":[{"_id":"HeEd"}],"language":[{"iso":"eng"}],"publication_status":"published","quality_controlled":"1","citation":{"short":"P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012) 1436–1444.","mla":"Bendich, Paul, et al. “A Point Calculus for Interlevel Set Homology.” <i>Pattern Recognition Letters</i>, vol. 33, no. 11, Elsevier, 2012, pp. 1436–44, doi:<a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">10.1016/j.patrec.2011.10.007</a>.","ieee":"P. Bendich, S. Cabello, and H. Edelsbrunner, “A point calculus for interlevel set homology,” <i>Pattern Recognition Letters</i>, vol. 33, no. 11. Elsevier, pp. 1436–1444, 2012.","ista":"Bendich P, Cabello S, Edelsbrunner H. 2012. A point calculus for interlevel set homology. Pattern Recognition Letters. 33(11), 1436–1444.","chicago":"Bendich, Paul, Sergio Cabello, and Herbert Edelsbrunner. “A Point Calculus for Interlevel Set Homology.” <i>Pattern Recognition Letters</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">https://doi.org/10.1016/j.patrec.2011.10.007</a>.","apa":"Bendich, P., Cabello, S., &#38; Edelsbrunner, H. (2012). A point calculus for interlevel set homology. <i>Pattern Recognition Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">https://doi.org/10.1016/j.patrec.2011.10.007</a>","ama":"Bendich P, Cabello S, Edelsbrunner H. A point calculus for interlevel set homology. <i>Pattern Recognition Letters</i>. 2012;33(11):1436-1444. doi:<a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">10.1016/j.patrec.2011.10.007</a>"},"page":"1436 - 1444","issue":"11","intvolume":"        33","pubrep_id":"542","month":"08","ddc":["000"],"type":"journal_article"},{"page":"609 - 625","issue":"3","intvolume":"        23","year":"2012","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"month":"04","date_updated":"2021-01-12T07:42:35Z","type":"journal_article","_id":"3314","title":"Discounting and averaging in games across time scales","publisher":"World Scientific Publishing","day":"01","date_published":"2012-04-01T00:00:00Z","publication":"International Journal of Foundations of Computer Science","scopus_import":1,"abstract":[{"text":"We introduce two-level discounted and mean-payoff games played by two players on a perfect-information stochastic game graph. The upper level game is a discounted or mean-payoff game and the lower level game is a (undiscounted) reachability game. Two-level games model hierarchical and sequential decision making under uncertainty across different time scales. For both discounted and mean-payoff two-level games, we show the existence of pure memoryless optimal strategies for both players and an ordered field property. We show that if there is only one player (Markov decision processes), then the values can be computed in polynomial time. It follows that whether the value of a player is equal to a given rational constant in two-level discounted or mean-payoff games can be decided in NP ∩ coNP. We also give an alternate strategy improvement algorithm to compute the value. © 2012 World Scientific Publishing Company.","lang":"eng"}],"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"publist_id":"3326","doi":"10.1142/S0129054112400308","publication_status":"published","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T12:02:37Z","volume":23,"oa_version":"None","status":"public","quality_controlled":"1","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"full_name":"Majumdar, Ritankar","first_name":"Ritankar","last_name":"Majumdar"}],"citation":{"ieee":"K. Chatterjee and R. Majumdar, “Discounting and averaging in games across time scales,” <i>International Journal of Foundations of Computer Science</i>, vol. 23, no. 3. World Scientific Publishing, pp. 609–625, 2012.","ista":"Chatterjee K, Majumdar R. 2012. Discounting and averaging in games across time scales. International Journal of Foundations of Computer Science. 23(3), 609–625.","short":"K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.","mla":"Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging in Games across Time Scales.” <i>International Journal of Foundations of Computer Science</i>, vol. 23, no. 3, World Scientific Publishing, 2012, pp. 609–25, doi:<a href=\"https://doi.org/10.1142/S0129054112400308\">10.1142/S0129054112400308</a>.","ama":"Chatterjee K, Majumdar R. Discounting and averaging in games across time scales. <i>International Journal of Foundations of Computer Science</i>. 2012;23(3):609-625. doi:<a href=\"https://doi.org/10.1142/S0129054112400308\">10.1142/S0129054112400308</a>","chicago":"Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging in Games across Time Scales.” <i>International Journal of Foundations of Computer Science</i>. World Scientific Publishing, 2012. <a href=\"https://doi.org/10.1142/S0129054112400308\">https://doi.org/10.1142/S0129054112400308</a>.","apa":"Chatterjee, K., &#38; Majumdar, R. (2012). Discounting and averaging in games across time scales. <i>International Journal of Foundations of Computer Science</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0129054112400308\">https://doi.org/10.1142/S0129054112400308</a>"}},{"month":"01","intvolume":"        13","pubrep_id":"820","issue":"1","page":"7 - 21","type":"journal_article","ddc":["570"],"language":[{"iso":"eng"}],"department":[{"_id":"PeJo"}],"publist_id":"3322","abstract":[{"lang":"eng","text":"The physical distance between presynaptic Ca2+ channels and the Ca2+ sensors that trigger exocytosis of neurotransmitter-containing vesicles is a key determinant of the signalling properties of synapses in the nervous system. Recent functional analysis indicates that in some fast central synapses, transmitter release is triggered by a small number of Ca2+ channels that are coupled to Ca2+ sensors at the nanometre scale. Molecular analysis suggests that this tight coupling is generated by protein–protein interactions involving Ca2+ channels, Ca2+ sensors and various other synaptic proteins. Nanodomain coupling has several functional advantages, as it increases the efficacy, speed and energy efficiency of synaptic transmission."}],"publication":"Nature Reviews Neuroscience","file_date_updated":"2020-07-14T12:46:07Z","scopus_import":1,"file":[{"relation":"main_file","file_size":314246,"date_created":"2018-12-12T10:12:13Z","date_updated":"2020-07-14T12:46:07Z","file_name":"IST-2017-820-v1+1_17463_3_art_file_109404_ltmxbw.pdf","content_type":"application/pdf","checksum":"4c1c86b2f6e4e1562f5bb800b457ea9f","access_level":"open_access","creator":"system","file_id":"4931"},{"creator":"system","access_level":"open_access","content_type":"application/pdf","checksum":"bceb2efdd49d115f4dde8486bc1be3f2","file_id":"4932","relation":"main_file","file_name":"IST-2017-820-v1+2_17463_3_figure_109402_ltmwlp.pdf","date_updated":"2020-07-14T12:46:07Z","file_size":1840216,"date_created":"2018-12-12T10:12:14Z"}],"publisher":"Nature Publishing Group","citation":{"short":"E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.","mla":"Eggermann, Emmanuel, et al. “Nanodomain Coupling between Ca(2+) Channels and Sensors of Exocytosis at Fast Mammalian Synapses.” <i>Nature Reviews Neuroscience</i>, vol. 13, no. 1, Nature Publishing Group, 2012, pp. 7–21, doi:<a href=\"https://doi.org/10.1038/nrn3125\">10.1038/nrn3125</a>.","ieee":"E. Eggermann, I. Bucurenciu, S. Goswami, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses,” <i>Nature Reviews Neuroscience</i>, vol. 13, no. 1. Nature Publishing Group, pp. 7–21, 2012.","ista":"Eggermann E, Bucurenciu I, Goswami S, Jonas PM. 2012. Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. Nature Reviews Neuroscience. 13(1), 7–21.","apa":"Eggermann, E., Bucurenciu, I., Goswami, S., &#38; Jonas, P. M. (2012). Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. <i>Nature Reviews Neuroscience</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nrn3125\">https://doi.org/10.1038/nrn3125</a>","chicago":"Eggermann, Emmanuel, Iancu Bucurenciu, Sarit Goswami, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and Sensors of Exocytosis at Fast Mammalian Synapses.” <i>Nature Reviews Neuroscience</i>. Nature Publishing Group, 2012. <a href=\"https://doi.org/10.1038/nrn3125\">https://doi.org/10.1038/nrn3125</a>.","ama":"Eggermann E, Bucurenciu I, Goswami S, Jonas PM. Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. <i>Nature Reviews Neuroscience</i>. 2012;13(1):7-21. doi:<a href=\"https://doi.org/10.1038/nrn3125\">10.1038/nrn3125</a>"},"quality_controlled":"1","publication_status":"published","has_accepted_license":"1","project":[{"grant_number":"JO_780/A5","_id":"25BC64A8-B435-11E9-9278-68D0E5697425","name":"Synaptic Mechanisms of Neuronal Network Function"},{"_id":"25BDE9A4-B435-11E9-9278-68D0E5697425","name":"Glutamaterge synaptische Übertragung und Plastizität in hippocampalen Mikroschaltkreisen","grant_number":"SFB-TR3-TP10B"}],"acknowledgement":"Work of the authors was funded by grants of the Deutsche Forschungsgemeinschaft to P.J. (grants SFB 780/A5, TR 3/B10 and the Leibniz programme), a European Research Council Advanced grant to P.J. and a Swiss National Foundation fellowship to E.E.\r\nWe thank D. Tsien and E. Neher for their comments on this Review, J. Guzmán and A. Pernía-Andrade for reading earlier versions and E. Kramberger for perfect editorial support. We apologize that owing to space constraints, not all relevant papers could be cited.\r\n","year":"2012","oa":1,"title":"Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses","_id":"3317","date_updated":"2021-01-12T07:42:36Z","date_published":"2012-01-01T00:00:00Z","day":"01","author":[{"last_name":"Eggermann","id":"34DACA34-E9AE-11E9-849C-D35BD8ADC20C","full_name":"Eggermann, Emmanuel","first_name":"Emmanuel"},{"first_name":"Iancu","full_name":"Bucurenciu, Iancu","last_name":"Bucurenciu","id":"4BD1D872-E9AE-11E9-9EE9-8BF4597A9E2A"},{"full_name":"Goswami, Sarit","first_name":"Sarit","id":"3A578F32-F248-11E8-B48F-1D18A9856A87","last_name":"Goswami"},{"first_name":"Peter M","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas"}],"status":"public","oa_version":"Submitted Version","volume":13,"date_created":"2018-12-11T12:02:38Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1038/nrn3125"},{"date_updated":"2021-01-12T07:42:43Z","type":"journal_article","_id":"3331","title":"A worst case bound for topology computation of algebraic curves","main_file_link":[{"url":"http://arxiv.org/abs/1104.1510","open_access":"1"}],"issue":"3","page":"239 - 258","oa":1,"month":"03","intvolume":"        47","year":"2012","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_created":"2018-12-11T12:02:43Z","volume":47,"doi":"10.1016/j.jsc.2011.11.001","author":[{"first_name":"Michael","full_name":"Kerber, Michael","orcid":"0000-0002-8030-9299","id":"36E4574A-F248-11E8-B48F-1D18A9856A87","last_name":"Kerber"},{"full_name":"Sagraloff, Michael","first_name":"Michael","last_name":"Sagraloff"}],"quality_controlled":"1","status":"public","citation":{"apa":"Kerber, M., &#38; Sagraloff, M. (2012). A worst case bound for topology computation of algebraic curves. <i> Journal of Symbolic Computation</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jsc.2011.11.001\">https://doi.org/10.1016/j.jsc.2011.11.001</a>","chicago":"Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation of Algebraic Curves.” <i> Journal of Symbolic Computation</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.jsc.2011.11.001\">https://doi.org/10.1016/j.jsc.2011.11.001</a>.","ama":"Kerber M, Sagraloff M. A worst case bound for topology computation of algebraic curves. <i> Journal of Symbolic Computation</i>. 2012;47(3):239-258. doi:<a href=\"https://doi.org/10.1016/j.jsc.2011.11.001\">10.1016/j.jsc.2011.11.001</a>","short":"M. Kerber, M. Sagraloff,  Journal of Symbolic Computation 47 (2012) 239–258.","mla":"Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation of Algebraic Curves.” <i> Journal of Symbolic Computation</i>, vol. 47, no. 3, Elsevier, 2012, pp. 239–58, doi:<a href=\"https://doi.org/10.1016/j.jsc.2011.11.001\">10.1016/j.jsc.2011.11.001</a>.","ista":"Kerber M, Sagraloff M. 2012. A worst case bound for topology computation of algebraic curves.  Journal of Symbolic Computation. 47(3), 239–258.","ieee":"M. Kerber and M. Sagraloff, “A worst case bound for topology computation of algebraic curves,” <i> Journal of Symbolic Computation</i>, vol. 47, no. 3. Elsevier, pp. 239–258, 2012."},"oa_version":"Preprint","date_published":"2012-03-01T00:00:00Z","publication":" Journal of Symbolic Computation","scopus_import":1,"publisher":"Elsevier","day":"01","publist_id":"3303","department":[{"_id":"HeEd"}],"language":[{"iso":"eng"}],"abstract":[{"text":"Computing the topology of an algebraic plane curve C means computing a combinatorial graph that is isotopic to C and thus represents its topology in R2. We prove that, for a polynomial of degree n with integer coefficients bounded by 2ρ, the topology of the induced curve can be computed with  bit operations ( indicates that we omit logarithmic factors). Our analysis improves the previous best known complexity bounds by a factor of n2. The improvement is based on new techniques to compute and refine isolating intervals for the real roots of polynomials, and on the consequent amortized analysis of the critical fibers of the algebraic curve.","lang":"eng"}]},{"scopus_import":1,"publisher":"Springer","department":[{"_id":"KrCh"}],"publist_id":"3284","language":[{"iso":"eng"}],"abstract":[{"text":"We consider two-player stochastic games played on a finite state space for an infinite number of rounds. The games are concurrent: in each round, the two players (player 1 and player 2) choose their moves independently and simultaneously; the current state and the two moves determine a probability distribution over the successor states. We also consider the important special case of turn-based stochastic games where players make moves in turns, rather than concurrently. We study concurrent games with \\omega-regular winning conditions specified as parity objectives. The value for player 1 for a parity objective is the maximal probability with which the player can guarantee the satisfaction of the objective against all strategies of the opponent. We study the problem of continuity and robustness of the value function in concurrent and turn-based stochastic parity gameswith respect to imprecision in the transition probabilities. We present quantitative bounds on the difference of the value function (in terms of the imprecision of the transition probabilities) and show the value continuity for structurally equivalent concurrent games (two games are structurally equivalent if the support of the transition function is same and the probabilities differ). We also show robustness of optimal strategies for structurally equivalent turn-based stochastic parity games. Finally we show that the value continuity property breaks without the structurally equivalent assumption (even for Markov chains) and show that our quantitative bound is asymptotically optimal. Hence our results are tight (the assumption is both necessary and sufficient) and optimal (our quantitative bound is asymptotically optimal).","lang":"eng"}],"publication_status":"published","quality_controlled":"1","alternative_title":["LNCS"],"citation":{"mla":"Chatterjee, Krishnendu. <i>Robustness of Structurally Equivalent Concurrent Parity Games</i>. Vol. 7213, Springer, 2012, pp. 270–85, doi:<a href=\"https://doi.org/10.1007/978-3-642-28729-9_18\">10.1007/978-3-642-28729-9_18</a>.","short":"K. Chatterjee, in:, Springer, 2012, pp. 270–285.","ieee":"K. Chatterjee, “Robustness of structurally equivalent concurrent parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia, 2012, vol. 7213, pp. 270–285.","ista":"Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213, 270–285.","chicago":"Chatterjee, Krishnendu. “Robustness of Structurally Equivalent Concurrent Parity Games,” 7213:270–85. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-28729-9_18\">https://doi.org/10.1007/978-3-642-28729-9_18</a>.","apa":"Chatterjee, K. (2012). Robustness of structurally equivalent concurrent parity games (Vol. 7213, pp. 270–285). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-28729-9_18\">https://doi.org/10.1007/978-3-642-28729-9_18</a>","ama":"Chatterjee K. Robustness of structurally equivalent concurrent parity games. In: Vol 7213. Springer; 2012:270-285. doi:<a href=\"https://doi.org/10.1007/978-3-642-28729-9_18\">10.1007/978-3-642-28729-9_18</a>"},"page":"270 - 285","ec_funded":1,"month":"03","intvolume":"      7213","type":"conference","main_file_link":[{"url":"http://arxiv.org/abs/1107.2009","open_access":"1"}],"arxiv":1,"date_published":"2012-03-22T00:00:00Z","day":"22","external_id":{"arxiv":["1107.2009"]},"date_created":"2018-12-11T12:02:46Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":7213,"doi":"10.1007/978-3-642-28729-9_18","author":[{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"}],"status":"public","oa_version":"Preprint","oa":1,"project":[{"grant_number":"P 23499-N23","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF"},{"grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"year":"2012","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"5382"}]},"conference":{"location":"Tallinn, Estonia","name":"FoSSaCS: Foundations of Software Science and Computation Structures","start_date":"2012-03-24","end_date":"2012-04-01"},"date_updated":"2023-02-23T12:23:46Z","_id":"3341","title":"Robustness of structurally equivalent concurrent parity games"},{"oa_version":"None","author":[{"orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Zamani, Reza","first_name":"Reza","last_name":"Zamani"},{"last_name":"Li","first_name":"Wenhua","full_name":"Li, Wenhua"},{"last_name":"Shavel","full_name":"Shavel, Alexey","first_name":"Alexey"},{"last_name":"Arbiol","first_name":"Jordi","full_name":"Arbiol, Jordi"},{"last_name":"Morante","first_name":"Joan","full_name":"Morante, Joan"},{"first_name":"Andreu","full_name":"Cabot, Andreu","last_name":"Cabot"}],"quality_controlled":"1","status":"public","citation":{"ama":"Ibáñez M, Zamani R, Li W, et al. Extending the nanocrystal synthesis control to quaternary compositions. <i>Crystal Growth and Design </i>. 2012;12(3):1085-1090. doi:<a href=\"https://doi.org/10.1021/cg201709c\">10.1021/cg201709c</a>","apa":"Ibáñez, M., Zamani, R., Li, W., Shavel, A., Arbiol, J., Morante, J., &#38; Cabot, A. (2012). Extending the nanocrystal synthesis control to quaternary compositions. <i>Crystal Growth and Design </i>. American Chemical Society (ACS). <a href=\"https://doi.org/10.1021/cg201709c\">https://doi.org/10.1021/cg201709c</a>","chicago":"Ibáñez, Maria, Reza Zamani, Wenhua Li, Alexey Shavel, Jordi Arbiol, Joan Morante, and Andreu Cabot. “Extending the Nanocrystal Synthesis Control to Quaternary Compositions.” <i>Crystal Growth and Design </i>. American Chemical Society (ACS), 2012. <a href=\"https://doi.org/10.1021/cg201709c\">https://doi.org/10.1021/cg201709c</a>.","ista":"Ibáñez M, Zamani R, Li W, Shavel A, Arbiol J, Morante J, Cabot A. 2012. Extending the nanocrystal synthesis control to quaternary compositions. Crystal Growth and Design . 12(3), 1085–1090.","ieee":"M. Ibáñez <i>et al.</i>, “Extending the nanocrystal synthesis control to quaternary compositions,” <i>Crystal Growth and Design </i>, vol. 12, no. 3. American Chemical Society (ACS), pp. 1085–1090, 2012.","mla":"Ibáñez, Maria, et al. “Extending the Nanocrystal Synthesis Control to Quaternary Compositions.” <i>Crystal Growth and Design </i>, vol. 12, no. 3, American Chemical Society (ACS), 2012, pp. 1085–90, doi:<a href=\"https://doi.org/10.1021/cg201709c\">10.1021/cg201709c</a>.","short":"M. Ibáñez, R. Zamani, W. Li, A. Shavel, J. Arbiol, J. Morante, A. Cabot, Crystal Growth and Design  12 (2012) 1085–1090."},"extern":"1","article_type":"original","doi":"10.1021/cg201709c","publication_status":"published","date_created":"2018-12-11T11:45:54Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":12,"abstract":[{"lang":"eng","text":"The ample chemical and structural freedom of quaternary compounds permits engineering materials that fulfill the requirements of a wide variety of applications. In this work, the mechanisms to achieve unprecedented size, shape, and composition control in quaternary nanocrystals are detailed. The described procedure allows obtaining tetrahedral and penta-tetrahedral quaternary nanocrystals with tuned size distributions and controlled compositions from a plethora of I 2-II-IV-VI 4 semiconductors."}],"language":[{"iso":"eng"}],"publist_id":"7488","day":"01","publisher":"American Chemical Society (ACS)","date_published":"2012-01-01T00:00:00Z","publication":"Crystal Growth and Design ","article_processing_charge":"No","title":"Extending the nanocrystal synthesis control to quaternary compositions","date_updated":"2021-01-12T07:43:05Z","_id":"338","type":"journal_article","intvolume":"        12","year":"2012","acknowledgement":"This work was supported by the Spanish MICINN Projects MAT2008-05779, MAT2008-03400-E/MAT, MAT2010-15138, ENE2008-03277-E/CON, CSD2009-00050, and CSD2009-00013. M.I. thanks the Spanish MICINN for her Ph.D. grant. J.A. and R.Z. also acknowledge Generalitat de Catalunya 2009-SGR-770 and XaRMAE. A.C. is grateful for financial support through the Ramon y Cajal program of the Spanish MICINN.\r\n\r\n","month":"01","page":"1085 - 1090","issue":"3"},{"article_type":"original","doi":"10.1021/cm2031812","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T11:45:54Z","volume":24,"oa_version":"None","author":[{"full_name":"Ibáñez, Maria","first_name":"Maria","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez"},{"last_name":"Cadavid","first_name":"Doris","full_name":"Cadavid, Doris"},{"last_name":"Zamani","first_name":"Reza","full_name":"Zamani, Reza"},{"last_name":"García Castelló","first_name":"Nuria","full_name":"García Castelló, Nuria"},{"first_name":"Victora","full_name":"Izquierdo Roca, Victora","last_name":"Izquierdo Roca"},{"first_name":"Wenhua","full_name":"Li, Wenhua","last_name":"Li"},{"last_name":"Fairbrother","full_name":"Fairbrother, Andrew","first_name":"Andrew"},{"last_name":"Prades","full_name":"Prades, Joan","first_name":"Joan"},{"last_name":"Shavel","full_name":"Shavel, Alexey","first_name":"Alexey"},{"last_name":"Arbiol","first_name":"Jordi","full_name":"Arbiol, Jordi"},{"last_name":"Pérez Rodríguez","full_name":"Pérez Rodríguez, Alejandro","first_name":"Alejandro"},{"last_name":"Morante","first_name":"Joan","full_name":"Morante, Joan"},{"full_name":"Cabot, Andreu","first_name":"Andreu","last_name":"Cabot"}],"status":"public","quality_controlled":"1","extern":"1","citation":{"ista":"Ibáñez M, Cadavid D, Zamani R, García Castelló N, Izquierdo Roca V, Li W, Fairbrother A, Prades J, Shavel A, Arbiol J, Pérez Rodríguez A, Morante J, Cabot A. 2012. Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4. Chemistry of Materials. 24(3), 562–570.","ieee":"M. Ibáñez <i>et al.</i>, “Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4,” <i>Chemistry of Materials</i>, vol. 24, no. 3. American Chemical Society, pp. 562–570, 2012.","short":"M. Ibáñez, D. Cadavid, R. Zamani, N. García Castelló, V. Izquierdo Roca, W. Li, A. Fairbrother, J. Prades, A. Shavel, J. Arbiol, A. Pérez Rodríguez, J. Morante, A. Cabot, Chemistry of Materials 24 (2012) 562–570.","mla":"Ibáñez, Maria, et al. “Composition Control and Thermoelectric Properties of Quaternary Chalcogenide Nanocrystals: The Case of Stannite Cu2CdSnSe4.” <i>Chemistry of Materials</i>, vol. 24, no. 3, American Chemical Society, 2012, pp. 562–70, doi:<a href=\"https://doi.org/10.1021/cm2031812\">10.1021/cm2031812</a>.","ama":"Ibáñez M, Cadavid D, Zamani R, et al. Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4. <i>Chemistry of Materials</i>. 2012;24(3):562-570. doi:<a href=\"https://doi.org/10.1021/cm2031812\">10.1021/cm2031812</a>","apa":"Ibáñez, M., Cadavid, D., Zamani, R., García Castelló, N., Izquierdo Roca, V., Li, W., … Cabot, A. (2012). Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4. <i>Chemistry of Materials</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/cm2031812\">https://doi.org/10.1021/cm2031812</a>","chicago":"Ibáñez, Maria, Doris Cadavid, Reza Zamani, Nuria García Castelló, Victora Izquierdo Roca, Wenhua Li, Andrew Fairbrother, et al. “Composition Control and Thermoelectric Properties of Quaternary Chalcogenide Nanocrystals: The Case of Stannite Cu2CdSnSe4.” <i>Chemistry of Materials</i>. American Chemical Society, 2012. <a href=\"https://doi.org/10.1021/cm2031812\">https://doi.org/10.1021/cm2031812</a>."},"publisher":"American Chemical Society","day":"31","date_published":"2012-01-31T00:00:00Z","publication":"Chemistry of Materials","abstract":[{"text":"A high-yield and upscalable colloidal synthesis route for the production of quaternary I 2-II-IV-VI 4 nanocrystals, particularly stannite Cu 2+xCd 1-xSnSe 4, with narrow size distribution and precisely controlled composition is presented. It is also shown here how the diversity of valences in the constituent elements allows an effective control of their electrical conductivity through the adjustment of the cation ratios. At the same time, while the crystallographic complexity of quaternary chalcogenides is associated with intrinsically low thermal conductivities, the reduction of the lattice dimensions to the nanoscale further reduces the materials thermal conductivity. In the specific case of the stannite crystal structure, a convenient slab distribution of the valence band maximum states permits a partial decoupling of the p-type electrical conductivity from both the Seebeck coefficient and the thermal conductivity. Combining these features, we demonstrate how an initial optimization of the nanocrystals Cd/Cu ratio allowed us to obtain low-temperature solution-processed materials with ZT values up to 0.71 at 685 K.","lang":"eng"}],"language":[{"iso":"eng"}],"publist_id":"7489","date_updated":"2021-01-12T07:43:09Z","_id":"339","type":"journal_article","title":"Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4","article_processing_charge":"No","page":"562 - 570","issue":"3","intvolume":"        24","year":"2012","acknowledgement":"This work was supported by the Spanish MICINN Projects MAT2008-05779, MAT2008-03400-E/MAT, MAT2010-15138, ENE2008-03277-E/CON, CSD2009-00050. and CSD2009-00013. M.I. and N.G.-C. thank the Spanish MICINN for the PhD grant. J.A. and R.Z. also acknowledge Generalitat de Catalunya 2009-SGR-770 and XaRMAE. A.C. is thankful for financial support through the Ramon y Cajal program of the Spanish MICINN. N.G.-C. and J.D.P. are thankful for the computer resources, technical expertise and assistance provided by the Barcelona Supercomputing Center - Centro Nacional de Supercomputación.","month":"01"},{"acknowledgement":"This work was supported by the Spanish MICINN Projects MAT2008-05779, MAT2008-03400-E/MAT, CDS2009-00050, CSD2009-00013, and ENE2008-03277-E/CON. M.I. thanks the Spanish MICINN for her Ph.D. grant. A.C. is thankful for financial support through the Ramón y Cajal Program.","year":"2012","intvolume":"       134","month":"01","page":"1438 - 1441","issue":"3","article_processing_charge":"No","title":"Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor","date_updated":"2021-01-12T07:43:13Z","_id":"340","type":"journal_article","abstract":[{"lang":"eng","text":"A procedure for the continuous production of Cu 2ZnSnS 4 (CZTS) nanoparticles with controlled composition is presented. CZTS nanoparticles were prepared through the reaction of the metals' amino complexes with elemental sulfur in a continuous-flow reactor at moderate temperatures (300-330 °C). High-resolution transmission electron microscopy and X-ray diffraction analysis showed the nanocrystals to have a crystallographic structure compatible with that of the kesterite. Chemical characterization of the materials showed the presence of the four elements in each individual nanocrystal. Composition control was achieved by adjusting the solution flow rate through the reactor and the proper choice of the nominal precursor concentration within the flowing solution. Single-particle analysis revealed a composition distribution within each sample, which was optimized at the highest synthesis temperatures used. "}],"publist_id":"7490","language":[{"iso":"eng"}],"day":"02","publisher":"ACS","date_published":"2012-01-02T00:00:00Z","publication":"Journal of the American Chemical Society","oa_version":"None","author":[{"full_name":"Shavel, Alexey","first_name":"Alexey","last_name":"Shavel"},{"full_name":"Cadavid, Doris","first_name":"Doris","last_name":"Cadavid"},{"last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria"},{"first_name":"Alex","full_name":"Carrete, Alex","last_name":"Carrete"},{"first_name":"Andreu","full_name":"Cabot, Andreu","last_name":"Cabot"}],"status":"public","quality_controlled":"1","extern":"1","citation":{"apa":"Shavel, A., Cadavid, D., Ibáñez, M., Carrete, A., &#38; Cabot, A. (2012). Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal of the American Chemical Society</i>. ACS. <a href=\"https://doi.org/10.1021/ja209688a\">https://doi.org/10.1021/ja209688a</a>","chicago":"Shavel, Alexey, Doris Cadavid, Maria Ibáñez, Alex Carrete, and Andreu Cabot. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow Reactor.” <i>Journal of the American Chemical Society</i>. ACS, 2012. <a href=\"https://doi.org/10.1021/ja209688a\">https://doi.org/10.1021/ja209688a</a>.","ama":"Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal of the American Chemical Society</i>. 2012;134(3):1438-1441. doi:<a href=\"https://doi.org/10.1021/ja209688a\">10.1021/ja209688a</a>","mla":"Shavel, Alexey, et al. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow Reactor.” <i>Journal of the American Chemical Society</i>, vol. 134, no. 3, ACS, 2012, pp. 1438–41, doi:<a href=\"https://doi.org/10.1021/ja209688a\">10.1021/ja209688a</a>.","short":"A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.","ieee":"A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, and A. Cabot, “Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor,” <i>Journal of the American Chemical Society</i>, vol. 134, no. 3. ACS, pp. 1438–1441, 2012.","ista":"Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. 2012. Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the American Chemical Society. 134(3), 1438–1441."},"doi":"10.1021/ja209688a","article_type":"original","date_created":"2018-12-11T11:45:54Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":134},{"volume":14,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T11:45:56Z","publication_status":"published","article_type":"original","doi":"10.1007/s11051-012-1328-0","extern":"1","citation":{"ieee":"D. Cadavid <i>et al.</i>, “Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe,” <i>Journal of Nanoparticle Research</i>, vol. 14, no. 12. Kluwer, 2012.","ista":"Cadavid D, Ibáñez M, Gorsse S, López A, Cirera A, Morante J, Cabot A. 2012. Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe. Journal of Nanoparticle Research. 14(12).","short":"D. Cadavid, M. Ibáñez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot, Journal of Nanoparticle Research 14 (2012).","mla":"Cadavid, Doris, et al. “Bottom-up Processing of Thermoelectric Nanocomposites from Colloidal Nanocrystal Building Blocks: The Case of Ag2Te–PbTe.” <i>Journal of Nanoparticle Research</i>, vol. 14, no. 12, Kluwer, 2012, doi:<a href=\"https://doi.org/10.1007/s11051-012-1328-0\">10.1007/s11051-012-1328-0</a>.","ama":"Cadavid D, Ibáñez M, Gorsse S, et al. Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe. <i>Journal of Nanoparticle Research</i>. 2012;14(12). doi:<a href=\"https://doi.org/10.1007/s11051-012-1328-0\">10.1007/s11051-012-1328-0</a>","apa":"Cadavid, D., Ibáñez, M., Gorsse, S., López, A., Cirera, A., Morante, J., &#38; Cabot, A. (2012). Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe. <i>Journal of Nanoparticle Research</i>. Kluwer. <a href=\"https://doi.org/10.1007/s11051-012-1328-0\">https://doi.org/10.1007/s11051-012-1328-0</a>","chicago":"Cadavid, Doris, Maria Ibáñez, Stéphane Gorsse, Antonio López, Albert Cirera, Joan Morante, and Andreu Cabot. “Bottom-up Processing of Thermoelectric Nanocomposites from Colloidal Nanocrystal Building Blocks: The Case of Ag2Te–PbTe.” <i>Journal of Nanoparticle Research</i>. Kluwer, 2012. <a href=\"https://doi.org/10.1007/s11051-012-1328-0\">https://doi.org/10.1007/s11051-012-1328-0</a>."},"quality_controlled":"1","status":"public","author":[{"full_name":"Cadavid, Doris","first_name":"Doris","last_name":"Cadavid"},{"first_name":"Maria","full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez"},{"full_name":"Gorsse, Stéphane","first_name":"Stéphane","last_name":"Gorsse"},{"last_name":"López","full_name":"López, Antonio","first_name":"Antonio"},{"first_name":"Albert","full_name":"Cirera, Albert","last_name":"Cirera"},{"full_name":"Morante, Joan","first_name":"Joan","last_name":"Morante"},{"last_name":"Cabot","full_name":"Cabot, Andreu","first_name":"Andreu"}],"oa_version":"None","publication":"Journal of Nanoparticle Research","date_published":"2012-12-01T00:00:00Z","publisher":"Kluwer","day":"01","language":[{"iso":"eng"}],"publist_id":"7485","abstract":[{"text":"Nanocomposites are highly promising materials to enhance the efficiency of current thermoelectric devices. A straightforward and at the same time highly versatile and controllable approach to produce nanocomposites is the assembly of solution-processed nanocrystal building blocks. The convenience of this bottom-up approach to produce nanocomposites with homogeneous phase distributions and adjustable composition is demonstrated here by blending Ag2Te and PbTe colloidal nanocrystals to form Ag2Te–PbTe bulk nanocomposites. The thermoelectric properties of these nanocomposites are analyzed in the temperature range from 300 to 700 K. The evolution of their electrical conductivity and Seebeck coefficient is discussed in terms of the blend composition and the characteristics of the constituent materials. ","lang":"eng"}],"type":"journal_article","_id":"345","date_updated":"2021-01-12T07:43:32Z","title":"Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe","article_processing_charge":"No","issue":"12","month":"12","intvolume":"        14","acknowledgement":"Acknowledgments The research was supported by the European Regional Development Funds and the Spanish MICINN Projects MAT2008-05779, MAT2008-03400-E/MAT, MAT2010-15138, MAT2010-21510, CSD2009-00050, and ENE2008-03277-E/CON. M.I. is grateful to the Spanish MIC-INN for her PhD grant. A. Cirera acknowledges support from ICREA Academia program. A. Cabot is grateful to the Spanish MICINN for financial support through the Ramón y Cajal program.","year":"2012"},{"publist_id":"7486","language":[{"iso":"eng"}],"abstract":[{"text":"Arrays of vertically aligned ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires (NWs) were prepared by means of the combination of two solution-growth processes. First, single-crystal ZnO NWs with controlled n-type doping were grown on conducting substrates by a low-cost, high-yield and seed-free electrochemical route. These NWs were covered by a titanium oxide shell of tunable thickness mediating successive adsorption-hydrolysis-condensation steps. Using this atomic-layer growth procedure, titania shells with controlled thickness and the anatase TiO2 phase were obtained after sintering at 450 °C. Higher sintering temperatures resulted in the formation of ZnO : Cl/ZnxTiOy/TiO2 core–shell NWs by the interdiffusion of Zn and Ti ions at the ZnO–TiO2 interface. The performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell NWs towards photoelectrochemical (PEC) water splitting was investigated as a function of the titania shell thickness. Furthermore, the performance of such core–shell NWs as photoelectrodes in dye-sensitized solar cells was also characterized. The TiO2 presence at the ZnO : Cl surface promoted a two-fold increase on the produced photocurrent densities, probing their potential for PEC and optoelectronic applications. Electrochemical impedance spectroscopy was used to corroborate the lower resistance for charge transfer between the NWs and the electrolyte in the presence of the TiO2 shell.","lang":"eng"}],"publication":"Journal of Physics D: Applied Physics","date_published":"2012-10-17T00:00:00Z","day":"17","publisher":"IOP Publishing Ltd.","extern":"1","citation":{"ieee":"J. Fan <i>et al.</i>, “Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness,” <i>Journal of Physics D: Applied Physics</i>, vol. 45, no. 41. IOP Publishing Ltd., 2012.","ista":"Fan J, Zamani R, Fábrega C, Shavel A, Flox C, Ibáñez M, Andreu T, López A, Arbiol J, Morante J, Cabot A. 2012. Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness. Journal of Physics D: Applied Physics. 45(41).","short":"J. Fan, R. Zamani, C. Fábrega, A. Shavel, C. Flox, M. Ibáñez, T. Andreu, A. López, J. Arbiol, J. Morante, A. Cabot, Journal of Physics D: Applied Physics 45 (2012).","mla":"Fan, Jiandong, et al. “Solution-Growth and Optoelectronic Performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 Core–Shell Nanowires with Tunable Shell Thickness.” <i>Journal of Physics D: Applied Physics</i>, vol. 45, no. 41, IOP Publishing Ltd., 2012, doi:<a href=\"https://doi.org/10.1088/0022-3727/45/41/415301\">10.1088/0022-3727/45/41/415301</a>.","ama":"Fan J, Zamani R, Fábrega C, et al. Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness. <i>Journal of Physics D: Applied Physics</i>. 2012;45(41). doi:<a href=\"https://doi.org/10.1088/0022-3727/45/41/415301\">10.1088/0022-3727/45/41/415301</a>","apa":"Fan, J., Zamani, R., Fábrega, C., Shavel, A., Flox, C., Ibáñez, M., … Cabot, A. (2012). Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness. <i>Journal of Physics D: Applied Physics</i>. IOP Publishing Ltd. <a href=\"https://doi.org/10.1088/0022-3727/45/41/415301\">https://doi.org/10.1088/0022-3727/45/41/415301</a>","chicago":"Fan, Jiandong, Reza Zamani, Cristina Fábrega, Alexey Shavel, Cristina Flox, Maria Ibáñez, Teresa Andreu, et al. “Solution-Growth and Optoelectronic Performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 Core–Shell Nanowires with Tunable Shell Thickness.” <i>Journal of Physics D: Applied Physics</i>. IOP Publishing Ltd., 2012. <a href=\"https://doi.org/10.1088/0022-3727/45/41/415301\">https://doi.org/10.1088/0022-3727/45/41/415301</a>."},"quality_controlled":"1","status":"public","author":[{"full_name":"Fan, Jiandong","first_name":"Jiandong","last_name":"Fan"},{"full_name":"Zamani, Reza","first_name":"Reza","last_name":"Zamani"},{"first_name":"Cristina","full_name":"Fábrega, Cristina","last_name":"Fábrega"},{"first_name":"Alexey","full_name":"Shavel, Alexey","last_name":"Shavel"},{"first_name":"Cristina","full_name":"Flox, Cristina","last_name":"Flox"},{"last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria"},{"full_name":"Andreu, Teresa","first_name":"Teresa","last_name":"Andreu"},{"last_name":"López","full_name":"López, Amtonio","first_name":"Amtonio"},{"last_name":"Arbiol","first_name":"Jordi","full_name":"Arbiol, Jordi"},{"full_name":"Morante, Joan","first_name":"Joan","last_name":"Morante"},{"first_name":"Andreu","full_name":"Cabot, Andreu","last_name":"Cabot"}],"oa_version":"None","volume":45,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_created":"2018-12-11T11:45:56Z","article_type":"original","doi":"10.1088/0022-3727/45/41/415301","month":"10","acknowledgement":"The research was supported by the European Regional Development Funds and the Spanish MICINN projects MAT2010-15138, MAT2010-21510 and CSD2009-00050. JF and AS thank the FI-DGR and BP grants from the Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) from the Catalan Government. MI and AC thank the Spanish MICINN for the PhD grant and the financial support through the Ramóny Cajal program.","intvolume":"        45","year":"2012","issue":"41","article_processing_charge":"No","title":"Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness","type":"journal_article","_id":"346","date_updated":"2021-01-12T07:43:36Z"},{"title":"Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties","article_processing_charge":"No","_id":"347","date_updated":"2021-01-12T07:43:40Z","acknowledgement":"This work was supported by the Spanish MICINN Projects MAT2008-05779, MAT2008-03400-E/MAT, MAT2010-15138, ENE2008-03277-E/CON, CSD2009-00050, and CSD2009-00013. M.I. thanks the Spanish MICINN for her Ph.D. Grant. J.A. and R.Z. also acknowledge Generalitat de Catalunya 2009-SGR-770 and XaRMAE. A.C. is thankful for financial support through the Ramon y Cajal Program of the Spanish MICINN.","year":"2012","oa":1,"extern":"1","author":[{"orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Zamani","full_name":"Zamani, Reza","first_name":"Reza"},{"last_name":"Lalonde","first_name":"Aaron","full_name":"Lalonde, Aaron"},{"full_name":"Cadavid, Doris","first_name":"Doris","last_name":"Cadavid"},{"first_name":"Wenhua","full_name":"Li, Wenhua","last_name":"Li"},{"last_name":"Shavel","full_name":"Shavel, Alexey","first_name":"Alexey"},{"last_name":"Arbiol","full_name":"Arbiol, Jordi","first_name":"Jordi"},{"first_name":"Joan","full_name":"Morante, Joan","last_name":"Morante"},{"full_name":"Gorsse, Stéphane","first_name":"Stéphane","last_name":"Gorsse"},{"first_name":"G Jeffrey","full_name":"Snyder, G Jeffrey","last_name":"Snyder"},{"first_name":"Andreu","full_name":"Cabot, Andreu","last_name":"Cabot"}],"status":"public","oa_version":"None","volume":134,"date_created":"2018-12-11T11:45:57Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1021/ja211952z","date_published":"2012-03-07T00:00:00Z","day":"07","main_file_link":[{"url":"https://authors.library.caltech.edu/30261/","open_access":"1"}],"type":"journal_article","month":"03","intvolume":"       134","issue":"9","page":"4060 - 4063","citation":{"ieee":"M. Ibáñez <i>et al.</i>, “Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties,” <i>Journal of the American Chemical Society</i>, vol. 134, no. 9. ACS, pp. 4060–4063, 2012.","ista":"Ibáñez M, Zamani R, Lalonde A, Cadavid D, Li W, Shavel A, Arbiol J, Morante J, Gorsse S, Snyder GJ, Cabot A. 2012. Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties. Journal of the American Chemical Society. 134(9), 4060–4063.","mla":"Ibáñez, Maria, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric Properties.” <i>Journal of the American Chemical Society</i>, vol. 134, no. 9, ACS, 2012, pp. 4060–63, doi:<a href=\"https://doi.org/10.1021/ja211952z\">10.1021/ja211952z</a>.","short":"M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol, J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical Society 134 (2012) 4060–4063.","ama":"Ibáñez M, Zamani R, Lalonde A, et al. Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties. <i>Journal of the American Chemical Society</i>. 2012;134(9):4060-4063. doi:<a href=\"https://doi.org/10.1021/ja211952z\">10.1021/ja211952z</a>","chicago":"Ibáñez, Maria, Reza Zamani, Aaron Lalonde, Doris Cadavid, Wenhua Li, Alexey Shavel, Jordi Arbiol, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric Properties.” <i>Journal of the American Chemical Society</i>. ACS, 2012. <a href=\"https://doi.org/10.1021/ja211952z\">https://doi.org/10.1021/ja211952z</a>.","apa":"Ibáñez, M., Zamani, R., Lalonde, A., Cadavid, D., Li, W., Shavel, A., … Cabot, A. (2012). Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties. <i>Journal of the American Chemical Society</i>. ACS. <a href=\"https://doi.org/10.1021/ja211952z\">https://doi.org/10.1021/ja211952z</a>"},"quality_controlled":"1","publication_status":"published","article_type":"original","language":[{"iso":"eng"}],"publist_id":"7487","abstract":[{"text":"A synthetic route for producing Cu 2ZnGeSe 4 nanocrystals with narrow size distributions and controlled composition is presented. These nanocrystals were used to produce densely packed nanomaterials by hot-pressing. From the characterization of the thermoelectric properties of these nanomaterials, Cu 2ZnGeSe 4 is demonstrated to show excellent thermoelectric properties. A very preliminary adjustment of the nanocrystal composition has already resulted in a figure of merit of up to 0.55 at 450°C. ","lang":"eng"}],"publication":"Journal of the American Chemical Society","publisher":"ACS"},{"type":"journal_article","_id":"377","date_updated":"2021-01-12T07:52:04Z","title":"Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials","article_processing_charge":"No","page":"4615 - 4622","issue":"23","intvolume":"        24","year":"2012","month":"11","doi":"10.1021/cm303252q","volume":24,"date_created":"2018-12-11T11:46:07Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","citation":{"ama":"Ibáñez M, Zamani R, Li W, et al. Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials. <i>Chemistry of Materials</i>. 2012;24(23):4615-4622. doi:<a href=\"https://doi.org/10.1021/cm303252q\">10.1021/cm303252q</a>","apa":"Ibáñez, M., Zamani, R., Li, W., Cadavid, D., Gorse, S., Katchoi, N., … Cabot, A. (2012). Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials. <i>Chemistry of Materials</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/cm303252q\">https://doi.org/10.1021/cm303252q</a>","chicago":"Ibáñez, Maria, Reza Zamani, Wenhua Li, Doris Cadavid, Stéphane Gorse, Nebll Katchoi, Alexey Shavel, et al. “Crystallographic Control at the Nanoscale to Enhance Functionality: Polytypic Cu2GeSe3 Nanoparticles as Thermoelectric Materials.” <i>Chemistry of Materials</i>. American Chemical Society, 2012. <a href=\"https://doi.org/10.1021/cm303252q\">https://doi.org/10.1021/cm303252q</a>.","ieee":"M. Ibáñez <i>et al.</i>, “Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials,” <i>Chemistry of Materials</i>, vol. 24, no. 23. American Chemical Society, pp. 4615–4622, 2012.","ista":"Ibáñez M, Zamani R, Li W, Cadavid D, Gorse S, Katchoi N, Shavel A, López A, Morante J, Arbiol J, Cabot A. 2012. Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials. Chemistry of Materials. 24(23), 4615–4622.","short":"M. Ibáñez, R. Zamani, W. Li, D. Cadavid, S. Gorse, N. Katchoi, A. Shavel, A. López, J. Morante, J. Arbiol, A. Cabot, Chemistry of Materials 24 (2012) 4615–4622.","mla":"Ibáñez, Maria, et al. “Crystallographic Control at the Nanoscale to Enhance Functionality: Polytypic Cu2GeSe3 Nanoparticles as Thermoelectric Materials.” <i>Chemistry of Materials</i>, vol. 24, no. 23, American Chemical Society, 2012, pp. 4615–22, doi:<a href=\"https://doi.org/10.1021/cm303252q\">10.1021/cm303252q</a>."},"extern":"1","author":[{"orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Zamani","full_name":"Zamani, Reza","first_name":"Reza"},{"last_name":"Li","full_name":"Li, Wenhua","first_name":"Wenhua"},{"first_name":"Doris","full_name":"Cadavid, Doris","last_name":"Cadavid"},{"first_name":"Stéphane","full_name":"Gorse, Stéphane","last_name":"Gorse"},{"full_name":"Katchoi, Nebll","first_name":"Nebll","last_name":"Katchoi"},{"full_name":"Shavel, Alexey","first_name":"Alexey","last_name":"Shavel"},{"last_name":"López","first_name":"Antonioo","full_name":"López, Antonioo"},{"first_name":"Joan","full_name":"Morante, Joan","last_name":"Morante"},{"last_name":"Arbiol","full_name":"Arbiol, Jordi","first_name":"Jordi"},{"first_name":"Andreu","full_name":"Cabot, Andreu","last_name":"Cabot"}],"status":"public","day":"14","publisher":"American Chemical Society","publication":"Chemistry of Materials","date_published":"2012-11-14T00:00:00Z","abstract":[{"lang":"eng","text":"The potential to control the composition and crystal phase at the nanometer scale enable the production of nanocrystalline materials with enhanced functionalities and new applications. In the present work, we detail a novel colloidal synthesis route to prepare nanoparticles of the ternary semiconductor Cu2GeSe3 (CGSe) with nanometer-scale control over their crystal phases. We also demonstrate the structural effect on the thermoelectric properties of bottom-up-prepared CGSe nanomaterials. By careful adjustment of the nucleation and growth temperatures, pure orthorhombic CGSe nanoparticles with cationic order or polytypic CGSe nanoparticles with disordered cation positions can be produced. In this second type of nanoparticle, a high density of twins can be created to periodically change the atomic plane stacking, forming a hexagonal wurtzite CGSe phase. The high yield of the synthetic routes reported here allows the production of single-phase and multiphase CGSe nanoparticles in the gram scale, which permits characterization of the thermoelectric properties of these materials. Reduced thermal conductivities and a related 2.5-fold increase of the thermoelectric figure of merit for multiphase nanomaterials compared to pure-phase CGSe are systematically obtained. These results are discussed in terms of the density and efficiency of phonon scattering centers in both types of materials."}],"language":[{"iso":"eng"}],"publist_id":"7452"},{"department":[{"_id":"ToHe"}],"publist_id":"2370","language":[{"iso":"eng"}],"abstract":[{"text":"Hierarchical Timing Language (HTL) is a coordination language for distributed, hard real-time applications. HTL is a hierarchical extension of Giotto and, like its predecessor, based on the logical execution time (LET) paradigm of real-time programming. Giotto is compiled into code for a virtual machine, called the EmbeddedMachine (or E machine). If HTL is targeted to the E machine, then the hierarchicalprogram structure needs to be flattened; the flattening makes separatecompilation difficult, and may result in E machinecode of exponential size. In this paper, we propose a generalization of the E machine, which supports a hierarchicalprogram structure at runtime through real-time trigger mechanisms that are arranged in a tree. We present the generalized E machine, and a modular compiler for HTL that generates code of linear size. The compiler may generate code for any part of a given HTL program separately in any order.","lang":"eng"}],"publication":"Science of Computer Programming","scopus_import":1,"date_published":"2012-02-01T00:00:00Z","day":"01","publisher":"Elsevier","citation":{"ieee":"A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code,” <i>Science of Computer Programming</i>, vol. 77, no. 2. Elsevier, pp. 96–112, 2012.","ista":"Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. 2012. Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Science of Computer Programming. 77(2), 96–112.","mla":"Ghosal, Arkadeb, et al. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.” <i>Science of Computer Programming</i>, vol. 77, no. 2, Elsevier, 2012, pp. 96–112, doi:<a href=\"https://doi.org/10.1016/j.scico.2010.06.004\">10.1016/j.scico.2010.06.004</a>.","short":"A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.","ama":"Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. <i>Science of Computer Programming</i>. 2012;77(2):96-112. doi:<a href=\"https://doi.org/10.1016/j.scico.2010.06.004\">10.1016/j.scico.2010.06.004</a>","chicago":"Ghosal, Arkadeb, Daniel Iercan, Christoph Kirsch, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.” <i>Science of Computer Programming</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.scico.2010.06.004\">https://doi.org/10.1016/j.scico.2010.06.004</a>.","apa":"Ghosal, A., Iercan, D., Kirsch, C., Henzinger, T. A., &#38; Sangiovanni Vincentelli, A. (2012). Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. <i>Science of Computer Programming</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.scico.2010.06.004\">https://doi.org/10.1016/j.scico.2010.06.004</a>"},"author":[{"last_name":"Ghosal","full_name":"Ghosal, Arkadeb","first_name":"Arkadeb"},{"last_name":"Iercan","first_name":"Daniel","full_name":"Iercan, Daniel"},{"first_name":"Christoph","full_name":"Kirsch, Christoph","last_name":"Kirsch"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"last_name":"Sangiovanni Vincentelli","full_name":"Sangiovanni Vincentelli, Alberto","first_name":"Alberto"}],"quality_controlled":"1","status":"public","oa_version":"None","volume":77,"publication_status":"published","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T12:05:26Z","doi":"10.1016/j.scico.2010.06.004","month":"02","intvolume":"        77","year":"2012","issue":"2","page":"96 - 112","title":"Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code","type":"journal_article","_id":"3836","date_updated":"2021-01-12T07:52:32Z"},{"doi":"10.1016/j.jcss.2011.05.002","date_created":"2018-12-11T12:05:29Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":78,"oa_version":"Submitted Version","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"}],"status":"public","day":"02","date_published":"2012-03-02T00:00:00Z","date_updated":"2022-05-24T08:00:54Z","_id":"3846","article_processing_charge":"No","title":"A survey of stochastic ω regular games","oa":1,"acknowledgement":"This research was supported in part by the ONR grant N00014-02-1-0671, by the AFOSR MURI grant F49620-00-1-0327, and by the NSF grants CCR-9988172, CCR-0085949, and CCR-0225610.","year":"2012","has_accepted_license":"1","article_type":"original","publication_status":"published","quality_controlled":"1","citation":{"short":"K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.","mla":"Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω Regular Games.” <i>Journal of Computer and System Sciences</i>, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:<a href=\"https://doi.org/10.1016/j.jcss.2011.05.002\">10.1016/j.jcss.2011.05.002</a>.","ista":"Chatterjee K, Henzinger TA. 2012. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 78(2), 394–413.","ieee":"K. Chatterjee and T. A. Henzinger, “A survey of stochastic ω regular games,” <i>Journal of Computer and System Sciences</i>, vol. 78, no. 2. Elsevier, pp. 394–413, 2012.","apa":"Chatterjee, K., &#38; Henzinger, T. A. (2012). A survey of stochastic ω regular games. <i>Journal of Computer and System Sciences</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jcss.2011.05.002\">https://doi.org/10.1016/j.jcss.2011.05.002</a>","chicago":"Chatterjee, Krishnendu, and Thomas A Henzinger. “A Survey of Stochastic ω Regular Games.” <i>Journal of Computer and System Sciences</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.jcss.2011.05.002\">https://doi.org/10.1016/j.jcss.2011.05.002</a>.","ama":"Chatterjee K, Henzinger TA. A survey of stochastic ω regular games. <i>Journal of Computer and System Sciences</i>. 2012;78(2):394-413. doi:<a href=\"https://doi.org/10.1016/j.jcss.2011.05.002\">10.1016/j.jcss.2011.05.002</a>"},"publisher":"Elsevier","file_date_updated":"2020-07-14T12:46:17Z","publication":"Journal of Computer and System Sciences","file":[{"access_level":"open_access","creator":"kschuh","checksum":"241b939deb4517cdd4426d49c67e3fa2","content_type":"application/pdf","file_id":"5897","relation":"main_file","date_updated":"2020-07-14T12:46:17Z","file_name":"a_survey_of_stochastic_omega-regular_games.pdf","file_size":336450,"date_created":"2019-01-29T10:54:28Z"}],"scopus_import":"1","abstract":[{"lang":"eng","text":"We summarize classical and recent results about two-player games played on graphs with ω-regular objectives. These games have applications in the verification and synthesis of reactive systems. Important distinctions are whether a graph game is turn-based or concurrent; deterministic or stochastic; zero-sum or not. We cluster known results and open problems according to these classifications."}],"publist_id":"2341","language":[{"iso":"eng"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"ddc":["000"],"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.jcss.2011.05.002"}],"page":"394 - 413","issue":"2","intvolume":"        78","month":"03"},{"status":"public","author":[{"full_name":"Alpichshev, Zhanybek","first_name":"Zhanybek","orcid":"0000-0002-7183-5203","id":"45E67A2A-F248-11E8-B48F-1D18A9856A87","last_name":"Alpichshev"},{"full_name":"Biswas, Rudro","first_name":"Rudro","last_name":"Biswas"},{"full_name":"Balatsky, Alexander","first_name":"Alexander","last_name":"Balatsky"},{"last_name":"Analytis","first_name":"James","full_name":"Analytis, James"},{"last_name":"Chu","full_name":"Chu, Jiunhaw","first_name":"Jiunhaw"},{"last_name":"Fisher","full_name":"Fisher, Ian","first_name":"Ian"},{"full_name":"Kapitulnik, Aharon","first_name":"Aharon","last_name":"Kapitulnik"}],"citation":{"apa":"Alpichshev, Z., Biswas, R., Balatsky, A., Analytis, J., Chu, J., Fisher, I., &#38; Kapitulnik, A. (2012). STM imaging of impurity resonances on Bi 2Se 3. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.108.206402\">https://doi.org/10.1103/PhysRevLett.108.206402</a>","chicago":"Alpichshev, Zhanybek, Rudro Biswas, Alexander Balatsky, James Analytis, Jiunhaw Chu, Ian Fisher, and Aharon Kapitulnik. “STM Imaging of Impurity Resonances on Bi 2Se 3.” <i>Physical Review Letters</i>. American Physical Society, 2012. <a href=\"https://doi.org/10.1103/PhysRevLett.108.206402\">https://doi.org/10.1103/PhysRevLett.108.206402</a>.","ama":"Alpichshev Z, Biswas R, Balatsky A, et al. STM imaging of impurity resonances on Bi 2Se 3. <i>Physical Review Letters</i>. 2012;108(20). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.108.206402\">10.1103/PhysRevLett.108.206402</a>","mla":"Alpichshev, Zhanybek, et al. “STM Imaging of Impurity Resonances on Bi 2Se 3.” <i>Physical Review Letters</i>, vol. 108, no. 20, American Physical Society, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.108.206402\">10.1103/PhysRevLett.108.206402</a>.","short":"Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).","ista":"Alpichshev Z, Biswas R, Balatsky A, Analytis J, Chu J, Fisher I, Kapitulnik A. 2012. STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. 108(20).","ieee":"Z. Alpichshev <i>et al.</i>, “STM imaging of impurity resonances on Bi 2Se 3,” <i>Physical Review Letters</i>, vol. 108, no. 20. American Physical Society, 2012."},"extern":"1","oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_created":"2018-12-11T11:46:11Z","volume":108,"doi":"10.1103/PhysRevLett.108.206402","language":[{"iso":"eng"}],"publist_id":"7442","abstract":[{"lang":"eng","text":"In this Letter we present detailed study of the density of states near defects in Bi 2Se 3. In particular, we present data on the commonly found triangular defects in this system. While we do not find any measurable quasiparticle scattering interference effects, we do find localized resonances, which can be well fitted by theory once the potential is taken to be extended to properly account for the observed defects. The data together with the fits confirm that while the local density of states around the Dirac point of the electronic spectrum at the surface is significantly disrupted near the impurity by the creation of low-energy resonance state, the Dirac point is not locally destroyed. We discuss our results in terms of the expected protected surface state of topological insulators. © 2012 American Physical Society."}],"date_published":"2012-01-01T00:00:00Z","publication":"Physical Review Letters","day":"01","publisher":"American Physical Society","title":"STM imaging of impurity resonances on Bi 2Se 3","main_file_link":[{"url":"https://arxiv.org/abs/1108.0022","open_access":"1"}],"date_updated":"2021-01-12T07:52:49Z","type":"journal_article","_id":"387","month":"01","year":"2012","intvolume":"       108","issue":"20","oa":1},{"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)"},"status":"public","author":[{"first_name":"Taras","full_name":"Galkovskyi, Taras","last_name":"Galkovskyi"},{"full_name":"Mileyko, Yuriy","first_name":"Yuriy","last_name":"Mileyko"},{"last_name":"Bucksch","full_name":"Bucksch, Alexander","first_name":"Alexander"},{"first_name":"Brad","full_name":"Moore, Brad","last_name":"Moore"},{"last_name":"Symonova","id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87","first_name":"Olga","full_name":"Symonova, Olga"},{"last_name":"Price","first_name":"Charles","full_name":"Price, Charles"},{"last_name":"Topp","full_name":"Topp, Chrostopher","first_name":"Chrostopher"},{"first_name":"Anjali","full_name":"Iyer Pascuzzi, Anjali","last_name":"Iyer Pascuzzi"},{"last_name":"Zurek","full_name":"Zurek, Paul","first_name":"Paul"},{"last_name":"Fang","full_name":"Fang, Suqin","first_name":"Suqin"},{"first_name":"John","full_name":"Harer, John","last_name":"Harer"},{"last_name":"Benfey","first_name":"Philip","full_name":"Benfey, Philip"},{"full_name":"Weitz, Joshua","first_name":"Joshua","last_name":"Weitz"}],"extern":"1","oa_version":"Published Version","date_created":"2018-12-11T11:46:46Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","volume":12,"doi":"10.1186/1471-2229-12-116","date_published":"2012-07-26T00:00:00Z","day":"26","article_processing_charge":"No","title":"GiA Roots: Software for the high throughput analysis of plant root system architecture","date_updated":"2022-08-25T14:59:17Z","_id":"492","has_accepted_license":"1","year":"2012","oa":1,"quality_controlled":"1","citation":{"mla":"Galkovskyi, Taras, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” <i>BMC Plant Biology</i>, vol. 12, 116, BioMed Central, 2012, doi:<a href=\"https://doi.org/10.1186/1471-2229-12-116\">10.1186/1471-2229-12-116</a>.","short":"T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).","ista":"Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C, Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 12, 116.","ieee":"T. Galkovskyi <i>et al.</i>, “GiA Roots: Software for the high throughput analysis of plant root system architecture,” <i>BMC Plant Biology</i>, vol. 12. BioMed Central, 2012.","chicago":"Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” <i>BMC Plant Biology</i>. BioMed Central, 2012. <a href=\"https://doi.org/10.1186/1471-2229-12-116\">https://doi.org/10.1186/1471-2229-12-116</a>.","apa":"Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price, C., … Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of plant root system architecture. <i>BMC Plant Biology</i>. BioMed Central. <a href=\"https://doi.org/10.1186/1471-2229-12-116\">https://doi.org/10.1186/1471-2229-12-116</a>","ama":"Galkovskyi T, Mileyko Y, Bucksch A, et al. GiA Roots: Software for the high throughput analysis of plant root system architecture. <i>BMC Plant Biology</i>. 2012;12. doi:<a href=\"https://doi.org/10.1186/1471-2229-12-116\">10.1186/1471-2229-12-116</a>"},"publication_status":"published","publist_id":"7328","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Background: Characterizing root system architecture (RSA) is essential to understanding the development and function of vascular plants. Identifying RSA-associated genes also represents an underexplored opportunity for crop improvement. Software tools are needed to accelerate the pace at which quantitative traits of RSA are estimated from images of root networks.Results: We have developed GiA Roots (General Image Analysis of Roots), a semi-automated software tool designed specifically for the high-throughput analysis of root system images. GiA Roots includes user-assisted algorithms to distinguish root from background and a fully automated pipeline that extracts dozens of root system phenotypes. Quantitative information on each phenotype, along with intermediate steps for full reproducibility, is returned to the end-user for downstream analysis. GiA Roots has a GUI front end and a command-line interface for interweaving the software into large-scale workflows. GiA Roots can also be extended to estimate novel phenotypes specified by the end-user.Conclusions: We demonstrate the use of GiA Roots on a set of 2393 images of rice roots representing 12 genotypes from the species Oryza sativa. We validate trait measurements against prior analyses of this image set that demonstrated that RSA traits are likely heritable and associated with genotypic differences. Moreover, we demonstrate that GiA Roots is extensible and an end-user can add functionality so that GiA Roots can estimate novel RSA traits. In summary, we show that the software can function as an efficient tool as part of a workflow to move from large numbers of root images to downstream analysis."}],"file_date_updated":"2020-07-14T12:46:35Z","publication":"BMC Plant Biology","file":[{"relation":"main_file","date_created":"2018-12-12T10:12:35Z","file_size":1691436,"date_updated":"2020-07-14T12:46:35Z","file_name":"IST-2018-946-v1+1_2012_Symonova_GiA_Roots.pdf","checksum":"0c629e36acd5f2878ff7dd088d67d494","content_type":"application/pdf","access_level":"open_access","creator":"system","file_id":"4953"}],"scopus_import":"1","publisher":"BioMed Central","ddc":["005","514","516"],"type":"journal_article","month":"07","intvolume":"        12","pubrep_id":"946","article_number":"116"},{"title":"Review of the BCI competition IV","_id":"493","date_updated":"2021-01-12T08:01:03Z","has_accepted_license":"1","acknowledgement":"The studies were in part or completely supported by the Bundesministerium für Bildung und Forschung (BMBF), Fkz 01IB001A, 01GQ0850, by the German Science Foundation (DFG, contract MU 987/3-2), by the European ICT Programme Projects FP7-224631 and 216886, the World Class University Program through the National Research Foundation of Korea funded by the Ministry of Education, Science, and Technology (Grant R31-10008), the US Army Research Office [W911NF-08-1-0216 (Gerwin Schalk) and W911NF-07-1-0415 (Gerwin Schalk)] and the NIH [EB006356 (Gerwin Schalk) and EB000856 (Gerwin Schalk), the WIN-Kolleg of the Heidelberg Academy of Sciences and Humanities, German Federal Ministry of Education and Research grants 01GQ0420, 01GQ0761, 01GQ0762, and 01GQ0830, German Research Foundation grants 550/B5 and C6, and by a scholarship from the German National Academic Foundation. This paper only reflects the authors’ views and funding agencies are not liable for any use that may be made of the information contained herein.\r\n","year":"2012","oa":1,"author":[{"last_name":"Tangermann","first_name":"Michael","full_name":"Tangermann, Michael"},{"last_name":"Müller","full_name":"Müller, Klaus","first_name":"Klaus"},{"last_name":"Aertsen","full_name":"Aertsen, Ad","first_name":"Ad"},{"last_name":"Birbaumer","first_name":"Niels","full_name":"Birbaumer, Niels"},{"last_name":"Braun","full_name":"Braun, Christoph","first_name":"Christoph"},{"first_name":"Clemens","full_name":"Brunner, Clemens","last_name":"Brunner"},{"last_name":"Leeb","first_name":"Robert","full_name":"Leeb, Robert"},{"full_name":"Mehring, Carsten","first_name":"Carsten","last_name":"Mehring"},{"full_name":"Miller, Kai","first_name":"Kai","last_name":"Miller"},{"full_name":"Müller Putz, Gernot","first_name":"Gernot","last_name":"Müller Putz"},{"full_name":"Nolte, Guido","first_name":"Guido","last_name":"Nolte"},{"first_name":"Gert","full_name":"Pfurtscheller, Gert","last_name":"Pfurtscheller"},{"full_name":"Preissl, Hubert","first_name":"Hubert","last_name":"Preissl"},{"first_name":"Gerwin","full_name":"Schalk, Gerwin","last_name":"Schalk"},{"last_name":"Schlögl","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5621-8100","first_name":"Alois","full_name":"Schlögl, Alois"},{"first_name":"Carmen","full_name":"Vidaurre, Carmen","last_name":"Vidaurre"},{"last_name":"Waldert","full_name":"Waldert, Stephan","first_name":"Stephan"},{"full_name":"Blankertz, Benjamin","first_name":"Benjamin","last_name":"Blankertz"}],"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)"},"status":"public","oa_version":"Published Version","volume":6,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T11:46:46Z","doi":"10.3389/fnins.2012.00055","date_published":"2012-07-13T00:00:00Z","day":"13","type":"journal_article","ddc":["004"],"month":"07","article_number":"55","pubrep_id":"945","intvolume":"         6","citation":{"ista":"Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.","ieee":"M. Tangermann <i>et al.</i>, “Review of the BCI competition IV,” <i>Frontiers in Neuroscience</i>, vol. 6. Frontiers Research Foundation, 2012.","short":"M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).","mla":"Tangermann, Michael, et al. “Review of the BCI Competition IV.” <i>Frontiers in Neuroscience</i>, vol. 6, 55, Frontiers Research Foundation, 2012, doi:<a href=\"https://doi.org/10.3389/fnins.2012.00055\">10.3389/fnins.2012.00055</a>.","ama":"Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. <i>Frontiers in Neuroscience</i>. 2012;6. doi:<a href=\"https://doi.org/10.3389/fnins.2012.00055\">10.3389/fnins.2012.00055</a>","chicago":"Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” <i>Frontiers in Neuroscience</i>. Frontiers Research Foundation, 2012. <a href=\"https://doi.org/10.3389/fnins.2012.00055\">https://doi.org/10.3389/fnins.2012.00055</a>.","apa":"Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner, C., … Blankertz, B. (2012). Review of the BCI competition IV. <i>Frontiers in Neuroscience</i>. Frontiers Research Foundation. <a href=\"https://doi.org/10.3389/fnins.2012.00055\">https://doi.org/10.3389/fnins.2012.00055</a>"},"quality_controlled":"1","publication_status":"published","publist_id":"7327","language":[{"iso":"eng"}],"department":[{"_id":"ScienComp"},{"_id":"PeJo"}],"abstract":[{"text":"The BCI competition IV stands in the tradition of prior BCI competitions that aim to provide high quality neuroscientific data for open access to the scientific community. As experienced already in prior competitions not only scientists from the narrow field of BCI compete, but scholars with a broad variety of backgrounds and nationalities. They include high specialists as well as students.The goals of all BCI competitions have always been to challenge with respect to novel paradigms and complex data. We report on the following challenges: (1) asynchronous data, (2) synthetic, (3) multi-class continuous data, (4) sessionto-session transfer, (5) directionally modulated MEG, (6) finger movements recorded by ECoG. As after past competitions, our hope is that winning entries may enhance the analysis methods of future BCIs.","lang":"eng"}],"scopus_import":1,"file":[{"access_level":"open_access","creator":"system","content_type":"application/pdf","checksum":"195238221c4b0b0f4035f6f6c16ea17c","file_id":"5356","relation":"main_file","date_updated":"2020-07-14T12:46:35Z","file_name":"IST-2018-945-v1+1_2012_Schloegl_Review_of.pdf","date_created":"2018-12-12T10:18:34Z","file_size":2693701}],"publication":"Frontiers in Neuroscience","file_date_updated":"2020-07-14T12:46:35Z","publisher":"Frontiers Research Foundation"},{"month":"10","article_number":"29","year":"2012","intvolume":"        13","issue":"4","title":"Translating to Co-Büchi made tight, unified, and useful","_id":"494","type":"journal_article","date_updated":"2021-01-12T08:01:03Z","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"}],"publist_id":"7326","abstract":[{"text":"We solve the longstanding open problems of the blow-up involved in the translations, when possible, of a nondeterministic Büchi word automaton (NBW) to a nondeterministic co-Büchi word automaton (NCW) and to a deterministic co-Büchi word automaton (DCW). For the NBW to NCW translation, the currently known upper bound is 2o(nlog n) and the lower bound is 1.5n. We improve the upper bound to n2n and describe a matching lower bound of 2ω(n). For the NBW to DCW translation, the currently known upper bound is 2o(nlog n). We improve it to 2 o(n), which is asymptotically tight. Both of our upper-bound constructions are based on a simple subset construction, do not involve intermediate automata with richer acceptance conditions, and can be implemented symbolically. We continue and solve the open problems of translating nondeterministic Streett, Rabin, Muller, and parity word automata to NCW and to DCW. Going via an intermediate NBW is not optimal and we describe direct, simple, and asymptotically tight constructions, involving a 2o(n) blow-up. The constructions are variants of the subset construction, providing a unified approach for translating all common classes of automata to NCW and DCW. Beyond the theoretical importance of the results, we point to numerous applications of the new constructions. In particular, they imply a simple subset-construction based translation, when possible, of LTL to deterministic Büchi word automata.","lang":"eng"}],"publication":"ACM Transactions on Computational Logic (TOCL)","scopus_import":1,"date_published":"2012-10-01T00:00:00Z","day":"01","publisher":"ACM","citation":{"ama":"Boker U, Kupferman O. Translating to Co-Büchi made tight, unified, and useful. <i>ACM Transactions on Computational Logic (TOCL)</i>. 2012;13(4). doi:<a href=\"https://doi.org/10.1145/2362355.2362357\">10.1145/2362355.2362357</a>","apa":"Boker, U., &#38; Kupferman, O. (2012). Translating to Co-Büchi made tight, unified, and useful. <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM. <a href=\"https://doi.org/10.1145/2362355.2362357\">https://doi.org/10.1145/2362355.2362357</a>","chicago":"Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM, 2012. <a href=\"https://doi.org/10.1145/2362355.2362357\">https://doi.org/10.1145/2362355.2362357</a>.","ista":"Boker U, Kupferman O. 2012. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). 13(4), 29.","ieee":"U. Boker and O. Kupferman, “Translating to Co-Büchi made tight, unified, and useful,” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 13, no. 4. ACM, 2012.","mla":"Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 13, no. 4, 29, ACM, 2012, doi:<a href=\"https://doi.org/10.1145/2362355.2362357\">10.1145/2362355.2362357</a>.","short":"U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012)."},"quality_controlled":"1","status":"public","author":[{"id":"31E297B6-F248-11E8-B48F-1D18A9856A87","last_name":"Boker","first_name":"Udi","full_name":"Boker, Udi"},{"last_name":"Kupferman","full_name":"Kupferman, Orna","first_name":"Orna"}],"oa_version":"None","volume":13,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T11:46:47Z","publication_status":"published","doi":"10.1145/2362355.2362357"},{"ddc":["004"],"type":"conference","page":"238 - 246","ec_funded":1,"pubrep_id":"944","intvolume":"        96","month":"10","publication_status":"published","quality_controlled":"1","alternative_title":["EPTCS"],"citation":{"mla":"Kruckman, Alex, et al. “A Myhill Nerode Theorem for Automata with Advice.” <i>Proceedings GandALF 2012</i>, vol. 96, Open Publishing Association, 2012, pp. 238–46, doi:<a href=\"https://doi.org/10.4204/EPTCS.96.18\">10.4204/EPTCS.96.18</a>.","short":"A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.","ista":"Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.","ieee":"A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in <i>Proceedings GandALF 2012</i>, Napoli, Italy, 2012, vol. 96, pp. 238–246.","chicago":"Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode Theorem for Automata with Advice.” In <i>Proceedings GandALF 2012</i>, 96:238–46. Open Publishing Association, 2012. <a href=\"https://doi.org/10.4204/EPTCS.96.18\">https://doi.org/10.4204/EPTCS.96.18</a>.","apa":"Kruckman, A., Rubin, S., Sheridan, J., &#38; Zax, B. (2012). A Myhill Nerode theorem for automata with advice. In <i>Proceedings GandALF 2012</i> (Vol. 96, pp. 238–246). Napoli, Italy: Open Publishing Association. <a href=\"https://doi.org/10.4204/EPTCS.96.18\">https://doi.org/10.4204/EPTCS.96.18</a>","ama":"Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: <i>Proceedings GandALF 2012</i>. Vol 96. Open Publishing Association; 2012:238-246. doi:<a href=\"https://doi.org/10.4204/EPTCS.96.18\">10.4204/EPTCS.96.18</a>"},"publisher":"Open Publishing Association","publication":"Proceedings GandALF 2012","scopus_import":1,"file_date_updated":"2020-07-14T12:46:35Z","file":[{"relation":"main_file","file_name":"IST-2018-944-v1+1_2012_Rubin_A_Myhill.pdf","date_updated":"2020-07-14T12:46:35Z","date_created":"2018-12-12T10:15:31Z","file_size":97736,"creator":"system","access_level":"open_access","checksum":"56277f95edc9d531fa3bdc5f9579fda8","content_type":"application/pdf","file_id":"5152"}],"abstract":[{"lang":"eng","text":"An automaton with advice is a finite state automaton which has access to an additional fixed infinite string called an advice tape. We refine the Myhill-Nerode theorem to characterize the languages of finite strings that are accepted by automata with advice. We do the same for tree automata with advice."}],"department":[{"_id":"KrCh"}],"publist_id":"7325","language":[{"iso":"eng"}],"date_updated":"2021-01-12T08:01:04Z","_id":"495","conference":{"start_date":"2012-09-06","end_date":"2012-09-08","location":"Napoli, Italy","name":"GandALF: Games, Automata, Logics and Formal Verification"},"title":"A Myhill Nerode theorem for automata with advice","oa":1,"project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"}],"year":"2012","has_accepted_license":"1","doi":"10.4204/EPTCS.96.18","date_created":"2018-12-11T11:46:47Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","volume":96,"oa_version":"Published Version","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)"},"status":"public","author":[{"last_name":"Kruckman","first_name":"Alex","full_name":"Kruckman, Alex"},{"full_name":"Rubin, Sasha","first_name":"Sasha","id":"2EC51194-F248-11E8-B48F-1D18A9856A87","last_name":"Rubin"},{"last_name":"Sheridan","first_name":"John","full_name":"Sheridan, John"},{"last_name":"Zax","first_name":"Ben","full_name":"Zax, Ben"}],"day":"07","date_published":"2012-10-07T00:00:00Z"}]