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

TOTAL DOCUMENTS

19

(FIVE YEARS 19)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030236786, 9783030236793

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dolev-Yao Theory with Associative Blindpair Operators

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_5 ◽

2019 ◽

pp. 58-69

Author(s):

A. Baskar ◽

R. Ramanujam ◽

S. P. Suresh

Download Full-text

New Approaches for Context Sensitive Flash Codes

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_4 ◽

2019 ◽

pp. 45-57

Author(s):

Gilad Baruch ◽

Shmuel T. Klein ◽

Dana Shapira

Keyword(s):

Context Sensitive ◽

Download Full-text

Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_15 ◽

2019 ◽

pp. 184-196 ◽

Author(s):

Stavros Konstantinidis ◽

Nelma Moreira ◽

João Pires ◽

Rogério Reis

Keyword(s):

Regular Expressions ◽

Partial Derivatives ◽

Download Full-text

Static Garbage Collection

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_1 ◽

2019 ◽

pp. 3-9

Author(s):

Sebastian Maneth

Keyword(s):

Garbage Collection

Download Full-text

A General Architecture of Oritatami Systems for Simulating Arbitrary Finite Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_12 ◽

2019 ◽

pp. 146-157 ◽

Author(s):

Yo-Sub Han ◽

Hwee Kim ◽

Yusei Masuda ◽

Shinnosuke Seki

Keyword(s):

Finite Automata ◽

General Architecture

Download Full-text

A Benchmark Production Tool for Regular Expressions

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_8 ◽

2019 ◽

pp. 95-107 ◽

Author(s):

Angelo Borsotti ◽

Luca Breveglieri ◽

Stefano Crespi Reghizzi ◽

Angelo Morzenti

Keyword(s):

Regular Expressions

Download Full-text

Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract)

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_6 ◽

2019 ◽

pp. 70-82

Author(s):

Simon Beier ◽

Markus Holzer

Keyword(s):

Finite Automata ◽

Linear Lattices

Download Full-text

Streaming Ranked-Tree-to-String Transducers

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_19 ◽

2019 ◽

pp. 235-247

Author(s):

Yuta Takahashi ◽

Kazuyuki Asada ◽

Keisuke Nakano

Download Full-text

Decision Problems for Restricted Variants of Two-Dimensional Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_18 ◽

2019 ◽

pp. 222-234 ◽

Author(s):

Taylor J. Smith ◽

Kai Salomaa

Keyword(s):

Decision Problems ◽

Two Dimensional

Download Full-text

Z-Automata for Compact and Direct Representation of Unranked Tree Languages

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-23679-3_7 ◽

2019 ◽

pp. 83-94

Author(s):

Johanna Björklund ◽

Frank Drewes ◽

Giorgio Satta

Keyword(s):

Download Full-text