Composition of transformations: A framework for systems with dynamic topology MA Hoff, KG Roggia, PB Menezes International Journal of Computing Anticipatory Systems 14, 259-270, 2004 | 4 | 2004 |
Fusion of sequent modal logic systems labelled with truth values J Rasga, K Roggia, C Sernadas Logic Journal of the IGPL 18 (6), 893-920, 2010 | 3 | 2010 |
O Uso de Assistente de Provas no Ensino de Lógica RG Ribeiro, K Roggia, C Vasconcellos Anais Estendidos do I Simpósio Brasileiro de Educação em Computação, 05-05, 2021 | 1 | 2021 |
Monadic W in Coq RCG Silva, C Vasconcellos, KG Roggia Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020 | 1 | 2020 |
Using Crowdsourcing Games Techniques and Similarity Metrics to Improve Legal Ontologies Expansion. TCDA Bueno, KG Roggia, HC Hoeschl JURIX, 201-202, 2014 | 1 | 2014 |
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq AA Da Silveira, R Ribeiro, MA Nunes, P Torrens, K Roggia Proceedings of the XXVI Brazilian Symposium on Programming Languages, 1-7, 2022 | | 2022 |
Proceedings of the 15th Brazilian Symposium on Software Components, Architectures, and Reuse C Vasconcellos, K Roggia, P Bousfield, V Collere, R Bonifácio ACM, 2021 | | 2021 |
Proceedings of the 6th Brazilian Symposium on Systematic and Automated Software Testing C Vasconcellos, K Roggia, P Bousfield, V Collere, M Eler, WKG Assunção ACM, 2021 | | 2021 |
Prefácio e Organização V Collere, P Bousfield, K Roggia, C Vasconcelos Anais Estendidos do XII Congresso Brasileiro de Software: Teoria e Prática …, 2021 | | 2021 |
Proceedings of the 25th Brazilian Symposium on Programming Languages C Vasconcellos, K Roggia, P Bousfield, V Collereii, JP Fernandes, ... ACM, 2021 | | 2021 |
Haskell Type System Analysis RCG Silva, KG Roggia, CD Vasconcellos Revista de Informática Teórica e Aplicada 25 (3), 75-88, 2018 | | 2018 |
Fusion of General Modal Logics Labelled with Truth Values KG Roggia INSTITUTO SUPERIOR TÉCNICO, 2012 | | 2012 |
Computation of partial automata through span composition KG Roggia, MA Hoff, PB Menezes International Conference on Computer Aided Systems Theory, 15-20, 2005 | | 2005 |
Categoria de grafos parciais com homomorfismos totais teoria e aplicações KG Roggia | | 2005 |
Bicompleteness in the category of partial graphs with total homomorphisms KG Roggia, PB Menezes, MA Hoff Electronic Journal on Mathematics of Computation 2 (1), 2005 | | 2005 |
Herança de limites na categoria das setas parciais KG Roggia Salão de Iniciação Científica (13.: 2001: Porto Alegre). Resumos [recurso …, 2001 | | 2001 |
Definição formal de caos? KG Roggia, FP D'Andrea Salão de Iniciação Científica (12.: 2000: Porto Alegre). Livro de resumos …, 2000 | | 2000 |
PROVANDO META PROPRIEDADES DA LÓGICA MODAL EM COQ1 MA Nunes, KG Roggia, AA da Silveira | | |
ESTADO DA ARTE DE IMPLEMENTAÇÕES DE LÓGICA MODAL EM COQ1 MA Nunes, KG Roggia, AA da Silveira | | |
Morfismos Parciais: uma visao categorial sobre parcialidade KG Roggia | | |