Efficient type inclusion tests
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Finding least common ancestors in directed acyclic graphs
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Lowest common ancestors in trees and directed acyclic graphs
Journal of Algorithms
Exploiting the Lattice of Ideals Representation of a Poset
Fundamenta Informaticae
Lowest common ancestors in trees and directed acyclic graphs
Journal of Algorithms
Exploiting the Lattice of Ideals Representation of a Poset
Fundamenta Informaticae
ESA'12 Proceedings of the 20th Annual European conference on Algorithms
| Hi-index | 5.23 |