Hassan At-Kaci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
1986–2017
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | LOPSTR | Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. | Hassan At-Kaci, Gabriella Pasi |
| 2014 | AICCSA | CedCom: A high-performance architecture for Big Data applications. | Tanguy Raynaud, Rafiqul Haque, Hassan At-Kaci |
| 1994 | ICLP | A Database Interface for Complex Objects. | Marcel Holsheimer, Rolf A. de By, Hassan At-Kaci |
| 1994 | POPL | The Typed Polymorphic Label-Selective lambda-Calculus. | Jacques Garrigue, Hassan At-Kaci |
| 1993 | ICLP | Order-Sorted Feature Theory Unification. | Hassan At-Kaci, Andreas Podelski, Seth Copen Goldstein |
| 1993 | ICLP | An Informal Introduction to LIFE. | Hassan At-Kaci, Andreas Podelski, Peter Van Roy |
| 1993 | LPAR | Entailment and Disentailment of Order-Sorted Feature Constraints. | Hassan At-Kaci, Andreas Podelski |
| 1991 | ICLP | Warren's Abstract Machine. | Hassan At-Kaci |
| 1988 | SIGIR | BABEL: A Base for an Experimental Library. | Hassan At-Kaci, Roger Nasr, Jungyun Seo |
| 1986 | POPL | Logic and Inheritance. | Hassan At-Kaci, Roger Nasr |