Implementation and Application of Automata - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642392733, 9783642392740
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Nominal Context-Free Model-Checking

2013 ◽  
pp. 109-121 ◽  
Author(s):  
Pierpaolo Degano ◽  
Gian-Luigi Ferrari ◽  
Gianluca Mezzetti
Keyword(s):  
Model Checking ◽  
Free Model ◽  
Context Free

scholarly journals Two-Pass Greedy Regular Expression Parsing

2013 ◽  
pp. 60-71 ◽  
Author(s):  
Niels Bjørn Bugge Grathwohl ◽  
Fritz Henglein ◽  
Lasse Nielsen ◽  
Ulrik Terp Rasmussen
Keyword(s):  
Regular Expression

Compressed Automata for Dictionary Matching

2013 ◽  
pp. 319-330
Author(s):  
Tomohiro I ◽  
Takaaki Nishimoto ◽  
Shunsuke Inenaga ◽  
Hideo Bannai ◽  
Masayuki Takeda
Keyword(s):  
Dictionary Matching
Load More ...
Sign in / Sign up

Export Citation Format

Share Document