Umberto S. Costa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 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

	2005
2		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

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Sérgio Vale Aguiar Campos	[2]
2	David Déharbe (David Boris Paul Déharbe)	[1] [2]
3	Anamaria Martins Moreira	[1]
4	Newton Vieira	[2]