CrushSCI.com
提供学术论文选刊润色服务
Journal of Logical and Algebraic Methods in Programming 期刊封面 数学
返回期刊列表

Review Cycle Records

Journal of Logical and Algebraic Methods in Programming

Elsevier SCIE 非OA
2026新锐 3区2025中科院 4区2025 JCR Q1
466.5平均天数
458中位天数
127最短天数
942最长天数
382025发文量

Paper Review Records

全部论文审稿周期

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

942 天

Makina: A QuickCheck state machine library

作者Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Clara Benac-Earle; Julio Mariño

作者单位Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Madrid, Spain

PDF源文件 DOI 网页
242 天

Unified opinion formation analysis in rewriting logic

作者Carlos Olarte; Carlos Ramírez; Camilo Rocha; Frank Valencia

作者单位LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, Villetaneuse, France; Pontificia Universidad Javeriana, Calle 18 118-250, Cali, Colombia; CNRS-LIX, École Polytechnique de Paris, Palaiseau, France

PDF源文件 DOI 网页
366 天

On the inner structure of multirelations

作者Hitoshi Furusawa; Walter Guttmann; Georg Struth

作者单位Department of Science, Kagoshima University, Japan; Computer Science and Software Engineering, University of Canterbury, New Zealand; Department of Computer Science, University of Sheffield, UK; Collegium de Lyon, France

PDF源文件 DOI 网页
593 天

Algebraic reasoning for timeliness-guided system design

作者Seyed Hossein Haeri; Peter Van Roy; Heinrich Apfelmus; Peter W. Thompson; Neil J. Davies; Magne Haveraaen; Mikhail Barash; Kevin Hammond; James Chapman; Artjoms Šinkarovs

作者单位Input Output Global, Brussels, Belgium; Department of Informatics, University of Bergen, Bergen, Norway; Predictable Network Solutions Ltd. (PNSol), Stonehouse, UK; Université catholique de Louvain, Louvain-la-Neuve, Belgium; Cardano Stiftung, Zug, Switzerland; Input Output Global, UK

PDF源文件 DOI 网页
176 天

Combining sequential test cases into an equivalent set of adaptive test cases

作者Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez

作者单位School of Computer Science, University of Sheffield, S1 4DP, Sheffield, United Kingdom; Design and Testing of Reliable Systems, Universidad Complutense de Madrid, 28040, Madrid, Spain

PDF源文件 DOI 网页
550 天

Kind inference for the FREEST programming language

作者Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos

作者单位LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal

PDF源文件 DOI 网页
816 天

Counterpart-based Quantified Temporal Logics

作者Fabio Gadducci; Andrea Laretto; Davide Trotta

作者单位Department of Computer Science, University of Pisa, Pisa, Italy; Department of Software Science, Tallinn University of Technology, Tallinn, Estonia

PDF源文件 DOI 网页
608 天

Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers

作者Muhammad Hannan Khan; Shahid Khan; Osman Hasan

作者单位School of Electrical Engineering and Computer Science, National University of Sciences and Technology (NUST), Sector H-12, Islamabad, Pakistan

PDF源文件 DOI 网页
127 天

Formal analysis of real-time systems with user-defined strategies in rewriting logic

作者Carlos Olarte; Peter Csaba Ölveczky

作者单位LIPN, CNRS UMR 7030, Université Sorbonne Paris Nord, France; Department of Informatics, University of Oslo, Norway

PDF源文件 DOI 网页
245 天

Comodule representations of second-order functionals

作者Danel Ahman; Andrej Bauer

作者单位Institute of Computer Science, University of Tartu, Narva mnt 18, Tartu, Estonia; Faculty of Mathematics and Physics, University of Ljubljana, Jadranska 19, Ljubljana, Slovenia; Institute of Mathematics, Physics and Mechanics, Jadranska 19, Ljubljana, Slovenia

PDF源文件 DOI 网页

Expert Matching · Case Demo

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

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

CrushSCI 在线

客户询问

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

CrushSCI回复

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

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

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

平均审稿96.4 天

中位数77 天

Contact CrushSCI

联系 CrushSCI

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

当前选择:论文编辑服务

也可以预留联系方式

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