数学
Paper Review Records
全部论文审稿周期
10 篇有效样本 · 按发表日期由新到旧排列
审稿天数=录用日期-收稿日期;保留 PDF/DOI/网页源链接
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
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
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
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
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
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
Expert Matching · Case Demo
把投稿要求,转成可验证的期刊方案
说清专业、时限和作者背景,CrushSCI 结合真实审稿样本,给出拟题方向、期刊初筛与周期判断。