callback( { "result":{ "query":":facetid:toc:\"db/conf/wia/ciaa2013.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"71.38" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"32", "@dc":"32", "@oc":"32", "@id":"43431667", "text":":facetid:toc:db/conf/wia/ciaa2013.bht" } }, "hits":{ "@total":"32", "@computed":"32", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"4241281", "info":{"authors":{"author":[{"@pid":"132/1961","text":"Houda Abbad"},{"@pid":"68/4299","text":"Éric Laugerotte"}]},"title":"Computing Weights.","venue":"CIAA","pages":"24-35","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/AbbadL13","doi":"10.1007/978-3-642-39274-0_4","ee":"https://doi.org/10.1007/978-3-642-39274-0_4","url":"https://dblp.org/rec/conf/wia/AbbadL13"}, "url":"URL#4241281" }, { "@score":"1", "@id":"4241282", "info":{"authors":{"author":[{"@pid":"132/1997","text":"Eric Balkanski"},{"@pid":"b/FBlanchetSadri","text":"Francine Blanchet-Sadri"},{"@pid":"132/2005","text":"Matthew Kilgore"},{"@pid":"43/8172","text":"Benjamin J. Wyatt"}]},"title":"Partial Word DFAs.","venue":"CIAA","pages":"36-47","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/BalkanskiBKW13","doi":"10.1007/978-3-642-39274-0_5","ee":"https://doi.org/10.1007/978-3-642-39274-0_5","url":"https://dblp.org/rec/conf/wia/BalkanskiBKW13"}, "url":"URL#4241282" }, { "@score":"1", "@id":"4241283", "info":{"authors":{"author":[{"@pid":"74/4321","text":"Fevzi Belli"},{"@pid":"38/7215","text":"Mutlu Beyazit"}]},"title":"Using Regular Grammars for Event-Based Testing.","venue":"CIAA","pages":"48-59","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/BelliB13","doi":"10.1007/978-3-642-39274-0_6","ee":"https://doi.org/10.1007/978-3-642-39274-0_6","url":"https://dblp.org/rec/conf/wia/BelliB13"}, "url":"URL#4241283" }, { "@score":"1", "@id":"4241284", "info":{"authors":{"author":[{"@pid":"b/JABrzozowski","text":"Janusz A. Brzozowski"},{"@pid":"09/1814-3","text":"David Liu 0003"}]},"title":"Universal Witnesses for State Complexity of Basic Operations Combined with Reversal.","venue":"CIAA","pages":"72-83","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/BrzozowskiL13","doi":"10.1007/978-3-642-39274-0_8","ee":"https://doi.org/10.1007/978-3-642-39274-0_8","url":"https://dblp.org/rec/conf/wia/BrzozowskiL13"}, "url":"URL#4241284" }, { "@score":"1", "@id":"4241285", "info":{"authors":{"author":{"@pid":"41/4735","text":"Cezar Câmpeanu"}},"title":"Cover Languages and Implementations.","venue":"CIAA","pages":"1","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/Campeanu13","doi":"10.1007/978-3-642-39274-0_1","ee":"https://doi.org/10.1007/978-3-642-39274-0_1","url":"https://dblp.org/rec/conf/wia/Campeanu13"}, "url":"URL#4241285" }, { "@score":"1", "@id":"4241286", "info":{"authors":{"author":[{"@pid":"117/1582","text":"Mathieu Caralp"},{"@pid":"55/5954","text":"Pierre-Alain Reynier"},{"@pid":"t/JMTalbot","text":"Jean-Marc Talbot"}]},"title":"Trimming Visibly Pushdown Automata.","venue":"CIAA","pages":"84-96","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/CaralpRT13","doi":"10.1007/978-3-642-39274-0_9","ee":"https://doi.org/10.1007/978-3-642-39274-0_9","url":"https://dblp.org/rec/conf/wia/CaralpRT13"}, "url":"URL#4241286" }, { "@score":"1", "@id":"4241287", "info":{"authors":{"author":[{"@pid":"16/8319","text":"Dmitry Chistikov 0001"},{"@pid":"71/1981","text":"Rupak Majumdar"}]},"title":"A Uniformization Theorem for Nested Word to Word Transductions.","venue":"CIAA","pages":"97-108","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/ChistikovM13","doi":"10.1007/978-3-642-39274-0_10","ee":"https://doi.org/10.1007/978-3-642-39274-0_10","url":"https://dblp.org/rec/conf/wia/ChistikovM13"}, "url":"URL#4241287" }, { "@score":"1", "@id":"4241288", "info":{"authors":{"author":[{"@pid":"c/SCrespiReghizzi","text":"Stefano Crespi-Reghizzi"},{"@pid":"17/906","text":"Pierluigi San Pietro"}]},"title":"Deterministic Counter Machines and Parallel Matching Computations.","venue":"CIAA","pages":"280-291","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/Crespi-ReghizziP13","doi":"10.1007/978-3-642-39274-0_25","ee":"https://doi.org/10.1007/978-3-642-39274-0_25","url":"https://dblp.org/rec/conf/wia/Crespi-ReghizziP13"}, "url":"URL#4241288" }, { "@score":"1", "@id":"4241289", "info":{"authors":{"author":[{"@pid":"80/1808","text":"Denis Debarbieux"},{"@pid":"51/7012","text":"Olivier Gauwin"},{"@pid":"n/JNiehren","text":"Joachim Niehren"},{"@pid":"09/8910","text":"Tom Sebastian"},{"@pid":"79/7504","text":"Mohamed Zergaoui"}]},"title":"Early Nested Word Automata for XPath Query Answering on XML Streams.","venue":"CIAA","pages":"292-305","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/DebarbieuxGNSZ13","doi":"10.1007/978-3-642-39274-0_26","ee":"https://doi.org/10.1007/978-3-642-39274-0_26","url":"https://dblp.org/rec/conf/wia/DebarbieuxGNSZ13"}, "url":"URL#4241289" }, { "@score":"1", "@id":"4241290", "info":{"authors":{"author":[{"@pid":"90/1344","text":"Pierpaolo Degano"},{"@pid":"f/GianLuigiFerrari","text":"Gian-Luigi Ferrari 0002"},{"@pid":"96/10107","text":"Gianluca Mezzetti"}]},"title":"Towards Nominal Context-Free Model-Checking.","venue":"CIAA","pages":"109-121","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/DeganoFM13","doi":"10.1007/978-3-642-39274-0_11","ee":"https://doi.org/10.1007/978-3-642-39274-0_11","url":"https://dblp.org/rec/conf/wia/DeganoFM13"}, "url":"URL#4241290" }, { "@score":"1", "@id":"4241291", "info":{"authors":{"author":[{"@pid":"14/133","text":"Akim Demaille"},{"@pid":"43/6032","text":"Alexandre Duret-Lutz"},{"@pid":"54/1797","text":"Sylvain Lombardy"},{"@pid":"29/910","text":"Jacques Sakarovitch"}]},"title":"Implementation Concepts in Vaucanson 2.","venue":"CIAA","pages":"122-133","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/DemailleDLS13","doi":"10.1007/978-3-642-39274-0_12","ee":"https://doi.org/10.1007/978-3-642-39274-0_12","url":"https://dblp.org/rec/conf/wia/DemailleDLS13"}, "url":"URL#4241291" }, { "@score":"1", "@id":"4241292", "info":{"authors":{"author":[{"@pid":"132/1983","text":"Aloïs Dreyfus"},{"@pid":"50/1007","text":"Pierre-Cyrille Héam"},{"@pid":"95/4315","text":"Olga Kouchnarenko"}]},"title":"Enhancing Approximations for Regular Reachability Analysis.","venue":"CIAA","pages":"331-339","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/DreyfusHK13","doi":"10.1007/978-3-642-39274-0_29","ee":"https://doi.org/10.1007/978-3-642-39274-0_29","url":"https://dblp.org/rec/conf/wia/DreyfusHK13"}, "url":"URL#4241292" }, { "@score":"1", "@id":"4241293", "info":{"authors":{"author":[{"@pid":"03/3582","text":"Thomas Genet"},{"@pid":"48/4007","text":"Tristan Le Gall"},{"@pid":"52/579","text":"Axel Legay"},{"@pid":"24/10259","text":"Valérie Murat"}]},"title":"A Completion Algorithm for Lattice Tree Automata.","venue":"CIAA","pages":"134-145","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/GenetGLM13","doi":"10.1007/978-3-642-39274-0_13","ee":"https://doi.org/10.1007/978-3-642-39274-0_13","url":"https://dblp.org/rec/conf/wia/GenetGLM13"}, "url":"URL#4241293" }, { "@score":"1", "@id":"4241294", "info":{"authors":{"author":[{"@pid":"63/9638","text":"Niels Bjørn Bugge Grathwohl"},{"@pid":"h/FritzHenglein","text":"Fritz Henglein"},{"@pid":"51/8776","text":"Lasse Nielsen"},{"@pid":"132/1964","text":"Ulrik Terp Rasmussen"}]},"title":"Two-Pass Greedy Regular Expression Parsing.","venue":"CIAA","pages":"60-71","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/GrathwohlHNR13","doi":"10.1007/978-3-642-39274-0_7","ee":"https://doi.org/10.1007/978-3-642-39274-0_7","url":"https://dblp.org/rec/conf/wia/GrathwohlHNR13"}, "url":"URL#4241294" }, { "@score":"1", "@id":"4241295", "info":{"authors":{"author":[{"@pid":"h/YoSubHan","text":"Yo-Sub Han"},{"@pid":"71/9491","text":"Sang-Ki Ko"},{"@pid":"02/6009","text":"Kai Salomaa"}]},"title":"Approximate Matching between a Context-Free Grammar and a Finite-State Automaton.","venue":"CIAA","pages":"146-157","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/HanKS13","doi":"10.1007/978-3-642-39274-0_14","ee":"https://doi.org/10.1007/978-3-642-39274-0_14","url":"https://dblp.org/rec/conf/wia/HanKS13"}, "url":"URL#4241295" }, { "@score":"1", "@id":"4241296", "info":{"authors":{"author":[{"@pid":"28/10360","text":"Md. Mahbubul Hasan"},{"@pid":"125/3621","text":"A. S. M. Sohidull Islam"},{"@pid":"r/MohammadSohelRahman","text":"M. Sohel Rahman"},{"@pid":"132/1962","text":"Ayon Sen"}]},"title":"On Palindromic Sequence Automata and Applications.","venue":"CIAA","pages":"158-168","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/HasanIRS13","doi":"10.1007/978-3-642-39274-0_15","ee":"https://doi.org/10.1007/978-3-642-39274-0_15","url":"https://dblp.org/rec/conf/wia/HasanIRS13"}, "url":"URL#4241296" }, { "@score":"1", "@id":"4241297", "info":{"authors":{"author":[{"@pid":"10/4341","text":"Patrick Henry"},{"@pid":"38/4510","text":"Géraud Sénizergues"}]},"title":"LALBLC A Program Testing the Equivalence of dpda's.","venue":"CIAA","pages":"169-180","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/HenryS13","doi":"10.1007/978-3-642-39274-0_16","ee":"https://doi.org/10.1007/978-3-642-39274-0_16","url":"https://dblp.org/rec/conf/wia/HenryS13"}, "url":"URL#4241297" }, { "@score":"1", "@id":"4241298", "info":{"authors":{"author":[{"@pid":"h/MarkusHolzer1","text":"Markus Holzer 0001"},{"@pid":"65/8396","text":"Sebastian Jakobi"}]},"title":"Brzozowski's Minimization Algorithm - More Robust than Expected - (Extended Abstract).","venue":"CIAA","pages":"181-192","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/HolzerJ13","doi":"10.1007/978-3-642-39274-0_17","ee":"https://doi.org/10.1007/978-3-642-39274-0_17","url":"https://dblp.org/rec/conf/wia/HolzerJ13"}, "url":"URL#4241298" }, { "@score":"1", "@id":"4241299", "info":{"authors":{"author":[{"@pid":"95/2224","text":"Tomohiro I"},{"@pid":"132/1960","text":"Takaaki Nishimoto"},{"@pid":"88/1129","text":"Shunsuke Inenaga"},{"@pid":"44/2355","text":"Hideo Bannai"},{"@pid":"35/1544","text":"Masayuki Takeda"}]},"title":"Compressed Automata for Dictionary Matching.","venue":"CIAA","pages":"319-330","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/INIBT13","doi":"10.1007/978-3-642-39274-0_28","ee":"https://doi.org/10.1007/978-3-642-39274-0_28","url":"https://dblp.org/rec/conf/wia/INIBT13"}, "url":"URL#4241299" }, { "@score":"1", "@id":"4241300", "info":{"authors":{"author":[{"@pid":"i/OscarHIbarra","text":"Oscar H. Ibarra"},{"@pid":"24/3232","text":"Bala Ravikumar"}]},"title":"Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages.","venue":"CIAA","pages":"193-207","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/IbarraR13","doi":"10.1007/978-3-642-39274-0_18","ee":"https://doi.org/10.1007/978-3-642-39274-0_18","url":"https://dblp.org/rec/conf/wia/IbarraR13"}, "url":"URL#4241300" }, { "@score":"1", "@id":"4241301", "info":{"authors":{"author":[{"@pid":"45/123","text":"Jozef Jirásek 0001"},{"@pid":"j/GJiraskova","text":"Galina Jirásková"}]},"title":"On the Boundary of Regular Languages.","venue":"CIAA","pages":"208-219","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/JirasekJ13","doi":"10.1007/978-3-642-39274-0_19","ee":"https://doi.org/10.1007/978-3-642-39274-0_19","url":"https://dblp.org/rec/conf/wia/JirasekJ13"}, "url":"URL#4241301" }, { "@score":"1", "@id":"4241302", "info":{"authors":{"author":{"@pid":"j/HJurgensen","text":"Helmut Jürgensen"}},"title":"Automata for Codes.","venue":"CIAA","pages":"2-15","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/Jurgensen13","doi":"10.1007/978-3-642-39274-0_2","ee":"https://doi.org/10.1007/978-3-642-39274-0_2","url":"https://dblp.org/rec/conf/wia/Jurgensen13"}, "url":"URL#4241302" }, { "@score":"1", "@id":"4241303", "info":{"authors":{"author":[{"@pid":"83/2770","text":"Andrzej Kisielewicz 0001"},{"@pid":"97/10625","text":"Marek Szykula"}]},"title":"Generating Small Automata and the Černý Conjecture.","venue":"CIAA","pages":"340-348","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/KisielewiczS13","doi":"10.1007/978-3-642-39274-0_30","ee":"https://doi.org/10.1007/978-3-642-39274-0_30","url":"https://dblp.org/rec/conf/wia/KisielewiczS13"}, "url":"URL#4241303" }, { "@score":"1", "@id":"4241304", "info":{"authors":{"author":[{"@pid":"72/9959","text":"Natalia Kushik"},{"@pid":"33/658","text":"Nina Yevtushenko 0001"}]},"title":"On the Length of Homing Sequences for Nondeterministic Finite State Machines.","venue":"CIAA","pages":"220-231","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/KushikY13","doi":"10.1007/978-3-642-39274-0_20","ee":"https://doi.org/10.1007/978-3-642-39274-0_20","url":"https://dblp.org/rec/conf/wia/KushikY13"}, "url":"URL#4241304" }, { "@score":"1", "@id":"4241305", "info":{"authors":{"author":[{"@pid":"k/MartinKutrib","text":"Martin Kutrib"},{"@pid":"58/2201","text":"Andreas Malcher"},{"@pid":"96/438","text":"Carlo Mereghetti"},{"@pid":"97/5115","text":"Beatrice Palano"},{"@pid":"55/10307","text":"Matthias Wendlandt"}]},"title":"Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties.","venue":"CIAA","pages":"232-243","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/KutribMMPW13","doi":"10.1007/978-3-642-39274-0_21","ee":"https://doi.org/10.1007/978-3-642-39274-0_21","url":"https://dblp.org/rec/conf/wia/KutribMMPW13"}, "url":"URL#4241305" }, { "@score":"1", "@id":"4241306", "info":{"authors":{"author":[{"@pid":"125/2364","text":"Eva Maia"},{"@pid":"n/NelmaMoreira","text":"Nelma Moreira"},{"@pid":"30/5254","text":"Rogério Reis"}]},"title":"Incomplete Transition Complexity of Basic Operations on Finite Languages.","venue":"CIAA","pages":"349-356","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/MaiaMR13","doi":"10.1007/978-3-642-39274-0_31","ee":"https://doi.org/10.1007/978-3-642-39274-0_31","url":"https://dblp.org/rec/conf/wia/MaiaMR13"}, "url":"URL#4241306" }, { "@score":"1", "@id":"4241307", "info":{"authors":{"author":{"@pid":"48/3591","text":"Andreas Maletti"}},"title":"Hyper-optimization for Deterministic Tree Automata.","venue":"CIAA","pages":"244-255","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/Maletti13","doi":"10.1007/978-3-642-39274-0_22","ee":"https://doi.org/10.1007/978-3-642-39274-0_22","url":"https://dblp.org/rec/conf/wia/Maletti13"}, "url":"URL#4241307" }, { "@score":"1", "@id":"4241308", "info":{"authors":{"author":[{"@pid":"38/5599","text":"Frantisek Mráz"},{"@pid":"03/67","text":"Friedrich Otto"}]},"title":"Lambda-Confluence Is Undecidable for Clearing Restarting Automata.","venue":"CIAA","pages":"256-267","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/MrazO13","doi":"10.1007/978-3-642-39274-0_23","ee":"https://doi.org/10.1007/978-3-642-39274-0_23","url":"https://dblp.org/rec/conf/wia/MrazO13"}, "url":"URL#4241308" }, { "@score":"1", "@id":"4241309", "info":{"authors":{"author":[{"@pid":"50/6664","text":"Daniel Prusa"},{"@pid":"38/5599","text":"Frantisek Mráz"},{"@pid":"03/67","text":"Friedrich Otto"}]},"title":"Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata.","venue":"CIAA","pages":"268-279","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/PrusaMO13","doi":"10.1007/978-3-642-39274-0_24","ee":"https://doi.org/10.1007/978-3-642-39274-0_24","url":"https://dblp.org/rec/conf/wia/PrusaMO13"}, "url":"URL#4241309" }, { "@score":"1", "@id":"4241310", "info":{"authors":{"author":{"@pid":"48/2296","text":"Klaus Sutner"}},"title":"Invertible Transducers, Iteration and Coordinates.","venue":"CIAA","pages":"306-318","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/wia/Sutner13","doi":"10.1007/978-3-642-39274-0_27","ee":"https://doi.org/10.1007/978-3-642-39274-0_27","url":"https://dblp.org/rec/conf/wia/Sutner13"}, "url":"URL#4241310" } ] } } } )