PROF PETER STUCKEY

Contact Details

Organization:	Computer Science and Software Engineering
Position:	PROFESSOR
Email:
Homepage:	http://www.cs.mu.oz.au/~pjs
Work:	8344-1341
Fax:	9348-1184
Room:	5.07
Level:	05
Building:	111-117 Barry St.
Campus:	Parkville

Research Expertise and International Linkages

Research Expertise

Research Interest	Country of Expertise
Constraint Programming	Australia
Declarative Languages	Australia

International Linkages

Country	Establishment	Collaboration
Hong Kong	Chinese University of Hong Kong	Research
Singapore	National University of Singapore	Research
Sweden	Royal Institute Of Technology	Research
Belgium	Katholieke Universiteit Brussel	Exchange, Research
Spain	Polytechnic University of Madrid	Exchange, Research

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title	Institution	Date Awarded	Abbreviation
Bachelor of Science	Monash University	31-Mar-1985
Doctor of Philosophy	Monash University	31-Dec-1988

Memberships

Membership Type	Membership Body	Description	Start Date	End Date
Member	Association of Computing Machinery	Professional Membership	01-Mar-1988

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Grants and Contracts

Research Grants, Contracts and Consultancies awarded to the University of Melbourne as the administering institution (since 2003) as recorded in Themis Agreements.

Grants

Title	Role	Funding Source	Scheme	Award Date
Languages for constraint programming: design and implementation	Chief Investigator	AUST RESEARCH COUNCIL	International Researcher Exchange Program	09/10/2002
ARC Centre for Perceptive and Intelligent Machines in Complex Environments	Chief Investigator	MONASH UNIVERSITY, AUST RESEARCH COUNCIL	Centres of Excellence (AUST RESEARCH COUNCIL)	01/01/2004
ARC DP (SHARED): SUPPORTING ADAPTIVE DIAGRAMMATIC COMMUNICATION	Chief Investigator	MONASH UNIVERSITY	Discovery Projects (AUST RESEARCH COUNCIL)	01/01/2004
SUPPORTING ADAPTIVE, INTERACTIVE DOCUMENTS	Chief Investigator	MONASH UNIVERSITY	Discovery Projects (AUST RESEARCH COUNCIL)	01/01/2009

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2009

Journal Articles

Cache Conscious Data Structures for Boolean Satisfiability Solvers

Year:	2009
Journal:	Journal of Satisfiability, Boolean Modeling and Computation
Volume:	6
Page numbers:	99-120
Author(s):
Super Search	locate this resource.

Propagating systems of dense linear integer constraints

Year:	2009
Journal:	Constraints
Volume:	14
Issue:	2
Page numbers:	235-253
Author(s):
Super Search	locate this resource.

Propagation via lazy clause generation

Year:	2009
Journal:	Constraints
Volume:	14
Issue:	3
Page numbers:	357-391
Author(s):
Super Search	locate this resource.

Tableau-based protein substructure search using quadratic programming

Year:	2009
Journal:	BMC Bioinformatics
Volume:	10
Page numbers:	1-21 (PAPER 153)
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

A declarative encoding of telecommunications feature subscription in SAT

Year:	2009
Event name:	International Conference on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Page numbers:	255-266
Publisher:	Association for Computing Machinery (ACM)(New York)
Author(s):

Confidence-Based Work Stealing in Parallel Constraint Programming

Year:	2009
Event name:	15th International Conference of Principles and Practice of Constraint Programming –CP2009
Conference Publication:	Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009
Volume:	5732
Page numbers:	226-241
Publisher:	Springer Verlag(Heidelberg)
Author(s):

Demand-Driven Normalisation for ACD Term Rewriting

Year:	2009
Event name:	25th International Conference Logic Programming, ICLP 2009
Conference Publication:	Lecture Notes in Computer Science: Logic Programming
Volume:	5649
Page numbers:	484-488
Publisher:	Springer-Verlag Heidelberg(Berlin)
Author(s):

Lazy Clause Generation Reengineered

Year:	2009
Event name:	15th International Conference of Principles and Practice of Constraint Programming CP2009
Conference Publication:	Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009
Volume:	5732
Page numbers:	352-366
Publisher:	Springer Verlag(Heidelberg)
Author(s):

Maintaining State in Propagation Solvers

Year:	2009
Event name:	15th International Conference of Principles and Practice of Constraint Programming CP2009
Conference Publication:	Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009
Volume:	5732
Page numbers:	692-706
Publisher:	Springer Verlag(Heidelberg)
Author(s):

Minimizing the Maximum Number of Open Stacks by Customer Search

Year:	2009
Event name:	15th International Conference of Principles and Practice of Constraint Programming CP2009
Conference Publication:	Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009
Volume:	5732
Page numbers:	242-257
Publisher:	Springer Verlag(Heidelberg)
Author(s):

The Proper Treatment of Undefinedness in Constraint Languages

Year:	2009
Event name:	15th International Conference of Principles and Practice of Constraint Programming CP2009
Conference Publication:	Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009
Volume:	5732
Page numbers:	367-382
Publisher:	Springer Verlag(Heidelberg)
Author(s):

Using Relaxations in Maximum Density Still Life

Year:	2009
Event name:	15th International Conference of Principles and Practice of Constraint Programming CP2009
Conference Publication:	Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009
Volume:	5732
Page numbers:	258-273
Publisher:	Springer Verlag(Heidelberg)
Author(s):

Why cumulative decomposition is not as bad as it sounds

Year:	2009
Event name:	15th International Conference of Principles and Practice of Constraint Programming CP2009
Conference Publication:	Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009
Volume:	5732
Page numbers:	746-761
Publisher:	Springer Verlag(Heidelberg)
Author(s):

Publications in 2008

Books

Principles and Practice of Constraint Programming (Lecture Notes in Computer Science)

Year:	2008
Publisher:	Springer Verlag(Heidelberg)
Authors(s):

Journal Articles

Comparing Usability of One-Way and Multi-Way Constraints for Diagram Editing

Year:	2008
Journal:	ACM Transactions on Computer-Human Interaction
Volume:	14
Issue:	4
Page numbers:	(article 19) 1-38
Author(s):
Super Search	locate this resource.

Efficient Constraint Propagation Engines

Year:	2008
Journal:	ACM Transactions on Programming Languages and Systems
Volume:	31
Issue:	1
Page numbers:	2:1-43
Author(s):
Super Search	locate this resource.

Exploration of Networks Using Overview+Detail with Constraint-based Cooperative Layout

Year:	2008
Journal:	IEEE Transactions on Visualization and Computer Graphics
Volume:	14
Issue:	6
Page numbers:	1293-1300
Author(s):
Super Search	locate this resource.

HM(X) type inference is CLP(X) solving

Year:	2008
Journal:	Journal of Functional Programming
Volume:	18
Issue:	2
Page numbers:	251-283
Author(s):
Super Search	locate this resource.

Logic programming with satisfiability

Year:	2008
Journal:	Theory and Practice of Logic Programming
Volume:	8
Issue:	1
Page numbers:	121-128
Author(s):
Super Search	locate this resource.

New integer linear programming approaches for course timetabling

Year:	2008
Journal:	Computers & Operations Research
Volume:	35
Issue:	7
Page numbers:	2209-2233
Author(s):
Super Search	locate this resource.

Solving Partial Order Constraints for LPO Termination

Year:	2008
Journal:	Journal of Satisfiability, Boolean Modeling and Computation
Volume:	5
Issue:	1
Page numbers:	193-215
Author(s):
Super Search	locate this resource.

Structural search and retrieval using a tableau representation of protein folding patterns

Year:	2008
Journal:	Bioinformatics
Volume:	24
Issue:	5
Page numbers:	645-651
Author(s):
Super Search	locate this resource.

The Design of the Zinc Modelling Language

Year:	2008
Journal:	Constraints
Volume:	13
Issue:	3
Page numbers:	229-267
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

Dynamic Analysis of Bounds Versus Domain Propagation

Year:	2008
Event name:	ICLP 2008 - 24th International Conference on Logic Programming
Conference Publication:	Logic Programming (Lecture Notes in Computer Science)
Volume:	5366
Page numbers:	332-346
Publisher:	Springer Verlag
Author(s):

Global Difference Constraint Propagation for Finite Domain Solvers

Year:	2008
Event name:	PPDP'08 - 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Page numbers:	226-235
Publisher:	ACM Press(New York)
Author(s):

Telecommunications Feature Subscription as a Partial Order Constraint Problem

Year:	2008
Event name:	ICLP 2008 - 24th International Conference on Logic Programming
Conference Publication:	Logic Programming (Lecture Notes in Computer Science)
Volume:	5366
Page numbers:	749-753
Publisher:	Springer Verlag
Author(s):

Automating Branch-and-Bound for Dynamic Programs

Year:	2008
Event name:	PEPM '08: 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Conference Publication:	PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Page numbers:	81-89
Publisher:	ACM Press(New York)
Author(s):

Cadmium: An Implementation of ACD Term Rewriting

Year:	2008
Event name:	ICLP 2008 - 24th International Conference on Logic Programming
Conference Publication:	Logic Programming (Lecture Notes in Computer Science)
Volume:	5366
Page numbers:	531-545
Publisher:	Springer Verlag
Author(s):

Dynamic Variable Elimination During Propagation Solving

Year:	2008
Event name:	PPDP'08 - 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Page numbers:	247-257
Publisher:	ACM Press(New York)
Author(s):

Fast Set Bounds Propagation using BDDs

Year:	2008
Event name:	ECAI 2008 - 18th Conference on Artificial Intelligence
Conference Publication:	Proceedings of the 18th European Conference on Artificial Intelligence
Page numbers:	505-509
Publisher:	European Conference on AI(Patras)
Author(s):

Flexible, Rule-Based Constraint Model Linearisation

Year:	2008
Event name:	PADL 2008 - 10th International Symposium on Practical Aspects of Declarative Languages
Conference Publication:	Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science)
Volume:	4902
Page numbers:	68-83
Publisher:	Springer Verlag
Author(s):

From High-Level Model to Branch-and-Price Solution in G12

Year:	2008
Event name:	5th International Conference, CPAIOR 2008
Conference Publication:	LNCS: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Volume:	5015
Page numbers:	218-232
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):

Modelling for Lazy Clause Generation

Year:	2008
Event name:	Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
Conference Publication:	Theory of Computing 2008. Proceedings of the Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
Volume:	77
Issue:	4
Page numbers:	27-37
Publisher:	Australian Computer Society(Sydney)
Author(s):
Editor(s):

Optimizing Compilation of CHR with Rule Priorities

Year:	2008
Event name:	Functional and Logic Programming 9th International Symposium, FLOPS 2008
Conference Publication:	LNCS: Functional and Logic Programming: 9th International Symposium, FLOPS 2008
Volume:	4989
Page numbers:	32-47
Publisher:	Springer-Verlag Heidelberg(Berlin)
Author(s):
Editor(s):

Smooth Linear Approximation of Non-overlap Constraints

Year:	2008
Event name:	Diagrams 2008 - 5th International Conference on Diagrammatic Representation and Inference
Conference Publication:	Diagrammatic Representation and Inference (Lecture Notes in Computer Science)
Volume:	5223
Page numbers:	45-59
Publisher:	Springer Verlag
Author(s):

The Core Concept for 0/1 Integer Programming

Year:	2008
Event name:	Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
Conference Publication:	Theory of Computing 2008. Proceedings of the Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
Volume:	77
Issue:	4
Page numbers:	39-47
Publisher:	Australian Computer Society(Sydney)
Author(s):
Editor(s):

The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers

Year:	2008
Event name:	The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08)
Conference Publication:	The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08): Collocated with the Special Session on Declarative Programming Paradigms and Systems for Non-Monotonic Reasoning at NMR'08
Page numbers:	1-20
Publisher:	The Association for Constraint Programming(Padova)
Author(s):

Publications in 2007

Journal Articles

Dynamic programming to minimize the maximum number of open stacks

Year:	2007
Journal:	INFORMS Journal on Computing
Volume:	19
Issue:	4
Page numbers:	607-617
Author(s):
Super Search	locate this resource.

Removing Propagation Redundant Constraints in Redundant Modeling

Year:	2007
Journal:	ACM Transactions on Computational Logic
Volume:	8
Issue:	4
Page numbers:	1-38
Author(s):
Super Search	locate this resource.

The island confinement method for reducing search space in local search methods

Year:	2007
Journal:	Journal of Heuristics
Volume:	13
Issue:	6
Page numbers:	557-585
Author(s):
Super Search	locate this resource.

Understanding functional dependencies via constraint handling rules

Year:	2007
Journal:	Journal of Functional Programming
Volume:	17
Issue:	1
Page numbers:	83 - 129
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

Constraint Propagation for Loose Constraint Graphs

Year:	2007
Event name:	22nd Annual ACM Symposium on Applied Computing
Conference Publication:	Proceedings of the 22nd Annual ACM Symposium on Applied Computing
Volume:	1
Page numbers:	334-335
Publisher:	ACM Press(New York)
Author(s):

Encodings of the SEQUENCE constraint

Year:	2007
Event name:	the 13th International Conference on Principles and Practice of Constraint Programming
Conference Publication:	Principles and Practice of Constraint Programming
Volume:	LNCS 4741
Page numbers:	210-224
Publisher:	Springer Verlag(Berlin)
Author(s):

MiniZinc: Towards a Standard CP Modelling Language

Year:	2007
Event name:	the 13th International Conference on Principles and Practice of Constraint Programming
Conference Publication:	Principles and Practice of Constraint Programming
Volume:	LNCS 4741
Page numbers:	529-543
Publisher:	Springer Verlag(Berlin)
Author(s):

Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches

Year:	2007
Event name:	CPAIOR 2007 - 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Conference Publication:	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Volume:	LNCS 4510
Page numbers:	1-15
Publisher:	Springer Verlag(Berlin)
Author(s):

Observable Confluence for Constraint Handling Rules

Year:	2007
Event name:	ICLP 2007 - 23rd International Conference
Conference Publication:	Logic Programming - 23rd International Conference, ICLP 2007
Volume:	LNCS 4670
Page numbers:	224-239
Publisher:	Springer Verlag(Berlin)
Author(s):

Propagating Dense Systems of Integer Linear Equations

Year:	2007
Event name:	Symposium on Applied Computing
Conference Publication:	Proceedings of the 2007 ACM Symposium on Applied Computing
Volume:	1
Page numbers:	306-310
Publisher:	ACM Press(New York)
Author(s):

Propagation = Lazy Clause Generation

Year:	2007
Event name:	the 13th International Conference on Principles and Practice of Constraint Programming (CP 2007)
Conference Publication:	Principles and Practice of Constraint Programming - CP 2007
Volume:	LNCS 4741
Page numbers:	544-558
Publisher:	Springer Verlag(Berlin)
Author(s):
URL - restricted access	http://www.springerlink.com.ezproxy.lib.unimelb.edu.au/content/g21003271x41k831/fulltext.pdf

Publications in 2006

Book Chapters

Constraint Logic Programming

Year:	2006
Book:	Handbook of Constraint Programming
Publisher:	Elsevier(New York)
Authors(s):
Editors(s):
URL - open access	http://www.elsevier.com/wps/find/bookdescription.cws_home/708863/description#description

Journal Articles

Automatic implication checking for CHR constraints

Year:	2006
Journal:	Electronic Notes in Theoretical Computer Science
Volume:	147
Issue:	1
Page numbers:	93-111
Author(s):
URL - restricted access	http://www.sciencedirect.com.ezproxy.lib.unimelb.edu.au/science?_ob=MImg&_imagekey=B75H1-4J2YY6G-6-1&_cdi=13109&_user=559483&_orig=browse&_coverDate=01%2F31%2F2006&_sk=998529998&view=c&wchp=dGLbVlz-zSkzS&md5=a2841f54e19ad4928a169cb491f5a808&ie=/sdarticle.pdf
URL - restricted access	http://www.ulrichsweb.com.ezproxy.lib.unimelb.edu.au/ulrichsweb/Search/fullCitation.asp?navPage=1&tab=1&serial_uid=441751&issn=15710661
URL - restricted access	https://ive.themis.unimelb.edu.au/,DanaInfo=www.sciencedirect.com.ezproxy.lib.unimelb.edu.au+science/journal/15710661
Super Search	locate this resource.

Improving PARMA trailing

Year:	2006
Journal:	Theory and Practice of Logic Programming
Volume:	6
Issue:	6
Page numbers:	609-644
Author(s):
URL - restricted access	http://journals.cambridge.org.ezproxy.lib.unimelb.edu.au/action/displayIssue?jid=TLP&volumeId=6&issueId=06
URL - restricted access	http://journals.cambridge.org.ezproxy.lib.unimelb.edu.au/action/displayFulltext?type=1&fid=522020&jid=TLP&volumeId=6&issueId=06&aid=522016
URL - open access	http://www.isinet.com/cgi-bin/jrnlst/jlresults.cgi?PC=MASTER&ISSN=1471-0684
Super Search	locate this resource.

MUSTANG: A multiple structural alignment algorithm

Year:	2006
Journal:	Proteins - Structure, Function, and Bioinformatics
Volume:	64
Issue:	3
Page numbers:	559-574
Author(s):
URL - restricted access	http://www3.interscience.wiley.com.ezproxy.lib.unimelb.edu.au/cgi-bin/jissue/112695230
URL - restricted access	http://www3.interscience.wiley.com.ezproxy.lib.unimelb.edu.au/cgi-bin/fulltext/112638073/PDFSTART
URL - open access	http://www.isinet.com/cgi-bin/jrnlst/jlresults.cgi?PC=MASTER&ISSN=0887-3585
Super Search	locate this resource.

Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds

Year:	2006
Journal:	Journal of Computational Biology
Volume:	13
Issue:	3
Page numbers:	668-685
Author(s):
URL - open access	http://www.isinet.com/cgi-bin/jrnlst/jlresults.cgi?PC=MASTER&ISSN=1066-5277
URL - open access	http://www.liebertonline.com/loi/cmb
Super Search	locate this resource.

Conference Publications/Papers

A framework for extended algebraic data types

Year:	2006
Event name:	8th International Symposium on Functional and Logic Programming
Conference Publication:	Functional and Logic Programming
Volume:	3945
Page numbers:	47-64
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-33438-6/?p=c02e91142c434959b4ac3cd3b57a2a41&pi=385
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/x511g36l2j2v/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/p23478534g86v4q8/fulltext.pdf

A hybrid BDD and SAT finite domain constraint solver

Year:	2006
Event name:	Eighth International Symposium on Practical Aspects of Declarative Languages
Conference Publication:	Practical Aspects of Declarative Languages
Volume:	3819
Page numbers:	103-117
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-30947-0/?p=3ae9d6e4d4a54cbbadc2510771696e90&pi=508
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/rh5537p14040/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/f516785m023m7723/fulltext.pdf

A stochastic non-CNF SAT solver

Year:	2006
Event name:	9th Pacific Rim International Conference on Artificial Intelligence
Conference Publication:	PRICAI 2006: Trends in Artificial Intelligence
Volume:	4099
Page numbers:	120-129
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/978-3-540-36667-6/?sortorder=asc&p_o=10
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/u888116130l7/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/c2g85111013g6024/fulltext.pdf

ACD term rewriting

Year:	2006
Event name:	22nd International Conference on Logic Programming
Conference Publication:	Logic Programming
Volume:	4079
Page numbers:	117-131
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/k075p677654q/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-36635-0/?sortorder=asc&p_o=10
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/087t640088684r32/fulltext.pdf

Adding constraint solving to Mercury

Year:	2006
Event name:	Eighth International Symposium on Practical Aspects of Declarative Languages
Conference Publication:	Practical Aspects of Declarative Languages
Volume:	3819
Page numbers:	118-133
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-30947-0/?p=3ae9d6e4d4a54cbbadc2510771696e90&pi=508
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/rh5537p14040/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/p77181q214w6pn65/fulltext.pdf

Fast node overlap removal

Year:	2006
Event name:	13th International Symposium on Graph Drawing
Conference Publication:	Graph Drawing
Volume:	3843
Page numbers:	153-164
Publisher:	Springer Verlag(Berlin)
Author(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-31425-3/?sortorder=asc&p_o=10
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/g86784431671/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/yh2276858l214330/fulltext.pdf

Finite domain bounds consistency revisited

Year:	2006
Event name:	19th Australian Joint Conference on Artificial Intelligence
Conference Publication:	AI 2006: Advances in Artificial Intelligence
Volume:	4304
Page numbers:	49-58
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/978-3-540-49787-5/?p=8a667c5a730b42768c28de82c1c9dd75&pi=34
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/u0j446h81228/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/f281078w963n66n7/fulltext.pdf

Incremental connector routing

Year:	2006
Event name:	13th International Symposium on Graph Drawing
Conference Publication:	Graph Drawing
Volume:	3843
Page numbers:	446-457
Publisher:	Springer Verlag(Berlin)
Author(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-31425-3/?sortorder=asc&p_o=30
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/g86784431671/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/7071058051745202/fulltext.pdf

Principal type inference for GHC-style multi-parameter type classes

Year:	2006
Event name:	4th Asian Symposium on Programming Languages and Systems
Conference Publication:	Programming Languages and Systems
Volume:	4279
Page numbers:	26-43
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/978-3-540-48937-5/?p=ef9e6c59960e461bb1c0e9b9598a4b68&pi=57
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/g1p176292374/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/e9004l4613700707/fulltext.pdf

Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware

Year:	2006
Event name:	4th International Workshop on Middleware for Grid Computing
Conference Publication:	Proceedings of the 4th International Workshop on Middleware for Grid Computing
Page numbers:	1-7
Publisher:	ACM Press(New York)
Author(s):
URL - open access	http://doi.acm.org/10.1145/1186675.1186679
URL - restricted access	http://portal.acm.org.ezproxy.lib.unimelb.edu.au/toc.cfm?id=1186675&type=proceeding&coll=portal&dl=ACM&CFID=13954688&CFTOKEN=70253566
URL - restricted access	http://portal.acm.org.ezproxy.lib.unimelb.edu.au/ft_gateway.cfm?id=1186679&type=pdf&coll=portal&dl=ACM&CFID=13954688&CFTOKEN=70253566
URL - open access	http://mgc2006.lncc.br/docs/MGC06-CFP-v1.pdf

Size-change termination analysis in k-bits

Year:	2006
Event name:	15th European Symposium on Programming
Conference Publication:	Programming Languages and Systems (Lecture Notes in Computer Science)
Volume:	3924
Page numbers:	230-245
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-33095-X/?sortorder=asc&p_o=10
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/n8k7n281rh11/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/q68h84351n349456/fulltext.pdf

Solving partial order constraints for LPO termination

Year:	2006
Event name:	17th International Conference on Rewriting Techniques and Applications
Conference Publication:	Term Rewriting and Applications (Lecture Notes in Computer Science)
Volume:	4098
Page numbers:	4-18
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/3-540-36834-5/?p=0f732042e4704c419ca3131a5fa027e6&pi=235
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/q7u55378512u/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/n1n6n54w060162vx/fulltext.pdf

Type Processing by constraint reasoning

Year:	2006
Event name:	4th Asian Symposium on Programming Languages and Systems
Conference Publication:	Programming Languages and Systems
Volume:	4279
Page numbers:	1-25
Publisher:	Springer Verlag(Berlin)
Author(s):
Editor(s):
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/978-3-540-48937-5/?p=1677ef99756942e683d8780cc43f7686&pi=57
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/g1p176292374/front-matter.pdf
URL - restricted access	http://springerlink.metapress.com.ezproxy.lib.unimelb.edu.au/content/k6v57733084x1521/fulltext.pdf

Publications in 2005

Journal Articles

A theory of overloading

Year:	2005
Journal:	ACM Transactions on Programming Languages and Systems
Volume:	27
Issue:	6
Page numbers:	1216-1269
Publisher:	Association for Computing Machinery Inc.(New York)
Author(s):
Super Search	locate this resource.

Checking modes in HAL programs

Year:	2005
Journal:	Theory and Practice of Logic Programming
Volume:	5
Issue:	6
Page numbers:	623-667
Author(s):
Super Search	locate this resource.

NP-completenes of minimal width unordered tree layout

Year:	2005
Journal:	Journal of Graph Algorithms and Applications
Volume:	8
Issue:	3
Page numbers:	295-312
Author(s):
Super Search	locate this resource.

Optimizing compilation of constraint handling rules in HAL

Year:	2005
Journal:	Theory and Practice of Logic Programming
Volume:	5
Issue:	4-5
Page numbers:	503-532
Author(s):
Super Search	locate this resource.

Solving set constraint satisfaction problems using ROBDDs

Year:	2005
Journal:	Journal of Artificial Intelligence Research
Volume:	24
Page numbers:	106-156
Publisher:	AI Access Foundation(Marina Del Rey)
Author(s):
Super Search	locate this resource.

When Do Bounds and Domain Propagation Lead to the Same Search Space?

Year:	2005
Journal:	ACM Transactions on Programming Languages and Systems
Volume:	27
Issue:	3
Page numbers:	388-425
Publisher:	Association for Computing Machinery Inc.(New York)
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

Abstract interpretation for constraint handling rules

Year:	2005
Event name:	7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Page numbers:	218-229
Publisher:	ACM Press(New York)
Author(s):

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

Year:	2005
Event name:	7th International Symposium of Practical Applications of Declarative Languages
Conference Publication:	Practical Aspects of Declarative Languages
Volume:	3350
Page numbers:	174-186
Publisher:	Springer Verlag(Berlin)
Author(s):

Structuring Documents Efficiently

Year:	2005
Event name:	Australasian Language Technology Workshop
Conference Publication:	Proceedings of the Australasian Language Technology Workshop
Page numbers:	120-126
Publisher:	University of Sydney(Sydney)
Author(s):
URL - open access	http://eprints.infodiv.unimelb.edu.au/archive/00001430/

Testing for termination with monotonicity constraints

Year:	2005
Event name:	International Conference on Logic Programming
Conference Publication:	Proceedings of the International Conference on Logic Programming
Volume:	3668
Page numbers:	326-340
Publisher:	Springer Verlag(Berlin)
Author(s):

The G12 Project: Mapping Solver Independent Models to Efficient Solutions

Year:	2005
Event name:	21st International Conference, ICLP 2005
Conference Publication:	Logic Programming: 21st International Conference, ICLP 2005
Volume:	3668
Page numbers:	9-13
Publisher:	Springer(New York)
Author(s):

Publications in 2004

Books

Functional and Logic Programming: Proceedings of the 7th International Symposium

Year:	2004
Publisher:	Springer Verlag(Berlin)
Authors(s):

Book Chapters

A Generic Framework for Context-Sensitive Analysis of Modular Programs

Year:	2004
Book:	Program Development in Computational Logic
Publisher:	Springer Verlag(Berlin)
Authors(s):

Herbrand Constraint in HAL

Year:	2004
Book:	Program Development in Computational Logic
Publisher:	Springer Verlag(Berlin)
Authors(s):

Journal Articles

Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-Residue Exchange Costs

Year:	2004
Journal:	Journal of Bioinformatics and Computational Biology
Volume:	4
Issue:	2
Page numbers:	719-745
Publisher:	World Scientific Publishing Co(New Jersey)
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

Compiling Ask Constraints

Year:	2004
Event name:	20th International Conference on Logic Prgramming
Conference Publication:	Logic Prgramming, 20th International Conference, ICLP 2004
Volume:	3132
Page numbers:	105-119
Publisher:	Springer Verlag(Berlin)
Author(s):

Improving Type Error Diagnosis

Year:	2004
Event name:	ACM SIGPLAN 2004 Haskell Workshop
Conference Publication:	Proceedings of the ACM SIGPLAN 2004 Haskell Workshop
Page numbers:	80-91
Publisher:	ACM Press(New York)
Author(s):

Just Enough Tabling

Year:	2004
Event name:	Sixth ACM SIGPLAN International Conference
Conference Publication:	Proceedings of the Sixth ACM SIGPLAN International Conference
Page numbers:	78-89
Publisher:	ACM Press(New York)
Author(s):

Set Bounds and (Split) Set Domain Propagation Using ROBDDs

Year:	2004
Event name:	2004 Australian Conference on Artificial Intelligence
Conference Publication:	AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence
Volume:	3339
Page numbers:	706-717
Publisher:	Springer Verlag(Berlin)
Author(s):

Set Domain Propagation Using ROBDDs

Year:	2004
Event name:	10th International Conference on Principles and Practices of Constraint Programming
Conference Publication:	Principles and Practices of Constraint Programming -- CP 2004
Volume:	3258
Page numbers:	347-361
Publisher:	Springer Verlag(Berlin)
Author(s):

Sound and Decidable Type Inference for Functional Dependencies

Year:	2004
Event name:	13th European Symposium on Programming, ESOP 2004
Conference Publication:	Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004
Volume:	2986
Page numbers:	49-63
Publisher:	Springer Verlag(Berlin)
Author(s):

Speeding Up Constraint Propagation

Year:	2004
Event name:	10th International Conference on Principles and Practices of Constraint Programming
Conference Publication:	Principles and Practices of Constraint Programming -- CP 2004
Volume:	3258
Page numbers:	619-633
Publisher:	Springer Verlag(Berlin)
Author(s):

The Refined Operational Semantics of Constraint Handling Rules

Year:	2004
Event name:	20th International Conference on Logic Prgramming
Conference Publication:	Logic Prgramming, 20th International Conference, ICLP 2004
Volume:	3132
Page numbers:	90-104
Publisher:	Springer Verlag(Berlin)
Author(s):

Towards Flexible Graphical Communication Using Adaptive Diagrams

Year:	2004
Event name:	9th Asian Computing Conference
Conference Publication:	Advances in Computer Science - ASIAN 2004 Higher Level Decision Making
Volume:	3321
Page numbers:	380-394
Publisher:	Springer Verlag(Berlin)
Author(s):

Publications in 2003

Journal Articles

Flexible Access Control Policy Specification with Constraint Logic Programming

Year:	2003
Journal:	ACM Transactions on Information and System Security
Volume:	6
Issue:	4
Page numbers:	501-546
Publisher:	Association for Computing Machinery (ACM)
Author(s):
Super Search	locate this resource.

Improving Linear Constraint Propagation by Changing Constraint Representation

Year:	2003
Journal:	Constraints
Volume:	8
Issue:	2
Page numbers:	173-207
Publisher:	Kluwer Academic Publishers(Dordrecht)
Author(s):
Super Search	locate this resource.

Removing Node Overlapping in Graph Layout Using Constrained Optimization

Year:	2003
Journal:	Constraints
Volume:	8
Issue:	2
Page numbers:	143-171
Publisher:	Kluwer Academic Publishers(Dordrecht)
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

A Hybrid Algorithm for the Examination Timetabling Problem

Year:	2003
Event name:	4th International Conference on Practice and Theory of Automated Timetabling
Conference Publication:	Lecture Notes in Computer Science: Practice and Theory of Automated Timetabling IV
Volume:	2740
Page numbers:	207-231
Publisher:	Springer Verlag(Berlin)
Author(s):

Box Constraint Collections for Adhoc Constraints

Year:	2003
Event name:	Eighth International Conference on Principles and Practice of Constraint Programming
Conference Publication:	Principles and Practice of Constraint Programming - CP2003
Volume:	2833
Page numbers:	214-228
Publisher:	Springer Verlag(Berlin)
Author(s):

Extending Arbitrary Solvers with Constraint Handling Rules

Year:	2003
Event name:	Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Page numbers:	79-90
Publisher:	ACM Press(New York)
Author(s):

Finding All Minimal Unsatisfiable Subsets

Year:	2003
Event name:	Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Page numbers:	32-43
Publisher:	ACM Press(New York)
Author(s):

Improving Nogood Recording using 2SAT

Year:	2003
Event name:	Fifteenth IEEE International Conference on Tools with Artificial Intelligence
Conference Publication:	Proceedings of the Fifteenth IEEE International Conference on Tools with Artificial Intelligence
Page numbers:	94-99
Publisher:	IEEE Press(New Jersey)
Author(s):

Interactive Type Debugging in Haskell

Year:	2003
Event name:	ACM SIGPLAN 2003 Haskell Workshop
Conference Publication:	Proceedings of the ACM SIGPLAN 2003 Haskell Workshop
Page numbers:	72-83
Publisher:	ACM Press(New York)
Author(s):

Propagation Redundancy in Redundant Modelling

Year:	2003
Event name:	Eighth International Conference on Principles and Practice of Constraint Programming
Conference Publication:	Principles and Practice of Constraint Programming - CP2003
Volume:	2833
Page numbers:	229-243
Publisher:	Springer Verlag(Berlin)
Author(s):

Resource Usage Verification

Year:	2003
Event name:	First Asian Symposium on Programming Languages and Systems
Conference Publication:	Programming Languages and Systems
Volume:	2895
Page numbers:	212-229
Publisher:	Springer Verlag(Berlin)
Author(s):

Termination Analysis with Types Is More Accurate

Year:	2003
Event name:	19th International Conference on Logic Programming
Conference Publication:	Logic Programming
Volume:	2916
Page numbers:	254-268
Publisher:	Springer Verlag(Berlin)
Author(s):

The Chameleon Type Debugger

Year:	2003
Event name:	Fifth International Workshop on Automated Debugging
Conference Publication:	Proceedings of the Fifth International Workshop on Automated Debugging
Page numbers:	247-260
Publisher:	Ghent University(Ghent)
Author(s):

The Usefulness of Constraints for Diagram Editing

Year:	2003
Event name:	2003 Australasian Computer Human Interaction Conference
Conference Publication:	Proceedings of the 2003 Australasian Computer Human Interaction Conference
Page numbers:	192-201
Publisher:	The Ergonomics Society of Australia (Canberra)
Author(s):

Publications in 2002

Books

Logic Programming: 18th International Conference

Year:	2002
Publisher:	Springer Verlag(Berlin)
Authors(s):

Journal Articles

Efficient intelligent backtracking using linear programming

Year:	2002
Journal:	INFORMS Journal on Computing
Volume:	14
Issue:	4
Page numbers:	373-386
Publisher:	INFORMS Applied Probability Society
Author(s):
Super Search	locate this resource.

Flexible graph layout for the Web

Year:	2002
Journal:	Journal of Visual Languages and Computing
Volume:	13
Issue:	1
Page numbers:	35-60
Publisher:	Academic Press - Elsevier Science(London)
Author(s):
Super Search	locate this resource.

Fourier elimination for compiling constraint hierarchies

Year:	2002
Journal:	Constraints
Volume:	7
Issue:	2
Page numbers:	199-219
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

A theory of overloading

Year:	2002
Event name:	The Seventh ACM SIGPLAN International Conference on Functional Programming
Conference Publication:	Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming
Page numbers:	167-178
Publisher:	ACM Press(New York)
Author(s):

Compacting discriminator information for spatial trees

Year:	2002
Event name:	Thirteenth Australasian Database Conference
Conference Publication:	Proceedings of the Thirteenth Australasian Database Conference
Page numbers:	167-176
Publisher:	Australian Computer Society(Sydney)
Author(s):

Constraint-based mode analysis of Mercury

Year:	2002
Event name:	The Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Page numbers:	109-120
Publisher:	ACM Press(New York)
Author(s):

Exception analysis for non-strict language

Year:	2002
Event name:	Seventh ACM SIGPLAN International Conference on Functional Programming
Conference Publication:	Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming
Page numbers:	98-109
Publisher:	ACM Press(New York)
Author(s):

Exception analysis for non-strict languages

Year:	2002
Event name:	ACM SIGPLAN International Conference on Functional Programming
Conference Publication:	Proceedings of the 7th international conference on functional programming
Page numbers:	98-109
Publisher:	ACM Press(New York)
Author(s):

Improving GSAT using 2SAT

Year:	2002
Event name:	Eighth International Conference on Principles and Practice of Constraint Programming
Conference Publication:	Principles and Practice of Constraint Programming - CP 2002
Volume:	2470
Page numbers:	691-695
Publisher:	Springer Verlag(Berlin)
Author(s):

Improving SAT using 2SAT

Year:	2002
Event name:	Twenty-Fifth Australasian Computer Science Conference
Conference Publication:	Australian Computer Science Communications
Volume:	24
Issue:	1
Page numbers:	331-340
Publisher:	Australian Computer Society(Sydney)
Author(s):

Precise pair-sharing analysis of logic programs

Year:	2002
Event name:	The Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Page numbers:	99-108
Publisher:	ACM Press(New York)
Author(s):

Reducing search space in local search for constraint satisfaction

Year:	2002
Event name:	The Eighteenth National Conference on Artificial Intelligence
Conference Publication:	Proceedings of the Eighteenth National Conference on Artificial Intelligence
Page numbers:	28-33
Publisher:	The AAAI Press(California)
Author(s):

To the gates of HAL: a HAL tutorial

Year:	2002
Event name:	Sixth International Symposium on Functional and Logic Programming
Conference Publication:	Functional and Logic Programming: 6th International Symposium
Volume:	2441
Page numbers:	47-66
Publisher:	Springer Verlag(Berlin)
Author(s):

Using the heap to eliminate stack access

Year:	2002
Event name:	The Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Page numbers:	121-132
Publisher:	ACM Press(New York)
Author(s):

Publications in 2001

Journal Articles

The Cassowary Linear Arithmetic Constraint Solving Algorithm

Year:	2001
Journal:	Association for Computing Machinery. Communications
Volume:	8
Issue:	4
Page numbers:	267-306
Author(s):
Super Search	locate this resource.

Conference Publications/Papers

A Framework for Analysis of Typed Logic Programs

Year:	2001
Event name:	Fifth International Symposium on Functional and Logic Programming
Conference Publication:	Lecture Notes in Computer Science
Volume:	2024
Page numbers:	296 - 310
Publisher:	Springer Verlag(Berlin)
Author(s):

A Model for Inter-module Analysis and Optimizing Compilation

Year:	2001
Event name:	Tenth International Workshop on Logic-based Programs Synthesis and Transformation
Conference Publication:	Lecture Notes in Computer Science
Volume:	2042
Page numbers:	86 - 102
Publisher:	Springer Verlag(Berlin)
Author(s):

Boolean Constraints for Binding-Time Analysis

Year:	2001
Event name:	Second Symposium on Programs as Data Objects
Conference Publication:	Lecture Notes in Computer Science
Volume:	2053
Page numbers:	39 - 62
Publisher:	Springer Verlag(Berlin)
Author(s):

Building Constraint Solvers with HAL

Year:	2001
Event name:	17th International Conference on Logic Programmin
Conference Publication:	Lecture Notes in Computer Science
Volume:	2237
Page numbers:	90 - 104
Publisher:	Springer Verlag(Berlin)
Author(s):

Cost-based Unbalanced R-Trees

Year:	2001
Event name:	Thirteenth International Conference on Scientific and Statistical Database Management
Conference Publication:	Proceedings of the Thirteenth International Conference on Scientific and Statistical Database Management
Page numbers:	203 - 212
Publisher:	IEEE Computer Society(California)
Author(s):

Efficient Strictness Analysis with HORN Constraints

Year:	2001
Event name:	Eighth International Static Analysis Symposium
Conference Publication:	Lecture Notes in Computer Science
Volume:	2126
Page numbers:	73 - 92
Publisher:	Springer Verlag(Berlin)
Author(s):

Higher-Precision Groudness Analysis

Year:	2001
Event name:	17th International Conference on Logic Programming
Conference Publication:	Lecture Notes in Computer Science
Volume:	2237
Page numbers:	135 - 149
Publisher:	Springer Verlag(Berlin)
Author(s):

Optimizing Compilation of Constraint Handling Rules

Year:	2001
Event name:	17th International Conference on Logic Programming
Conference Publication:	Lecture Notes in Computer Science
Volume:	2237
Page numbers:	74 - 89
Publisher:	Springer Verlag(Berlin)
Author(s):

Solving Disjunctive Constraints for Interactive Graphical Applications

Year:	2001
Event name:	Seventh International Conference on Principles and Practice of Constraint Programming
Conference Publication:	Lecture Notes in Computer Science
Volume:	2239
Page numbers:	361 - 376
Publisher:	Springer Verlag(Berlin)
Author(s):

When do Bounds and Domain Propagation Lead to the Same Search Space

Year:	2001
Event name:	Third International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Conference Publication:	Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Page numbers:	115 - 126
Publisher:	ACM Press(New York)
Author(s):

Reports

A General Type Class Framework

Year:	2001
Customer:	Academic Researchers in the field of Computer Science
Report No::	TR2001/26
Publisher:	Department of Computer Science and Software Engineering(Melbourne)
Authors:

A Systematic Approach in Type System Design based on Constraint Handling Rules

Year:	2001
Customer:	Academic Researchers in the field of Computer Science
Report No::	TR2001/30
Publisher:	Department of Computer Science and Software Engineering(Melbourne)
Authors:

Exception Analysis for Non-Strict Languages

Year:	2001
Customer:	Academic Researchers in the field of Computer Science
Report No::	TR2001/34
Publisher:	Department of Computer Science and Software Engineering(Melbourne)
Authors:

The HM(CHR) Framework

Year:	2001
Customer:	Academic Researchers in the field of Computer Science
Report No::	TR2001/33
Publisher:	Department of Computer Science and Software Engineering(Melbourne)
Authors:

Find an ExpertProfiling the University of Melbourne's Researchers

Find an Expert

PROF PETER STUCKEY

Contact Details

Research Expertise and International Linkages

Research Expertise

International Linkages

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Memberships

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Grants and Contracts

Grants

Publications

Publications in 2009

Journal Articles

Conference Publications/Papers

Publications in 2008

Books

Journal Articles

Conference Publications/Papers

Publications in 2007

Journal Articles

Conference Publications/Papers

Publications in 2006

Book Chapters

Journal Articles

Conference Publications/Papers

Publications in 2005

Journal Articles

Conference Publications/Papers

Publications in 2004

Books

Book Chapters

Journal Articles

Conference Publications/Papers

Publications in 2003

Journal Articles

Conference Publications/Papers

Publications in 2002

Books

Journal Articles

Conference Publications/Papers

Publications in 2001

Journal Articles

Conference Publications/Papers

Reports