提供学术论文选刊润色服务
计算机科学
计算机科学
Paper Review Records
全部论文审稿周期
11 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期；保留 PDF/DOI/网页源链接
355
天
776
天
Adjointness in property directed reachability analysis
作者Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni; Roberta Gori; Ichiro Hasuo
作者单位1. Research Institute for Mathematical Sciences, Kyoto University, Sakyo, Japan; 2. Computer Science Department, University of Pisa, Pisa, Italy; 3. National Institute of Informatics, Chiyoda, Japan; 4. Department of Informatics, SOKENDAI (The Graduate University for Advanced Studies), Hayama, Japan
417
天
Formally verified roundoff error bounds on LogSumExp-based computations
作者Paul Bonnot; Benoît Boyer; Florian Faissole; Claude Marché; Raphaël Rieu-Helft
作者单位1. Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, France; 2. Mitsubishi Electric R&D Centre Europe, Rennes, France; 3. TrustInsoft, Paris, France
295
天
Linear temporal constraints for sketch-based synthesizers
作者Fernando A. Galicia-Mendoza; David A. Rosenblueth; Armando Solar-Lezama
作者单位1. Posgrado en Ciencia e Ingeniería de la Computación, Universidad Nacional Autónoma de México, CDMX, Mexico; 2. Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, Universidad Nacional Autónoma de México, CDMX, Mexico; 3. Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, USA
709
天
A program instrumentation framework for automatic verification
作者Jesper Amilon; Zafer Esen; Dilian Gurov; Christian Lidström; Philipp Rümmer; Marten Voorberg
作者单位1. EECS, KTH Royal Institute of Technology, Stockholm, Sweden; 2. IT Department, Uppsala University, Uppsala, Sweden; 3. FM, Fondazione Bruno Kessler, Trento, Italy; 4. FIDS, University of Regensburg, Regensburg, Germany
362
天
242
天
Verifying hybrid automata networks guided by task scenarios
作者Longlong Lu; Yufei Shi; Minxue Pan; Xuandong Li
作者单位1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China; 2. Software Institute, Nanjing University, Nanjing, China; 3. School of Computer Science, Nanjing University, Nanjing, China
558
天
Search and explore: symbiotic policy synthesis in POMDPs
作者Roman Andriushchenko; Alexander Bork; Milan Češka; Sebastian Junges; Joost-Pieter Katoen; Filip Macák
作者单位1. Brno University of Technology, Brno, Czech Republic; 2. RWTH Aachen University, Aachen, Germany; 3. Radboud University, Nijmegen, The Netherlands
868
天
615
天
A scalable anytime algorithm for learning fragments of linear temporal logic
作者Ritam Raha; Rajarshi Roy; Nathanaël Fijalkow; Daniel Neider
作者单位1. Max-Planck Institute for Software Systems, Kaiserslautern, Germany; 2. University of Oxford, Oxford, UK; 3. CNRS, LaBRI, Université de Bordeaux, Bordeaux, France; 4. TU Dortmund University, Dortmund, Germany; 5. Center for Trustworthy Data Science and Security, University Alliance Ruhr, Dortmund, Germany
Expert Matching · Case Demo
把投稿要求，转成可验证的期刊方案
说清专业、时限和作者背景，CrushSCI 结合真实审稿样本，给出拟题方向、期刊初筛与周期判断。
客户询问
我是环境工程专业，需要一篇 SCI，希望 3 个月内见刊。没有基金，也没有大牛挂名，可以投哪些期刊？
CrushSCI回复
可以。先按 90 天时限做可行性筛选，同步查找无基金、无知名作者挂靠的典型论文案例，作为选刊依据。重点核对研究质量与期刊 scope。
- 拟题建议
- 《融合机器学习与生命周期评价的城市污水处理碳排放预测与优化》
样本口径2026 年最近 5 篇有效论文样本
平均审稿96.4 天
中位数77 天