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

Peter J. Stuckey

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

2009
208EEChristian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2): (2009)
2008
207 Peter J. Stuckey: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings Springer 2008
206EEOlga Ohrimenko, Peter J. Stuckey: Modelling for Lazy Clause Generation. CATS 2008: 27-37
205EESamuel Huston, Jakob Puchinger, Peter J. Stuckey: The Core Concept for 0/1 Integer Programming. CATS 2008: 39-47
204EEJakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand: From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232
203EEGraeme Gange, Kim Marriott, Peter J. Stuckey: Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59
202EEGraeme Gange, Vitaly Lagoon, Peter J. Stuckey: Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
201EELeslie De Koninck, Peter J. Stuckey, Gregory J. Duck: Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47
200EEChristian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346
199EEGregory J. Duck, Leslie De Koninck, Peter J. Stuckey: Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545
198EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753
197EESebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey: Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83
196EEJakob Puchinger, Peter J. Stuckey: Automating branch-and-bound for dynamic programs. PEPM 2008: 81-89
195EEThibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235
194EEChristian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257
193EEMichael Wybrow, Kim Marriott, Linda Mciver, Peter J. Stuckey: Comparing usability of one-way and multi-way constraints for diagram editing. ACM Trans. Comput.-Hum. Interact. 14(4): (2008)
192EEChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1): (2008)
191EEArun Siddharth Konagurthu, Peter J. Stuckey, Arthur M. Lesk: Structural search and retrieval using a tableau representation of protein folding patterns. Bioinformatics 24(5): 645-651 (2008)
190EENatashia Boland, Barry D. Hughes, Liam T. G. Merlot, Peter J. Stuckey: New integer linear programming approaches for course timetabling. Computers & OR 35(7): 2209-2233 (2008)
189EEKim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace: The Design of the Zinc Modelling Language. Constraints 13(3): 229-267 (2008)
188EETim Dwyer, Kim Marriott, Falk Schreiber, Peter J. Stuckey, Michael Woodward, Michael Wybrow: Exploration of Networks using overview+detail with Constraint-based cooperative layout. IEEE Trans. Vis. Comput. Graph. 14(6): 1293-1300 (2008)
187EEMartin Sulzmann, Peter J. Stuckey: HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008)
186EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic programming with satisfiability. TPLP 8(1): 121-128 (2008)
185EEPeter J. Stuckey: Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages. TPLP 8(2): 242-246 (2008)
2007
184EESebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224
183EENicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack: MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543
182EEOlga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation = Lazy Clause Generation. CP 2007: 544-558
181EEDavaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey: Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. CPAIOR 2007: 1-15
180EEKenneth A. Ross, Peter J. Stuckey, Amélie Marian: Practical Preference Relations for Large Data Sets. ICDE Workshops 2007: 229-236
179EEGregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
178EEThibaut Feydy, Peter J. Stuckey: Propagating dense systems of integer linear equations. SAC 2007: 306-310
177EEKathryn Francis, Peter J. Stuckey: Constraint propagation for loose constraint graphs. SAC 2007: 334-335
176EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): (2007)
175EEAndreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints CoRR abs/0709.2961: (2007)
174EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic Programming with Satisfiability CoRR abs/cs/0702072: (2007)
173EEMartin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey: Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17(1): 83-129 (2007)
172EEHai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: The island confinement method for reducing search space in local search methods. J. Heuristics 13(6): 557-585 (2007)
2006
171EEPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25
170EEMartin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43
169EEChiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58
168EEMichael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
167EEMartin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64
166EETim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal - Correction. Graph Drawing 2006: 446-447
165EEGregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. ICLP 2006: 117-131
164EEPeter Hawkins, Peter J. Stuckey: A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117
163EERalph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace: Adding Constraint Solving to Mercury. PADL 2006: 118-133
162EERafiq Muhammad, Peter J. Stuckey: A Stochastic Non-CNF SAT Solver. PRICAI 2006: 120-129
161EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18
160EEHai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT CoRR abs/cs/0607071: (2006)
159EEGregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting CoRR abs/cs/0608016: (2006)
158EEChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines CoRR abs/cs/0611009: (2006)
157EETom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth: Automatic Implication Checking for CHR Constraints. Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006)
156EEArun Siddharth Konagurthu, Peter J. Stuckey: Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds. Journal of Computational Biology 13(3): 668-685 (2006)
155EETom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
2005
154EEPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh: The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP 2005: 13-16
153EETim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal. Graph Drawing 2005: 153-164
152EEMichael Wybrow, Kim Marriott, Peter J. Stuckey: Incremental Connector Routing. Graph Drawing 2005: 446-457
151EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340
150EEPeter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh: The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP 2005: 9-13
149EEJames Bailey, Peter J. Stuckey: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL 2005: 174-186
148EETom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
147EEChristian Schulte, Peter J. Stuckey: When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. 27(3): 388-425 (2005)
146EEPeter J. Stuckey, Martin Sulzmann: A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)
145EETom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
144EEPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations CoRR abs/cs/0507036: (2005)
143EEPeter J. Stuckey, Martin Sulzmann: Type Inference for Guarded Recursive Data Types CoRR abs/cs/0507037: (2005)
142EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination CoRR abs/cs/0512067: (2005)
141EEPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)
140EEChristian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL. TPLP 5(4-5): 503-531 (2005)
139EEMaria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen: Checking modes of HAL progams. TPLP 5(6): 623-668 (2005)
2004
138 Yukiyoshi Kameyama, Peter J. Stuckey: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings Springer 2004
137EEKim Marriott, Bernd Meyer, Peter J. Stuckey: Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394
136EEPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717
135EEVitaly Lagoon, Peter J. Stuckey: Set Domain Propagation Using ROBDDs. CP 2004: 347-361
134EEChristian Schulte, Peter J. Stuckey: Speeding Up Constraint Propagation. CP 2004: 619-633
133EEGregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
132EEGregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
131EEGregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: The Refined Operational Semantics of Constraint Handling Rules. ICLP 2004: 90-104
130EEKonstantinos F. Sagonas, Peter J. Stuckey: Just enough tabling. PPDP 2004: 78-89
129EEGermán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260
128EEBart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey: Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538
127EEChiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
126EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling CoRR abs/cs/0412026: (2004)
125EEChristian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL CoRR cs.PL/0408025: (2004)
124EEMaria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen: Checking modes of HAL programs CoRR cs.PL/0409038: (2004)
123EEArun Siddharth Konagurthu, James C. Whisstock, Peter J. Stuckey: Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs. J. Bioinformatics and Computational Biology 2(4): 719-746 (2004)
122EEKim Marriott, Peter J. Stuckey: NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(2): 295-312 (2004)
2003
121EEKim Marriott, Peter J. Stuckey, Martin Sulzmann: Resource Usage Verification. APLAS 2003: 212-229
120EEChi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
119EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy in Redundant Modelling. CP 2003: 229-243
118EEVitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey: Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268
117EEPeter J. Stuckey, Lei Zheng: Improving Nogood Recording Using 2SAT. ICTAI 2003: 94-99
116 Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369
115 Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371
114EEMaria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny: Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43
113EEGregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90
112EESteve Barker, Peter J. Stuckey: Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur. 6(4): 501-546 (2003)
111EEPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: The Chameleon Type Debugger (Tool Demonstration) CoRR cs.PL/0311023: (2003)
110 Kim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He: Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints 8(2): 143-171 (2003)
109 Warwick Harvey, Peter J. Stuckey: Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints 8(2): 173-207 (2003)
2002
108 Peter J. Stuckey: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings Springer 2002
107 Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI 2002: 28-33
106EELei Zheng, Peter J. Stuckey: Improving SAT Using 2SAT. ACSC 2002: 331-340
105EEInga Sitzmann, Peter J. Stuckey: Compacting Discriminator Information for Spatial Trees. Australasian Database Conference 2002
104EEPeter J. Stuckey, Lei Zheng: Improving GSAT Using 2SAT. CP 2002: 691-695
103EEMaria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey: To the Gates of HAL: A HAL Tutorial. FLOPS 2002: 47-66
102EEPeter J. Stuckey, Martin Sulzmann: A theory of overloading. ICFP 2002: 167-178
101EEKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Exception analysis for non-strict languages. ICFP 2002: 98-109
100EELiam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey: A Hybrid Algorithm for the Examination Timetabling Problem. PATAT 2002: 207-231
99EEDavid Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120
98EEZoltan Somogyi, Peter J. Stuckey: Using the heap to eliminate stack accesses. PPDP 2002: 121-132
97EEVitaly Lagoon, Peter J. Stuckey: Precise pair-sharing analysis of logic programs. PPDP 2002: 99-108
96 Warwick Harvey, Peter J. Stuckey, Alan Borning: Fourier Elimination for Compiling Constraint Hierarchies. Constraints 7(2): 199-219 (2002)
95EEBruce Davey, Natashia Boland, Peter J. Stuckey: Efficient Intelligent Backtracking Using Linear Programming. INFORMS Journal on Computing 14(4): 373-386 (2002)
94EETrevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey: Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002)
2001
93EEKim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning: Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376
92EEVitaly Lagoon, Peter J. Stuckey: A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310
91EEMichael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey: Higher-Precision Groundness Analysis. ICLP 2001: 135-149
90EEChristian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
89EEMaria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur: Building Constraint Solvers with HAL. ICLP 2001: 90-104
88EEKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62
87 Christian Schulte, Peter J. Stuckey: When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126
86EEKevin Glynn, Peter J. Stuckey, Martin Sulzmann: Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92
85 Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey: Cost-based Unbalanced R-Trees. SSDBM 2001: 203-212
84EEGreg J. Badros, Alan Borning, Peter J. Stuckey: The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput.-Hum. Interact. 8(4): 267-306 (2001)
2000
83 John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings Springer 2000
82EEInga Sitzmann, Peter J. Stuckey: O-Trees: A Constraint-Based Index Structure. Australasian Database Conference 2000: 127-134
81EEMaria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284
80EEInga Sitzmann, Peter J. Stuckey: Improving Temporal Joins Using Histograms. DEXA 2000: 488-498
79EEFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A model for inter-module analysis and optimizing compilation. LOPSTR 2000
78EEFrancisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102
77EEManuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000)
76EEKenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000)
75EEKevin Glynn, Martin Sulzmann, Peter J. Stuckey: Type Classes and Constraint Handling Rules CoRR cs.PL/0006034: (2000)
1999
74EEGreg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey: Constraint Cascading Style Sheets for the Web. ACM Symposium on User Interface Software and Technology 1999: 73-82
73 Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: An Overview of HAL. CP 1999: 174-188
72 Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: Herbrand Constraint Solving in HAL. ICLP 1999: 260-274
71EEMichael Codish, Harald Søndergaard, Peter J. Stuckey: Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. 21(5): 948-976 (1999)
70EEKim Marriott, Peter J. Stuckey: Book reviews. Intelligence 10(2): 39-47 (1999)
69 Peter J. Stuckey, Vincent Tam: Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. International Journal on Artificial Intelligence Tools 8(4): 363-384 (1999)
1998
68EEWarwick Harvey, Peter J. Stuckey: Constraint Representation for Propagation. CP 1998: 235-249
67EEAndrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Optimizing Compilation of CLP(R). ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998)
66 Peter J. Stuckey, Vincent Tam: Extending GENET with lazy arc consistency. IEEE Transactions on Systems, Man, and Cybernetics, Part A 28(5): 698-703 (1998)
65 Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard: Differential Methods in Logic Program Analysis. J. Log. Program. 35(1): 1-37 (1998)
64 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)
63 Peter J. Stuckey, Vincent Tam: Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. Journal of Functional and Logic Programming 1998(2): (1998)
62 Kim Marriott, Harald Søndergaard, Peter J. Stuckey: A Practical Object-Oriented Analysis Engine for CLP. Softw., Pract. Exper. 28(2): 199-224 (1998)
61EEKenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. Theor. Comput. Sci. 193(1-2): 149-179 (1998)
1997
60EEAlan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao: Solving Linear Arithmetic Constraints for User Interface Applications. ACM Symposium on User Interface Software and Technology 1997: 87-96
59 Warwick Harvey, Peter J. Stuckey, Alan Borning: Compiling Constraint Solving using Projection. CP 1997: 491-505
58 Peter J. Stuckey: Constraint Search Tree. ICLP 1997: 301-315
57 Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107
56EEPeter J. Stuckey, Vincent Tam: Extending EGENET with Lazy Constraint Consistency. ICTAI 1997: 248-
55 Raghu Ramakrishnan, Peter J. Stuckey: Introduction to the Special Issue on Constraints and Databases. Constraints 2(3/4): 243 (1997)
54 Peter J. Stuckey, S. Sudarshan: Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. J. Log. Program. 32(3): 171-205 (1997)
53 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)
52 David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey: An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. Journal of Systems Integration 7(3/4): 191-230 (1997)
1996
51EERoy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey: Low-contact learning in a first year programming course. ACSE 1996: 19-26
50 Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won: Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996: 43-52
49 Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap: Effectiveness of Optimizing Compilation for CLP(R). JICSLP 1996: 37-51
48 Peter J. Stuckey, Vincent Tam: Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP 1996: 423-437
47 Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey: Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. SAS 1996: 385-386
46EEPraveen Seshadri, Joseph M. Hellerstein, Hamid Pirahesh, T. Y. Cliff Leung, Raghu Ramakrishnan, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Cost-Based Optimization for Magic: Algebra and Implementation. SIGMOD Conference 1996: 435-446
45 David B. Kemp, Peter J. Stuckey: Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996)
1995
44 Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap: An Optimizing Compiler for CLP(R). CP 1995: 222-239
43 David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey: ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. DOOD 1995: 91-108
42 Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap: Linear Equation Solving for Constraint Logic Programming. ICLP 1995: 33-47
41 Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811
40 Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431
39 Michael J. Maher, Peter J. Stuckey: On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. 15(2): 167-208 (1995)
38 Peter J. Stuckey: Negation and Constraint Logic Programming Inf. Comput. 118(1): 12-33 (1995)
37EEDavid B. Kemp, Divesh Srivastava, Peter J. Stuckey: Bottom-Up Evaluation and Query Optimization of Well-Founded Models. Theor. Comput. Sci. 146(1&2): 145-184 (1995)
1994
36EEKim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35
35EEPeter J. Stuckey, S. Sudarshan: Compiling Query Constraints. PODS 1994: 56-67
34 Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. PPCP 1994: 193-204
33 Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Beyond Finite Domains. PPCP 1994: 86-94
32 Kim Marriott, Peter J. Stuckey: Approximating Interaction between Linear Arithmetic Constraints. SLP 1994: 571-585
31EEJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Database System VLDB J. 3(2): 245-288 (1994)
1993
30 Peter J. Stuckey, S. Sudarshan: Well-Founded Ordered Search (Extended Abstract). FSTTCS 1993: 161-172
29 David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682
28 Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: Status of the Aditi Deductive Database System. ICLP 1993: 851
27 Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Redundancy of Variables in CLP (R). ILPS 1993: 75-93
26 Kim Marriott, Peter J. Stuckey: The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. POPL 1993: 334-344
25 Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 161
24EEKim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. LOPLAS 2(1-4): 197-212 (1993)
23 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
22 Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Output in CLP. FGCS 1992: 987-995
21 David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302
20 Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: An Abstract Machine for CLP(R). PLDI 1992: 128-139
19 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)
18 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. J. Autom. Reasoning 9(2): 231-260 (1992)
17 Kanchana Kanchanasut, Peter J. Stuckey: Transforming Normal Logic Programs to Constraint Logic Programs. Theor. Comput. Sci. 105(1): 27-56 (1992)
1991
16EEJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247
15 David B. Kemp, Divesh Srivastava, Peter J. Stuckey: Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991: 337-351
14 David B. Kemp, Peter J. Stuckey: Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401
13 Peter J. Stuckey: Constructive Negation for Constraint Logic Programming LICS 1991: 328-339
12 Jayen Vaghani, David B. Kemp, Peter J. Stuckey: An Introduction to Aditi Deductive Database System. Australian Computer Journal 23(1): 37-52 (1991)
1990
11 Kanchana Kanchanasut, Peter J. Stuckey: Eliminating Negation from Normal Logic Programs. ALP 1990: 217-231
10 Pierre Lim, Peter J. Stuckey: Meta Programming as Constraint Programming. NACLP 1990: 416-430
9 Pierre Lim, Peter J. Stuckey: A Constraint Logic Programming Shell. PLILP 1990: 75-88
8 Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases 1990: 0-
1989
7 Michael J. Maher, Peter J. Stuckey: Expanding Query Power in Constraint Logic Programming Languages. NACLP 1989: 20-36
6 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: On Meta-Programming in CLR(R). NACLP 1989: 52-66
5 John N. Crossley, Pierre Lim, Peter J. Stuckey: Interface Logic Programming. Australian Computer Journal 21(2): 49-55 (1989)
1987
4 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703
1986
3 Joxan Jaffar, Peter J. Stuckey: Logic Program Semantics for Programming with Equations. ICLP 1986: 313-326
2 Joxan Jaffar, Peter J. Stuckey: Canonical Logic Programs. J. Log. Program. 3(2): 143-155 (1986)
1 Joxan Jaffar, Peter J. Stuckey: Semantics of Infinite Tree Logic Programming. Theor. Comput. Sci. 46(3): 141-158 (1986)

Coauthor Index

1Davaatseren Baatar [181]
2Greg J. Badros [74] [84]
3James Bailey [149]
4Maria Garcia de la Banda (Maria J. García de la Banda) [40] [57] [65] [72] [73] [78] [79] [81] [89] [90] [103] [113] [114] [124] [125] [128] [129] [131] [132] [139] [140] [145] [150] [154] [155] [163] [189]
5Steve Barker [112]
6Ralph Becket [163] [183]
7Natashia Boland [95] [100] [181] [190]
8Alan Borning [59] [60] [74] [84] [93] [96]
9Sebastian Brand [159] [165] [181] [183] [184] [197] [204]
10Francisco Bueno [78] [79] [129]
11Jennifer J. Burg (Jennifer Burg) [42]
12Chi Kan Cheng [120]
13Kenil C. K. Cheng [116]
14Chiu Wo Choi [115] [119] [126] [127] [169] [176]
15Kenneth M. F. Choi [76]
16Michael Codish [71] [91] [142] [151] [161] [168] [174] [182] [186] [198]
17Jesús Correas [129]
18John N. Crossley [5]
19Verónica Dahl [83]
20Bruce Davey [95]
21Bart Demoen [72] [73] [103] [124] [128] [139] [145] [155] [157]
22Gregory J. Duck [113] [125] [131] [132] [133] [140] [148] [157] [159] [165] [173] [179] [183] [197] [199] [201]
23Tim Dwyer [153] [166] [188]
24Hai Fang [107] [160] [172]
25Thibaut Feydy [178] [195]
26Kathryn Francis [177]
27Thom W. Frühwirth [157]
28Ulrich Furbach [83]
29Graeme Gange [202] [203]
30Samir Genaim [91]
31Kevin Glynn [75] [86] [88] [101]
32Trevor Hansen [94]
33James Harland [25] [28] [31]
34Warwick Harvey [59] [68] [72] [73] [81] [96] [109] [124] [127] [128] [139] [169]
35Peter Hawkins [136] [141] [164]
36Weiqing He [110]
37Nevin Heintze [4] [6] [18] [53]
38Joseph M. Hellerstein [46]
39Manuel V. Hermenegildo [41] [77] [78] [79] [129]
40Christian Holzbaur [89] [90] [113] [125] [131] [140]
41Barry D. Hughes [100] [190]
42Samuel Huston [205]
43Joxan Jaffar [1] [2] [3] [19] [20] [22] [23] [33] [64]
44David Jeffery [89] [90]
45Roy Johnston [51]
46Simon L. Peyton Jones [133] [173]
47Yukiyoshi Kameyama [138]
48Kanchana Kanchanasut [11] [17]
49Andrew D. Kelly [44] [47] [49] [67]
50David B. Kemp [8] [12] [14] [15] [16] [21] [25] [28] [29] [31] [37] [43] [45] [52]
51Manfred Kerber [83]
52Y. Kilani [107] [160] [172]
53Arun Siddharth Konagurthu [123] [156] [191]
54Leslie De Koninck [199] [201]
55Vitaly Lagoon [92] [97] [118] [135] [136] [141] [142] [151] [161] [168] [174] [186] [198] [202]
56Kung-Kiu Lau [83]
57Tim S. Leask [25] [28] [31]
58Jimmy Ho-Man Lee (J. H. M. Lee) [50] [76] [107] [115] [116] [119] [120] [126] [127] [160] [169] [172] [176]
59Arthur M. Lesk [191]
60Ho-fung Leung (Ho-Fung Leung) [50]
61T. Y. Cliff Leung [46]
62Pierre Lim [5] [9] [10]
63John W. Lloyd [83]
64Andrew D. Macdonald [27] [44] [49] [67]
65Michael J. Maher [7] [22] [23] [33] [39] [64] [150] [154]
66Amélie Marian [180]
67Kim Marriott [24] [26] [32] [36] [40] [41] [44] [47] [49] [57] [60] [62] [64] [65] [67] [70] [72] [73] [74] [77] [78] [79] [81] [89] [93] [94] [103] [110] [121] [122] [124] [128] [129] [137] [139] [150] [152] [153] [154] [163] [166] [188] [189] [193] [203]
68Linda Mciver [193]
69Liam T. G. Merlot [100] [190]
70Frédéric Mesnard [118]
71Bernd Meyer [94] [137]
72Spiro Michaylov [4] [6] [18] [19] [20] [53]
73Alistair Moffat [51]
74Peter Moulder [93]
75Rafiq Muhammad [162]
76Nina Narodytska [184]
77Nicholas Nethercote [89] [183] [189]
78Olga Ohrimenko [182] [206]
79David Overton [99] [128]
80Catuscia Palamidessi [83]
81Luís Moniz Pereira (Luíz Moniz Pereira) [83]
82Hamid Pirahesh [46]
83Jakob Puchinger [196] [197] [204] [205]
84Germán Puebla (German Puebla) [41] [57] [77] [78] [79] [129]
85Claude-Guy Quimper [184]
86Reza Rafeh [189]
87Raghu Ramakrishnan [46] [55]
88Kotagiri Ramamohanarao [8] [16] [25] [28] [31] [43] [52]
89Kenneth A. Ross [34] [61] [85] [180]
90Yehoshua Sagiv [83]
91Konstantinos F. Sagonas [130]
92Peter Schachte [168]
93Falk Schreiber [188]
94Tom Schrijvers [145] [148] [155] [157] [170]
95Christian Schulte [87] [134] [147] [158] [192] [194] [200] [208]
96Andreas Schutt [175] [195]
97Praveen Seshadri [46]
98Inga Sitzmann [80] [82] [85] [105]
99John K. Slaney [150] [154]
100Zoltan Somogyi [8] [16] [25] [28] [31] [98] [99] [150] [154] [163]
101Harald Søndergaard [44] [47] [51] [62] [65] [71] [88] [91] [101]
102Divesh Srivastava [15] [21] [34] [37] [46] [61]
103S. Sudarshan [30] [34] [35] [46] [54] [61]
104Martin Sulzmann [75] [86] [88] [101] [102] [111] [121] [133] [143] [144] [146] [167] [170] [171] [173] [179] [187]
105Guido Tack [183]
106Jason C. H. Tai [42]
107V. W. L. Tam [50]
108Vincent Tam [48] [56] [63] [66] [69] [110]
109Jayen Vaghani [8] [12] [16] [25] [28] [31]
110Mark Wallace [150] [154] [163] [189] [204]
111Toby Walsh [150] [154] [184]
112Jeremy Wazny [111] [114] [144] [167] [171]
113James C. Whisstock [123]
114Hon-Wing Won [50]
115Michael Woodward [188]
116Michael Wybrow [152] [188] [193]
117Yi Xiao [60]
118Roland H. C. Yap [6] [19] [20] [22] [23] [27] [33] [42] [44] [49] [53] [67]
119Lei Zheng [104] [106] [117]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)