Automata logics, and infinite games
Automatic linear orders and trees
ACM Transactions on Computational Logic (TOCL)
Weighted automata and weighted logics
Theoretical Computer Science
Weighted automata and weighted logics with discounting
Theoretical Computer Science
Automata accepting bifix codes
Journal of Automata, Languages and Combinatorics
Recognizable tree series with discounting
Acta Cybernetica
Weighted automata and weighted logics with discounting
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Uncountable automatic classes and learning
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
Deciding the isomorphism problem in classes of unary automatic structures
Theoretical Computer Science
Uncountable automatic classes and learning
Theoretical Computer Science
Weighted muller tree automata and weighted logics
Journal of Automata, Languages and Combinatorics
Malware analysis with tree automata inference
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
A new algorithm for testing diagnosability of fuzzy discrete event systems
Information Sciences: an International Journal
Data quality through model checking techniques
IDA'11 Proceedings of the 10th international conference on Advances in intelligent data analysis X
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
Recognizing malicious software behaviors with tree automata inference
Formal Methods in System Design
Iterating invertible binary transducers
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Towards monitoring temporal properties with JamaicaVM
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Invertible transducers, iteration and coordinates
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Linear temporal logic and linear dynamic logic on finite traces
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |