提供学术论文选刊润色服务
计算机科学
计算机科学
Paper Review Records
全部论文审稿周期
18 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接
209
天
Formal Methods in Industry: A Critical Evaluation of Their Use at Amazon Web Services
作者James Woodcock; Peter Gorm Larsen
作者单位1. College of Software, Southwest University; 2. Department of Electrical and Computer Engineering, Aarhus University; 3. Computer Science, University of York; 4. No address; 5. Electrical and Computer Engineering, Aarhus Universitet Science and Technology
23
天
241
天
321
天
354
天
382
天
576
天
On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity
作者Hao Wu; Yuxi Fu; Huan Long; Xian Xu; Wenbo Zhang
作者单位1. College of Information Engineering, Shanghai Maritime University; 2. BASICS, Shanghai Jiao Tong University; 3. East China University of Science and Technology; 4. Shanghai Ocean University
152
天
Expert Matching · Case Demo
把投稿要求,转成可验证的期刊方案
说清专业、时限和作者背景,CrushSCI 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。