Karina Girardi Roggia

According to our database, Karina Girardi Roggia authored at least 8 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Brzozowski's Algorithm for Automata Minimization Verified in Coq.

Filipe Ramos, Karina Girardi Roggia, Rafael Castro G. Silva

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

Soundness-Preserving Fusion of Modal Logics in Coq.

Miguel Alfredo Nunes, Karina Girardi Roggia, Paulo Torrens

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2022

A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.

Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

2020

Monadic W in Coq.

Rafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

2018

Haskell Type System Analysis.

Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellos

RITA, 2018

2014

Using Crowdsourcing Games Techniques and Similarity Metrics to Improve Legal Ontologies Expansion.

Tania C. D'Agostini Bueno, Karina Girardi Roggia, Hugo Cesar Hoeschl

Proceedings of the Legal Knowledge and Information Systems, 2014

2010

Fusion of sequent modal logic systems labelled with truth values.

João Rasga, Karina Girardi Roggia, Cristina Sernadas

Log. J. IGPL, 2010

2005

Computation of Partial Automata Through Span Composition.

Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes

Proceedings of the Computer Aided Systems Theory, 2005