dblp.uni-trier.dewww.uni-trier.de

Kerima Benkerimi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1994
7EEAntonio 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)
3EEMark 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

Coauthor Index

1Dagmar Dwehus [7]
2Patricia M. Hill [2] [4]
3Mark Levene [3]
4John W. Lloyd [1]
5Alexandra Poulovassilis [3] [5]
6Antonio Sanfilippo [7]
7Sara Schwartz [3]
8John C. Shepherdson [6]
9Eran Tuv [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)