callback( { "result":{ "query":":facetid:toc:\"db/journals/jcss/jcss85.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"217.53" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"9", "@dc":"9", "@oc":"9", "@id":"43454126", "text":":facetid:toc:db/journals/jcss/jcss85.bht" } }, "hits":{ "@total":"9", "@computed":"9", "@sent":"9", "@first":"0", "hit":[{ "@score":"1", "@id":"2802559", "info":{"authors":{"author":[{"@pid":"b/MichaelBenedikt","text":"Michael Benedikt"},{"@pid":"e/JoostEngelfriet","text":"Joost Engelfriet"},{"@pid":"m/SebastianManeth","text":"Sebastian Maneth"}]},"title":"Determinacy and rewriting of functional top-down and MSO tree transformations.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"57-73","year":"2017","type":"Journal Articles","access":"closed","key":"journals/jcss/BenediktEM17","doi":"10.1016/J.JCSS.2016.11.001","ee":"https://doi.org/10.1016/j.jcss.2016.11.001","url":"https://dblp.org/rec/journals/jcss/BenediktEM17"}, "url":"URL#2802559" }, { "@score":"1", "@id":"2802563", "info":{"authors":{"author":[{"@pid":"42/449","text":"Paolo Bottoni"},{"@pid":"05/5080","text":"Anna Labella"},{"@pid":"86/4985","text":"Victor Mitrana"}]},"title":"Networks of polarized multiset processors.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"93-103","year":"2017","type":"Journal Articles","access":"closed","key":"journals/jcss/BottoniLM17","doi":"10.1016/J.JCSS.2016.11.006","ee":"https://doi.org/10.1016/j.jcss.2016.11.006","url":"https://dblp.org/rec/journals/jcss/BottoniLM17"}, "url":"URL#2802563" }, { "@score":"1", "@id":"2802579", "info":{"authors":{"author":[{"@pid":"71/8725","text":"Konrad Kazimierz Dabrowski"},{"@pid":"06/6306","text":"Petr A. Golovach"},{"@pid":"86/1055","text":"Pim van 't Hof"},{"@pid":"18/5531","text":"Daniël Paulusma"},{"@pid":"t/DimitriosMThilikos","text":"Dimitrios M. Thilikos"}]},"title":"Editing to a planar graph of given degrees.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"168-182","year":"2017","type":"Journal Articles","access":"open","key":"journals/jcss/DabrowskiGHPT17","doi":"10.1016/J.JCSS.2016.11.009","ee":"https://doi.org/10.1016/j.jcss.2016.11.009","url":"https://dblp.org/rec/journals/jcss/DabrowskiGHPT17"}, "url":"URL#2802579" }, { "@score":"1", "@id":"2802594", "info":{"authors":{"author":[{"@pid":"33/5862","text":"Serge Gaspers"},{"@pid":"85/6789","text":"Neeldhara Misra"},{"@pid":"88/3220","text":"Sebastian Ordyniak"},{"@pid":"s/StefanSzeider","text":"Stefan Szeider"},{"@pid":"z/StanislavZivny","text":"Stanislav Zivný"}]},"title":"Backdoors into heterogeneous classes of SAT and CSP.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"38-56","year":"2017","type":"Journal Articles","access":"open","key":"journals/jcss/GaspersMOSZ17","doi":"10.1016/J.JCSS.2016.10.007","ee":"https://doi.org/10.1016/j.jcss.2016.10.007","url":"https://dblp.org/rec/journals/jcss/GaspersMOSZ17"}, "url":"URL#2802594" }, { "@score":"1", "@id":"2802610", "info":{"authors":{"author":{"@pid":"58/8776","text":"Bart M. P. Jansen"}},"title":"Turing kernelization for finding long paths and cycles in restricted graph classes.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"18-37","year":"2017","type":"Journal Articles","access":"closed","key":"journals/jcss/Jansen17","doi":"10.1016/J.JCSS.2016.10.008","ee":"https://doi.org/10.1016/j.jcss.2016.10.008","url":"https://dblp.org/rec/journals/jcss/Jansen17"}, "url":"URL#2802610" }, { "@score":"1", "@id":"2802613", "info":{"authors":{"author":[{"@pid":"192/9146","text":"Sina Mahmoodi Khorandi"},{"@pid":"15/4626","text":"Mohsen Sharifi"}]},"title":"Scheduling of online compute-intensive synchronized jobs on high performance virtual clusters.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"1-17","year":"2017","type":"Journal Articles","access":"closed","key":"journals/jcss/KhorandiS17","doi":"10.1016/J.JCSS.2016.10.009","ee":"https://doi.org/10.1016/j.jcss.2016.10.009","url":"https://dblp.org/rec/journals/jcss/KhorandiS17"}, "url":"URL#2802613" }, { "@score":"1", "@id":"2802618", "info":{"authors":{"author":[{"@pid":"13/2962","text":"Henning Köhler"},{"@pid":"l/SebastianLink","text":"Sebastian Link"}]},"title":"Inclusion dependencies and their interaction with functional dependencies in SQL.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"104-131","year":"2017","type":"Journal Articles","access":"closed","key":"journals/jcss/KohlerL17","doi":"10.1016/J.JCSS.2016.11.004","ee":"https://doi.org/10.1016/j.jcss.2016.11.004","url":"https://dblp.org/rec/journals/jcss/KohlerL17"}, "url":"URL#2802618" }, { "@score":"1", "@id":"2802627", "info":{"authors":{"author":[{"@pid":"67/4899","text":"Florin Manea"},{"@pid":"117/1694","text":"Mike Müller"},{"@pid":"91/2495","text":"Dirk Nowotka"},{"@pid":"70/1118","text":"Shinnosuke Seki"}]},"title":"The extended equation of Lyndon and Schützenberger.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"132-167","year":"2017","type":"Journal Articles","access":"closed","key":"journals/jcss/ManeaMNS17","doi":"10.1016/J.JCSS.2016.11.003","ee":"https://doi.org/10.1016/j.jcss.2016.11.003","url":"https://dblp.org/rec/journals/jcss/ManeaMNS17"}, "url":"URL#2802627" }, { "@score":"1", "@id":"2802636", "info":{"authors":{"author":[{"@pid":"188/0971","text":"Fatemeh Zahra Saberifar"},{"@pid":"93/2208","text":"Ali Mohades"},{"@pid":"01/3519","text":"Mohammadreza Razzazi"},{"@pid":"61/1831","text":"Jason M. O'Kane"}]},"title":"Combinatorial filter reduction: Special cases, approximation, and fixed-parameter tractability.","venue":"J. Comput. Syst. Sci.","volume":"85","pages":"74-92","year":"2017","type":"Journal Articles","access":"closed","key":"journals/jcss/SaberifarMRO17","doi":"10.1016/J.JCSS.2016.11.007","ee":"https://doi.org/10.1016/j.jcss.2016.11.007","url":"https://dblp.org/rec/journals/jcss/SaberifarMRO17"}, "url":"URL#2802636" } ] } } } )