Formal Aspects of Computing
| 短名 | Form. Asp. Comput. |
| Journal Impact | 1.46 |
| 国际分区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q3) |
| 期刊索引 | SCI Q4中科院 4 区 |
| ISSN | 0934-5043, 1433-299X |
| h-index | 44 |
| 国内分区 | 计算机科学(4区)计算机科学计算机软件工程(4区) |
该杂志旨在发表理论与实践交界处的贡献。目的是传播适用的研究。因此，如果新的理论贡献受到潜在应用的推动，那么它们是受欢迎的；现有形式的应用如果显示出有关方法或应用的新颖性，则很有趣。特别是，计算的形式方面的范围包括：用于描述系统的有根据的符号；可验证的设计方法；基本计算概念的阐明；容错设计方法；定理证明支持；状态探索工具；广泛使用的符号和方法的形式化基础；需求分析的形式化方法。
期刊主页投稿网址| 涉及主题 | 计算机科学程序设计语言数学算法计算理论理论计算机科学哲学工程类操作系统人工智能物理语言学认识论离散数学生物几何学 |
| 出版信息 | 出版商: Association for Computing Machinery (ACM)，出版周期: Quarterly，期刊类型: journal |
| 基本数据 | 创刊年份: 1989，原创研究文献占比: 100.00%，自引率:0.00%， Gold OA占比: 37.50% |
| 平均审稿周期 | 网友分享经验：>12周，或约稿 |
| 平均录用比例 | 网友分享经验：容易 |
期刊引文格式
这些示例是对学术期刊文章的引用，以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章，因此这些字段是可选的。有些电子期刊不提供页面范围，而是列出文章标识符。在这种情况下，使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用，以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs
2024-8-21
Formal Methods in Industry
2024-8-21
Exploring Scalability of BFT Blockchain Protocols through Network Simulations
2024-8-21
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
2024-8-2
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model
2024-8-1
ω-Regular Energy Problems
2024-7-17
Empirical architecture comparison of two-input machine learning systems for vision tasks
2024-6-27
Specification and Verification of Multi-clock Systems using a Temporal Logic with Clock Constraints
2024-6-26
Polymorphic dynamic programming by algebraic shortcut fusion
2024-6-21
The universality of functions in the sciences at large and in computing
2024-6-19
State machines for large scale computer software and systems
2024-6-18
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
2024-6-17
Does Every Computer Scientist Need to Know Formal Methods?
2024-6-10
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics
2024-6-7
Trace Semantics for C++11 Memory Model
2024-6-5
SecCT: Secure and scalable count query models on encrypted genomic data
2024-6-3
On Formal Methods Thinking in Computer Science Education
2024-6-1
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
2024-5-20
RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs
2024-5-17
Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains
2024-5-17
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
2024-3-22
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System
2024-3-20
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking
2024-3-20
Sound Runtime Assertion Checking for Memory Properties via Program Transformation
2024-3-20
The Concept of Class Invariant in Object-oriented Programming
2024-3-20
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
2024-3-20
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
2024-3-16
Modeling and Verification of Natural Language Requirements based on States and Modes
2024-2-5
Review on <i>Verified Functional Programming in Agda</i>
2024-1-23
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B
2023-11-21
Toward Verifying Cooperatively Scheduled Runtimes Using CSP
2023-11-21
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT
2023-11-20
Explanatory Denotational Semantics for Complex Event Patterns
2023-11-20
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS
2023-11-20
RoboWorld: Verification of Robotic Systems with Environment in the Loop
2023-11-20
Kaki: Efficient Concurrent Update Synthesis for SDN
2023-9-30
Introduction to the Special Collection from FASE 2021
2023-9-30
Introduction to the Special Collection from iFM 2022
2023-9-26
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations
2023-9-13
Compositional Analysis of Probabilistic Timed Graph Transformation Systems
2023-9-13
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
2023-9-13
Review on <i>Functional Algorithms, Verified!</i>
2023-6-30
Multi-objective ω-Regular Reinforcement Learning
2023-6-30
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)
2023-6-24
Compositional Reasoning for Non-multicopy Atomic Architectures
2023-6-23
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies
2023-6-23
Introduction to the Special Section on FM 2021
2023-6-23
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers
2023-6-23
Bit-Vector Typestate Analysis
2023-5-17
A Case in Point: Verification and Testing of a EULYNX Interface
2023-3-16
帮你贴心管理全部的文献
研飞ivySCI，高效的论文管理
投稿经验分享
分享我的经验，帮你走得更远