dblp.uni-trier.dewww.uni-trier.de

Joxan Jaffar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
68EEJoxan Jaffar, Andrew E. Santosa, Razvan Voicu: An Interpolation Method for CLP Traversal. CP 2009: 454-469
2008
67 Joxan Jaffar, Andrew E. Santosa, Razvan Voicu: Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. AAAI 2008: 297-303
66EEJoxan Jaffar: Constraint Logic Programming for program analysis. ACSC 2008: 3
65EEJoxan Jaffar, Andrew E. Santosa, Razvan Voicu: A Coinduction Rule for Entailment of Recursively Defined Properties. CP 2008: 493-508
2007
64EEJoxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu: Generalized Committed Choice. COORDINATION 2007: 191-210
2006
63EEJoxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu: Indexing for Dynamic Abstract Regions. ICDE 2006: 12
62EEHui Wu, Joxan Jaffar, Jingling Xue: Instruction Scheduling with Release Times and Deadlines on ILP Processors. RTCSA 2006: 51-60
61EEJoxan Jaffar, Andrew E. Santosa, Razvan Voicu: A CLP Method for Compositional and Intermittent Predicate Abstraction. VMCAI 2006: 17-32
60EEJoxan Jaffar, Andrew E. Santosa, Razvan Voicu: Relative Safety. VMCAI 2006: 282-297
2005
59EEJoxan Jaffar, Andrew E. Santosa, Razvan Voicu: Modeling Systems in CLP. ICLP 2005: 412-413
58EEJoxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu: Coordination of Many Agents. ICLP 2005: 98-112
2004
57EEJoxan Jaffar: A CLP Approach to Modelling Systems. APLAS 2004: 1
56EEJoxan Jaffar: A CLP Approach to Modelling Systems. ICFEM 2004: 14
55EEJoxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu: Scalable Distributed Depth-First Search with Greedy Work Stealing. ICTAI 2004: 98-103
54EEJoxan Jaffar, Andrew E. Santosa, Razvan Voicu: A CLP Proof Method for Timed Automata. RTSS 2004: 175-186
2002
53EEHui 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)
51EEHui 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
50EEHui 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
47EEHui 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
46EEHui Wu, Joxan Jaffar, Roland H. C. Yap: A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. IEEE PACT 2000: 281-290
45EENevin 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
42EEJoxan Jaffar, Michael J. Maher, Gustaf Neumann: An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems. HICSS 1999
1998
41EEJoxan 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
28EEAlexander 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
18EEJoxan 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
16EEJoxan 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)

Coauthor Index

1Alexander Brodsky [28] [37]
2Wei-Ngan Chin [51]
3James Harland [14]
4Nevin Heintze [19] [20] [23] [25] [31] [33] [45] [48]
5Jean-Louis Lassez [2] [4] [6] [7] [10] [11] [13] [15] [16]
6Bing Liu [35] [39]
7John W. Lloyd [4]
8Michael J. Maher [6] [7] [10] [11] [13] [26] [27] [28] [29] [30] [32] [37] [40] [42] [52]
9Kim Marriott [40]
10Prabhaker Mateti [3]
11Spiro Michaylov [17] [21] [22] [24]
12Gustaf Neumann [32] [42]
13Andrew E. Santosa [54] [55] [59] [60] [61] [65] [67] [68]
14Peter J. Stuckey [8] [9] [12] [22] [24] [26] [27] [30] [40]
15Razvan Voicu [45] [48] [54] [59] [60] [61] [65] [67] [68]
16Hui Wu [46] [47] [49] [50] [51] [53] [62]
17Jingling Xue [62]
18Roland H. C. Yap [21] [22] [24] [26] [27] [30] [34] [36] [38] [39] [41] [43] [46] [47] [55] [58] [63] [64]
19Yuanlin Zhang [43]
20Kenny Qili Zhu [55] [58] [63] [64]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)