Vol. 24 No. 3 (2021): Regular papers and Special Issue For Digital Healthcare

DOI: https://doi.org/10.19153/10.19153/cleiej.24.3

Published: 2021-12-20

Editorial

Preface to the CLEI Electronic Journal Special Issue on Digital Healthcare

Débora Christina Muchaluat Saade; Jesus Favela

4:1
- pdf

Articles

Set-Based Models for Cryptocurrency Software

Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini

0:1-0:16
- pdf
Open and Branching Behavioral Synthesis with Scenario Clauses

Fernando Asteasuain, Federido Calonge, Manuel Dubinsky, Pablo Gamboa

1:1-1:20
- pdf
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions

Elton Cardoso, Maycon Amaro, Samuel Feitosa, Leonardo Reis, André Du Bois, Rodrigo Ribeiro

2:1-2:14
- pdf
Towards an Extrinsic Formalization of Featherweight Java in Agda

Samuel Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois

3:1-3:12
- pdf
Using Machine Learning to support health system planning during the Covid-19 pandemic: a case study using data from São José dos Campos (Brazil)

Leila Abuabara, Maria Gabriela Valeriano, Carlos Roberto Veiga Kiffer, Horácio Hideki Yanasse, Ana Carolina Lorena

5:1-5:21
- pdf
Chatbot as a Telehealth Intervention Strategy in the COVID-19 Pandemic Lessons Learned from an Action Research Approach

Bruno Azevedo Chagas, Kícila Ferreguetti, Thiago C. Ferreira, Raquel O. Prates, Leonardo B. Ribeiro, Adriana S. Pagano, Zilma S. N. Reis, Wagner Meira Jr., Antonio L. Ribeiro, Milena S. Marcolino

6:1-6:17
- pdf