Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Optimizing decision trees through heuristically guided search
Communications of the ACM
The synthetic approach to decision table conversion
Communications of the ACM
Dynamic Programming
Algorithms for shortest paths.
Algorithms for shortest paths.
Formal languages and their relation to automata
Formal languages and their relation to automata
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Computing the throughput of Concatenation State Machines
Journal of Discrete Algorithms
Synthesis and Composition of Web Services
Formal Methods for Web Services
Hi-index | 0.01 |