Composing Abstractions of Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
D(k)-index: an adaptive structural summary for graph-structured data
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Compositional Abstractions of Hybrid Control Systems
Discrete Event Dynamic Systems
Enabling structural summaries for efficient update and workload adaptation
Data & Knowledge Engineering
Fuzzy relation equations and reduction of fuzzy automata
Journal of Computer and System Sciences
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science
Bisimulations for fuzzy automata
Fuzzy Sets and Systems
A categorical view of timed weak bisimulation
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Computation of the greatest simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems
Unifying Equivalences for Higher Dimensional Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Nondeterministic automata: Equivalence, bisimulations, and uniform relations
Information Sciences: an International Journal
| Hi-index | 5.23 |