logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
A

ACTA INFORMATICA

IF0.5
Papers23
Citations
Journal Papers 23
Publication Date
delete
Simple linear time algorithm for sorting strings in omega-order with applications
deleteACTA INFORMATICA
IF0.5
delete2026-04-15
delete0
PREAI
deleteLuo, Ruixi; Zhu, Taikun; Jin, Kai
deleteShare
deleteSave
A lazy and modular approach to int-blasting
deleteACTA INFORMATICA
IF0.5
delete2026-04-10
delete0
PREAI
deleteBarth, Max; Heizmann, Matthias; Hoenicke, Jochen
deleteShare
deleteSave
Graphs of order n with exactly n+1 complementarity eigenvalues
deleteACTA INFORMATICA
IF0.5
delete2026-04-08
delete0
PREAI
deletePirzada, S.; Kumar, Pawan; Merajuddin
deleteShare
deleteSave
On the change of Seidel energy of the tripartite Turan graph T(n, 3) by an edge embedding
deleteACTA INFORMATICA
IF0.5
delete2026-03-17
delete0
PREAI
deleteRehman, Masood Ur; Ajmal, Muhammad; Cai, Gaixiang
deleteShare
deleteSave
Space separating special geffert normal form for succinct representation of star-controlled insertion-deletion systems
deleteACTA INFORMATICA
IF0.5
delete2026-03-03
delete0
PREAI
deleteFernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
deleteShare
deleteSave
Structure of finite maximal prefix codes with constant average length 4
deleteACTA INFORMATICA
IF0.5
delete2026-02-28
delete0
PREAI
deleteLiu, Haiyan; Cui, Rongdong; Yu, Shunyong; Wang, Xin
deleteShare
deleteSave
Deterministic tree-walking-storage automata
deleteACTA INFORMATICA
IF0.5
delete2026-02-24
delete0
deleteOAAI
deleteKutrib, Martin; Meyer, Uwe
deleteShare
deleteSave
Reconstruction of SMT proofs with Lambdapi
deleteACTA INFORMATICA
IF0.5
delete2026-02-23
delete0
PREAI
deleteColtellacci, Alessio; Andreotti, Bruno; Barbosa, Haniel; Dowek, Gilles; Merz, Stephan
deleteShare
deleteSave
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
deleteShare
deleteSave
Opacity complexity of automatic sequences: the general case
deleteACTA INFORMATICA
IF0.5
delete2026-02-09
delete0
PREAI
deleteAllouche, Jean-Paul; Yao, Jia-Yan
deleteShare
deleteSave
Sweeping permutation automata
deleteACTA INFORMATICA
IF0.5
delete2026-01-31
delete0
PREAI
deleteRadionova, Maria; Okhotin, Alexander
deleteShare
deleteSave
On the hardness and approximation of the densest k-subgraph problem in parameterized metric graphs
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
deleteShare
deleteSave
Internal contextual grammars with resources restricted and structure limited selection
deleteACTA INFORMATICA
IF0.5
delete2026-01-31
delete0
deleteOAAI
deleteTruthe, Bianca
deleteShare
deleteSave
Distance labeling for families of cycles
deleteACTA INFORMATICA
IF0.5
delete2026-01-31
delete0
PREAI
deleteShur, Arseny M.; Rubinchik, Mikhail
deleteShare
deleteSave
Message recovery attack in NTRU through VFK lattices
deleteACTA INFORMATICA
IF0.5
delete2026-01-08
delete0
PREAI
deletePoimenidou, Eirini D.; Adamoudis, Marios; Draziotis, K. A.; Tsichlas, Kostas
deleteShare
deleteSave
Hypernode automata
deleteACTA INFORMATICA
IF0.5
delete2025-12-09
delete0
deleteOAAI
deleteBartocci, Ezio; Chalupa, Marek; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira Da Costa, Ana
deleteShare
deleteSave
Editorial 2025: Going Beyond 40
deleteACTA INFORMATICA
IF0.5
delete2025-12-01
delete0
PREAI
deleteFernau, Henning
deleteShare
deleteSave
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.
deleteShare
deleteSave
Symbolic execution for refuting ∀∃ hyperproperties
deleteACTA INFORMATICA
IF0.5
delete2025-10-27
delete0
deleteOAAI
deleteCorrenson, Arthur; Niessen, Tobias; Finkbeiner, Bernd; Weissenbacher, Georg
deleteShare
deleteSave
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
deleteShare
deleteSave