Projeto e especificação da linguagem NCL - Nested Context Language: a linguagem declarativa do Sistema Brasileiro de TV DigitalProjeto e especificação do middleware Ginga para o Sistema Brasileiro de TV Digital: Norma ABNT 15606-2 e Draft Recommendation ITU-T TD 725 (WP 2/16).Implementação de referência do middleware Ginga-NCL, em código aberto sob licença GPL, disponível em www.softwarepublico.gov.br
