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

Peter J. Stuckey 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
222EEGeoffrey Chu, Christian Schulte, Peter J. Stuckey: Confidence-Based Work Stealing in Parallel Constraint Programming. CP 2009: 226-241
221EEGeoffrey Chu, Peter J. Stuckey: Minimizing the Maximum Number of Open Stacks by Customer Search. CP 2009: 242-257
220EEGeoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda: Using Relaxations in Maximum Density Still Life. CP 2009: 258-273
219EEThibaut Feydy, Peter J. Stuckey: Lazy Clause Generation Reengineered. CP 2009: 352-366
218EEAlan M. Frisch, Peter J. Stuckey: The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382
217EERaphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack: Maintaining State in Propagation Solvers. CP 2009: 692-706
216EEAndreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace: Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761
215EELeslie De Koninck, Gregory J. Duck, Peter J. Stuckey: Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488
214EEMichael Codish, Samir Genaim, Peter J. Stuckey: A declarative encoding of telecommunications feature subscription in SAT. PPDP 2009: 255-266
213EEChristian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2): (2009)
212EEAlex Stivala, Anthony Wirth, Peter J. Stuckey: Tableau-based protein substructure search using quadratic programming. BMC Bioinformatics 10: (2009)
211EEThibaut Feydy, Peter J. Stuckey: Propagating systems of dense linear integer constraints. Constraints 14(2): 235-253 (2009)
210EEOlga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation via lazy clause generation. Constraints 14(3): 357-391 (2009)
2008
209 Peter J. Stuckey: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings Springer 2008
208EEOlga Ohrimenko, Peter J. Stuckey: Modelling for Lazy Clause Generation. CATS 2008: 27-37
207EESamuel Huston, Jakob Puchinger, Peter J. Stuckey: The Core Concept for 0/1 Integer Programming. CATS 2008: 39-47
206EEJakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand: From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232
205EEGraeme Gange, Kim Marriott, Peter J. Stuckey: Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59
204EEGraeme Gange, Vitaly Lagoon, Peter J. Stuckey: Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
203EELeslie De Koninck, Peter J. Stuckey, Gregory J. Duck: Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47
202EEChristian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346
201EEGregory J. Duck, Leslie De Koninck, Peter J. Stuckey: Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545
200EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753
199EESebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey: Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83
198EEJakob Puchinger, Peter J. Stuckey: Automating branch-and-bound for dynamic programs. PEPM 2008: 81-89
197EEThibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235
196EEChristian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257
195EEMichael 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)
194EEChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1): (2008)
193EEArun 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)
192EENatashia 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)
191EEKim 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)
190EETim 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)
189EEMartin Sulzmann, Peter J. Stuckey: HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008)
188EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic programming with satisfiability. TPLP 8(1): 121-128 (2008)
187EEPeter 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
186EESebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224
185EENicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack: MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543
184EEOlga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation = Lazy Clause Generation. CP 2007: 544-558
183EEDavaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey: Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. CPAIOR 2007: 1-15
182EEKenneth A. Ross, Peter J. Stuckey, Amélie Marian: Practical Preference Relations for Large Data Sets. ICDE Workshops 2007: 229-236
181EEGregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
180EEThibaut Feydy, Peter J. Stuckey: Propagating dense systems of integer linear equations. SAC 2007: 306-310
179EEKathryn Francis, Peter J. Stuckey: Constraint propagation for loose constraint graphs. SAC 2007: 334-335
178EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): (2007)
177EEAndreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints CoRR abs/0709.2961: (2007)
176EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic Programming with Satisfiability CoRR abs/cs/0702072: (2007)
175EEMaria Garcia de la Banda, Peter J. Stuckey: Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS Journal on Computing 19(4): 607-617 (2007)
174EEMartin 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)
173EEHai 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
172EEPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25
171EEMartin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43
170EEChiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58
169EEMichael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
168EEMartin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64
167EETim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal - Correction. Graph Drawing 2006: 446-447
166EEGregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. ICLP 2006: 117-131
165EEPeter Hawkins, Peter J. Stuckey: A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117
164EERalph 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
163EERafiq Muhammad, Peter J. Stuckey: A Stochastic Non-CNF SAT Solver. PRICAI 2006: 120-129
162EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18
161EEHai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT CoRR abs/cs/0607071: (2006)
160EEGregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting CoRR abs/cs/0608016: (2006)
159EEChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines CoRR abs/cs/0611009: (2006)
158EETom 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)
157EEArun 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)
156EETom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
2005
155EEPeter 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
154EETim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal. Graph Drawing 2005: 153-164
153EEMichael Wybrow, Kim Marriott, Peter J. Stuckey: Incremental Connector Routing. Graph Drawing 2005: 446-457
152EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340
151EEPeter 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
150EEJames Bailey, Peter J. Stuckey: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL 2005: 174-186
149EETom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
148EEChristian 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)
147EEPeter J. Stuckey, Martin Sulzmann: A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)
146EETom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
145EEPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations CoRR abs/cs/0507036: (2005)
144EEPeter J. Stuckey, Martin Sulzmann: Type Inference for Guarded Recursive Data Types CoRR abs/cs/0507037: (2005)
143EEMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination CoRR abs/cs/0512067: (2005)
142EEPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)
141EEChristian 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)
140EEMaria 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
139 Yukiyoshi Kameyama, Peter J. Stuckey: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings Springer 2004
138EEKim Marriott, Bernd Meyer, Peter J. Stuckey: Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394
137EEPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717
136EEVitaly Lagoon, Peter J. Stuckey: Set Domain Propagation Using ROBDDs. CP 2004: 347-361
135EEChristian Schulte, Peter J. Stuckey: Speeding Up Constraint Propagation. CP 2004: 619-633
134EEGregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
133EEGregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
132EEGregory 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
131EEKonstantinos F. Sagonas, Peter J. Stuckey: Just enough tabling. PPDP 2004: 78-89
130EEGermá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
129EEBart 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
128EEChiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
127EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling CoRR abs/cs/0412026: (2004)
126EEChristian 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)
125EEMaria 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)
124EEArun 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)
123EEKim Marriott, Peter J. Stuckey: NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(2): 295-312 (2004)
2003
122EEKim Marriott, Peter J. Stuckey, Martin Sulzmann: Resource Usage Verification. APLAS 2003: 212-229
121EEChi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
120EEChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy in Redundant Modelling. CP 2003: 229-243
119EEVitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey: Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268
118EEPeter J. Stuckey, Lei Zheng: Improving Nogood Recording Using 2SAT. ICTAI 2003: 94-99
117 Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369
116 Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371
115EEMaria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny: Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43
114EEGregory 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
113EESteve Barker, Peter J. Stuckey: Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur. 6(4): 501-546 (2003)
112EEPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: The Chameleon Type Debugger (Tool Demonstration) CoRR cs.PL/0311023: (2003)
111 Kim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He: Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints 8(2): 143-171 (2003)
110 Warwick Harvey, Peter J. Stuckey: Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints 8(2): 173-207 (2003)
2002
109 Peter J. Stuckey: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings Springer 2002
108 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
107EELei Zheng, Peter J. Stuckey: Improving SAT Using 2SAT. ACSC 2002: 331-340
106EEInga Sitzmann, Peter J. Stuckey: Compacting Discriminator Information for Spatial Trees. Australasian Database Conference 2002
105EEPeter J. Stuckey, Lei Zheng: Improving GSAT Using 2SAT. CP 2002: 691-695
104EEMaria 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
103EEPeter J. Stuckey, Martin Sulzmann: A theory of overloading. ICFP 2002: 167-178
102EEKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Exception analysis for non-strict languages. ICFP 2002: 98-109
101EELiam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey: A Hybrid Algorithm for the Examination Timetabling Problem. PATAT 2002: 207-231
100EEDavid Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120
99EEZoltan Somogyi, Peter J. Stuckey: Using the heap to eliminate stack accesses. PPDP 2002: 121-132
98EEVitaly Lagoon, Peter J. Stuckey: Precise pair-sharing analysis of logic programs. PPDP 2002: 99-108
97 Warwick Harvey, Peter J. Stuckey, Alan Borning: Fourier Elimination for Compiling Constraint Hierarchies. Constraints 7(2): 199-219 (2002)
96EEBruce Davey, Natashia Boland, Peter J. Stuckey: Efficient Intelligent Backtracking Using Linear Programming. INFORMS Journal on Computing 14(4): 373-386 (2002)
95EETrevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey: Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002)
2001
94EEKim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning: Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376
93EEVitaly Lagoon, Peter J. Stuckey: A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310
92EEMichael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey: Higher-Precision Groundness Analysis. ICLP 2001: 135-149
91EEChristian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
90EEMaria 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
89EEKevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62
88 Christian Schulte, Peter J. Stuckey: When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126
87EEKevin Glynn, Peter J. Stuckey, Martin Sulzmann: Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92
86 Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey: Cost-based Unbalanced R-Trees. SSDBM 2001: 203-212
85EEGreg 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
84 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
83EEInga Sitzmann, Peter J. Stuckey: O-Trees: A Constraint-Based Index Structure. Australasian Database Conference 2000: 127-134
82EEMaria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284
81EEInga Sitzmann, Peter J. Stuckey: Improving Temporal Joins Using Histograms. DEXA 2000: 488-498
80EEFrancisco 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
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 (LNCS 2042: Selected Papers) 2000: 86-102
78EEManuel 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)
77EEKenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000)
76EEKevin Glynn, Martin Sulzmann, Peter J. Stuckey: Type Classes and Constraint Handling Rules CoRR cs.PL/0006034: (2000)
1999
75EEGreg 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
74 Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: An Overview of HAL. CP 1999: 174-188
73 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
72EEMichael Codish, Harald Søndergaard, Peter J. Stuckey: Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. 21(5): 948-976 (1999)
71EEKim Marriott, Peter J. Stuckey: Book reviews. Intelligence 10(2): 39-47 (1999)
70 Peter J. Stuckey, Vincent Tam: Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. International Journal on Artificial Intelligence Tools 8(4): 363-384 (1999)
1998
69EEWarwick Harvey, Peter J. Stuckey: Constraint Representation for Propagation. CP 1998: 235-249
68EEAndrew 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)
67 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)
66 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)
65 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)
64 Peter J. Stuckey, Vincent Tam: Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. Journal of Functional and Logic Programming 1998(2): (1998)
63 Kim Marriott, Harald Søndergaard, Peter J. Stuckey: A Practical Object-Oriented Analysis Engine for CLP. Softw., Pract. Exper. 28(2): 199-224 (1998)
62EEKenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. Theor. Comput. Sci. 193(1-2): 149-179 (1998)
1997
61EEAlan 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
60 Warwick Harvey, Peter J. Stuckey, Alan Borning: Compiling Constraint Solving using Projection. CP 1997: 491-505
59 Peter J. Stuckey: Constraint Search Tree. ICLP 1997: 301-315
58 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
57EEPeter J. Stuckey, Vincent Tam: Extending EGENET with Lazy Constraint Consistency. ICTAI 1997: 248-
56 Raghu Ramakrishnan, Peter J. Stuckey: Introduction to the Special Issue on Constraints and Databases. Constraints 2(3/4): 243 (1997)
55 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)
54 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)
53 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
52EERoy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey: Low-contact learning in a first year programming course. ACSE 1996: 19-26
51 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
50 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
49EEPeter J. Stuckey, Vincent Tam: Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP 1996: 423-437
48 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
47EEPraveen 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
46 David B. Kemp, Peter J. Stuckey: Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996)
1995
45 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
44EEDavid 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
43 Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap: Linear Equation Solving for Constraint Logic Programming. ICLP 1995: 33-47
42 Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811
41 Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431
40 Michael J. Maher, Peter J. Stuckey: On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. 15(2): 167-208 (1995)
39 Peter J. Stuckey: Negation and Constraint Logic Programming Inf. Comput. 118(1): 12-33 (1995)
38EEDavid 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
37EEKim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35
36EEPeter J. Stuckey, S. Sudarshan: Compiling Query Constraints. PODS 1994: 56-67
35 Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. PPCP 1994: 193-204
34 Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Beyond Finite Domains. PPCP 1994: 86-94
33 Kim Marriott, Peter J. Stuckey: Approximating Interaction between Linear Arithmetic Constraints. SLP 1994: 571-585
32EEJayen 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
31EEPeter J. Stuckey, S. Sudarshan: Well-Founded Ordered Search (Extended Abstract). FSTTCS 1993: 161-172
30 David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682
29 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
28 Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Redundancy of Variables in CLP (R). ILPS 1993: 75-93
27 Kim Marriott, Peter J. Stuckey: The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. POPL 1993: 334-344
26 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
25EEKim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. LOPLAS 2(1-4): 197-212 (1993)
24 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
23 Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Output in CLP. FGCS 1992: 987-995
22 David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302
21 Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: An Abstract Machine for CLP(R). PLDI 1992: 128-139
20 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)
19 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. J. Autom. Reasoning 9(2): 231-260 (1992)
18 Kanchana Kanchanasut, Peter J. Stuckey: Transforming Normal Logic Programs to Constraint Logic Programs. Theor. Comput. Sci. 105(1): 27-56 (1992)
1991
17EEJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247
16 David B. Kemp, Divesh Srivastava, Peter J. Stuckey: Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991: 337-351
15 David B. Kemp, Peter J. Stuckey: Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401
14 Peter J. Stuckey: Constructive Negation for Constraint Logic Programming LICS 1991: 328-339
13 Jayen Vaghani, David B. Kemp, Peter J. Stuckey: An Introduction to Aditi Deductive Database System. Australian Computer Journal 23(1): 37-52 (1991)
12EEPeter J. Stuckey: Incremental Linear Constraint Solving and Detection of Implicit Equalities. INFORMS Journal on Computing 3(4): 269-274 (1991)
1990
11EEKanchana 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
9EEPierre 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 [183]
2Greg J. Badros [75] [85]
3James Bailey [150]
4Maria Garcia de la Banda (Maria J. García de la Banda) [41] [58] [66] [73] [74] [79] [80] [82] [90] [91] [104] [114] [115] [125] [126] [129] [130] [132] [133] [140] [141] [146] [151] [155] [156] [164] [175] [191] [220]
5Steve Barker [113]
6Ralph Becket [164] [185]
7Natashia Boland [96] [101] [183] [192]
8Alan Borning [60] [61] [75] [85] [94] [97]
9Sebastian Brand [160] [166] [183] [185] [186] [199] [206]
10Francisco Bueno [79] [80] [130]
11Jennifer J. Burg (Jennifer Burg) [43]
12Chi Kan Cheng [121]
13Kenil C. K. Cheng [117]
14Chiu Wo Choi [116] [120] [127] [128] [170] [178]
15Kenneth M. F. Choi [77]
16Geoffrey Chu [220] [221] [222]
17Michael Codish [72] [92] [143] [152] [162] [169] [176] [184] [188] [200] [210] [214]
18Jesús Correas [130]
19John N. Crossley [5]
20Verónica Dahl [84]
21Bruce Davey [96]
22Bart Demoen [73] [74] [104] [125] [129] [140] [146] [156] [158]
23Gregory J. Duck [114] [126] [132] [133] [134] [141] [149] [158] [160] [166] [174] [181] [185] [199] [201] [203] [215]
24Tim Dwyer [154] [167] [190]
25Hai Fang [108] [161] [173]
26Thibaut Feydy [180] [197] [211] [216] [219]
27Kathryn Francis [179]
28Alan M. Frisch [218]
29Thom W. Frühwirth [158]
30Ulrich Furbach [84]
31Graeme Gange [204] [205]
32Samir Genaim [92] [214]
33Kevin Glynn [76] [87] [89] [102]
34Trevor Hansen [95]
35James Harland [26] [29] [32]
36Warwick Harvey [60] [69] [73] [74] [82] [97] [110] [125] [128] [129] [140] [170]
37Peter Hawkins [137] [142] [165]
38Weiqing He [111]
39Nevin Heintze [4] [6] [19] [54]
40Joseph M. Hellerstein [47]
41Manuel V. Hermenegildo [42] [78] [79] [80] [130]
42Christian Holzbaur [90] [91] [114] [126] [132] [141]
43Barry D. Hughes [101] [192]
44Samuel Huston [207]
45Joxan Jaffar [1] [2] [3] [20] [21] [23] [24] [34] [65]
46David Jeffery [90] [91]
47Roy Johnston [52]
48Simon L. Peyton Jones [134] [174]
49Yukiyoshi Kameyama [139]
50Kanchana Kanchanasut [11] [18]
51Andrew D. Kelly [45] [48] [50] [68]
52David B. Kemp [8] [13] [15] [16] [17] [22] [26] [29] [30] [32] [38] [44] [46] [53]
53Manfred Kerber [84]
54Y. Kilani [108] [161] [173]
55Arun Siddharth Konagurthu [124] [157] [193]
56Leslie De Koninck [201] [203] [215]
57Vitaly Lagoon [93] [98] [119] [136] [137] [142] [143] [152] [162] [169] [176] [188] [200] [204]
58Kung-Kiu Lau [84]
59Tim S. Leask [26] [29] [32]
60Jimmy Ho-Man Lee (J. H. M. Lee) [51] [77] [108] [116] [117] [120] [121] [127] [128] [161] [170] [173] [178]
61Arthur M. Lesk [193]
62Ho-fung Leung (Ho-Fung Leung) [51]
63T. Y. Cliff Leung [47]
64Pierre Lim [5] [9] [10]
65John W. Lloyd [84]
66Andrew D. Macdonald [28] [45] [50] [68]
67Michael J. Maher [7] [23] [24] [34] [40] [65] [151] [155]
68Amélie Marian [182]
69Kim Marriott [25] [27] [33] [37] [41] [42] [45] [48] [50] [58] [61] [63] [65] [66] [68] [71] [73] [74] [75] [78] [79] [80] [82] [90] [94] [95] [104] [111] [122] [123] [125] [129] [130] [138] [140] [151] [153] [154] [155] [164] [167] [190] [191] [195] [205]
70Linda Mciver [195]
71Liam T. G. Merlot [101] [192]
72Frédéric Mesnard [119]
73Bernd Meyer [95] [138]
74Spiro Michaylov [4] [6] [19] [20] [21] [54]
75Alistair Moffat [52]
76Peter Moulder [94]
77Rafiq Muhammad [163]
78Nina Narodytska [186]
79Nicholas Nethercote [90] [185] [191]
80Olga Ohrimenko [184] [208] [210]
81David Overton [100] [129]
82Catuscia Palamidessi [84]
83Luís Moniz Pereira (Luíz Moniz Pereira) [84]
84Hamid Pirahesh [47]
85Jakob Puchinger [198] [199] [206] [207]
86Germán Puebla (German Puebla) [42] [58] [78] [79] [80] [130]
87Claude-Guy Quimper [186]
88Reza Rafeh [191]
89Raghu Ramakrishnan [47] [56]
90Kotagiri Ramamohanarao [8] [17] [26] [29] [32] [44] [53]
91Raphael M. Reischuk [217]
92Kenneth A. Ross [35] [62] [86] [182]
93Yehoshua Sagiv [84]
94Konstantinos F. Sagonas [131]
95Peter Schachte [169]
96Falk Schreiber [190]
97Tom Schrijvers [146] [149] [156] [158] [171]
98Christian Schulte [88] [135] [148] [159] [194] [196] [202] [213] [217] [222]
99Andreas Schutt [177] [197] [216]
100Praveen Seshadri [47]
101Inga Sitzmann [81] [83] [86] [106]
102John K. Slaney [151] [155]
103Zoltan Somogyi [8] [17] [26] [29] [32] [99] [100] [151] [155] [164]
104Harald Søndergaard [45] [48] [52] [63] [66] [72] [89] [92] [102]
105Divesh Srivastava [16] [22] [35] [38] [47] [62]
106Alex Stivala [212]
107S. Sudarshan [31] [35] [36] [47] [55] [62]
108Martin Sulzmann [76] [87] [89] [102] [103] [112] [122] [134] [144] [145] [147] [168] [171] [172] [174] [181] [189]
109Guido Tack [185] [217]
110Jason C. H. Tai [43]
111V. W. L. Tam [51]
112Vincent Tam [49] [57] [64] [67] [70] [111]
113Jayen Vaghani [8] [13] [17] [26] [29] [32]
114Mark Wallace [151] [155] [164] [191] [206] [216]
115Toby Walsh [151] [155] [186]
116Jeremy Wazny [112] [115] [145] [168] [172]
117James C. Whisstock [124]
118Anthony Wirth [212]
119Hon-Wing Won [51]
120Michael Woodward [190]
121Michael Wybrow [153] [190] [195]
122Yi Xiao [61]
123Roland H. C. Yap [6] [20] [21] [23] [24] [28] [34] [43] [45] [50] [54] [68]
124Lei Zheng [105] [107] [118]

Colors in the list of coauthors

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