Scientific Annals of Computer Science
短名 | Sci. Ann. Comput. Sci. |
Journal Impact | 0.33 |
国际分区 | COMPUTER SCIENCE, THEORY & METHODS(Q4) |
ISSN | 1843-8121, 2248-2695 |
h-index | 11 |
Scientific Annals of Computer Science is an international journal devoted to papers in computer science with results which are formally stated and proved. It is mainly a forum for the dissemination of formal solutions of problems appearing in all areas of computer science. We only consider original work which has not been previously published in other journals, nor submitted simultaneously for publication elsewhere. Extended versions of papers which have previously appeared in conference proceedings are also considered; the authors should indicate this at the time of submission. Promoting quality over quantity, Scientific Annals of Computer Science does not consider papers outside the scope of the journal. Starting with volume 17, SACS becomes an open access journal without subscription. All articles are freely available online, offering an increased visibility and usage of their results.
期刊主页涉及主题 | 计算机科学数学程序设计语言理论计算机科学哲学离散数学人工智能算法操作系统物理组合数学工程类生物纯数学 |
出版信息 | 出版商: Alexandru Ioan Cuza University of Iasi,出版周期: ,期刊类型: journal |
基本数据 | 创刊年份: 2009,原创研究文献占比: 100.00%,自引率:20.00%, Gold OA占比: 100.00% |
平均审稿周期 | 网友分享经验:20 Weeks |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Scientific Annals of Computer Science
2024-6-19
Scientific Annals of Computer Science
2024-2-2
Classification of Certain Cyclic LCD Codes
2024-1-1
Monotonic Entropies
2024-1-1
Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking
2024-1-1
Efficient Algorithm for Computing Inverse of Parametric Matrices
2024-1-1
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values
2023-12-20
On Nirmala Indices of Some Hex-derived Networks of Type Three and Their Subdivision Networks
2023-12-20
Describing Weighted Safety with Weighted LTL over Product omega-valuation Monoids
2023-12-20
Shrinkage Estimators for the Intercept in Linear and Uplift Regression
2023-5-29
A Study on Centralizing Monoids with Majority Operation Witnesses
2023-5-29
Maximal Existential and Universal Width
2023-5-29
Semidegenerate Congruence-modular Algebras Admitting a Reticulation
2023-5-29
A Teacher of Great Strengths
2023-5-29
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
2022-12-7
An Enhanced Fluid Registration for Image Multi-Frame Super Resolution
2022-12-7
Four Notions of Fault for Program Specifications
2022-12-7
New Editorial Team for SACS after 16 Years
2022-12-7
Program Algebra for Random Access Machine Programs
2022-12-7
Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem
2022-6-22
Which Arithmetical Data Types Admit Fracterm Flattening?
2022-6-22
Reflections on a Scientific Journal
2022-6-22
Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem
2022-6-22
A Survey of Testing for Instruction Sequence Theory
2022-6-22
Imperative Process Algebra with Abstraction
2022-6-22
On Quantum-MV Algebras - Part I: The Orthomodular Algebras
2021-12-20
A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids
2021-12-20
Maximizing the Number of Visible Labels on a Rotating Map
2021-12-20
Topological Characterization of the Third Type of Triangular Hex-derived Networks
2021-12-20
Applying MDE to ROS Systems: A Comparative Analysis
2021-8-9
A Note on Congruences of Infinite Bounded Involution Lattices
2021-8-9
Small Longest Tandem Scattered Subsequences
2021-8-9
Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
2021-8-9
Instruction Sequence Faults with Formal Change Justification
2020-12-21
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation
2020-12-21
Probabilistic Process Algebra and Strategic Interleaving
2020-12-21
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
2020-8-31
A Complete Axiomatisation for Probabilistic Trace Equivalence
2020-8-31
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs
2020-8-31
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation
2020-8-31
Identifying and Querying Regularly Visited Places
2019-12-30
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远