logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Peter J. Stuckey

university of california berkeley

54H指数
732论文数
1.4W被引数
收录论文 23
发表时间
logo
GeckoGraph: A visual language for polymorphic typesGeckoGraph：一种多态类型的视觉语言
errJournal of Computer Languages
IF1.8
err2026-02-01
err0
errOAAI
errFu, Shuai; Dwyer, Tim; Stuckey, Peter J.; Grundy, John C.
err分享
err收藏
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
err分享
err收藏
3+Seat Risk-Limiting Audits for Single Transferable Vote Elections3+座风险限制审计用于单记名投票选举
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
PhiSiCal-Checkup: A Bayesian framework to validate amino acid conformations within experimental protein structuresPhiSiCal-Checkup：一种用于验证实验蛋白质结构中氨基酸构象的贝叶斯框架
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.
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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.
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
Dashed strings for string constraint solving
errartificial intelligence review
IF4.6
err2020-12-01
err6
errOAAI
errAmadini, Roberto; Gange, Graeme; Stuckey, Peter J.
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
James C. Whisstock
H 指数: 78 · 论文数: 396
A
Arthur M. Lesk
H 指数: 68 · 论文数: 321
S
Sven Koenig
H 指数: 67 · 论文数: 505
J
John Grundy
H 指数: 61 · 论文数: 1.0K
G
Guy Desaulniers
H 指数: 48 · 论文数: 287
查看更多