|
Search the dblp DataBase
Joxan Jaffar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Joxan Jaffar, Jean-Louis Lassez
Constraint Logic Programming. [Citation Graph (33, 0)][DBLP] POPL, 1987, pp:111-119 [Conf]
- Alexander Brodsky, Joxan Jaffar, Michael J. Maher
Toward Practical Constraint Databases. [Citation Graph (14, 38)][DBLP] VLDB, 1993, pp:567-580 [Conf]
- 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]
- 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]
- 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]
- 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]
- Nevin Heintze, Joxan Jaffar
Set Constraints and Set-Based Analysis. [Citation Graph (2, 0)][DBLP] PPCP, 1994, pp:281-298 [Conf]
- Joxan Jaffar, Spiro Michaylov
Methodology and Implementation of a CLP System. [Citation Graph (1, 0)][DBLP] ICLP, 1987, pp:196-218 [Conf]
- 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]
- Joxan Jaffar, Jean-Louis Lassez
From Unification to Constraints. [Citation Graph (1, 0)][DBLP] LP, 1987, pp:1-18 [Conf]
- Nevin Heintze, Joxan Jaffar
A Finite Presentation Theorem for Approximating Logic Programs. [Citation Graph (1, 0)][DBLP] POPL, 1990, pp:197-209 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- Joxan Jaffar
A CLP Approach to Modelling Systems. [Citation Graph (0, 0)][DBLP] APLAS, 2004, pp:1- [Conf]
- 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]
- Nevin Heintze, Joxan Jaffar, Razvan Voicu
Conditional Analysis and Verification. [Citation Graph (0, 0)][DBLP] APLAS, 2000, pp:33-49 [Conf]
- Joxan Jaffar, Roland H. C. Yap
Open Constraint Programming. [Citation Graph (0, 0)][DBLP] CP, 1998, pp:1- [Conf]
- 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]
- Joxan Jaffar, Jean-Louis Lassez
Reasoning about Array Segments. [Citation Graph (0, 0)][DBLP] ECAI, 1982, pp:62-66 [Conf]
- 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]
- 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]
- Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
Indexing for Dynamic Abstract Regions. [Citation Graph (0, 0)][DBLP] ICDE, 2006, pp:12- [Conf]
- Joxan Jaffar
A CLP Approach to Modelling Systems. [Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:14- [Conf]
- Nevin Heintze, Joxan Jaffar
A Generic Algorithm for CLP Analysis. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:49-63 [Conf]
- 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]
- Joxan Jaffar, Peter J. Stuckey
Logic Program Semantics for Programming with Equations. [Citation Graph (0, 0)][DBLP] ICLP, 1986, pp:313-326 [Conf]
- Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Modeling Systems in CLP. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:412-413 [Conf]
- Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
Coordination of Many Agents. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:98-112 [Conf]
- 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]
- Nevin Heintze, Joxan Jaffar
An Engine for Logic Program Analysis [Citation Graph (0, 0)][DBLP] LICS, 1992, pp:318-328 [Conf]
- 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]
- 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]
- 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]
- Nevin Heintze, Joxan Jaffar, Razvan Voicu
A Framework for Combining Analysis and Verification. [Citation Graph (0, 0)][DBLP] POPL, 2000, pp:26-39 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- Hui Wu, Joxan Jaffar
Two processor scheduling with real release times and deadlines. [Citation Graph (0, 0)][DBLP] SPAA, 2002, pp:127-132 [Conf]
- 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]
- Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Relative Safety. [Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:282-297 [Conf]
- Joxan Jaffar, Michael J. Maher
Guest Editorial. [Citation Graph (0, 0)][DBLP] Constraints, 2002, v:7, n:3-4, pp:227-228 [Journal]
- 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]
- 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]
- Joxan Jaffar
Presburger Arithmetic With Array Segments. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1981, v:12, n:2, pp:79-82 [Journal]
- Joxan Jaffar
Minimal and Complete Word Unification [Citation Graph (0, 0)][DBLP] J. ACM, 1990, v:37, n:1, pp:47-85 [Journal]
- 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]
- 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]
- 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]
- 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]
- Joxan Jaffar
Efficient Unification over Infinite Terms. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1984, v:2, n:3, pp:207-219 [Journal]
- 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]
- 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]
- 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]
- 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]
- Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu
Generalized Committed Choice. [Citation Graph (0, 0)][DBLP] COORDINATION, 2007, pp:191-210 [Conf]
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. [Citation Graph (, )][DBLP]
Constraint Logic Programming for program analysis. [Citation Graph (, )][DBLP]
Abstraction Learning. [Citation Graph (, )][DBLP]
A Coinduction Rule for Entailment of Recursively Defined Properties. [Citation Graph (, )][DBLP]
An Interpolation Method for CLP Traversal. [Citation Graph (, )][DBLP]
Recursive Abstractions for Parameterized Systems. [Citation Graph (, )][DBLP]
Search in 0.129secs, Finished in 0.131secs
|