2022

Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings

Locators: DOI

Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings

Locators: DOI

2021

Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups

M Kutrib

G Pighizzini

Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings

Locators: DOI

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2020

FM Workshops (1)

Locators: DOI

N Moreira

JN Oliveira

D Ratiu

R Guidotti

M Farrell

M Luckcuck

D Marmsoler

J Campos

T Astarte

L Gonnord

A Cerone

L Couto

B Dongol

M Kutrib

P Monteiro

D Delmas

FM Workshops (2)

Locators: DOI

N Moreira

JN Oliveira

D Ratiu

R Guidotti

M Farrell

M Luckcuck

D Marmsoler

J Campos

T Astarte

L Gonnord

A Cerone

L Couto

B Dongol

M Kutrib

P Monteiro

D Delmas

ACM SIGACT News

Locators: DOI

A Machiavelo

N Moreira

R Reis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Locators: DOI

SOFSEM 2020: THEORY AND PRACTICE OF COMPUTER SCIENCE

Locators: DOI

A Machiavelo

N Moreira

2019

Information and Computation

Locators: DOI

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Locators: DOI

N. Moreira

J. Pires

R. Reis