提供学术论文选刊润色服务
计算机科学
计算机科学
Paper Review Records
全部论文审稿周期
17 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期；保留 PDF/DOI/网页源链接
154
天
128
天
Formalizing Multi-graded Brenner–Schröer Proj Schemes and Dilatations of Rings in Lean4
作者Arnaud Mayeux; Jujian Zhang
作者单位1. The Hebrew University of Jerusalem, Jerusalem, Israel; 2. University of Wisconsin-Madison, Madison, USA; 3. Axiom Math, San Francisco, USA; 4. Imperial College London, London, UK
175
天
303
天
1
天
\({SL}^{\lambda }\) : A Scalable Algorithm for Register Automata Learning
作者Simon Dierl; Paul Fiterău-Broştean; Falk Howar; Bengt Jonsson; Konstantinos Sagonas; Fredrik Tåquist
作者单位1. Department of Computer Science, TU Dortmund University, Dortmund, Germany; 2. Department of Information Technology, Uppsala University, Uppsala, Sweden; 3. Fraunhofer ISST, Dortmund, Germany; 4. School of Electrical and Computer Engineering, National Technical University of Athens, Athens, Greece
237
天
Geometric Interpretation and Application of Non-degenerate Conditions in Geometric Theorem Proving
作者Xicheng Peng; Jingzhong Zhang; Mao Chen; Sannyuya Liu
作者单位1. Laboratory for Artificial Intelligence and New Forms of Education, Central China Normal University, Wuhan, China; 2. School of Computer Science and Cyber Engineering, Guangzhou University, Guangzhou, China
153
天
The Relative Strength of #SAT Proof Systems
作者Olaf Beyersdorff; Johannes K. Fichte; Markus Hecher; Tim Hoffmann; Lea Kasche
作者单位1. Friedrich Schiller University, Jena, Germany; 2. Linköping University, Linköping, Sweden; 3. University of Potsdam, Potsdam, Germany; 4. University Artois, CNRS, UMR 8188, CRIL, Lens, France
329
天
154
天
225
天
Expert Matching · Case Demo
把投稿要求，转成可验证的期刊方案
说清专业、时限和作者背景，CrushSCI 结合真实审稿样本，给出拟题方向、期刊初筛与周期判断。
客户询问
我是环境工程专业，需要一篇 SCI，希望 3 个月内见刊。没有基金，也没有大牛挂名，可以投哪些期刊？
CrushSCI回复
可以。先按 90 天时限做可行性筛选，同步查找无基金、无知名作者挂靠的典型论文案例，作为选刊依据。重点核对研究质量与期刊 scope。
- 拟题建议
- 《融合机器学习与生命周期评价的城市污水处理碳排放预测与优化》
样本口径2026 年最近 5 篇有效论文样本
平均审稿96.4 天
中位数77 天