×

zbMATH — the first resource for mathematics

Jaffar, Joxan

Compute Distance To:
Author ID: jaffar.joxan Recent zbMATH articles by "Jaffar, Joxan"
Published as: Jaffar, J.; Jaffar, Joxan
Documents Indexed: 24 Publications since 1981, including 3 Books

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 149 times in 139 Documents Cited by Year
Constraint logic programming: A survey. Zbl 0900.68127
Jaffar, J.; Maher, M. J.
56
1998
Minimal and complete word unification. Zbl 0697.68052
Jaffar, Joxan
24
1990
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
22
1998
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
11
1984
Semantics of infinite tree logic programming. Zbl 0621.68054
Jaffar, Joxan; Stuckey, Peter J.
9
1986
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
9
1986
Canonical logic programs. Zbl 0592.68018
Jaffar, Joxan; Stuckey, Peter J.
6
1986
Presburger arithmetic with array segments. Zbl 0474.03006
Jaffar, Joxan
3
1981
Modeling systems in CLP. Zbl 1165.68334
Jaffar, Joxan; Santosa, Andrew E.; Voicu, Răzvan
2
2005
Principles and practice of constraint programming – CP 1999. 5th international conference, Alexandria, VA, USA, October 11–14, 1999. Proceedings. Zbl 0929.00071
Jaffar, Joxan (ed.)
2
1999
Toward practical query evaluation for constraint databases. Zbl 0889.68045
Brodsky, Alexander; Jaffar, Joxan; Maher, Michael J.
2
1997
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Progressive reasoning over recursively-defined strings. Zbl 1411.68031
Trinh, Minh-Thai; Chu, Duc-Hiep; Jaffar, Joxan
1
2016
Progressive reasoning over recursively-defined strings. Zbl 1411.68031
Trinh, Minh-Thai; Chu, Duc-Hiep; Jaffar, Joxan
1
2016
Modeling systems in CLP. Zbl 1165.68334
Jaffar, Joxan; Santosa, Andrew E.; Voicu, Răzvan
2
2005
Principles and practice of constraint programming – CP 1999. 5th international conference, Alexandria, VA, USA, October 11–14, 1999. Proceedings. Zbl 0929.00071
Jaffar, Joxan (ed.)
2
1999
Constraint logic programming: A survey. Zbl 0900.68127
Jaffar, J.; Maher, M. J.
56
1998
The semantics of constraint logic programs. Zbl 0920.68068
Jaffar, Joxan; Maher, Michael; Marriott, Kim; Stuckey, Peter
22
1998
Toward practical query evaluation for constraint databases. Zbl 0889.68045
Brodsky, Alexander; Jaffar, Joxan; Maher, Michael J.
2
1997
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Minimal and complete word unification. Zbl 0697.68052
Jaffar, Joxan
24
1990
Semantics of infinite tree logic programming. Zbl 0621.68054
Jaffar, Joxan; Stuckey, Peter J.
9
1986
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
9
1986
Canonical logic programs. Zbl 0592.68018
Jaffar, Joxan; Stuckey, Peter J.
6
1986
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
11
1984
Presburger arithmetic with array segments. Zbl 0474.03006
Jaffar, Joxan
3
1981
all top 5

Cited by 261 Authors

5 Pettorossi, Alberto
5 Proietti, Maurizio
5 Rodríguez-Artalejo, Mario
5 Stuckey, Peter James
4 del Vado Vírseda, Rafael
4 Gabbrielli, Maurizio
4 Kutsia, Temur
4 Levi, Giorgio
4 Maher, Michael J.
3 Estévez-Martín, Sonia
3 Fernández, Antonio J.
3 Fioravanti, Fabio
3 Gallagher, John P.
3 Hölldobler, Steffen
3 Kafle, Bishoksan
3 Lipton, James B.
3 Mesnard, Fred
3 Sáenz-Pérez, Fernando
3 Seki, Hirohisa
3 Thielscher, Michael
3 Vidal, Germán
2 Abdulrab, Habib
2 Alpuente, María
2 Blair, Howard A.
2 De Angelis, Emanuele
2 de Boer, Frank S.
2 Dovier, Agostino
2 Etalle, Sandro
2 Falaschi, Moreno
2 Hortalá-González, Teresa
2 Jayaraman, Bharat
2 Lakin, Matthew R.
2 Meo, Maria Chiara
2 Nieva, Susana
2 Otto, Friedrich
2 Palamidessi, Catuscia
2 Payet, Étienne
2 Pitts, Andrew M.
2 Ranise, Silvio
2 Schulz, Klaus U.
2 Siekmann, Jörg H.
2 Subrahmanian, V. S.
1 Abdulla, Parosh Aziz
1 Abreu, Salvador
1 Achuthan, Krishnashree
1 Aiba, Akira
1 Albert, Elvira
1 Amato, Gianluca
1 Aranda-López, Gabriel
1 Arias, Joaquin
1 Armando, Alessandro
1 Atig, Mohamed Faouzi
1 Baader, Franz
1 Bagnara, Roberto
1 Baudinet, Marianne
1 Beauquier, Joffroy
1 Beldiceanu, Nicolas
1 Bensaou, N.
1 Bérard, Béatrice
1 Bistarelli, Stefano
1 Bjørner, Nikolaj S.
1 Blanc, Georges
1 Bleuzen-Guernalec, Noëlle
1 Bonnier, Staffan
1 Bossi, A.
1 Bradley, Elizabeth
1 Brown, Allen L. jun.
1 Browne, Anca
1 Brzoska, Christoph
1 Bürckert, Hans Jürgen
1 Burke, Edmund Kieran
1 Caballero, Rafael E.
1 Carro, Manuel
1 Cerny, Eduard
1 Cheang, Brenda
1 Chomicki, Jan
1 Coenen, Frans
1 Coglio, Alessandro
1 Contejean, Evelyne
1 Day, Joel D.
1 Delzanno, Gian Luca
1 Di Pierro, Alessandra
1 Diep, Bui Phi
1 Dincbas, Mehmet
1 Doets, Kees
1 Dong, JinSong
1 Dundua, Besik
1 Easley, Matthew
1 Eirinakis, Pavlos
1 Endriss, Ulle
1 Fages, François
1 Ferreira, Lígia
1 Finkelstein, Stacy E.
1 Florido, Mário
1 Freyd, Peter J.
1 Fribourg, Laurent
1 Friedrich, Gerhard E.
1 Furbach, Ulrich
1 Gagné, Caroline
1 Gaibisso, Carlo
...and 161 more Authors

Citations by Year