AI

Acta Informatica

Journal

Springer Science+Business Media

1,940

Publications

55,440

Citations

Loading papers...

Search by keywords

Filter by Type

Article (1,908)
Preprint (14)
Erratum (10)
Editorial (4)
Letter (2)

Filter by Open Access Type

Open Access (288)
Closed Access (1,652)

Filter by Authors

Grzegorz Rozenberg (24)
Joost Engelfriet (17)
Walter Vogler (15)
Alexander Meduna (13)
Wim H. Hesselink (11)

Filter by Topics

Formal Methods in Verification (489)
Logic, programming, and type systems (467)
semigroups and automata theory (427)
Algorithms and Data Compression (292)
DNA and Biological Computing (198)