Acta Informatica
ISSN:
0001-5903
Country:
Germany
ES-FAC
ES-FAC C
Eurascience Journal Classification System
📄 Articles published in this journal
- Message recovery attack in NTRU through VFK lattices 2026
- Directed capacity-preserving subgraphs: hardness and exact polynomial algorithms 2025
- Spanning cactus and spanning cactus extension of outerplanar graphs 2025
- Gray-box runtime enforcement of hyperproperties 2025
- Row-column combination of Dyck words 2025
- Reasoning over n-indexed sequences in SMT 2025
- Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking 2025
- Correction: Directed capacity-preserving subgraphs: hardness and exact polynomial algorithms 2025
- Hypernode automata 2025
- Novel tree-search method for synthesizing SMT strategies 2025