Karina Girardi Roggia

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 3

Top Topics

Datalog Queries

Similarity Metric

Top Venues

Publications

Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. SBLP (2022)
Rafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia
Monadic W in Coq. SBLP (2020)
Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellos
Haskell Type System Analysis. RITA 25 (3) (2018)
Tania C. D'Agostini Bueno, Karina Girardi Roggia, Hugo Cesar Hoeschl
Using Crowdsourcing Games Techniques and Similarity Metrics to Improve Legal Ontologies Expansion. JURIX (2014)
João Rasga, Karina Girardi Roggia, Cristina Sernadas
Fusion of sequent modal logic systems labelled with truth values. Log. J. IGPL 18 (6) (2010)
Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes
Computation of Partial Automata Through Span Composition. EUROCAST (2005)