callback( { "result":{ "query":":facetid:toc:\"db/journals/tcs/tcs328.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"183.37" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"20", "@dc":"20", "@oc":"20", "@id":"43485920", "text":":facetid:toc:db/journals/tcs/tcs328.bht" } }, "hits":{ "@total":"20", "@computed":"20", "@sent":"20", "@first":"0", "hit":[{ "@score":"1", "@id":"6008176", "info":{"authors":{"author":[{"@pid":"85/2685","text":"Cyril Allauzen"},{"@pid":"03/5448","text":"Mehryar Mohri"}]},"title":"An optimal pre-determinization algorithm for weighted transducers.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"3-18","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/AllauzenM04","doi":"10.1016/J.TCS.2004.07.003","ee":"https://doi.org/10.1016/j.tcs.2004.07.003","url":"https://dblp.org/rec/journals/tcs/AllauzenM04"}, "url":"URL#6008176" }, { "@score":"1", "@id":"6008180", "info":{"authors":{"author":[{"@pid":"02/6369","text":"Maurizio Alvarez-Manilla"},{"@pid":"55/5532","text":"Achim Jung"},{"@pid":"87/2150","text":"Klaus Keimel"}]},"title":"The probabilistic powerdomain for stably compact spaces.","venue":"Theor. Comput. Sci.","volume":"328","number":"3","pages":"221-244","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/Alvarez-ManillaJK04","doi":"10.1016/J.TCS.2004.06.021","ee":"https://doi.org/10.1016/j.tcs.2004.06.021","url":"https://dblp.org/rec/journals/tcs/Alvarez-ManillaJK04"}, "url":"URL#6008180" }, { "@score":"1", "@id":"6008197", "info":{"authors":{"author":{"@pid":"57/6862","text":"Patrick Baillot"}},"title":"Type inference for light affine logic via constraints on words.","venue":"Theor. Comput. Sci.","volume":"328","number":"3","pages":"289-323","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/Baillot04a","doi":"10.1016/J.TCS.2004.08.014","ee":"https://doi.org/10.1016/j.tcs.2004.08.014","url":"https://dblp.org/rec/journals/tcs/Baillot04a"}, "url":"URL#6008197" }, { "@score":"1", "@id":"6008353", "info":{"authors":{"author":[{"@pid":"v/MVilaresF","text":"Manuel Vilares Ferro"},{"@pid":"75/5475","text":"Victor M. Darriba"},{"@pid":"v/JesusVilares","text":"Jesús Vilares"},{"@pid":"01/2938","text":"Francisco J. Ribadas"}]},"title":"A formal frame for robust parsing.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"171-186","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/FerroDVR04","doi":"10.1016/J.TCS.2004.07.013","ee":"https://doi.org/10.1016/j.tcs.2004.07.013","url":"https://dblp.org/rec/journals/tcs/FerroDVR04"}, "url":"URL#6008353" }, { "@score":"1", "@id":"6008362", "info":{"authors":{"author":{"@pid":"31/3242","text":"John Foy"}},"title":"A dynamical system which must be stable whose stability cannot be proved.","venue":"Theor. Comput. Sci.","volume":"328","number":"3","pages":"355-361","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/Foy04","doi":"10.1016/J.TCS.2004.05.001","ee":"https://doi.org/10.1016/j.tcs.2004.05.001","url":"https://dblp.org/rec/journals/tcs/Foy04"}, "url":"URL#6008362" }, { "@score":"1", "@id":"6008368", "info":{"authors":{"author":[{"@pid":"97/374-1","text":"Xiang Fu 0001"},{"@pid":"07/3368","text":"Tevfik Bultan"},{"@pid":"s/JWSu","text":"Jianwen Su"}]},"title":"Conversation protocols: a formalism for specification and verification of reactive electronic services.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"19-37","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/FuBS04","doi":"10.1016/J.TCS.2004.07.004","ee":"https://doi.org/10.1016/j.tcs.2004.07.004","url":"https://dblp.org/rec/journals/tcs/FuBS04"}, "url":"URL#6008368" }, { "@score":"1", "@id":"6008389", "info":{"authors":{"author":[{"@pid":"50/6237","text":"Franck Guingne"},{"@pid":"04/692","text":"Florent Nicart"},{"@pid":"73/3270","text":"André Kempe"}]},"title":"Acyclic networks maximizing the printing complexity.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"39-51","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/GuingneNK04","doi":"10.1016/J.TCS.2004.07.006","ee":"https://doi.org/10.1016/j.tcs.2004.07.006","url":"https://dblp.org/rec/journals/tcs/GuingneNK04"}, "url":"URL#6008389" }, { "@score":"1", "@id":"6008393", "info":{"authors":{"author":[{"@pid":"h/ReinerHahnle","text":"Reiner Hähnle"},{"@pid":"m/NeilVMurray","text":"Neil V. Murray"},{"@pid":"96/1239","text":"Erik Rosenthal"}]},"title":"Linearity and regularity with negation normal form.","venue":"Theor. Comput. Sci.","volume":"328","number":"3","pages":"325-354","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/HahnleMR04","doi":"10.1016/J.TCS.2004.09.001","ee":"https://doi.org/10.1016/j.tcs.2004.09.001","url":"https://dblp.org/rec/journals/tcs/HahnleMR04"}, "url":"URL#6008393" }, { "@score":"1", "@id":"6008415", "info":{"authors":{"author":[{"@pid":"65/4745","text":"Hejiao Huang"},{"@pid":"10/973","text":"To-Yat Cheung"},{"@pid":"157/8584","text":"Wai Ming Mak"}]},"title":"Structure and behavior preservation by Petri-net-based refinements in system design.","venue":"Theor. Comput. Sci.","volume":"328","number":"3","pages":"245-269","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/HuangCM04","doi":"10.1016/J.TCS.2004.07.016","ee":"https://doi.org/10.1016/j.tcs.2004.07.016","url":"https://dblp.org/rec/journals/tcs/HuangCM04"}, "url":"URL#6008415" }, { "@score":"1", "@id":"6008420", "info":{"authors":{"author":{"@pid":"i/OscarHIbarra","text":"Oscar H. Ibarra"}},"title":"Editorial.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"1","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/Ibarra04a","doi":"10.1016/J.TCS.2004.07.002","ee":"https://doi.org/10.1016/j.tcs.2004.07.002","url":"https://dblp.org/rec/journals/tcs/Ibarra04a"}, "url":"URL#6008420" }, { "@score":"1", "@id":"6008459", "info":{"authors":{"author":[{"@pid":"19/4109","text":"Dietrich Kuske"},{"@pid":"12/2285","text":"Ingmar Meinecke"}]},"title":"Branching automata with costs - a way of reflecting parallelism in costs star.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"53-75","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/KuskeM04","doi":"10.1016/J.TCS.2004.07.005","ee":"https://doi.org/10.1016/j.tcs.2004.07.005","url":"https://dblp.org/rec/journals/tcs/KuskeM04"}, "url":"URL#6008459" }, { "@score":"1", "@id":"6008475", "info":{"authors":{"author":[{"@pid":"54/1797","text":"Sylvain Lombardy"},{"@pid":"44/4388","text":"Yann Régis-Gianas"},{"@pid":"29/910","text":"Jacques Sakarovitch"}]},"title":"Introducing VAUCANSON.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"77-96","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/LombardyRS04","doi":"10.1016/J.TCS.2004.07.007","ee":"https://doi.org/10.1016/j.tcs.2004.07.007","url":"https://dblp.org/rec/journals/tcs/LombardyRS04"}, "url":"URL#6008475" }, { "@score":"1", "@id":"6008495", "info":{"authors":{"author":[{"@pid":"02/6397","text":"Satoru Miyamoto"},{"@pid":"88/1129","text":"Shunsuke Inenaga"},{"@pid":"35/1544","text":"Masayuki Takeda"},{"@pid":"s/AyumiShinohara","text":"Ayumi Shinohara"}]},"title":"Ternary directed acyclic word graphs.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"97-111","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/MiyamotoITS04","doi":"10.1016/J.TCS.2004.07.008","ee":"https://doi.org/10.1016/j.tcs.2004.07.008","url":"https://dblp.org/rec/journals/tcs/MiyamotoITS04"}, "url":"URL#6008495" }, { "@score":"1", "@id":"6008536", "info":{"authors":{"author":[{"@pid":"24/3232","text":"Bala Ravikumar"},{"@pid":"88/6055","text":"Gerry Eisman"}]},"title":"Weak minimization of DFA - an algorithm and applications.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"113-133","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/RavikumarE04","doi":"10.1016/J.TCS.2004.07.009","ee":"https://doi.org/10.1016/j.tcs.2004.07.009","url":"https://dblp.org/rec/journals/tcs/RavikumarE04"}, "url":"URL#6008536" }, { "@score":"1", "@id":"6008562", "info":{"authors":{"author":[{"@pid":"12/4493","text":"Yi-Dong Shen"},{"@pid":"y/JiaHuaiYou","text":"Jia-Huai You"},{"@pid":"y/LiYanYuan","text":"Li-Yan Yuan"}]},"title":"Enhancing global SLS-resolution with loop cutting and tabling mechanisms.","venue":"Theor. Comput. Sci.","volume":"328","number":"3","pages":"271-287","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/ShenYY04","doi":"10.1016/J.TCS.2004.07.028","ee":"https://doi.org/10.1016/j.tcs.2004.07.028","url":"https://dblp.org/rec/journals/tcs/ShenYY04"}, "url":"URL#6008562" }, { "@score":"1", "@id":"6008571", "info":{"authors":{"author":[{"@pid":"56/5603","text":"Hellis Tamm"},{"@pid":"u/EskoUkkonen","text":"Esko Ukkonen"}]},"title":"Bideterministic automata and minimal representations of regular languages.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"135-149","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/TammU04","doi":"10.1016/J.TCS.2004.07.010","ee":"https://doi.org/10.1016/j.tcs.2004.07.010","url":"https://dblp.org/rec/journals/tcs/TammU04"}, "url":"URL#6008571" }, { "@score":"1", "@id":"6008575", "info":{"authors":{"author":{"@pid":"t/AvrahamTrakhtman","text":"A. N. Trahtman"}},"title":"Reducing the time complexity of testing for local threshold testability.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"151-160","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/Trahtman04","doi":"10.1016/J.TCS.2004.07.011","ee":"https://doi.org/10.1016/j.tcs.2004.07.011","url":"https://dblp.org/rec/journals/tcs/Trahtman04"}, "url":"URL#6008575" }, { "@score":"1", "@id":"6008584", "info":{"authors":{"author":[{"@pid":"27/3868","text":"Farn Wang"},{"@pid":"y/HsuChunYen","text":"Hsu-Chun Yen"}]},"title":"Reachability solution characterization of parametric real-time systems.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"187-201","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/WangY04","doi":"10.1016/J.TCS.2004.07.014","ee":"https://doi.org/10.1016/j.tcs.2004.07.014","url":"https://dblp.org/rec/journals/tcs/WangY04"}, "url":"URL#6008584" }, { "@score":"1", "@id":"6008595", "info":{"authors":{"author":[{"@pid":"38/1949","text":"Gaoyan Xie"},{"@pid":"16/6465","text":"Cheng Li"},{"@pid":"51/5888","text":"Zhe Dang"}]},"title":"Linear reachability problems and minimal solutions to linear Diophantine equation systems.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"203-219","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/XieLD04","doi":"10.1016/J.TCS.2004.07.015","ee":"https://doi.org/10.1016/j.tcs.2004.07.015","url":"https://dblp.org/rec/journals/tcs/XieLD04"}, "url":"URL#6008595" }, { "@score":"1", "@id":"6008607", "info":{"authors":{"author":{"@pid":"02/4801","text":"Lynette van Zijl"}},"title":"On binary ⊕-NFAs and succinct descriptions of regular languages.","venue":"Theor. Comput. Sci.","volume":"328","number":"1-2","pages":"161-170","year":"2004","type":"Journal Articles","access":"open","key":"journals/tcs/Zijl04a","doi":"10.1016/J.TCS.2004.07.012","ee":"https://doi.org/10.1016/j.tcs.2004.07.012","url":"https://dblp.org/rec/journals/tcs/Zijl04a"}, "url":"URL#6008607" } ] } } } )