Capítulo ou Parte de Livro

Finite Automata Minimization

Marco Almeida (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogério Reis (Autor) (FCUP)

2012

Indexação

ISI Web of Knowledge

Scopus - 3 Citações

Artigo em Revista Científica Internacional

Testing the Equivalence of Regular Languages

Marco Almeida (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogério Reis (Autor) (FCUP)

2010

Indexação

ISI Web of Knowledge

INCREMENTAL DFA MINIMISATION

Marco Almeida (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogerio Reis (Autor) (FCUP)

2014

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 6 Citações

FOS: Ciências da computação e da informação

Exact generation of minimal acyclic deterministic finite automata

Marco Almeida (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogerio Reis (Autor) (FCUP)

2008

Classificação Científica Indexação

ISI Web of Knowledge - 5 Citações

Scopus - 1 Citação

FOS: Ciências da computação e da informação

Enumeration and generation with a string automata representation

Marco Almeida (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogerio Reis (Autor) (FCUP)

2007

Classificação Científica Indexação

ISI Web of Knowledge - 24 Citações

Scopus - 35 Citações

FOS: Ciências da computação e da informação

ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED

Marco Almeida (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogerio Reis (Autor) (FCUP)

2009

Classificação Científica Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 2 Citações

FOS: Ciências da computação e da informação

Artigo em Livro de Atas de Conferência Internacional

Testing the Equivalence of Regular Languages

Marco Almeida (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogério Reis (Autor) (FCUP)

2009

Indexação

ISI Web of Knowledge

Scopus - 2 Citações