CrushSCI.com
提供学术论文选刊润色服务
FORMAL ASPECTS OF COMPUTING 临时占位封面 计算机科学
返回期刊列表

Review Cycle Records

FORMAL ASPECTS OF COMPUTING

ACM SCIE 非OA
2026新锐 4区2025中科院 3区2025 JCR Q3
317.6平均天数
281中位天数
23最短天数
965最长天数
342025发文量

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

PDF源文件 DOI 网页
23 天

Tony Hoare: his path to the ACM Turing Award

作者Krzysztof R. Apt

作者单位1. Centrum voor Wiskunde en Informatica; 2. MIMUW, University of Warsaw

PDF源文件 DOI 网页
241 天

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis

作者George Granberry; Wolfgang Ahrendt; Moa Johansson

作者单位1. Computer Science and Engineering, Chalmers University of Technology

PDF源文件 DOI 网页
321 天

Assurance Case Development for Evolving Software Product Lines: A Formal Approach

作者Logan Murphy; Torin Viger; Alessio Di Sandro; Aren Babikian; Marsha Chechik

作者单位1. Computer Science, University of Toronto

PDF源文件 DOI 网页
354 天

LeanMachines: State-based Modeling with Refinement (a Lean4 Framework)

作者Danaël Carbonneau; Frederic Peschanski

作者单位1. Sorbonne Universite; 2. LIP6

PDF源文件 DOI 网页
382 天

Malware Analysis through Behavior Formalization

作者Andrei Mogage; Dorel Lucanu

作者单位1. Computer Science, Alexandru Ioan Cuza University; 2. Bitdefender

PDF源文件 DOI 网页
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

PDF源文件 DOI 网页
152 天

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays

作者Martin Fränzle; Thomas Møller Grosen; Kim Guldstrand Larsen; Martin Zimmermann

作者单位1. Carl von Ossietzky Universitat Oldenburg; 2. Aalborg University

PDF源文件 DOI 网页

Expert Matching · Case Demo

把投稿要求,转成可验证的期刊方案

说清专业、时限和作者背景,CrushSCI 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。

CrushSCI 在线

客户询问

我是环境工程专业,需要一篇 SCI,希望 3 个月内见刊。没有基金,也没有大牛挂名,可以投哪些期刊?

CrushSCI回复

可以。先按 90 天时限做可行性筛选,同步查找无基金、无知名作者挂靠的典型论文案例,作为选刊依据。重点核对研究质量与期刊 scope。

拟题建议
《融合机器学习与生命周期评价的城市污水处理碳排放预测与优化》

样本口径2026 年最近 5 篇有效论文样本

平均审稿96.4 天

中位数77 天

Contact CrushSCI

联系 CrushSCI

扫码添加微信,或留下手机号/微信号,我们将与你确认稿件阶段、编辑需求和投稿计划。

当前选择:论文编辑服务

也可以预留联系方式

手机号和微信号至少填写一项,仅用于本次咨询联系,不会公开。