Joxan Jaffar Home Page Coauthor index DBLP Vis pubzone.org

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

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