Login / Signup
Claiton Correa
ORCID
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 1
Top Topics
Exploratory Analysis
Model Checker
Interactive Visual
Data Visualization
Top Venues
IHC
QEST
</>
Publications
</>
Felipe Nunes
,
Claiton Correa
,
Alessandra H. Jandrey
,
Allan Barcelos
,
Daniel Reyes
,
Matheus Bernardes
,
Afonso Sales
,
Milene Selbach Silveira
Data visualization on focus: exploring communicability of dashboards generated from BI tools.
IHC
(2020)
Lucas Oleksinski
,
Claiton Correa
,
Fernando Luís Dotti
,
Afonso Sales
A CTL Model Checker for Stochastic Automata Networks.
QEST
(2013)