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