Show indexed articles as search result.

The articles of this volume will be announced individually.
Indexed articles:
Barua, Rana; Gupta, Kishan Chand, Finite automata, 1-17 [Zbl 1290.68068]
Yang, Yi-Hua E.; Prasanna, Viktor K., Large-scale regular expression matching on FPGA, 19-43 [Zbl 1290.68083]
Baliosian, Javier; Wonsever, Dina, Finite state transducers, 45-68 [Zbl 1364.68245]
Gauwin, Olivier, Tree automata, 69-85 [Zbl 1302.68161]
Sun, Jun; Liu, Yang; Dong, Jin Song, Timed automata, 87-111 [Zbl 1304.68123]
Qiu, Daowen; Li, Lvzhou; Mateus, Paula; Gruska, Jozef, Quantum finite automata, 113-144 [Zbl 1304.68121]
Almeida, Marco; Moreira, Nelma; Reis, Rogério, Finite automata minimization, 145-169 [Zbl 1304.68090]
Daciuk, Jan, Incremental construction of finite-state automata, 171-190 [Zbl 1291.68229]
Mousavi, Mohammad Reza, Esterel and the semantics of causality, 191-206 [Zbl 1311.68040]
Thomo, Alex; Venkatesh, S., Regular path queries on graph-structured data, 207-221 [Zbl 1311.68050]
Kurkowski, Miroslaw; Penczek, Wojciech, Applying timed automata to model checking of security protocols, 223-254 [Zbl 1304.68129]
Nedjah, Nadia; de Macedo Mourelle, Luiza, Optimal adaptive pattern-matching using finite state automata, 225-266 [Zbl 1304.68115]
Zhao, Yang, Finite state automata in compilers, 267-281 [Zbl 1304.68127]
Wang, Jiacun, Petri nets, 297-316 [Zbl 1290.68098]
Lu, Hanlin; Yu, Sheng, Statecharts, 317-336 [Zbl 1311.68070]
Duan, Zhenhua; Tian, Cong, Model checking, 337-369 [Zbl 1290.68087]