Peter Stuckey - Google Scholar Citations

Cited by

	All	Since 2015
Citations	15002	4591
h-index	58	30
i10-index	260	120

880

440

220

660

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202038 46 115 132 203 185 205 199 228 243 245 229 325 356 471 608 579 635 716 724 710 655 743 811 749 852 863 802 832 807 429

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
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at hs-karlsruhe.de
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Gregory DuckNational University of SingaporeVerified email at comp.nus.edu.sg
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Andreas SchuttData61, CSIROVerified email at data61.csiro.au
Geoffrey ChuNICTA VRL, University of MelbourneVerified email at csse.unimelb.edu.au
Mark WallaceProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Peter SchachteSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
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
Natashia L BolandGeorgia Institute of TechnologVerified email at isye.gatech.edu
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
James BaileyProfessor, School of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Divesh SrivastavaAT&T Labs-ResearchVerified email at research.att.com
bart demoenProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be

Peter Stuckey

Faculty of Information Technology, Monash University

Verified email at monash.edu - Homepage

Constraint programming 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	1116	1998
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	762	1992
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	698	2007
MUSTANG: a multiple structural alignment algorithm AS Konagurthu, JC Whisstock, PJ Stuckey, AM Lesk Proteins: Structure, Function, and Bioinformatics 64 (3), 559-574, 2006	665	2006
Programming with constraints K Marriott, PJ Stuckey MIT press, 1998	314	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	261	2002
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	253	1998
Propagation via lazy clause generation O Ohrimenko, PJ Stuckey, M Codish Constraints 14 (3), 357-391, 2009	232	2009
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	215	2004
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	211	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	197	2005
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	167	2003
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	166	2008
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	156	1997
Semantics of Logic Programs with Aggregates. DB Kemp, PJ Stuckey ISLP 91, 387-401, 1991	145	1991
Efficient constraint propagation engines C Schulte, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008	143	2008
Constructive negation for constraint logic programming PJ Stuckey [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	142	1991
Fast node overlap removal T Dwyer, K Marriott, PJ Stuckey International Symposium on Graph Drawing, 153-164, 2005	139	2005
Optimization of queries using relational algebraic theta-semijoin operator D Srivastava, PJ Stuckey, S Sudarshan US Patent 6,032,144, 2000	131	2000
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	128	2011

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

Upload PDF

Follow this author

Cited by

Co-authors