Journal Of Logical And Algebraic Methods In Programming SCIE

国际简称：J LOG ALGEBR METHODS 参考译名：程序设计中的逻辑和代数方法杂志

主要研究方向：COMPUTER SCIENCE, THEORY & METHODS-LOGIC 非预警期刊审稿周期：

《程序设计中的逻辑和代数方法杂志》(Journal Of Logical And Algebraic Methods In Programming)是一本由Elsevier BV出版的以COMPUTER SCIENCE, THEORY & METHODS-LOGIC为研究特色的国际期刊，发表该领域相关的原创研究文章、评论文章和综述文章，及时报道该领域相关理论、实践和应用学科的最新发现，旨在促进该学科领域科学信息的快速交流。该期刊是一本未开放期刊，近三年没有被列入预警名单。

4区中科院分区
Q1 JCR分区
44 年发文量
0.7 IF影响因子
未开放 是否OA
9 H-index
2014 创刊年份
6 issues/year 出版周期
English 出版语言

The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

[ 查看全部 ]

投稿咨询加急咨询

投稿热线：400-888-7501

Journal Of Logical And Algebraic Methods In Programming期刊信息

ISSN：2352-2208
出版语言：English
是否OA：未开放
E-ISSN：2352-2216
出版地区：UNITED STATES
是否预警：否
出版商：Elsevier BV
出版周期：6 issues/year
创刊时间：2014
开源占比：0.1533
Gold OA文章占比：41.51%
OA被引用占比：0.0263...
出版国人文章占比：0.01
出版撤稿占比：0
研究类文章占比：100.00%

Journal Of Logical And Algebraic Methods In Programming CiteScore评价数据（2024年最新版）

CiteScore

SJR

SNIP

CiteScore 指数

2.6

0.577

1.034

学科类别	分区	排名	百分位
大类：Mathematics 小类：Logic	Q1	9 / 41	79%
大类：Mathematics 小类：Computational Theory and Mathematics	Q3	91 / 176	48%
大类：Mathematics 小类：Theoretical Computer Science	Q3	70 / 130	46%
大类：Mathematics 小类：Software	Q3	276 / 407	32%

名词解释：CiteScore 是衡量期刊所发表文献的平均受引用次数，是在 Scopus 中衡量期刊影响力的另一个指标。当年CiteScore 的计算依据是期刊最近4年（含计算年度）的被引次数除以该期刊近四年发表的文献数。例如，2022年的 CiteScore 计算方法为：2022年的 CiteScore =2019-2022年收到的对2019-2022年发表的文件的引用数量÷2019-2022年发布的文献数量注：文献类型包括：文章、评论、会议论文、书籍章节和数据论文。

Journal Of Logical And Algebraic Methods In Programming中科院评价数据

中科院 2023年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	数学	4区	COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学	4区 4区

中科院 2022年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	2区 3区

中科院 2021年12月旧的升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	2区 3区

中科院 2021年12月基础版

Top期刊	综述期刊	大类学科		小类学科
否	否	工程技术	4区	COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学	4区 3区

中科院 2021年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	2区 3区

中科院 2020年12月旧的升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	2区 3区

Journal Of Logical And Algebraic Methods In Programming JCR评价数据（2023-2024年最新版）

按JIF指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	104 / 143	27.6%
学科：LOGIC	SCIE	Q1	4 / 25	86%

按JCI指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	45 / 143	68.88%
学科：LOGIC	SCIE	Q2	8 / 25	70%

Journal Of Logical And Algebraic Methods In Programming历年数据统计

影响因子

中科院分区

Journal Of Logical And Algebraic Methods In Programming中国学者发文选摘

1、A denotational semantics of Simulink with higher-order UTP
Author: Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun

Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 130, Issue , pp. -. DOI: 10.1016/j.jlamp.2022.100809
2、Formalization of the inverse kinematics of three-fingered dexterous hand
Author: Wang, Guohui; Chen, Shanyan; Guan, Yong; Shi, Zhiping; Li, Ximeng; Zhang, Jingzhi

Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 133, Issue , pp. -. DOI: 10.1016/j.jlamp.2023.100861
3、Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance
Author: Minxia Luo, Bei Liu

Journal: Journal of Logical and Algebraic Methods in Programming, 2017, Vol.86, 298-307, DOI:10.1016/j.jlamp.2016.09.006
4、Developments in concurrent Kleene algebra
Author: Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu

Journal: Journal of Logical and Algebraic Methods in Programming, 2016, Vol.85, 617-636, DOI:10.1016/j.jlamp.2015.09.012
5、An optimal resource sharing protocol for generalized multiframe tasks
Author: Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi

Journal: Journal of Logical and Algebraic Methods in Programming, 2015, Vol.84, 92-105, DOI:10.1016/j.jlamp.2014.10.001