logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
A

ACTA INFORMATICA

IF0.5
论文数23
被引数
期刊论文 23
发表时间
delete
Simple linear time algorithm for sorting strings in omega-order with applications在Ω序下对字符串进行排序的简单线性时间算法及其应用
deleteACTA INFORMATICA
IF0.5
delete2026-04-15
delete0
deleteOAAI
deleteLuo, Ruixi; Zhu, Taikun; Jin, Kai
delete分享
delete收藏
A lazy and modular approach to int-blasting惰性且模块化的内爆式射击方法
deleteACTA INFORMATICA
IF0.5
delete2026-04-10
delete0
deleteOAAI
deleteBarth, Max; Heizmann, Matthias; Hoenicke, Jochen
delete分享
delete收藏
Graphs of order n with exactly n+1 complementarity eigenvalues阶为n且恰好有n+1个互补特征值的图
deleteACTA INFORMATICA
IF0.5
delete2026-04-08
delete0
PREAI
deletePirzada, S.; Kumar, Pawan; Merajuddin
delete分享
delete收藏
On the change of Seidel energy of the tripartite Turan graph T(n, 3) by an edge embedding关于三部分Turan图T(n, 3)通过边嵌入引起的Seidel能量变化
deleteACTA INFORMATICA
IF0.5
delete2026-03-17
delete0
PREAI
deleteRehman, Masood Ur; Ajmal, Muhammad; Cai, Gaixiang
delete分享
delete收藏
Space separating special geffert normal form for succinct representation of star-controlled insertion-deletion systems星控插入-删除系统的简洁表示的空间分离特殊geffert正规形
deleteACTA INFORMATICA
IF0.5
delete2026-03-03
delete0
PREAI
deleteFernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
delete分享
delete收藏
Structure of finite maximal prefix codes with constant average length 4有限极大前缀码的常数平均长度结构4
deleteACTA INFORMATICA
IF0.5
delete2026-02-28
delete0
PREAI
deleteLiu, Haiyan; Cui, Rongdong; Yu, Shunyong; Wang, Xin
delete分享
delete收藏
Deterministic tree-walking-storage automata确定性树遍历存储自动机
deleteACTA INFORMATICA
IF0.5
delete2026-02-24
delete0
deleteOAAI
deleteKutrib, Martin; Meyer, Uwe
delete分享
delete收藏
Reconstruction of SMT proofs with Lambdapi使用Lambdapi重构SMT证明
deleteACTA INFORMATICA
IF0.5
delete2026-02-23
delete0
PREAI
deleteColtellacci, Alessio; Andreotti, Bruno; Barbosa, Haniel; Dowek, Gilles; Merz, Stephan
delete分享
delete收藏
Ramsey achievement games on graphs : algorithms and bounds图上的兰姆西成就博弈：算法与界限
deleteACTA INFORMATICA
IF0.5
delete2026-02-09
delete0
PREAI
deleteWang, Xiumin; Huang, Zhong; Zhou, Xiangqian; Klasing, Ralf; Mao, Yaping
delete分享
delete收藏
Opacity complexity of automatic sequences: the general case自动序列的不透明度复杂性：一般情况
deleteACTA INFORMATICA
IF0.5
delete2026-02-09
delete0
PREAI
deleteAllouche, Jean-Paul; Yao, Jia-Yan
delete分享
delete收藏
Sweeping permutation automata扫掠排列自动机
deleteACTA INFORMATICA
IF0.5
delete2026-01-31
delete0
PREAI
deleteRadionova, Maria; Okhotin, Alexander
delete分享
delete收藏
On the hardness and approximation of the densest k-subgraph problem in parameterized metric graphs关于参数化度量图中密集k-子图问题的难解性与近似性
deleteACTA INFORMATICA
IF0.5
delete2026-01-31
delete0
PREAI
deleteChang, Shih-Chia; Chen, Li-Hsuan; Hsieh, Sun-Yuan; Hung, Ling-Ju; Kao, Shih-Shun; Klasing, Ralf
delete分享
delete收藏
Internal contextual grammars with resources restricted and structure limited selection内部语境语法：资源受限与结构受限的选择
deleteACTA INFORMATICA
IF0.5
delete2026-01-31
delete0
deleteOAAI
deleteTruthe, Bianca
delete分享
delete收藏
Distance labeling for families of cycles家族类循环的距离标记
deleteACTA INFORMATICA
IF0.5
delete2026-01-31
delete0
PREAI
deleteShur, Arseny M.; Rubinchik, Mikhail
delete分享
delete收藏
Message recovery attack in NTRU through VFK lattices通过VFK格的NTRU消息恢复攻击
deleteACTA INFORMATICA
IF0.5
delete2026-01-08
delete0
PREAI
deletePoimenidou, Eirini D.; Adamoudis, Marios; Draziotis, K. A.; Tsichlas, Kostas
delete分享
delete收藏
Hypernode automata超节点自动机
deleteACTA INFORMATICA
IF0.5
delete2025-12-09
delete0
deleteOAAI
deleteBartocci, Ezio; Chalupa, Marek; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira Da Costa, Ana
delete分享
delete收藏
Editorial 2025: Going Beyond 40编辑手记 2025：超越 40
deleteACTA INFORMATICA
IF0.5
delete2025-12-01
delete0
PREAI
deleteFernau, Henning
delete分享
delete收藏
An efficient alternative strategy for finding prices in envy-free perfect matchings寻找无嫉妒完美匹配价格的另一种高效策略
deleteACTA INFORMATICA
IF0.5
delete2025-11-07
delete0
PREAI
deleteSalvatierra, Marcos; Colonna, Juan G.; Salvatierra, Mario; Amorim Neto, Alcides de C.
delete分享
delete收藏
Symbolic execution for refuting ∀∃ hyperproperties
deleteACTA INFORMATICA
IF0.5
delete2025-10-27
delete0
deleteOAAI
deleteCorrenson, Arthur; Niessen, Tobias; Finkbeiner, Bernd; Weissenbacher, Georg
delete分享
delete收藏
Watson-Crick finite automata of small size and variants of string assembling systems
deleteACTA INFORMATICA
IF0.5
delete2025-10-24
delete0
deleteOAAI
deleteMurvai, Andras; Vaszil, Gyorgy
delete分享
delete收藏