, Universidade Federal de Pelotas, Brazil
-
Revista de Informática Teórica e Aplicada Vol. 20 No. 1 (2013) - Melhores artigos WEIT 2011
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
Abstract PDF (Português (Brasil)) -
Revista de Informática Teórica e Aplicada Vol. 20 No. 1 (2013) - Melhores artigos WEIT 2011
A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling
Abstract PDF (Português (Brasil)) -
Revista de Informática Teórica e Aplicada Vol. 23 No. 2 (2016) - Melhores Artigos WEIT 2015
Comparando o Desempenho de Implementações de Tabelas Hash Concorrentes em Haskell
Abstract PDF (Português (Brasil)) -
Revista de Informática Teórica e Aplicada Vol. 25 No. 3 (2018) - Regular Papers
Formal Semantics for Java-like Languages and Research Opportunities
Abstract PDF -
Revista de Informática Teórica e Aplicada Vol. 27 No. 4 (2020) - Regular Papers
Cloud infrastructure for HPC investment analysis
Abstract PDF -
Revista de Informática Teórica e Aplicada Vol. 22 No. 2 (2015) - Regular Papers
Automating mobile application development: UML-based code generation for Android and Windows Phone
Abstract PDF