New Articles in Revista de Informática Teórica e Aplicada – RITA

Banner RITARITA Vol 25, Nr. 3 (2018)
Published: September 12, 2018

Regular Papers:

CoWPar: A D2D Communication Approach Without Pairing for Mobile Social Network in Proximity
Charles Tim Batista Garrocho, Jessé Pires Barbosa Rocha, José Eduardo de Souza
RITA VOL. 25 NR. 3 (2018) Pag. 11-22

Can the Use of nonlinear Color Metrics systematically improve Segmentation?
Luís Eduardo Ramos de Carvalho, Sylvio Luiz Mantelli Neto, Eros Comunello, Antonio Carlos Sobieranski, Aldo von Wangenheim
RITA VOL. 25 NR. 3 (2018) Pag. 23-38

Um modelo computacional para a simulação de sistemas de transporte urbano
Daniel Marques Gomes Morais, Luciano Antonio Digiampietri
RITA VOL. 25 NR. 3 (2018) Pag. 39-61

Formal Semantics for Java-like Languages and Research Opportunities
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois
RITA VOL. 25 NR. 3 (2018) Pag. 62-74

Selected Papers – WEIT 2017

Haskell Type System Analysis
Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellos
RITA VOL. 25 NR. 3 (2018) Pag. 75-88

V: a language with extensible record accessors and a trait-based type system
Arthur Giesel Vedana, Rodrigo Machado, Álvaro Freitas Moreira
RITA VOL. 25 NR. 3 (2018) Pag. 89-101