Peter Stuckey

Cited by

	All	Since 2017
Citations	16994	4643
h-index	61	30
i10-index	297	127

1100

550

275

825

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202246 118 137 211 187 216 195 239 258 252 240 323 364 457 610 585 639 714 727 722 669 751 828 762 867 878 808 834 829 1005 1078 84

Public access

View all

128 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Maria Garcia de la BandaProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Graeme GangeMonash UniversityVerified email at monash.edu
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Gregory J. DuckNational University of SingaporeVerified email at comp.nus.edu.sg
Andreas SchuttData61, CSIROVerified email at data61.csiro.au
Mark WallaceProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Geoffrey ChuNICTA VRL, University of MelbourneVerified email at csse.unimelb.edu.au
Peter SchachteSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Daniel HaraborMonash UniversityVerified email at monash.edu
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
Arun KonagurthuDepartment of Data Science and AI, Monash UniversityVerified email at monash.edu
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Vitaly LagoonCadence Design SystemsVerified email at cadence.com
James BaileyProfessor, School of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Natashia L BolandGeorgia Institute of TechnologVerified email at isye.gatech.edu

Peter Stuckey

Faculty of Information Technology, Monash University

Verified email at monash.edu - Homepage

Constraint programming discrete optimization artificial intelligence programming languages bioinformatics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programming with constraints: an introduction K Marriott, PJ Stuckey, PJ Stuckey MIT press, 1998	1158	1998
MiniZinc: Towards a standard CP modelling language N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack International Conference on Principles and Practice of Constraint …, 2007	861	2007
The CLP (ℛ) language and system J Jaffar, S Michaylov, PJ Stuckey, RHC Yap ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (3), 339-395, 1992	785	1992
MUSTANG: a multiple structural alignment algorithm AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006	731	2006
Programming with constraints K Marriott, PJ Stuckey MIT press, 1998	325	1998
A hybrid algorithm for the examination timetabling problem LTG Merlot, N Boland, BD Hughes, PJ Stuckey International Conference on the Practice and Theory of Automated Timetabling …, 2002	284	2002
Propagation via lazy clause generation O Ohrimenko, PJ Stuckey, M Codish Constraints 14 (3), 357-391, 2009	267	2009
The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey The Journal of Logic Programming 37 (1-3), 1-46, 1998	263	1998
The Cassowary linear arithmetic constraint solving algorithm GJ Badros, A Borning, PJ Stuckey ACM Transactions on Computer-Human Interaction (TOCHI) 8 (4), 267-306, 2001	235	2001
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization J Bailey, PJ Stuckey International Workshop on Practical Aspects of Declarative Languages, 174-186, 2005	231	2005
The refined operational semantics of Constraint Handling Rules GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur International Conference on Logic Programming, 90-104, 2004	221	2004
The design of the Zinc modelling language K Marriott, N Nethercote, R Rafeh, PJ Stuckey, MG De La Banda, ... Constraints 13 (3), 229-267, 2008	177	2008
Flexible access control policy specification with constraint logic programming S Barker, PJ Stuckey ACM Transactions on Information and System Security (TISSEC) 6 (4), 501-546, 2003	174	2003
Solving linear arithmetic constraints for user interface applications A Borning, K Marriott, P Stuckey, Y Xiao Proceedings of the 10th annual acm symposium on user interface software and …, 1997	161	1997
Automatic generation of protein structure cartoons with Pro-origami A Stivala, M Wybrow, A Wirth, JC Whisstock, PJ Stuckey Bioinformatics 27 (23), 3315-3316, 2011	159	2011
Efficient constraint propagation engines C Schulte, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008	158	2008
Semantics of Logic Programs with Aggregates. DB Kemp, PJ Stuckey ISLP 91, 387-401, 1991	151	1991
Fast node overlap removal T Dwyer, K Marriott, PJ Stuckey International Symposium on Graph Drawing, 153-164, 2005	150	2005
Constructive negation for constraint logic programming PJ Stuckey Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	147	1991
Optimization of queries using relational algebraic theta-semijoin operator D Srivastava, PJ Stuckey, S Sudarshan US Patent 6,032,144, 2000	144	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors