Hassan Aït-Kaci

发表

Andreas Podelski, Hassan Aït-Kaci, 1992, ELP.
Hassan Aït-Kaci, H. Aït-Kaci, 1990, East/West Database Workshop.
Gert Smolka, Hassan Aït-Kaci, G. Smolka, 1989, J. Symb. Comput..
Samir Amir, Hassan Aït-Kaci, 2016, Journal of Intelligent Information Systems.
Jacques Garrigue, Hassan Aït-Kaci, Jacques Garrigue, 1994, POPL '94.
Gabriella Pasi, Hassan Aït-Kaci, 2017, ArXiv.
Samir Amir, Hassan Aït-Kaci, 2015, Journal of Intelligent Information Systems.
Andreas Podelski, Hassan Aït-Kaci, Bruno Dumant, 1994 .
Jungyun Seo, Hassan Aït-Kaci, Roger Nasr, 1990, Inf. Process. Manag..
Hassan Aït-Kaci, H. Aït-Kaci, 1986, Theor. Comput. Sci..
Andreas Podelski, Hassan Aït-Kaci, 1993, LPAR.
Rafiqul Haque, Hassan Aït-Kaci, Tanguy Raynaud, 2014, 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA).
Hassan Aït-Kaci, H. Aït-Kaci, 1990, East/West Database Workshop.
Hassan Aït-Kaci, 1991, ICLP.
Patrick Lincoln, Hassan Aït-Kaci, Roger Nasr, 1987, SLP.
Rolf A. de By, Hassan Aït-Kaci, Marcel Holsheimer, 1993, ICLP.
Hassan Aït-Kaci, 2011, Web Intelligence.
Hassan Aït-Kaci, H. Aït-Kaci, 2013, In Search of Elegance in the Theory and Practice of Computation.
Peter Van Roy, Andreas Podelski, Hassan Aït-Kaci, 1993, ICLP Workshop on Concurrent Constraint Programming.
Maurice Nivat, Hassan Aït-Kaci, M. Nivat, 1989 .
Gert Smolka, Andreas Podelski, Hassan Aït-Kaci, 1992, FGCS.
Samir Amir, Hassan Aït-Kaci, 2014, 2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems.
Hassan Aït-Kaci, Roger Nasr, H. Aït-Kaci, 1986, J. Log. Program..
Hassan Aït-Kaci, H. Aït-Kaci, 1985, RAIRO Theor. Informatics Appl..
Carlo Zaniolo, David Maier, David Beech, 1984, Expert Database Workshop.
Hassan Aït-Kaci, 1991, BDA.
Jungyun Seo, Hassan Aït-Kaci, Roger Nasr, 1988, SIGIR '88.
Hassan Aït-Kaci, R. A. de By, Marcel Holsheimer, 1993 .
Patrick Lincoln, Robert S. Boyer, Hassan Aït-Kaci, 1989, TOPL.
Hassan Aït-Kaci, H. Aït-Kaci, 2007, Description Logics.
Andreas Podelski, Hassan Aït-Kaci, 1994, TOPL.
Yutaka Sasaki, Hassan Aït-Kaci, H. Aït-Kaci, 2001, ECML.
Andreas Podelski, Hassan Aït-Kaci, 1991, PLILP.
Gert Smolka, Andreas Podelski, Hassan Aït-Kaci, 1994, Theor. Comput. Sci..
Jacques Garrigue, Hassan Aït-Kaci, Jacques Garrigue, 1994 .
Andreas Podelski, Hassan Aït-Kaci, A. Podelski, 1991, J. Log. Program..
Samir Amir, Hassan Aït-Kaci, 2013, International Semantic Web Conference.
Seth Copen Goldstein, Andreas Podelski, Hassan Aït-Kaci, 1993, J. Log. Program..
Hassan Aït-Kaci, Roger Nasr, H. Aït-Kaci, 1989, LISP Symb. Comput..
Hassan Aït-Kaci, Roger Nasr, H. Aït-Kaci, 1986, POPL '86.
Patrick Lincoln, Hassan Aït-Kaci, Raymonde Guindon, 2007 .
Hassan Aït-Kaci, 1984, Expert Database Workshop.
Hassan Aït-Kaci, H. Aït-Kaci, 1991 .
Hassan Aït-Kaci, 1985, Data Types and Persistence , Informal Proceedings.