Acta Informatica

ISSNs: 0001-5903

Additional searchable ISSN (electronic): 1432-0525

Springer Verlag, New York

Scopus rating (2022): CiteScore 2.1 SJR 0.463 SNIP 0.837

Journal

Titles	Acta Informatica Acta informatica
Additional searchable titles	Acta Inf
ISSNs	0001-5903
Additional searchable ISSN (electronic)	1432-0525
Publisher	Springer Verlag, New York
ZDB-ID	120032-X
ZDB-ID	1389024-4

Keywords

Baier, C., D’Argenio, P. R. & Hermanns, H., 1 Oct 2020, In: Acta informatica. 57, 3-5, p. 465-512 48 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Vogler, H. & Fülöp, Z., 2019, In: Acta Informatica. 56, 5, p. 447-469 23 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Baier, C. & Tinelli, C., 24 Apr 2017, In: Acta informatica. 54, 8, p. 727–728

Research output: Contribution to journal › Editorial (Lead article) › Contributed › peer-review

Klein, J., Baier, C. & Klüppelholz, S., 2015, In: Acta Informatica. 52, 4-5, p. 443–482 40 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Baier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, In: Acta Informatica. 49, p. 203-224 22 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Baier, C. (Senior editor)

2015 → 31 Aug 2022

Activity: Publication peer-review and editorial work › Editorial work