Journal of the ACM (JACM)
CONCUR 2005 - Concurrency Theory
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
A kleene theorem for languages of words indexed by linear orderings
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Learning driving behavior by timed syntactic pattern recognition
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae
Learning probabilistic real-time automata from multi-attribute event logs
Intelligent Data Analysis - Dynamic Networks and Knowledge Discovery
Hi-index | 0.00 |