Former Students

Master Degree

Jussiano Regis Pacheco
Modelagem Matemática da Precificação dos Recursos Computacionais Utilizados em Planos de Provedores de Computação em Nuvem Usando o Método Hedônico

Start MAR/2016  ↦  End AGO/2018cv-lattes

Igor Gamste Haugg
Modelo Computacional para Estimar a Quantidade de Threads à Execução de Soluções de Integração: Uma Abordagem Aplicada à Plataforma Guaraná

Start MAR/2016  ↦  End MAR/2018cv-lattes

Eldair Fabricio Dornelles
Modelagem matemática da interatividade da resistência genética e o uso de fungicida à elaboração de grãos de aveia mais saudáveis à alimentação humana

Start MAR/2016  ↦  End FEB/2018cv-lattes

Francisco Silveira
Modelo de Simulação Computacional para Análise da Qualidade de Serviço de uma Solução de Integração de Reserva de Viagens Utilizando Redes de Petri Temporizadas

Start MAR/2015  ↦  End JUN/2017cv-lattes

Francine Freddo  
Utilização de Redes de Petri Colorida e Temporizada para a Modelagem Computacional e Simulação de uma Solução de Integração Voltada à Área de Publicidade e Propaganda

Start MAR/2015  ↦  End APR/2017cv-lattes

Alexsandro Queiroz Lencina 
Modelagem e Simulação de Uma Solução de Integração do Sistema de Currículos da Agência Nacional de Ciência e Tecnologia de Portugal para a Redução de Gargalos de Desempenho

Start MAR/2015  ↦  End APR/2017cv-lattes

Franciéli Cristina Welter 
Desenvolvimento de um Modelo Computacional para Simulação do Comportamento de uma Solução de Integração na Administração Pública de Huelva (Espanha) Utilizando Rede de Petri Temporizada

Start MAR/2015  ↦  End MAR/2017cv-lattes

Adriana Rosélia Krasig
Modelagem Computacional e Simulação do Comportamento de uma Solução de Integração no Contexto Acadêmico da Unijuí Utilizando Redes de Petri Coloridas e Temporizadas

Start MAR/2015  ↦  End MAR/2017cv-lattes

Marcia Maria Horn
Modelagem e Simulação de uma Solução de Integração para Identificação de Gargalos de Desempenho Baseadas em Formalismo Matemático: Uma Abordagem Orientada à Cadeias de Markov.

Start MAR/2014  ↦  End MAR/2016cv-lattes

Arléte Kelm Wiesner
Modelagem e Simulação de uma Solução de Integração para Identificação de Gargalos de Desempenho Baseadas em Formalismo Matemático: Uma Abordagem Orientada à Teoria das Filas

Start MAR/2014  ↦  End MAR/2016cv-lattes

Roberto Saulo Cargnin
Modelagem e Simulação de uma Solução de Integração para Identificação de Gargalos de Desempenho Baseadas em Formalismo Matemático: Uma Abordagem Orientada à Redes de Petri

Start MAR/2014  ↦  End MAR/2016cv-lattes

Mauri José Klein
Formalização da Linguagem Guaraná DSL: Uma Abordagem Matemática para Especificação Formal da Sintaxe Abstrata Utilizando Notação Z

Start MAR/2013  ↦  End MAR/2015cv-lattes

Maira Tanise De Vlieger
Desenvolvimento de um Modelo Matemático para a Cobertura de Área em Redes Sem Fio

Start MAR/2011  ↦  End MAR/2013cv-lattes