| |
| 2005 | ||
|---|---|---|
| 2 | EE | Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe: Explicit-Symbolic Modelling for Formal Verification. Electr. Notes Theor. Comput. Sci. 130: 301-321 (2005) |
| 2000 | ||
| 1 | Umberto S. Costa, David Déharbe, Anamaria Martins Moreira: Variable Ordering of BDDs with Parallel Genetic Algorithms. PDPTA 2000 | |
| 1 | Sérgio Vale Aguiar Campos | [2] |
| 2 | David Déharbe | [1] [2] |
| 3 | Anamaria Martins Moreira | [1] |
| 4 | Newton Vieira | [2] |