Journal Of Logical And Algebraic Methods In Programming SCIE
國際簡稱：J LOG ALGEBR METHODS 參考譯名：程序設(shè)計中的邏輯和代數(shù)方法雜志
主要研究方向：COMPUTER SCIENCE, THEORY & METHODS-LOGIC 非預警期刊 審稿周期：
《程序設(shè)計中的邏輯和代數(shù)方法雜志》(Journal Of Logical And Algebraic Methods In Programming)是一本由Elsevier BV出版的以COMPUTER SCIENCE, THEORY & METHODS-LOGIC為研究特色的國際期刊，發(fā)表該領(lǐng)域相關(guān)的原創(chuàng)研究文章、評論文章和綜述文章，及時報道該領(lǐng)域相關(guān)理論、實踐和應(yīng)用學科的最新發(fā)現(xiàn)，旨在促進該學科領(lǐng)域科學信息的快速交流。該期刊是一本未開放期刊，近三年沒有被列入預警名單。
- 4區(qū) 中科院分區(qū)
- Q1 JCR分區(qū)
- 44 年發(fā)文量
- 0.7 IF影響因子
- 未開放 是否OA
- 9 H-index
- 2014 創(chuàng)刊年份
- 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.
Journal Of Logical And Algebraic Methods In Programming期刊信息
- ISSN：2352-2208
- 出版語言：English
- 是否OA：未開放
- E-ISSN：2352-2216
- 出版地區(qū)：UNITED STATES
- 是否預警：否
- 出版商：Elsevier BV
- 出版周期：6 issues/year
- 創(chuàng)刊時間：2014
- 開源占比：0.1533
- Gold OA文章占比：41.51%
- OA被引用占比：0.0263...
- 出版國人文章占比：0.01
- 出版撤稿占比：0
- 研究類文章占比：100.00%
Journal Of Logical And Algebraic Methods In Programming CiteScore評價數(shù)據(jù)（2024年最新版）
| CiteScore | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||||||||||
| 2.6 | 0.577 | 1.034 |
|
名詞解釋：CiteScore 是衡量期刊所發(fā)表文獻的平均受引用次數(shù)，是在 Scopus 中衡量期刊影響力的另一個指標。當年CiteScore 的計算依據(jù)是期刊最近4年（含計算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻數(shù)。例如，2022年的 CiteScore 計算方法為：2022年的 CiteScore =2019-2022年收到的對2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻數(shù)量 注：文獻類型包括：文章、評論、會議論文、書籍章節(jié)和數(shù)據(jù)論文。
Journal Of Logical And Algebraic Methods In Programming中科院評價數(shù)據(jù)
中科院 2023年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 數(shù)學 | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區(qū) 4區(qū) |
中科院 2022年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) |
中科院 2021年12月舊的升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) |
中科院 2021年12月基礎(chǔ)版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區(qū) 3區(qū) |
中科院 2021年12月升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) |
中科院 2020年12月舊的升級版
| Top期刊 | 綜述期刊 | 大類學科 | 小類學科 | ||
| 否 | 否 | 計算機科學 | 3區(qū) | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) |
Journal Of Logical And Algebraic Methods In Programming JCR評價數(shù)據(jù)（2023-2024年最新版）
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
| 學科：LOGIC | SCIE | Q1 | 4 / 25 |
86% |
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 45 / 143 |
68.88% |
| 學科：LOGIC | SCIE | Q2 | 8 / 25 |
70% |
Journal Of Logical And Algebraic Methods In Programming歷年數(shù)據(jù)統(tǒng)計
影響因子
中科院分區(qū)
Journal Of Logical And Algebraic Methods In Programming中國學者發(fā)文選摘
-
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
Journal Of Logical And Algebraic Methods In Programming同類期刊
-
數(shù)學研究雜志
Journal Of Mathematical Study
中科院 4區(qū) JCR Q2
-
分形和分數(shù)
Fractal And Fractional
中科院 2區(qū) JCR Q1
-
模擬中的數(shù)學和計算機
Mathematics And Computers In Simulation
中科院 2區(qū) JCR Q1
-
連續(xù)和離散模型的進展
Advances In Continuous And Discrete Models
中科院 2區(qū) JCR Q1
-
統(tǒng)計與計算
Statistics And Computing
中科院 2區(qū) JCR Q1
-
電子組合學雜志
Electronic Journal Of Combinatorics
中科院 4區(qū) JCR Q2
-
應(yīng)用科學中的數(shù)學方法
Mathematical Methods In The Applied Sciences
中科院 3區(qū) JCR Q1
-
東南亞數(shù)學公報
Southeast Asian Bulletin Of Mathematics
中科院 4區(qū) JCR Q4
免責聲明
若用戶需要出版服務(wù)，請聯(lián)系出版商：STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。