Peter Stuckey

Citat de

	Toate	Din 2018
Referințe bibliografice	18830	5623
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 754 856 891 810 835 849 1027 1112 1314 480

Acces public

Afișați-le pe toate

143 de articole

11 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Kim MarriottProfessor, Monash UniversityAdresă de e-mail confirmată pe monash.edu
Maria Garcia de la BandaProfessor, Faculty of Information Technology, Monash UniversityAdresă de e-mail confirmată pe monash.edu
Graeme GangeMonash UniversityAdresă de e-mail confirmată pe monash.edu
Guido TackAssociate Professor, Monash UniversityAdresă de e-mail confirmată pe monash.edu
Daniel HaraborMonash UniversityAdresă de e-mail confirmată pe monash.edu
Harald SøndergaardComputing and Information Systems, The University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesAdresă de e-mail confirmată pe h-ka.de
Andreas SchuttData61, CSIROAdresă de e-mail confirmată pe data61.csiro.au
Gregory J. DuckNational University of SingaporeAdresă de e-mail confirmată pe comp.nus.edu.sg
Geoffrey ChuNICTA VRL, University of MelbourneAdresă de e-mail confirmată pe csse.unimelb.edu.au
Peter SchachteSchool of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
Mark WallaceProfessor, Faculty of Information Technology, Monash UniversityAdresă de e-mail confirmată pe monash.edu
Roland YapNational University of SingaporeAdresă de e-mail confirmată pe comp.nus.edu.sg
Joxan JaffarNational University of SingaporeAdresă de e-mail confirmată pe comp.nus.edu.sg
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevAdresă de e-mail confirmată pe cs.bgu.ac.il
Arun KonagurthuDepartment of Data Science and AI, Monash UniversityAdresă de e-mail confirmată pe monash.edu
James BaileyProfessor, School of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
Sven KoenigDean's Professor of Computer Science, University of Southern CaliforniaAdresă de e-mail confirmată pe usc.edu
Vitaly LagoonCadence Design SystemsAdresă de e-mail confirmată pe cadence.com

Urmăriți

Peter Stuckey

Faculty of Information Technology, Monash University

Adresă de e-mail confirmată pe monash.edu - Pagina de pornire

Constraint programming discrete optimization programming languages bioinformatics heuristic search


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	793	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	767	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	288	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	288	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	229	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	188	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
Constructive negation for constraint logic programming PJ Stuckey Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	153	1991
Optimization of queries using relational algebraic theta-semijoin operator D Srivastava, PJ Stuckey, S Sudarshan US Patent 6,032,144, 2000	152	2000

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori