7
Publications
209
Citations
7
H-Index
2008
Active since
Marcelo Muniz S. Alves is an author at Universidade Federal do Paraná specializing in representation theory, formal verification, and coding theory.
Top concepts
Representation TheoryEngineeringCoding TheoryFormal VerificationEducationVerificationFormal MethodsComputer ScienceSoftware AnalysisDiscrete Mathematics
Publications per year
2008–2019
7
7
Enveloping Actions for Partial Hopf Actions
Marcelo Muniz S. Alves, Eliezer Batista · Communications in Algebra · 2010 · 61 citations
Error-block codes and poset metrics
Marcelo Muniz S. Alves · Advances in Mathematics of Communications · 2008 · 37 citations
Engineering, Verification, Education +16
Rows per page
1–5 of 7