CrushSCI.com
269.2平均天数
227中位天数
1最短天数
598最长天数
322025发文量

Paper Review Records

全部论文审稿周期

20 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接

225 天

YALLA: Yet Another Deep Embedding of Linear Logic in Rocq

作者
Olivier Laurent展开收起
作者单位
1. Laboratoire de l’Informatique du Parallélisme, CNRS – ENS de Lyon – Université Claude Bernard Lyon 1, Lyon cedex 07, France展开收起
PDF源文件 DOI 网页
452 天

Verified Tableaux: from Modal Logics to Modal Fixpoint Logics

作者
Rajeev Goré; Anthony Peigné展开收起
作者单位
1. Monash University, Melbourne, Australia; 2. Australian National University, Canberra, Australia展开收起
PDF源文件 DOI 网页
151 天

The Rewster: Type Preserving Rewrite Rules for the Rocq Prover

作者
Yann Leray; Gaëtan Gilbert; Nicolas Tabareau; Théo Winterhalter展开收起
作者单位
1. Nantes Université, École Centrale Nantes, CNRS, INRIA, LS2N, UMR 6004, Nantes, France; 2. INRIA Rennes Bretagne Atlantique, LS2N, Nantes, France; 3. INRIA Saclay, LMF, Gif-sur-Yvette, France展开收起
PDF源文件 DOI 网页
447 天

Targeting Completeness: Automated Complexity Analysis of Integer Programs

作者
Nils Lommen; Éléanore Meyer; Jürgen Giesl展开收起
作者单位
1. RWTH Aachen University, Aachen, Germany展开收起
PDF源文件 DOI 网页
126 天

Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic

作者
Branden Fitelson; Nicolas Peltier展开收起
作者单位
1. Northeastern University, Boston, USA; 2. Univ. Grenoble Alpes, CNRS, LIG, Grenoble, France展开收起
PDF源文件 DOI 网页
598 天

Feature Necessity and Relevancy in Machine Learning Explanations

作者
Xuanxiang Huang; Martin C. Cooper; Antonio Morgado; Jordi Planes; Joao Marques-Silva展开收起
作者单位
1. NTU, Singapore, Singapore; 2. IRIT, University of Toulouse, Toulouse, France; 3. INESC-ID/IST, University of Lisbon, Lisbon, Portugal; 4. University of Lleida, Lleida, Spain; 5. ICREA & University of Lleida, Lleida, Spain展开收起
PDF源文件 DOI 网页

Expert Matching · Case Demo

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

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

我们会在半小时内回复。

CrushSCI 在线

客户询问

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

CrushSCI回复

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

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

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

平均审稿62 天

中位数65 天

Contact CrushSCI

联系 CrushSCI

留下手机号或微信号,我们将与你确认学术润色、结构优化或一对一辅导咨询需求。

我们会在半小时内回复。

当前选择:学术咨询服务

预留联系方式

也可以直接发送邮件至 [email protected]

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