| Warren’s Abstract Machine - a Tutorial Reconstruction H Aït-Kaci http://wambook.sourceforge.net/, 1999 | 811* | 1999 |
| LOGIN: A logic programming language with built-in inheritance H Aït-Kaci, R Nasr The Journal of logic programming 3 (3), 185-215, 1986 | 674 | 1986 |
| Towards a meaning of LIFE H Ait-Kaci, A Podelski The Journal of Logic Programming 16 (3-4), 195-234, 1993 | 385 | 1993 |
| Efficient implementation of lattice operations H Aït-Kaci, R Boyer, P Lincoln, R Nasr ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (1), 115-146, 1989 | 338 | 1989 |
| A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification) H Ait-Kaci University of Pennsylvania, 1984 | 265 | 1984 |
| An algebraic semantics approach to the effective resolution of type equations H Aït-Kaci Theoretical computer science 45, 293-351, 1986 | 221 | 1986 |
| A feature constraint system for logic programming with entailment H Aït-Kaci, A Podelski, G Smolka Theoretical Computer Science 122 (1-2), 263-283, 1994 | 180 | 1994 |
| The WAM: a (real) tutorial H Ait-Kaci Digital. Paris Research Laboratory, 1989 | 136 | 1989 |
| Inheritance hierarchies: Semantics and unification G Smolka, H Aït-Kaci Journal of Symbolic Computation 7 (3-4), 343-370, 1989 | 114 | 1989 |
| Object oriented database systems and knowledge systems C Zaniolo, H Ait-Kaci, D Beech, S Cammarata, L Kerschberg, D Maier Proceedings from the First International Workshop On Expert Database Systems …, 1986 | 106 | 1986 |
| Le Fun: Logic, equations, and functions H Aït-Kaci, R Nasr Microelectronics and Computer Technology Corporation, 1986 | 101 | 1986 |
| An overview of LIFE H Ait-Kaci International East/West Database Workshop, 42-58, 1990 | 91 | 1990 |
| Integrating logic and functional programming H Aït-Kaci, R Nasr Lisp and Symbolic Computation 2 (1), 51-89, 1989 | 78 | 1989 |
| Order-sorted feature theory unification H Aït-Kaci, A Podelski, SC Goldstein The Journal of Logic Programming 30 (2), 99-124, 1997 | 73 | 1997 |
| The typed polymorphic label-selective λ-calculus J Garrigue, H Aït-Kaci Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 56 | 1994 |
| Functions as passive constraints in LIFE H Ait-Kaci, A Podelski ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1279-1318, 1994 | 52 | 1994 |
| An introduction to LIFE-programming with logic, inheritance, functions, and equations H Aït-Kaci Proceedings of the 1993 International Symposium on Logic Programming, 52-68, 1993 | 48 | 1993 |
| Label-selective λ-calculus syntax and confluence H Aït-Kaci, J Garrigue Theoretical Computer Science 151 (2), 353-383, 1995 | 40* | 1995 |
| Type subsumption as a model of computation H Ait-Kaci Proceedings from the first international workshop on Expert database systems …, 1986 | 40 | 1986 |
| Logic and inheritance H Ait-Kaci, R Nasr Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 37 | 1986 |
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
