2
Publications
51
Citations
2
H-Index
2010
Active since
Affiliations
Osvaldo Martinello is an author at Universidade Federal do Rio Grande do Sul specializing in discrete mathematics, discrete optimization, and mathematical programming.
Top concepts
EngineeringCircuit DesignFormal MethodsComputer ScienceLogic ProgrammingCircuit ComplexityParallel ComputingAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
2010–2010
2
2
Rows per page
1–2 of 2