Följ
Karina Roggia
Karina Roggia
Professor of Theoretical Computer Science, Universidade do Estado de Santa Catarina
Verifierad e-postadress på udesc.br
Titel
Citeras av
Citeras av
År
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
42004
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
32010
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
12021
Monadic W in Coq
RCG Silva, C Vasconcellos, KG Roggia
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020
12020
Using Crowdsourcing Games Techniques and Similarity Metrics to Improve Legal Ontologies Expansion.
TCDA Bueno, KG Roggia, HC Hoeschl
JURIX, 201-202, 2014
12014
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20