Sabine Broda

Faculdade de Ciências da Universidade do Porto

.

2018

3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

S Alves

INFORMATION AND COMPUTATION

Locators: DOI

A Machiavelo

N Moreira

R Reis

Journal of Automata, Languages and Combinatorics

A Machiavelo

N Moreira

R Reis

2017

Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.

Sandra Alves

Journal of Automata, Languages and Combinatorics

R Bastos

A Machiavelo

N Moreira

R Reis

DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017

Locators: DOI

A Machiavelo

N Moreira

R Reis

DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017

Locators: DOI

M Holzer

E Maia

N Moreira

R Reis

2016

Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Locators: DOI

R Bastos

A Machiavelo

N Moreira

R Reis

DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016

Locators: DOI

A Machiavelo

N Moreira

R Reis

2015

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Locators: DOI

S Alves

M Fernandez

Bulletin of the EATCS

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

S Cavadas

M Ferreira

N Moreira

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

Locators: DOI

A Machiavelo

N Moreira

R Reis

Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Locators: DOI

A Machiavelo

N Moreira

R Reis

2014

THEORETICAL COMPUTER SCIENCE

Locators: DOI

A Machiavelo

N Moreira

R Reis

Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

Locators: DOI

A Machiavelo

N Moreira

R Reis

2013

Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

Locators: DOI

A Machiavelo

N Moreira

R Reis

2012

Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012.

Locators: DOI