Concepedia

Marco Almeida

MA

4

Publications

93

Citations

4

H-Index

2007

Active since

Affiliations

Universidade do Porto(Current)

Marco Almeida is an author at Universidade do Porto specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational ComplexityVerificationFormal VerificationLanguageLinguisticsLanguage Testing

Publications per year

2007–2009

4

Publications

4

Enumeration and generation with a string automata representation

Marco Almeida, Nelma Moreira, Rogério Reis · Theoretical Computer Science · 2007 · 47 citations

Logical Automaton, Engineering, Automated Reasoning +5

ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED

Marco Almeida, Nelma Moreira, Rogério Reis · International Journal of Foundations of Computer Science · 2009 · 20 citations

Logical Automaton, Engineering, Functional Approach +14

Testing the Equivalence of Regular Languages

Marco Almeida, Nelma Moreira, Rogério Reis · 2009 · 15 citations · Full text

Engineering, Verification, Pushdown Automaton +18

EXACT GENERATION OF MINIMAL ACYCLIC DETERMINISTIC FINITE AUTOMATA

Marco Almeida, Nelma Moreira, Rogério Reis · International Journal of Foundations of Computer Science · 2008 · 11 citations

Combinatorics On Word, Engineering, Canonical Representation +11

Rows per page

1–4 of 4