Peter Stuckey

Cited by

	All	Since 2018
Citations	18893	5685
h-index	64	33
i10-index	325	153

1400

700

350

1050

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023104 135 181 186 215 187 237 241 255 260 328 370 462 692 594 648 727 691 722 689 740 836 755 854 890 812 835 850 1029 1110 1322 533

Public access

View all

150 articles

11 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
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Daniel HaraborMonash UniversityVerified email at monash.edu
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Andreas SchuttData61, CSIROVerified email at data61.csiro.au
Gregory J. DuckNational University of SingaporeVerified email at comp.nus.edu.sg
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
Mark WallaceProfessor, Faculty of Information Technology, Monash UniversityVerified email at monash.edu
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Arun KonagurthuDepartment of Data Science and AI, Monash UniversityVerified email at monash.edu
James BaileyProfessor, School of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Sven KoenigDean's Professor of Computer Science, University of Southern CaliforniaVerified email at usc.edu
Vitaly LagoonCadence Design SystemsVerified email at cadence.com

Peter Stuckey

Faculty of Information Technology, Monash University

Verified email at monash.edu - Homepage

Constraint programming discrete optimization programming languages bioinformatics heuristic search


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Programming with constraints: an introduction K Marriott, PJ Stuckey MIT press, 1998	1184	1998
MiniZinc: Towards a standard CP modelling language N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007	997	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	794	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	768	2006
Programming with constraints K Marriott, PJ Stuckey MIT press, 1998	327	1998
Propagation via lazy clause generation O Ohrimenko, PJ Stuckey, M Codish Constraints 14, 357-391, 2009	289	2009
A hybrid algorithm for the examination timetabling problem LTG Merlot, N Boland, BD Hughes, PJ Stuckey Practice and Theory of Automated Timetabling IV: 4th International …, 2003	289	2003
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	268	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	248	2001
Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization J Bailey, PJ Stuckey Practical Aspects of Declarative Languages: 7th International Symposium …, 2005	243	2005
The refined operational semantics of Constraint Handling Rules GJ Duck, PJ Stuckey, MG De La Banda, C Holzbaur Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo …, 2004	230	2004
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	189	2011
The design of the Zinc modelling language K Marriott, N Nethercote, R Rafeh, PJ Stuckey, M Garcia De La Banda, ... Constraints 13, 229-267, 2008	183	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	172	2003
Efficient constraint propagation engines C Schulte, PJ Stuckey ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-43, 2008	168	2008
Fast node overlap removal T Dwyer, K Marriott, PJ Stuckey Graph Drawing: 13th International Symposium, GD 2005, Limerick, Ireland …, 2006	168	2006
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
Semantics of Logic Programs with Aggregates. DB Kemp, PJ Stuckey ISLP 91, 387-401, 1991	157	1991
Optimization of queries using relational algebraic theta-semijoin operator D Srivastava, PJ Stuckey, S Sudarshan US Patent 6,032,144, 2000	153	2000
Constructive negation for constraint logic programming PJ Stuckey Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	153	1991

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

Cited by

Co-authors