Follow
Mauri José Klein
Mauri José Klein
Doutorando em Modelagem Matemática, Unijui - RS
Verified email at unijui.edu.br - Homepage
Title
Cited by
Cited by
Year
On the formalisation of an application integration language using Z notation
MJ Klein, S Sawicki, F Roos-Frantz, RZ Frantz
International Conference on Enterprise Information Systems 2, 314-319, 2014
102014
MATHPOW-Proposta De Aplicativo Mobile Para O Ensino Da Matemática
MJ Klein, IC Heineck
Anais do Encontro Anual de Tecnologia da Informação 10 (1), 27-27, 2021
12021
Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z
MJ Klein
12015
Desenvolvimento de um Modelo Matemático com Atrito Não Linear para o Pêndulo Simples
MJ Klein, LB Maraschin, AC Valdiero, LA Rasia
Proceeding Series of the Brazilian Society of Computational and Applied …, 2014
12014
KID+: Sistema para gerenciamento de jogos digitais educacionais com desenvolvimento guiado por preceitos de usabilidade
C Ellwanger, LH Leidemer, MJ Klein, R Schieck
SENID, Seminário Nacional de Inclusão Digital 2, 2013
12013
SISAGRO-Aplicativo Mobile para Otimizar Investimentos na Agricultura Familiar
MJ Klein, MA Angnes
Anais do Encontro Anual de Tecnologia da Informação 10 (1), 35-35, 2021
2021
Repetidor Wifi De Longo Alcance Construído Com Componentes Eletrônicos Reciclados
MJ Klein, JLV Hoffling, DB Goldschmidt, LR Ackermann, CR Stein, ...
Anais do Encontro Anual de Tecnologia da Informação 8 (1), 78-78, 2018
2018
FORMALIZAÇÃO DA LINGUAGEM GUARANÁ DSL
ÇÃO FORMAL, Z NOTAÇÃO, MJ KLEIN
2015
Modelagem Matemática da Dinâmica Veicular
AP Brezolin, M de Fatima Brondani, M Klein, M Zorzella, SCA Willers, ...
Proceeding Series of the Brazilian Society of Computational and Applied …, 2014
2014
Parcelamento e Troca de Valores de Entrada no Método Binário de Congruência
MJ Klein, G Battisti, LA Stein
Proceeding Series of the Brazilian Society of Computational and Applied …, 2014
2014
Complexibilidade computacional no cálculo de números primos e perfeitos
MJ Klein
2013
Circuitos Integrados 3D
S Sawicki, M Klein, R Reis
Formalizaçao Matemática de uma Linguagem de Domınio Especıfico Voltadaa Integraçao de Aplicaçoes Utilizando a Notaçao Z
MJ Klein, S Sawicki, F Roos-Frantz, RZ Frantz
Especificação Formal da Linguagem Guaraná Utilizando a Notação Z
MJ Klein, S Sawicki, F Roos-Frantz, RZ Frantz
The system can't perform the operation now. Try again later.
Articles 1–14