callback( { "result":{ "query":":facetid:toc:\"db/conf/sofsem/sofsem2007-2.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"203.20" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"13", "@dc":"13", "@oc":"13", "@id":"43413787", "text":":facetid:toc:db/conf/sofsem/sofsem2007-2.bht" } }, "hits":{ "@total":"13", "@computed":"13", "@sent":"13", "@first":"0", "hit":[{ "@score":"1", "@id":"5608236", "info":{"authors":{"author":[{"@pid":"06/3589","text":"Marek Behalek"},{"@pid":"40/5129","text":"Petr Saloun"}]},"title":"Parallel Process Functional Language.","venue":"SOFSEM","pages":"1-12","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/BehalekS07","url":"https://dblp.org/rec/conf/sofsem/BehalekS07"}, "url":"URL#5608236" }, { "@score":"1", "@id":"5608241", "info":{"authors":{"author":[{"@pid":"56/1049","text":"Ondrej Burkert"},{"@pid":"51/2735","text":"Cyril Brom"},{"@pid":"49/3327","text":"Jakub Gemrot"},{"@pid":"69/2018","text":"Michal Bída"},{"@pid":"18/6408","text":"Samuel J. Partington"},{"@pid":"b/JBryson","text":"Joanna Bryson"}]},"title":"Toolkits for Agent Development by Undergraduates and Non-Programmers.","venue":"SOFSEM","pages":"13-24","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/BurkertBGBPB07","url":"https://dblp.org/rec/conf/sofsem/BurkertBGBPB07"}, "url":"URL#5608241" }, { "@score":"1", "@id":"5608252", "info":{"authors":{"author":{"@pid":"84/6320","text":"Sebastian Dörn"}},"title":"Quantum Complexity Bounds of Independent Set Problems.","venue":"SOFSEM","pages":"25-36","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/Dorn07","url":"https://dblp.org/rec/conf/sofsem/Dorn07"}, "url":"URL#5608252" }, { "@score":"1", "@id":"5608254", "info":{"authors":{"author":{"@pid":"81/6190","text":"Alina Dubrovska"}},"title":"Properties and Application of Nondeterministic Quantum Query Algorithms.","venue":"SOFSEM","pages":"37-49","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/Dubrovska07","url":"https://dblp.org/rec/conf/sofsem/Dubrovska07"}, "url":"URL#5608254" }, { "@score":"1", "@id":"5608255", "info":{"authors":{"author":[{"@pid":"86/3802","text":"Jana Dvoráková"},{"@pid":"05/823","text":"Branislav Rovan"}]},"title":"A Transducer-Based Framework for Streaming XML Transformations.","venue":"SOFSEM","pages":"50-60","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/DvorakovaR07","url":"https://dblp.org/rec/conf/sofsem/DvorakovaR07"}, "url":"URL#5608255" }, { "@score":"1", "@id":"5608259", "info":{"authors":{"author":[{"@pid":"f/HenningFernau","text":"Henning Fernau"},{"@pid":"r/DanielRaible","text":"Daniel Raible 0001"}]},"title":"Alliances in Graphs: a Complexity-Theoretic Study.","venue":"SOFSEM","pages":"61-70","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/FernauR07","url":"https://dblp.org/rec/conf/sofsem/FernauR07"}, "url":"URL#5608259" }, { "@score":"1", "@id":"5608287", "info":{"authors":{"author":{"@pid":"97/1235","text":"Zdenka Linkova"}},"title":"Ontology-Based Schema Integration.","venue":"SOFSEM","pages":"71-80","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/Linkova07","url":"https://dblp.org/rec/conf/sofsem/Linkova07"}, "url":"URL#5608287" }, { "@score":"1", "@id":"5608290", "info":{"authors":{"author":{"@pid":"80/4027","text":"Ján Máté"}},"title":"Fully Active File System.","venue":"SOFSEM","pages":"81-90","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/Mate07","url":"https://dblp.org/rec/conf/sofsem/Mate07"}, "url":"URL#5608290" }, { "@score":"1", "@id":"5608294", "info":{"authors":{"author":[{"@pid":"42/2858","text":"Iakovos Ouranos"},{"@pid":"96/1254","text":"Petros S. Stefaneas"},{"@pid":"85/288","text":"Panagiotis Frangos"}]},"title":"A Formal Specification Framework for Ad Hoc Mobile Communication Networks.","venue":"SOFSEM","pages":"91-102","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/OuranosSF07","url":"https://dblp.org/rec/conf/sofsem/OuranosSF07"}, "url":"URL#5608294" }, { "@score":"1", "@id":"5608299", "info":{"authors":{"author":[{"@pid":"87/4689","text":"Bernhard Pollak"},{"@pid":"36/5673","text":"Wolfgang Gatterbauer"}]},"title":"Creating Permanent Test Collections of Web Pages for Information Extraction Research.","venue":"SOFSEM","pages":"103-115","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/PollakG07","url":"https://dblp.org/rec/conf/sofsem/PollakG07"}, "url":"URL#5608299" }, { "@score":"1", "@id":"5608301", "info":{"authors":{"author":[{"@pid":"r/MohammadSohelRahman","text":"M. Sohel Rahman"},{"@pid":"i/CSIliopoulos","text":"Costas S. Iliopoulos"}]},"title":"Pattern Matching Algorithms with Don't Cares.","venue":"SOFSEM","pages":"116-126","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/RahmanI07","url":"https://dblp.org/rec/conf/sofsem/RahmanI07"}, "url":"URL#5608301" }, { "@score":"1", "@id":"5608303", "info":{"authors":{"author":{"@pid":"90/4767","text":"Dominik Ramík"}},"title":"Advantages of Modular Neural Network Architecture in Human Face Recognition.","venue":"SOFSEM","pages":"127-135","year":"2007","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/sofsem/Ramik07","url":"https://dblp.org/rec/conf/sofsem/Ramik07"}, "url":"URL#5608303" }, { "@score":"1", "@id":"5621951", "info":{"authors":{"author":[{"@pid":"l/JvLeeuwen","text":"Jan van Leeuwen"},{"@pid":"i/GiuseppeFItaliano","text":"Giuseppe F. Italiano"},{"@pid":"h/WiebevanderHoek","text":"Wiebe van der Hoek"},{"@pid":"m/CMeinel","text":"Christoph Meinel"},{"@pid":"s/HaraldSack","text":"Harald Sack"},{"@pid":"02/5377","text":"Frantisek Plásil"},{"@pid":"b/MariaBielikova","text":"Mária Bieliková"}]},"title":"SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II","venue":"SOFSEM","publisher":"Institute of Computer Science AS CR, Prague","year":"2007","type":"Editorship","access":"unavailable","key":"conf/sofsem/2007-2","url":"https://dblp.org/rec/conf/sofsem/2007-2"}, "url":"URL#5621951" } ] } } } )