callback( { "result":{ "query":":facetid:toc:\"db/journals/entcs/entcs257.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"66.40" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"12", "@dc":"12", "@oc":"12", "@id":"43436856", "text":":facetid:toc:db/journals/entcs/entcs257.bht" } }, "hits":{ "@total":"12", "@computed":"12", "@sent":"12", "@first":"0", "hit":[{ "@score":"1", "@id":"5214878", "info":{"authors":{"author":[{"@pid":"11/1917","text":"Yixiang Chen"},{"@pid":"d/EEDoberkat","text":"Ernst-Erich Doberkat"},{"@pid":"55/5532","text":"Achim Jung"}]},"title":"Preface.","venue":"ISDT","pages":"1-2","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/ChenDJ09","doi":"10.1016/J.ENTCS.2009.11.022","ee":"https://doi.org/10.1016/j.entcs.2009.11.022","url":"https://dblp.org/rec/journals/entcs/ChenDJ09"}, "url":"URL#5214878" }, { "@score":"1", "@id":"5214902", "info":{"authors":{"author":[{"@pid":"96/5778","text":"Wenjie Du"},{"@pid":"25/1197","text":"Yuxin Deng"}]},"title":"On Mobility and Communication.","venue":"ISDT","pages":"19-33","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/DuD09","doi":"10.1016/J.ENTCS.2009.11.024","ee":"https://doi.org/10.1016/j.entcs.2009.11.024","url":"https://dblp.org/rec/journals/entcs/DuD09"}, "url":"URL#5214902" }, { "@score":"1", "@id":"5214960", "info":{"authors":{"author":{"@pid":"87/2150","text":"Klaus Keimel"}},"title":"Bicontinuous Domains and Some Old Problems in Domain Theory.","venue":"ISDT","pages":"35-54","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Keimel09","doi":"10.1016/J.ENTCS.2009.11.025","ee":"https://doi.org/10.1016/j.entcs.2009.11.025","url":"https://dblp.org/rec/journals/entcs/Keimel09"}, "url":"URL#5214960" }, { "@score":"1", "@id":"5214985", "info":{"authors":{"author":[{"@pid":"00/7451","text":"Yanfang Ma"},{"@pid":"83/5342-7","text":"Min Zhang 0007"}]},"title":"Topological Construction of Parameterized Bisimulation Limit.","venue":"ISDT","pages":"55-70","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/MaZ09","doi":"10.1016/J.ENTCS.2009.11.026","ee":"https://doi.org/10.1016/j.entcs.2009.11.026","url":"https://dblp.org/rec/journals/entcs/MaZ09"}, "url":"URL#5214985" }, { "@score":"1", "@id":"5215046", "info":{"authors":{"author":{"@pid":"89/5139","text":"Christoph Schubert"}},"title":"Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence.","venue":"ISDT","pages":"71-85","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Schubert09","doi":"10.1016/J.ENTCS.2009.11.027","ee":"https://doi.org/10.1016/j.entcs.2009.11.027","url":"https://dblp.org/rec/journals/entcs/Schubert09"}, "url":"URL#5215046" }, { "@score":"1", "@id":"5215078", "info":{"authors":{"author":[{"@pid":"57/16","text":"Hengyang Wu"},{"@pid":"11/1917","text":"Yixiang Chen"}]},"title":"A Duality Theorem for Quantitative Semantics.","venue":"ISDT","pages":"87-97","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/WuC09","doi":"10.1016/J.ENTCS.2009.11.028","ee":"https://doi.org/10.1016/j.entcs.2009.11.028","url":"https://dblp.org/rec/journals/entcs/WuC09"}, "url":"URL#5215078" }, { "@score":"1", "@id":"5215079", "info":{"authors":{"author":[{"@pid":"57/7466","text":"Li-Gang Wu"},{"@pid":"40/759","text":"Lei Fan"}]},"title":"Domain Equations Based on Sets with Families of Pre-orders.","venue":"ISDT","pages":"99-115","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/WuF09","doi":"10.1016/J.ENTCS.2009.11.029","ee":"https://doi.org/10.1016/j.entcs.2009.11.029","url":"https://dblp.org/rec/journals/entcs/WuF09"}, "url":"URL#5215079" }, { "@score":"1", "@id":"5215082", "info":{"authors":{"author":[{"@pid":"16/1292","text":"Lingyun Yang"},{"@pid":"91/5819","text":"Luoshan Xu"}]},"title":"On Rough Concept Lattices.","venue":"ISDT","pages":"117-133","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/YangX09","doi":"10.1016/J.ENTCS.2009.11.030","ee":"https://doi.org/10.1016/j.entcs.2009.11.030","url":"https://dblp.org/rec/journals/entcs/YangX09"}, "url":"URL#5215082" }, { "@score":"1", "@id":"5215083", "info":{"authors":{"author":{"@pid":"72/4065-4","text":"Wei Yao 0004"}},"title":"L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos.","venue":"ISDT","pages":"135-152","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Yao09","doi":"10.1016/J.ENTCS.2009.11.031","ee":"https://doi.org/10.1016/j.entcs.2009.11.031","url":"https://dblp.org/rec/journals/entcs/Yao09"}, "url":"URL#5215083" }, { "@score":"1", "@id":"5215086", "info":{"authors":{"author":{"@pid":"z/GQZhang1","text":"Guo-Qiang Zhang 0001"}},"title":"Closures in Binary Partial Algebras.","venue":"ISDT","pages":"3-18","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Zhang09","doi":"10.1016/J.ENTCS.2009.11.023","ee":"https://doi.org/10.1016/j.entcs.2009.11.023","url":"https://dblp.org/rec/journals/entcs/Zhang09"}, "url":"URL#5215086" }, { "@score":"1", "@id":"5215088", "info":{"authors":{"author":[{"@pid":"35/7582","text":"Yihui Zhou"},{"@pid":"73/4325","text":"Bin Zhao"}]},"title":"Z-abstract Basis.","venue":"ISDT","pages":"153-158","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/ZhouZ09","doi":"10.1016/J.ENTCS.2009.11.032","ee":"https://doi.org/10.1016/j.entcs.2009.11.032","url":"https://dblp.org/rec/journals/entcs/ZhouZ09"}, "url":"URL#5215088" }, { "@score":"1", "@id":"5219401", "info":{"authors":{"author":[{"@pid":"11/1917","text":"Yixiang Chen"},{"@pid":"d/EEDoberkat","text":"Ernst-Erich Doberkat"},{"@pid":"55/5532","text":"Achim Jung"}]},"title":"Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009","venue":["ISDT","Electronic Notes in Theoretical Computer Science"],"volume":"257","publisher":"Elsevier","year":"2009","type":"Editorship","key":"conf/isdt/2009","ee":"https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/257/suppl/C","url":"https://dblp.org/rec/conf/isdt/2009"}, "url":"URL#5219401" } ] } } } )