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

Using Regular Grammars for Event-Based Testing

2013 ◽  
pp. 48-59 ◽  
Author(s):  
Fevzi Belli ◽  
Mutlu Beyazıt
Keyword(s):  
Event Based

Lambda-Confluence Is Undecidable for Clearing Restarting Automata

2013 ◽  
pp. 256-267
Author(s):  
František Mráz ◽  
Friedrich Otto

On the Boundary of Regular Languages

2013 ◽  
pp. 208-219
Author(s):  
Jozef Jirásek ◽  
Galina Jirásková
Keyword(s):  
Regular Languages

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

A Uniformization Theorem for Nested Word to Word Transductions

2013 ◽  
pp. 97-108 ◽  
Author(s):  
Dmitry Chistikov ◽  
Rupak Majumdar
Keyword(s):  
Uniformization Theorem

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

Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata

2013 ◽  
pp. 268-279 ◽  
Author(s):  
Daniel Průša ◽  
František Mráz ◽  
Friedrich Otto
Keyword(s):  
Two Dimensional

Generating Small Automata and the Černý Conjecture

2013 ◽  
pp. 340-348 ◽  
Author(s):  
Andrzej Kisielewicz ◽  
Marek Szykuła
Load More ...
Sign in / Sign up

Export Citation Format

Share Document