Hermenegildo, Manuel

Fifty Years of Prolog and Beyond

KÖRNER, P., LEUSCHEL, M., BARBOSA, J., COSTA, V. S., DAHL, V., HERMENEGILDO, M. V., MORALES, J. F., WIELEMAKER, J., DIAZ, D., ABREU, S., et al. (2022) · Theory and Practice of Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 40

Implementation of multiple specialization in logic programs

Puebla, G., & Hermenegildo, M. (1995) · Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95

Logic, programming, and type systemsParallel Computing and Optimization Techniques

Cited by 31

Little’s Law

Dongarra, J., Luszczek, P., Feautrier, P., Zee, F. G., Chan, E., Geijn, R. A., Bjornson, R., Dongarra, J., Luszczek, P., Philippe, B., et al. (2011) · Encyclopedia of Parallel Computing

Advanced Queuing Theory AnalysisManagement and Optimization Techniques

Cited by 5