The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joxan Jaffar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joxan Jaffar, Jean-Louis Lassez
    Constraint Logic Programming. [Citation Graph (33, 0)][DBLP]
    POPL, 1987, pp:111-119 [Conf]
  2. Alexander Brodsky, Joxan Jaffar, Michael J. Maher
    Toward Practical Constraint Databases. [Citation Graph (14, 38)][DBLP]
    VLDB, 1993, pp:567-580 [Conf]
  3. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    The CLP(R) Language and System. [Citation Graph (7, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1992, v:14, n:3, pp:339-395 [Journal]
  4. Joxan Jaffar, Michael J. Maher
    Constraint Logic Programming: A Survey. [Citation Graph (5, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:503-581 [Journal]
  5. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Output in CLP. [Citation Graph (2, 0)][DBLP]
    FGCS, 1992, pp:987-995 [Conf]
  6. Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd
    Completeness of the Negation as Failure Rule. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1983, pp:500-506 [Conf]
  7. Nevin Heintze, Joxan Jaffar
    Set Constraints and Set-Based Analysis. [Citation Graph (2, 0)][DBLP]
    PPCP, 1994, pp:281-298 [Conf]
  8. Joxan Jaffar, Spiro Michaylov
    Methodology and Implementation of a CLP System. [Citation Graph (1, 0)][DBLP]
    ICLP, 1987, pp:196-218 [Conf]
  9. Nevin Heintze, Joxan Jaffar
    A Decision Procedure for a Class of Set Constraints (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    LICS, 1990, pp:42-51 [Conf]
  10. Joxan Jaffar, Jean-Louis Lassez
    From Unification to Constraints. [Citation Graph (1, 0)][DBLP]
    LP, 1987, pp:1-18 [Conf]
  11. Nevin Heintze, Joxan Jaffar
    A Finite Presentation Theorem for Approximating Logic Programs. [Citation Graph (1, 0)][DBLP]
    POPL, 1990, pp:197-209 [Conf]
  12. Alexander Brodsky, Joxan Jaffar, Michael J. Maher
    Toward Practical Query Evaluation for Constraint Databases. [Citation Graph (1, 0)][DBLP]
    Constraints, 1997, v:2, n:3/4, pp:279-304 [Journal]
  13. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    A Theory of Complete Logic Programs with Equality. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1984, v:1, n:3, pp:211-223 [Journal]
  14. Hui Wu, Joxan Jaffar, Roland H. C. Yap
    A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. [Citation Graph (0, 0)][DBLP]
    IEEE PACT, 2000, pp:281-290 [Conf]
  15. Bing Liu, Joxan Jaffar
    Using Constraints to Model Disjunctions in Rule-Based Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1248-1255 [Conf]
  16. Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar
    Functional Elimination and 0/1/All Constraints. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:175-180 [Conf]
  17. Joxan Jaffar
    A CLP Approach to Modelling Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:1- [Conf]
  18. Hui Wu, Joxan Jaffar
    An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:167-178 [Conf]
  19. Nevin Heintze, Joxan Jaffar, Razvan Voicu
    Conditional Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:33-49 [Conf]
  20. Joxan Jaffar, Roland H. C. Yap
    Open Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:1- [Conf]
  21. Hui Wu, Joxan Jaffar, Roland H. C. Yap
    Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:457-469 [Conf]
  22. Joxan Jaffar, Jean-Louis Lassez
    Reasoning about Array Segments. [Citation Graph (0, 0)][DBLP]
    ECAI, 1982, pp:62-66 [Conf]
  23. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    A Theory of Complete Logic Programs with Equality. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:175-184 [Conf]
  24. Joxan Jaffar, Michael J. Maher, Gustaf Neumann
    An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  25. Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
    Indexing for Dynamic Abstract Regions. [Citation Graph (0, 0)][DBLP]
    ICDE, 2006, pp:12- [Conf]
  26. Joxan Jaffar
    A CLP Approach to Modelling Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:14- [Conf]
  27. Nevin Heintze, Joxan Jaffar
    A Generic Algorithm for CLP Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:49-63 [Conf]
  28. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:223-241 [Conf]
  29. Joxan Jaffar, Peter J. Stuckey
    Logic Program Semantics for Programming with Equations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:313-326 [Conf]
  30. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    Modeling Systems in CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:412-413 [Conf]
  31. Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
    Coordination of Many Agents. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:98-112 [Conf]
  32. Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu
    Scalable Distributed Depth-First Search with Greedy Work Stealing. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2004, pp:98-103 [Conf]
  33. Nevin Heintze, Joxan Jaffar
    An Engine for Logic Program Analysis [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:318-328 [Conf]
  34. Joxan Jaffar, Bing Liu, Roland H. C. Yap
    Forward and Backward Chaining in Constraint Programming (Abstract). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:1- [Conf]
  35. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    An Abstract Machine for CLP(R). [Citation Graph (0, 0)][DBLP]
    PLDI, 1992, pp:128-139 [Conf]
  36. Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
    A Methodology for Managing Hard Constraints in CLP Systems. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:306-316 [Conf]
  37. Nevin Heintze, Joxan Jaffar, Razvan Voicu
    A Framework for Combining Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:26-39 [Conf]
  38. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Beyond Finite Domains. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:86-94 [Conf]
  39. Hui Wu, Joxan Jaffar, Jingling Xue
    Instruction Scheduling with Release Times and Deadlines on ILP Processors. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2006, pp:51-60 [Conf]
  40. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    A CLP Proof Method for Timed Automata. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:175-186 [Conf]
  41. Hui Wu, Joxan Jaffar
    An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 2001, pp:235-0 [Conf]
  42. Joxan Jaffar, Michael J. Maher, Gustaf Neumann
    Logic Programming and Object Modelling: A Case Study (Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:48- [Conf]
  43. Hui Wu, Joxan Jaffar
    Two processor scheduling with real release times and deadlines. [Citation Graph (0, 0)][DBLP]
    SPAA, 2002, pp:127-132 [Conf]
  44. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    A CLP Method for Compositional and Intermittent Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:17-32 [Conf]
  45. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
    Relative Safety. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:282-297 [Conf]
  46. Joxan Jaffar, Michael J. Maher
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:3-4, pp:227-228 [Journal]
  47. Joxan Jaffar, Roland H. C. Yap
    Constraint Programming 2000: A Position Paper. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:71-73 [Journal]
  48. Joxan Jaffar, Roland H. C. Yap
    Constraint Programming 2000. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:65- [Journal]
  49. Joxan Jaffar
    Presburger Arithmetic With Array Segments. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1981, v:12, n:2, pp:79-82 [Journal]
  50. Joxan Jaffar
    Minimal and Complete Word Unification [Citation Graph (0, 0)][DBLP]
    J. ACM, 1990, v:37, n:1, pp:47-85 [Journal]
  51. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    Comments on "General Failure of Logic Programs". [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:2, pp:115-118 [Journal]
  52. Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
    The Semantics of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:1-46 [Journal]
  53. Joxan Jaffar, Peter J. Stuckey
    Canonical Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:2, pp:143-155 [Journal]
  54. James Harland, Joxan Jaffar
    On Parallel Unification for Prolog. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1987, v:5, n:3, pp:259-279 [Journal]
  55. Joxan Jaffar
    Efficient Unification over Infinite Terms. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1984, v:2, n:3, pp:207-219 [Journal]
  56. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Projecting CLP (R) Constraints. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1993, v:11, n:3, pp:449-469 [Journal]
  57. Prabhaker Mateti, Joxan Jaffar
    A Correctness Proof of an Indenting Program. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1983, v:13, n:3, pp:199-226 [Journal]
  58. Joxan Jaffar, Peter J. Stuckey
    Semantics of Infinite Tree Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:141-158 [Journal]
  59. Hui Wu, Wei-Ngan Chin, Joxan Jaffar
    An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:1, pp:18-29 [Journal]
  60. Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
    Generalized Committed Choice. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:191-210 [Conf]

  61. Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. [Citation Graph (, )][DBLP]


  62. Constraint Logic Programming for program analysis. [Citation Graph (, )][DBLP]


  63. Abstraction Learning. [Citation Graph (, )][DBLP]


  64. A Coinduction Rule for Entailment of Recursively Defined Properties. [Citation Graph (, )][DBLP]


  65. An Interpolation Method for CLP Traversal. [Citation Graph (, )][DBLP]


  66. Recursive Abstractions for Parameterized Systems. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002