logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Peter J. Stuckey

university of california berkeley

54H-index
732Paper Count
1.4WCitation Count
Published Papers 23
Publication Date
logo
GeckoGraph: A visual language for polymorphic types
errJournal of Computer Languages
IF1.8
err2026-02-01
err0
errOAAI
errFu, Shuai; Dwyer, Tim; Stuckey, Peter J.; Grundy, John C.
errShare
errSave
Doing More with Less: Mismatch-Based Risk-Limiting Audits
errFINANCIAL CRYPTOGRAPHY AND DATA SECURITY. FC 2025 INTERNATIONAL WORKSHOPS, CODECFIN, FINTEACHIN, VOTING, PT II
IF0
err2026-01-01
err0
PREAI
errEk, Alexander; Blom, Michelle; Stark, Philip B.; Stuckey, Peter J.; Teague, Vanessa J.; Vukcevic, Damjan
errShare
errSave
3+Seat Risk-Limiting Audits for Single Transferable Vote Elections
errFINANCIAL CRYPTOGRAPHY AND DATA SECURITY. FC 2025 INTERNATIONAL WORKSHOPS, CODECFIN, FINTEACHIN, VOTING, PT II
IF0
err2026-01-01
err0
PREAI
errBlom, Michelle; Ek, Alexander; Stuckey, Peter J.; Teague, Vanessa; Vukcevic, Damjan
errShare
errSave
Mixed-Integer and Constraint Programming Models for the Two-Dimensional Guillotine Cutting Problem
errEuropean Journal of Operational Research
IF6
err2025-10-21
err0
errOAAI
errSergey Polyakovskiy; Milad Dehghan; Adam Mcgregor; Peter J. Stuckey
errShare
errSave
Acoustic-to-hyper-spectral: real-time perimeter intrusion detection system monitoring through learnable filters and hyper-spectral image generation from distributed acoustic sensing systems
errOPTICS EXPRESS
IF3.3
err2025-01-28
err0
errOAAI
errPierau, Ruth-emely; Katsifolis, Jim; Meehan, Alaster; Rezatofighi, Hamid; Stuckey, Peter J.
errShare
errSave
PhiSiCal-Checkup: A Bayesian framework to validate amino acid conformations within experimental protein structures
errPROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
IF9.1
err2025-01-02
err0
errOAAI
errAmarasinghe, Piyumi R.; Allison, Lloyd; Morton, Craig J.; Stuckey, Peter J.; de la Banda, Maria Garcia; Lesk, Arthur M.; Konagurthu, Arun S.
errShare
errSave
Predict plus Optimize Problem in Renewable Energy Scheduling
errIEEE ACCESS
IF3.6
err2025-01-01
err0
errOAAI
errBergmeir, Christoph; de Nijs, Frits; Genov, Evgenii; Sriramulu, Abishek; Abolghasemi, Mahdi; Bean, Richard; Betts, John; Bui, Quang; Dinh, Nam Trong; Einecke, Nils; Esmaeilbeigi, Rasul; Ferraro, Scott; Galketiya, Priya; Glasgow, Robert; Godahewa, Rakshitha; Kang, Yanfei; Limmer, Steffen; Magdalena, Luis; Montero-Manso, Pablo; Peralta, Daniel; Kumar, Yogesh Pipada Sunil; Rosales-Perez, Alejandro; Ruddick, Julian; Stratigakos, Akylas; Stuckey, Peter; Tack, Guido; Triguero, Isaac; Yuan, Rui
errShare
errSave
Optimal Multi-Agent Pickup and Delivery Using Branch-and-Cut-and-Price Algorithms
errTRANSPORTATION SCIENCE
IF4.8
err2024-12-10
err0
PREAI
errLam, Edward; Stuckey, Peter J.; Harabor, Daniel
errShare
errSave
A Formal Explainer for Just-In-Time Defect Predictions
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2024-08-26
err0
errOAAI
errYu, Jinqiang; Fu, Michael; Ignatiev, Alexey; Tantithamthavorn, Chakkrit; Stuckey, Peter
errShare
errSave
Optimal dynamic partial order reduction with context-sensitive independence and observers
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-08-01
err1
errOAAI
errAlbert, Elvira; de la Banda, Maria Garcia; Gomez-Zamalloa, Miguel; Isabel, Miguel; Stuckey, Peter
errShare
errSave
Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations
errCOMPUTERS & OPERATIONS RESEARCH
IF4.3
err2022-09-01
err41
PREAI
errLam, Edward; Desaulniers, Guy; Stuckey, Peter J.
errShare
errSave
Branch-and-cut-and-price for multi-agent path finding
errCOMPUTERS & OPERATIONS RESEARCH
IF4.3
err2022-08-01
err19
errOAAI
errLam, Edward; Le Bodic, Pierre; Harabor, Daniel; Stuckey, Peter J.
errShare
errSave
Fast optimal and bounded suboptimal Euclidean pathfinding
errartificial intelligence review
IF4.6
err2022-01-01
err6
PREAI
errShen, Bojie; Cheema, Muhammad Aamir; Harabor, Daniel D.; Stuckey, Peter J.
errShare
errSave
Pairwise symmetry reasoning for multi-agent path finding search
errartificial intelligence review
IF4.6
err2021-12-01
err37
errOAAI
errLi, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven
errShare
errSave
Universal Architectural Concepts Underlying Protein Folding Patterns
errFRONTIERS IN MOLECULAR BIOSCIENCES
IF4
err2021-04-30
err7
errOAAI
errKonagurthu, Arun S.; Subramanian, Ramanan; Allison, Lloyd; Abramson, David; Stuckey, Peter J.; Garcia de la Banda, Maria; Lesk, Arthur M.
errShare
errSave
Dashed strings for string constraint solving
errartificial intelligence review
IF4.6
err2020-12-01
err6
errOAAI
errAmadini, Roberto; Gange, Graeme; Stuckey, Peter J.
errShare
errSave
Computer modeling of a potential agent againstSARS-Cov-2 (COVID-19) protease
errPROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS
IF2.8
err2020-08-12
err1
errOAAI
errLesk, Arthur M.; Konagurthu, Arun S.; Allison, Lloyd; de la Banda, Maria Garcia; Stuckey, Peter J.; Abramson, David
errShare
errSave
Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems
errEUROPEAN JOURNAL OF OPERATIONAL RESEARCH
IF6
err2018-04-01
err29
PREAI
errKreter, Stefan; Schutt, Andreas; Stuckey, Peter J.; Zimmermann, Juergen
errShare
errSave
A complete solution to the Maximum Density Still Life Problem
errartificial intelligence review
IF4.6
err2012-06-01
err5
errOAAI
errChu, Geoffrey; Stuckey, Peter J.
errShare
errSave
Lock-free parallel dynamic programming
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2010-08-01
err34
errOAAI
errStivala, Alex; Stuckey, Peter J.; Garcia de la Banda, Maria; Hermenegildo, Manuel; Wirth, Anthony
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
James C. Whisstock
H-index: 78 · Papers: 396
A
Arthur M. Lesk
H-index: 68 · Papers: 321
S
Sven Koenig
H-index: 67 · Papers: 504
J
John Grundy
H-index: 61 · Papers: 1.0K
G
Guy Desaulniers
H-index: 48 · Papers: 284
View more