| 1994 |
|---|
| 7 | EE | Antonio Sanfilippo,
Kerima Benkerimi,
Dagmar Dwehus:
Virtual Polysemy.
COLING 1994: 696-700 |
| 6 | | Kerima Benkerimi,
John C. Shepherdson:
Partial Deduction of Updateable Definite Logic Programs.
J. Log. Program. 18(1): 1-26 (1994) |
| 1993 |
|---|
| 5 | | Kerima Benkerimi,
Alexandra Poulovassilis:
Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects.
Rules in Database Systems 1993: 251-267 |
| 4 | | Kerima Benkerimi,
Patricia M. Hill:
Supporting Transformations for the Partial Evaluation of Logic Programs.
J. Log. Comput. 3(5): 469-486 (1993) |
| 3 | EE | Mark Levene,
Alexandra Poulovassilis,
Kerima Benkerimi,
Sara Schwartz,
Eran Tuv:
Implementation of a Graph-Based Data Model for Complex Objects.
SIGMOD Record 22(4): 26-31 (1993) |
| 1992 |
|---|
| 2 | | Kerima Benkerimi,
Patricia M. Hill:
Object-Oriented Programming in Gödel: An Experiment.
META 1992: 177-191 |
| 1990 |
|---|
| 1 | | Kerima Benkerimi,
John W. Lloyd:
A Partial Evaluation Procedure for Logic Programs.
NACLP 1990: 343-358 |
