Marco Antonio de Castro Barbosa

  • Endereço para acessar este CV: http://lattes.cnpq.br/5794615482009389
  • Última atualização do currículo em 14/09/2018


Marco Antonio de Castro Barbosa concluiu o doutorado em Informática pela Universidade do Minho, Braga - Portugal em 2009. Concluiu o mestrado em Computação pela Universidade Federal do Rio Grande do Sul em 2001. Atua na área de Fundamentos da Computação, com ênfase em Complexidade de Algoritmos e Métodos Formais. E seu currículo Lattes os termos mais frequentes na contextualização da produção científica são: Complexidade de Algoritmos, Análise automática de algoritmos, Software Architectures, Component-Based Systems, Refinement and Mobility. Atualmente é professor Adjunto na Universidade Tecnológica Federal do Paraná (UTFPR) no campus de Pato Branco. (Texto informado pelo autor)


Identificação


Nome
Marco Antonio de Castro Barbosa
Nome em citações bibliográficas
BARBOSA, M. A. C.;BARBOSA, M;Marco A. C. Barbosa;Barbosa, Marco A. C.;BARBOSA, MARCO

Endereço


Endereço Profissional
Universidade Tecnológica Federal do Paraná, Campus Pato Branco.
Via do Conhecimento, Km 1
Fraron
85503390 - Pato Branco, PR - Brasil
Telefone: (46) 32202690


Formação acadêmica/titulação


2003 - 2009
Doutorado em Informática.
Universidade do Minho, UMINHO, Portugal.
Título: Specification and Refinement of Software Connectors, Ano de obtenção: 2009.
Orientador: Luís Manuel Dias Coelho Soares Barbosa.
Bolsista do(a): Fundação para a Ciência e Tecnologia, FCT, Portugal.
Palavras-chave: components; refinement calculus; Software Architecture; coalgebras.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software).
1999 - 2001
Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: ANAC - Uma Ferramenta para a Automatização da Análise da Complexidade de Algoritmos,Ano de Obtenção: 2001.
Orientador: Laira Vieira Toscani.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Complexidade de Algoritmos; Teoria da Computação; Lógica; Semântica Formal.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Setores de atividade: Educação; Informática.
1995 - 1998
Graduação em Informática.
Universidade de Cruz Alta, UNICRUZ, Brasil.




Formação Complementar


2012 - 2012
Extensão universitária em Curso de Arduíno para Alunos de Eng. de Comptuação. (Carga horária: 12h).
Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.


Atuação Profissional



Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
Vínculo institucional

2011 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

02/2016 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Projeto de Algoritmos
02/2011 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos de Teoria da Computação
03/2014 - 02/2016
Direção e administração, Campus Pato Branco, .

Cargo ou função
Coordenador do Curso de Engenharia de Computação.
02/2015 - 08/2015
Ensino, II Curso de Especialização em Redes de Computadore, Nível: Especialização

Disciplinas ministradas
Metodologia de Pesquisa
05/2013 - 03/2014
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Projeto de Algoritmos
02/2011 - 05/2013
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estrutura de Dados II
07/2012 - 07/2012
Ensino, Especialização em Banco de Dados, Nível: Especialização

Disciplinas ministradas
Metodologia da Pesquisa

Universidade de Cruz Alta, UNICRUZ, Brasil.
Vínculo institucional

2007 - 2011
Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Atividades

08/2009 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estrutura de Dados II
08/2008 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Trabalho de Conclusão de Curso I
08/2007 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
Projeto e Análise de Algoritmos
08/2010 - 09/2010
Ensino, Gestão e Desenvolvimento Sustentável do Meio Rural, Nível: Especialização

Disciplinas ministradas
Informática Aplicada a Sistemas Agrícolas
08/2008 - 07/2009
Extensão universitária , Curso de Ciência da Computação, .

Atividade de extensão realizada
Tecnologia: O Novo Desafio para o Pequeno Produtor Rural.
08/2007 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estrutura de Dados II
09/2007 - 08/2008
Extensão universitária , Curso de Ciência da Computação, .

Atividade de extensão realizada
Programa de Inclusão Digital para Adolescentes em Situação de Vulnerabilidade Social.
03/2007 - 12/2007
Ensino, Administração de Empresas, Nível: Graduação

Disciplinas ministradas
Gestão de Informação
03/2007 - 07/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computabilidade
03/2007 - 07/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos Especiais em Computação II
Tópicas Especiais em Computação I
Computação Gráfica
Fundamentos de Informática

Universidade de Cruz Alta, UNICRUZ, Brasil.
Vínculo institucional

2001 - 2003
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2001 - 02/2003
Direção e administração, Curso de Ciência da Computação, Departamento de Informática.

Cargo ou função
Coordenador do Curso de Ciência da Computação.
08/2002 - 12/2002
Ensino, Medicina Veterinária, Nível: Graduação

Disciplinas ministradas
Computação Aplicada à Veterinária
08/2002 - 12/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
08/2001 - 12/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto e Análise de Algoritmos
03/2001 - 12/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computabilidade
03/2001 - 07/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
08/2001 - 12/2001
Ensino, Medicina Veterinária, Nível: Graduação

Disciplinas ministradas
Computação Aplicada à Veterinária
08/2001 - 12/2001
Ensino, Comunicação Social - Publicidade e Propaganda, Nível: Graduação

Disciplinas ministradas
Introdução à Informática

Universidade do Minho, UMINHO, Portugal.
Vínculo institucional

2003 - 2007
Vínculo: Outro, Enquadramento Funcional: Pesquisador, Carga horária: 40



Projetos de pesquisa


2016 - Atual
Metaheurísticas Aplicadas à Solução de Problemas NP-Difíceis em Grafos Massivos
Descrição: Muitos problemas a serem solucionados por engenheiros, matemáticos, cientistas da computação ou profissionais das mais diversas áreas, apresentam a particularidade de poderem ser modelados como grafos. Caminhos, circuitos, árvores mínimas, fluxo em redes, fluxo de dados, roteamento, cortes, dentre vários outros. Talvez o exemplo mais representativo de um grafo seja a própria Internet. Centenas de milhões de unidades de processamento (computadores, smartphones, tablets, etc) interconectados, disputando recursos dos mais variados e necessitando de velocidade na navegação e recuperação de dados. Muitos problemas NP-Difíceis apresentam na literatura algoritmos heurísticos bastante eficientes para a solução de problemas de instâncias relativamente grandes. Entretanto, o que se observa em pesquisas recentes é que muitos destes algoritmos eficientes para estas instâncias relativamente grandes não apresentam desempenho satisfatório para instância representadas por grafos massivos (grafos nos quais os conjuntos de vértices e arestas ultrapassam os milhões). Mesmo algoritmos heurísticos com ordem assintótica quadrática 0(n^2) apresentam um desempenho insatisfatório para instâncias de grafos massivos. O novo desafio de pesquisa na área reside no desenvolvimento de métodos de busca local para o tratamento de grafos massivos. Em face do acima exposto, esta pesquisa tem por objetivo fazer um levantamento sobre o estadoda- arte no assunto: soluções heurísticas para grafos massivos e procurar adaptar metaheurísticas clássicas, tais como, GRASP, Algoritmos Genéticos, Colônia de Formigas, dentre outras, para a solução de grafos massivos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Marco Antonio de Castro Barbosa - Coordenador / Wall Berg Miranda dos Santos Morais - Integrante.
2014 - Atual
Avicultura Inteligente: Técnicas de Inteligência Artificial para Melhorar Processos Avícolas
Descrição: Este projeto é dedicado ao uso de técnicas de Inteligência Artificial aplicadas em processos avícolas como forma de melhorar o manejo avícola. O manejo avícola é uma tarefa complexa, devido à quantidade de fatores a serem controlados, como quantidade de ração consumida, água, luminosidade, umidade, saúde das aves, fatores ambientais, etc. Tais fatores refletem diretamente na relação da quantidade de ração consumida convertida em carne, denominada conversão alimentar. A conversão alimentar e o peso das aves são essenciais para o sucesso do setor, pois a convergência desses fatores irá determinar a produtividade. Observamos que a maioria das pesquisas desenvolvidas para o setor avícola é voltada para o melhoramento genético; imunologia, saúde e doenças; programas de qualidade e boas práticas de produção; metabolismo e nutrição; fisiologia, endocrinologia e reprodução; modernização dos processos industriais, como processamento, produtos e segurança alimentar; e sistemas computacionais voltados para o gerenciamento financeiro e logístico da produção. O desenvolvimento de um sistema computacional especializado é o escopo deste projeto, pois observamos que os sistemas computacionais disponíveis, não atuam diretamente no controle e na melhoria do uso dos recursos utilizados na criação das aves, não tratando de questões relacionadas ao desperdício de recursos naturais, poluição do meio ambiente, mão de obra qualificada, geração de renda e o desenvolvimento socioeconômico sustentável. O uso de sistemas computacionais através de abordagens avançadas como os sistemas de aprendizagem indutivos, por exemplo, algoritmos baseados em árvores de decisão, são alternativos para tratar de diversos tipos de problemas que precisam de controle. As pesquisas apresentadas e as tecnologias a serem desenvolvidas com o projeto vão ao encontro dessas questões apresentando metodologias desenvolvidas para esse fim. As pesquisas e as tecnologias desde projeto serão aplicadas e validadas em ambientes do mundo real (aviários)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Marco Antonio de Castro Barbosa - Integrante / Richardson Ribeiro - Coordenador / BORGES, A. P. - Integrante / William Silva - Integrante / Rafael Cardoso - Integrante / Alcir José Modolo - Integrante / Marta Helena Dias da Silveira - Integrante / André Lucas Wirth - Integrante.
2013 - Atual
Um sistema computacional especializado para a gestão, análise e o compartilhamento de informações de saúde
Descrição: Descrição: Este projeto é dedicado ao desenvolvimento de um sistema especialista para o compartilhamento de dados de pacientes e profissionais da área da saúde. Atividades clínicas, como consultas, exames laboratoriais, prescrições médicas, diagnósticos, vacinações, entre outras, são realizadas constantemente pelos profissionais da área da saúde. Consequentemente, tais atividades geram uma quantidade significativa de dados, documentados geralmente quando ocorrem consultas médicas ou exames laboratoriais. Alguns dados, como os exames laboratoriais, ficam na maioria das vezes na guarda dos pacientes, sendo que outros dados, como por exemplo, anotações oriundas do paciente, prescrições, histórico, etc ficam sobre a guarda dos profissionais da saúde, implicando na dispersão dos dados. É comum que pacientes que realizam frequentemente exames ou consultas, tenham dificuldades em manter as mesmas informações quando o atendimento não ocorre com os profissionais que mantiveram seu histórico clínico, ou para aqueles pacientes no qual as consultas ocorrem após longo período de tempo. É sabidamente conhecido que um dos fatores para a qualidade do atendimento dos profissionais da saúde é a disponibilidade e a qualidade dos dados clínicos e laboratoriais. Para isso, este projeto apresenta as etapas para o desenvolvimento de um sistema especialista capaz de auxiliar os profissionais da saúde na gestão dos dados, permitindo um acesso centralizado aos dados. Ademais, técnicas de inteligência artificial serão utilizados como forma de construir um sistema especialista capaz de realizar mineração de dados, melhorando a qualidade dos dados aos profissionais envolvidos. Este projeto terá a participação de profissionais da área da saúde e será desenvolvido em parceria com a Universidade Tecnológica Federal do Paraná (UTFPR), Secretaria Municipal de Saúde da cidade de Pato Branco e Secretaria Estadual de Saúde do estado do Paraná.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) .
Integrantes: Marco Antonio de Castro Barbosa - Integrante / Richardson Ribeiro - Coordenador / Fábio Favarim - Integrante / Fabricio Enembreck - Integrante / Jonatas Loureiro de Almeida Junior - Integrante / Alvaro Cesar Cattani - Integrante / Raoni Renosto Coelho - Integrante / Vitor Viganó - Integrante / Fabricio Negrisolo De Godoi - Integrante / Calebe Soares Barbosa - Integrante / Gabriel Gomes de Sousa - Integrante.
2008 - 2009
Sistema Especialista para o Apoio à Gestão e Manejo de Bovinocultura Leiteira
Descrição: A atual conjuntura econômica mundial torna imperativo o aperfeiçoamento de técnicas de gestão com a intenção de aumentar, em quantidade e qualidade, a produção, seja esta de qual produto seja. O bom gerenciamento dos negócios está atrelado à qualidade das informações apropriadas para a tomada de decisões corretas que irão influenciar a lucratividade da atividade. Estas informações surgem nas mais diversas esferas do processo produtivo. No caso de rebanhos bovinos pode-se citar, por exemplo, manejo sanitário, nutricional, genético, reprodutivo, dentre outros. O objetivo deste projeto é elaborar um Sistema Especialista que forneça subsídios ao produtor para a resolução de problemas rotineiramente defrontados na sua atividade. Espera-se, construir um Sistema Especialista em rebanho leiteiro que interaja com o usuário através de perguntas sobre o manejo do rebanho e apresente, ao fim de cada sessão, um diagnóstico contendo os problemas encontrados no rebanho em questão, bem como as soluções viáveis..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Marco Antonio de Castro Barbosa - Coordenador / Rodrigo Couto Moreira - Integrante.Financiador(es): Universidade de Cruz Alta - Bolsa.
2008 - 2009
Sistema de Apoio à Decisão para Agricultura de Precisão
Descrição: O homem sempre desejou entender o seu planeta e o mundo em que vive. As imposições da sobrevivência assim o determinaram. Na vertente desta necessidade, a matemática sempre serviu como ferramenta indispensável na abstração este mundo. Desta forma muitos aspectos e problemas do mundo real podem ser entendidos, raciocinados e resolvidos. A matemática computacional e, mais especificamente, a pesquisa operacional, surgem como ferramental importante neste processo de abstração. A pesquisa operacional vem sendo utilizada na promoção da eficiência e eficácia organizacional em todos os níveis da gestão e é uma realidade tornada viável pelo microcomputador e pelo avanço do estado da arte. De fato, a relevância da área de sistemas de apoio à decisão vem crescendo rapidamente. Contudo, as decisões estão nos mais diversos ramos de atividades e em todos os lugares. Atualmente vemos o agricultor como um gestor que deve tomar decisões rápidas e precisas mesmo estando no meio da lavoura. A tecnologia encurtou as distâncias e hoje a informação está em toda parte. Esta nova realidade tecnológica levada à agricultura recebeu a denominação de Agricultura de Precisão. Porém, a tecnologia, por si só, não é o bastante, é preciso fornecer subsídios ao produtor para este tomar a sua decisão. Para um processo mais preciso e seguro é importante o embasamento matemático desta informação. Neste contexto, este projeto tem por objetivo utilizar métodos e técnicas de matemática computacional e inteligência artificial para auxiliar o agricultor na tomada de decisão..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Marco Antonio de Castro Barbosa - Coordenador / André Pacheco Miranda - Integrante / Everton Santi - Integrante.Financiador(es): Universidade de Cruz Alta - Bolsa.
2007 - 2008
Uma Ferramenta para o Apoio ao Ensino de Desenvolvimento de Software
Descrição: O desenvolvimento de software é uma atividade básica (e fim) da área de Informática. Entretanto, muitas vezes o que se observa é a má qualidade dos softwares desenvolvidos, que acarretam enormes prejuízos em virtude dos altos custos necessários para a sua manutenção e reparos. Um dos fatores que levam a esta situação é a má qualificação dos profissionais da área, isto é, as vezes vemos bons programadores, mas projetistas não muito eficientes. Este projeto tem por objetivo o desenvolvimento de uma ferramenta que terá por objetivo o apoio ao desenvolvimento de software. Espera-se integrar esta ferramenta ao ambiente de Ensino UNICRUZ Virtual. Desta forma, espera-se poder incutir no aluno, desde o início de sua formação a importância dos aspectos matemáticos para o desenvolvimento de software. Hoje, pode-se observar que o ensino de software nos cursos de graduação, muitas vezes, está dissociado de sua parte teórica e prática. Um ambiente de ensino integrado, que acompanhasse o aluno não em uma, mas nas diversas disciplinas que compõem o núcleo de formação de programadores, seria de grande valia. Desta forma, o aluno iria adquirindo naturalmente os bons hábitos de projeto de software antes de partir para a sua direta implementação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Marco Antonio de Castro Barbosa - Coordenador / Renata das Chagas Neuland - Integrante / Renan Murussi - Integrante.Financiador(es): Universidade de Cruz Alta - Bolsa.
Número de produções C, T & A: 1
2003 - 2006
PURe - Program Understanding and Re-engineering: Calculi and Applications
Descrição: The project aims to produce relevant contributions in the following areas: Classification (of algorithms, components and architectures) Refinement calculi (for data structures, algorithms and components) Complexity inference Reverse engineering techniques and calculi Technology of visual animation tools for the developed calculi.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Marco Antonio de Castro Barbosa - Integrante / Luis Soares Barbosa - Integrante / José Nuno Oliveira - Coordenador.Financiador(es): Fundação para a Ciência e Tecnologia - Auxílio financeiro.
Número de produções C, T & A: 4


Projetos de extensão


2012 - 2013
Um Sistema para Leitura de Conteúdo via Webcam
Descrição: O objetivo deste projeto é prover acessibilidade para analfabetos e pessoas com deficiência ou dificuldade visual ao fornecer uma solução computacional que possibilita a leitura de conteúdo textos em formato não digital através do uso de uma webcam..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) .
Integrantes: Marco Antonio de Castro Barbosa - Coordenador / David Lima Marinho - Integrante / Thiago Henrique Deicke - Integrante / Jonatas Loureiro de Almeida Junior - Integrante.Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Bolsa.
2011 - 2012
Uma Extensão ao Ambiente Virtual de Aprendizagem Moodle Para a Adaptação de Conteúdos a Portadores de Necessidades Educacionais Especiais.
Descrição: O objetivo deste projeto é agregar ao ambiente de aprendizagem Moodle técnicas que possibilitem usuários com deficiência visual utilizarem este poderoso ambiente de ensino e seus recursos..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Marco Antonio de Castro Barbosa - Coordenador / Sérgio Merlin Baú Júnior - Integrante.
2007 - 2008
Tecnologia: O Novo Desafio para o Pequeno Produtor Rural
Descrição: O Objetivo do projeto é estudar a viabilidade de acesso dos pequenos produtores rurais aos benefícios da Agricultura de Precisão..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) .
Integrantes: Marco Antonio de Castro Barbosa - Coordenador / Renata das Chagas Neuland - Integrante / Renan Murussi - Integrante.
2007 - 2007
Inclusão Digital
Descrição: Projeto com objetivo de levar a crianças e adolescentes em situação de vulnerabilidade social o acesso à informática básica..
Situação: Concluído; Natureza: Extensão.


Membro de corpo editorial


2007 - 2007
Periódico: Revista Disciplinarum Scientia
2002 - 2011
Periódico: Revista Digital - UNICRUZ


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Métodos Formais.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
André P. Miranda2012André P. Miranda ; ANTONIAZZI, R. ; LOPES, L. F. D. ; BARBOSA, M ; COSTA, V. M. F. . Sistema de Análise de Ativos Através de Redes Neurais de Múltiplas Camadas. Revista de Administração da UFSM, v. 5, p. 145-162, 2012.

2.
BARBOSA, M. A. C.2012BARBOSA, M. A. C.; NEULAND, R. C. ; ANTONIAZZI, R. . Soluções Heurísticas Simples e Híbrida para o Problema do Caixeiro Viajante: Um Estudo Comparativo. Retec - Revista de Exatas e Tecnológicas, v. 3, p. 1, 2012.

3.
BARBOSA, M. A. C.;BARBOSA, M;Marco A. C. Barbosa;Barbosa, Marco A. C.;BARBOSA, MARCO2009 BARBOSA, M. A. C.; BARBOSA, Luís Soares . A Perspective on Service Orchestration. Science of Computer Programming (Print), v. 74, p. 671-687, 2009.

4.
NEULAND, R. C.2008NEULAND, R. C. ; MURUSSI, Renan ; BARBOSA, M. A. C. . O Uso de um Ambiente de Educação a Distância no Ensino de Análise de Algoritmos. Revista do CCEI, v. 12, p. 10-17, 2008.

5.
RIBEIRO, Paula Cristina Soares2006 RIBEIRO, Paula Cristina Soares ; BARBOSA, M. A. C. ; BARBOSA, Luís Soares . Generic Process Algebra: A Programming Challenge. Journal of Universal Computer Science (Online), v. 10, p. 922-937, 2006.

6.
BARBOSA, M. A. C.;BARBOSA, M;Marco A. C. Barbosa;Barbosa, Marco A. C.;BARBOSA, MARCO2004 BARBOSA, M. A. C.; BARBOSA, Luís Soares . A Relational Model for Component Interconnection. Journal of Universal Computer Science (Online), v. 10, n.7, p. 808-823, 2004.

7.
BARBOSA, M. A. C.;BARBOSA, M;Marco A. C. Barbosa;Barbosa, Marco A. C.;BARBOSA, MARCO2002BARBOSA, M. A. C.; TOSCANI, L. V. . Apoio ao Ensino de Complexidade de Algoritmos não Recursivos no Pior Caso. Hífen (Uruguaiana), Uruguaiana, 2002.

8.
BARBOSA, M. A. C.;BARBOSA, M;Marco A. C. Barbosa;Barbosa, Marco A. C.;BARBOSA, MARCO2001BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . ANAC - Uma Ferramenta para Análise Automática da Complexidade de Algoritmos. Revista do CCEI, EDIURCAMP - Bagé, v. 5, n.8, p. 57-65, 2001.

Capítulos de livros publicados
1.
Ribeiro, Richardson ; Ronszcka, Adriano F. ; Barbosa, Marco A. C. ; Enembreck, Fabrício . Coordinating Agents in Dynamic Environment. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2014, v. 1, p. 137-153.

2.
Ribeiro, Richardson ; Favarim, Fábio ; Barbosa, Marco A. C. ; Koerich, Alessandro L. ; Enembreck, Fabrício . Combining Learning Algorithms: An Approach to Markov Decision Processes. Lecture Notes in Business Information Processing. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 172-188.

Trabalhos completos publicados em anais de congressos
1.
MORAIS, W. B. M. S. ; ROSA, M. ; TEIXEIRA, M. ; BARBOSA, M. A. C. . O Problema do Caixeiro Viajante com Limite de Calado: uma Abordagem usando Simulated Annealing. In: XLIX - Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenau. XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017.

2.
BARBOSA, MARCO; Ribeiro, Richardson ; DOSCIATTI, EDEN ; Favarim, Fábio ; ADZKIYA, DIEKY ; TEIXEIRA, MARCELO ; Enembreck, Fabrício . Resources Planning in Database Infrastructures. In: 18th International Conference on Enterprise Information Systems, 2016, Rome. Proceedings of the 18th International Conference on Enterprise Information Systems, 2016. p. 53-62.

3.
SILVA, A. L. ; LORENCENA, M. C. ; TEIXEIRA, M. ; RIBEIRO, R. ; BARBOSA, M . Supervisory Control of Multiple Robots Subject to Context Switching. In: International Conference on Industry Applications, 2016, Curitiba. Proceedings of the 12th IEEE/IAS International Conference on Industry Applications, 2016.

4.
TEIXEIRA, MARCELO ; Ribeiro, Richardson ; BARBOSA, MARCO ; ENEMBRECK, FABRICIO ; MASSA, RICARDO . A modeling architecture for the orchestration of service components in factory automation. In: 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015, Luxembourg. 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA). p. 1.

5.
TEIXEIRA, MARCELO ; Ribeiro, Richardson ; BARBOSA, MARCO ; MARIN, LUCIENE . A Formal Method Applied to the Automated Software Engineering with Quality Guarantees. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2014, Naples. 2014 IEEE International Symposium on Software Reliability Engineering Workshops. p. 108.

6.
RIBEIRO, R. ; FAVARIM, F. ; RONSZCKA, A. F. ; BARBOSA, M. A. C. ; ENEMBRECK, F. . UpDating Strategies of Policies for Coordinating Agent Swarm in Dynamic Environments. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, Angers. 15th International Conference on Enterprise Information Systems (ICEIS), 2013.

7.
SILVA, W. ; RIBEIRO, R. ; BARBOSA, M. A. C. ; ENEMBRECK, F. . Um Modelo de Reputação para Identificar Níveis Emocionais em Redes Sociais. In: V EPAC - Encontro Paranaense de Computação., 2013, Cascavel. V EPAC - Encontro Paranaense de Computação. Cascavel: UNIOESTE, 2013.

8.
RIBEIRO, R. ; FAVARIM, F. ; BARBOSA, M. A. C. ; BORGES, A. P. ; DORDAL, O. B. ; KOERICH, A. L. ; ENEMBRECK, F. . Unified Algorithm to Improve Reinforcement Learning in Dynamic Environments: An Instance-Based Approach.. In: 14th International Conference on Enterprise Information Systems (ICEIS), 2012, Wroclaw. 14th International Conference on Enterprise Information Systems (ICEIS), 2012.

9.
BAU JUNIOR, S. M. ; BARBOSA, M. A. C. . Uma Extensão do Ambiente Virtual de Aprendizagem Moodle para a Adaptação de Conteúdos a Portadores de Necessidades Educacionais Especiais. In: 2º Seminário de Extensão e Inovação - SEI, 2012, Curitiba. 2º Seminário de Extensão e Inovação da UTFPR - SEI. Curitiba, 2012.

10.
BARBOSA, M. A. C.; HOELSCHER, I. ; FAVARIM, F. ; RIBEIRO, R. . Adaptando Uma Solução GRASP ao Problema da Cobertura Mínima de Vértices. In: VI Sulcomp - Congresso Sul Brasileiro de Computação, 2012, Criciúma. VI Sulcomp - Congresso Sul Brasileiro de Computação, 2012.

11.
LAZAROTO, T. ; FAVARIM, F. ; RIBEIRO, R. ; BARBOSA, M. A. C. . Execução de Tarefas Acopladas em Ambientes de Grades Computacionais Baseadas em Espaços de Tuplas. In: XVII Seminário de Iniciação Científica e Tecnológica da UTFPR (SICITE 2012), 2012, Curitiba. XVII Seminário de Iniciação Científica e Tecnológica da UTFPR (SICITE 2012), 2012.

12.
RIBEIRO, R. ; DORDAL, O. B. ; BORGES, A. P. ; FAVARIM, F. ; BARBOSA, M. A. C. ; ROCHA, F. R. L. ; LINARES, K. S. C. ; ENEMBRECK, F. . Um Modelo de Aprendizagem Baseado em Agentes Inteligentes: Um estudo de caso em processos avícolas. In: CLEI - XXXVII Conferencia Latinoamericana de Informática, 2011, Quito. CLEI - XXXVII Conferencia Latinoamericana de Informática, 2011. p. 718-730.

13.
BARBOSA, M. A. C.; BARBOSA, Luís Soares ; RODRIGUES, C. J. . Revisiting Context-Aware Component Interconnection. In: SYNASC 2010 - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010, Timisoara, Romênia. Proceeding of the SYNASC 2010 - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (to appear at IEEE Transactions), 2010.

14.
André P. Miranda ; ANTONIAZZI, R. ; BARBOSA, M. A. C. . Sistema de Análise de Ativos Através de Redes Neurais de Múltiplas Camadas. In: IX Simpósio de Informática da Região Centro/RS, 2010, Santa Maria. SIRC/RS 2010 - IX Simpósio de Informática da Região Centro/RS, 2010.

15.
BARBOSA, M. A. C.; BARBOSA, Luís Soares ; CAMPOS, José Creissac . A Coordination Model for Interactive Components. In: 3rd International Conference on Fundamentals of Software Engineering (FSEN'08), 2009, Kish Island. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer, 2009. v. 5961/2. p. 416-430.

16.
BARBOSA, M. A. C.; BARBOSA, L . An Orchestrator for Dynamic Interconnection of Software Components. In: MTCoord'06 - 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, 2007, Bologna. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science Publishers B. V.. v. 181. p. 49-61.

17.
BARBOSA, M. A. C.; BARBOSA, L . Configurations of Web Services. In: FOCLASA'06 - 5th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007, Bonn. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science Publishers B. V.. v. 175. p. 39-57.

18.
BARBOSA, M; BARBOSA, L ; CAMPOS, J . Towards a Coordination Model for Interactive Systems. In: 1st International Workshop on Interactive Systems - FMIS'06, 2007, Macau. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science Publishers B. V.. v. 183. p. 89-103.

19.
RIBEIRO, Paula Cristina Soares ; BARBOSA, M. A. C. ; BARBOSA, Luis Soares . Generic Process Algebra: A Programming Challenge. In: 10th Brazilian Symposium on Programming Languages, 2006, Itatiaia. 10th Brazilian Symposium on Programming Languages. Belo Horizonte: Segrac Editora e Gráfica Limitada, 2006. v. 1. p. 249-262.

20.
BARBOSA, M. A. C.; BARBOSA, Luís Soares . Towards a Relational Model for Component Interconnection. In: 8th Brazilian Symposium on Programming Languages, 2004, Niterói. Proceedings of 8th Brazilian Symposium on Programming Languages. Rio de Janeiro: Regional Gráfica e Editora, 2004. v. 1. p. 17-30.

21.
BARBOSA, M. A. C.; BARBOSA, Luís Soares . Specifying Software Connectors. In: First International Coloquium on Theoretical Aspects of Computing, 2004, Guiyang, China. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer, 2004. v. 3407. p. 52-67.

22.
BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . Metodologia para o Cálculo da Complexidade de Algoritmos e o Processo de Avaliação das Equações de Complexidade. In: XXXIV SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2002, Rio de Janeiro. XXXIV SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2002. v. 1.

23.
BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . ANAC - Uma Ferramenta para Análise Automática da Complexidade de Algoritmos. In: XXVII Latin-American Conference on Informatics - CLEI'2001, 2001, Merida. XXVII Latin-American Conference on Informatics - CLEI'2001, 2001.

24.
BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . ANAC - Uma Ferramenta para o Apoio ao Ensino de Complexidade de Algoritmos. In: 3º Simpósio Internacional de Informática Educativa, 2001, Viseu. Actas do 3º Simpósio Internacional de Informática Educativa, 2001. p. 89-97.

25.
BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . Ferramenta para Automatização da Análise da Complexidade de Algoritmos. In: XI - Simpósio Brasileiro de Informática na Educação, 2000, Maceió. SBIE2000 - XI Simpósio Brasileiro de Informática na Educação. Maceió: UFAL, 2000. v. 1.

Resumos expandidos publicados em anais de congressos
1.
PEREIRA, A. S. ; Pereira, A. ; BARBOSA, M. A. C. ; Leionir zimmerman . O Uso de Webservice para um Ambiente Virtual de Ensino-Aprendizagem. In: IADIS Conferência Ibero-Americana WWW/Internet (CIAWI 2008), 2008, Lisboa. Actas da Conferência IADIS Ibero-Americana WWW/Internet 2008, 2008. p. 438-442.

Resumos publicados em anais de congressos
1.
LAZAROTO, T. ; RIBEIRO, R. ; BARBOSA, M. A. C. ; FAVARIM, F. . Modelo de Comunicação entre Tarefas em Grades Computacionais Baseadas em Espaço de Tuplas. In: V Encontro em Computação Aplicada - ECA 2012, 2012, Cascavel. V Encontro em Computação Aplicada - ECA 2012, 2012.

2.
BARBOSA, M. A. C.. A Refinement Calculus for Software Components and Architectures. In: 5th ESEC/FSE European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2005, Lisbon. 5th ESEC/FSE European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York: ACM Press, 2005. v. 1. p. 377-380.

3.
BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . METODOLOGIA PARA O CÁLCULO DA COMPLEXIDADE DE ALGORITMOS E O PROCESSO DE AVALIAÇÃO DAS EQUAÇÕES DE COMPLEXIDADE. In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Porto Alegre. Encontro Regional de Matemática Aplicada e Computacional, 2002. v. 1. p. 149-156.

4.
BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . Complexidade de Algoritmos: Uma Metologia para o Cálculo no Pior Caso e Processo de Avaliação das Equações de Complexidade. In: XXV CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo - RJ. XXV CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2002. v. 1.

5.
BARBOSA, M. A. C.; TOSCANI, L. V. ; RIBEIRO, L. . A Utilização da Ferramenta ANAC para o Cálculo Automático da Complexidade de Algoritmos. In: XXXIV SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2002, Rio de Janeiro. XXXIV SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2002. v. 1.

Apresentações de Trabalho
1.
BARBOSA, M. A. C.. Simulação de Algoritmos de Escalonamento de CPU Utilizando NACHOS. 1998. (Apresentação de Trabalho/Simpósio).


Produção técnica
Programas de computador sem registro
1.
BARBOSA, M. A. C.. ANAC - Analisador de Complexidade. 2001.


Demais tipos de produção técnica
1.
BARBOSA, M. A. C.. Curso de Introdução à Informática. 1998. .

2.
BARBOSA, M. A. C.. Curso de Operador de Microcomputador I. 1998. .

3.
BARBOSA, M. A. C.. Curso de Operador de Microcomputador I. 1998. .

4.
BARBOSA, M. A. C.. Curso de Internet. 1998. .

5.
BARBOSA, M. A. C.. Curso de Montagem e Manutenção de Microcomputadores. 1998. .

6.
BARBOSA, M. A. C.. Curso de Operador de Microcomputador II. 1998. .

7.
BARBOSA, M. A. C.. Curso Básico de Internet. 1997. .

8.
BARBOSA, M. A. C.. Curso: Conceitos de Informática e Pesquisa na Internet. 1997. .

9.
BARBOSA, M. A. C.. Curso de Introdução ao Microsoft Word. 1997. .

10.
BARBOSA, M. A. C.. Introdução ao Microsoft Word 6.0. 1997. (Desenvolvimento de material didático ou instrucional - Apostila).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Ferreira, L.; ROCHA, C. T. M.; BARBOSA, M. A. C.. Participação em banca de Everton Santi. Uma Abordagem Híbrida para o Problema de Seleção de Fornecedores em Cadeia de Suprimentos. 2012. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia de Produçã) - Universidade Federal do Rio Grande do Norte.

2.
LIBRELOTTO, G. R.; BARBOSA, M. A. C.; BERNARDI, G.. Participação em banca de Leandro Oliveira Freitas. Uma metodologia para assistir pacientes em ambientes homecare pervasivos.. 2011. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Monografias de cursos de aperfeiçoamento/especialização
1.
CASANOVA, D.; BARBOSA, M. A. C.. Participação em banca de André Lucas Wirth. Desenvolvimento de um sistema computacional de apoio a manejo avícola utilizando regressão linear através de uma Rede Neural. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Universidade Tecnológica Federal do Paraná.

2.
CASANOVA, D.; BARBOSA, M. A. C.. Participação em banca de Luiz Fernando Trevisan. Revisão de Métodos para Análise de Agrupamento de Dados em Data Mining. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Universidade Tecnológica Federal do Paraná.

3.
TEIXEIRA, M.; RIBAS, B. C.; BARBOSA, M. A. C.. Participação em banca de Mariany Aparecida de Souza. Geração Automática de Código a partir da Manipulação de Modelos. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Universidade Tecnológica Federal do Paraná.

4.
RIBEIRO, R.; BARBOSA, M. A. C.; RIBAS, B. C.. Participação em banca de Rafael Mocelin. Um Protótipo Computacional para a Classificação de Imagens Usando o Algoritmo K-nn: Um Estudo de Caso em Processo Avícola. 2013. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Universidade Tecnológica Federal do Paraná.

5.
CARNIEL, F. L.; RIBEIRO, R.; BARBOSA, M. A. C.. Participação em banca de Everton Fernando Perin. Estudo de Caso Sobre a Utilização da Ferramenta Oracle Data Integrator no Processo de Extração, Tranformação e Carga de Dados. 2013. Monografia (Aperfeiçoamento/Especialização em Especialização em Banco de Dados) - Universidade Tecnológica Federal do Paraná.

6.
CARNIEL, F. L.; ZALEWSKY, W.; BARBOSA, M. A. C.. Participação em banca de Juliano Ferreira Chiapin. Estudo de Caso Utilizando as Funcionalidades Temporais do Oracle 12C. 2013 - Universidade Tecnológica Federal do Paraná.

7.
Cocco, A. P.; Pereira, A.; BARBOSA, M. A. C.. Participação em banca de Cátia Rosana Lemos de Araújo. A Biblitoeca Virtual como uma Importante Fonte Disseminadora de Informação e Cultura na Educação a Distância. 2007. Monografia (Aperfeiçoamento/Especialização em Informática na Educação) - Universidade de Cruz Alta.

Trabalhos de conclusão de curso de graduação
1.
TEIXEIRA, M.; TORRICO, C. C.; BARBOSA, M. A. C.. Participação em banca de Maicon Paulo Assmann.Controle Supervisório com Estruturas Concorrentes de Refinamentos Sujeitas à Dependência de Contexo. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

2.
TEIXEIRA, M.; BARBOSA, M. A. C.; TORRICO, C. C.. Participação em banca de Luiz Fernando Puttow Southier.Conversão entre Modelos de Sistemas a Eventos Discretos para Simplificação da Síntese de Controladores. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

3.
BERTOTTI, F.; BARBOSA, M. A. C.. Participação em banca de Jônatas Loureiro de Almeida Junior.Sistema Wireless de Aquisição e Sinalização de Eventos Sonoros para Deficientes Auditivos. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

4.
TEIXEIRA, M.; BARBOSA, M. A. C.; TORRICO, C. C.. Participação em banca de Marcelo Rosa.Explorando o uso de Abstrações na Implementação de Controladores para Sistemas a Eventos Discretos. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

5.
LINARES, K. S. C.; BARBOSA, M. A. C.; ORTIZ, J.. Participação em banca de Sérgio Merlin Baú Júnior.Sistema de Contagem de Fluxo de Veículos. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

6.
CASANOVA, D.; CAVALCANTI, P. G.; BARBOSA, M. A. C.. Participação em banca de André Luiz Marasca.Análise de Textura Através de Descritores Fractais por Meio da Utilização de Rótulos na Transformada de Distância 3D. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

7.
TEIXEIRA, M.; TORRICO, C. C.; BARBOSA, M. A. C.. Participação em banca de André Lucas Silva.Controle Supervisório de Ambiente Dinâmicos Utilizando Autômatos Finitos Estendidos. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

8.
CASANOVA, D.; RIBEIRO, R.; PORTOLANN, C.; BARBOSA, M. A. C.. Participação em banca de Muriel Mazzetto.Inteligência Computacional para Sistemas Self-Healing: um Estudo de Caso em Redes Elétricas Inteligentes. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

9.
BERTOTTI, F.; KHUN, G.; BARBOSA, M. Participação em banca de Jônatas Loureiro de Almeida Junior.Sistema Wireless para Aquisição e Sinalização de Eventos Sonoros para Deficientes Auditivos. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

10.
TEIXEIRA, M.; BERNARDI, R.; TORRICO, C. C.; BARBOSA, M. Participação em banca de Mainara Cristina Lorencena.Contribuições ao Manejo Avícola usando Técnicas de Controle Supervisório e Monitoramento Remoto. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.

11.
ASSIS, G. A.; BARBOSA, M. A. C.; ZALEWSKY, W.. Participação em banca de Vanderlei Luiz Azzolini.CidTrans - Jogo 3D para Educação no Trânsito. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

12.
MARIN, L.; DENARDIN, G.; TORRICO, C. C.; BARBOSA, M. Participação em banca de Sidney Gaspari.Protótipo de um Robô Móvel Autônomo Seguidor de Paredes Internas. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.

13.
ASSIS, G. A.; ARAKI, L.; BARBOSA, M. Participação em banca de Renan Felipe Arend.Detecção e Acompanhamento de Pintas em Imagens da Pele Humana. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.

14.
Favarim, Fábio; SERCKUMECKA, A.; BARBOSA, M. Participação em banca de Alex Bergamo.Utilização de Java e Mikrotik para Gerenciamento de Acesso à Internet em um Clube Social. 2014. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade Tecnológica Federal do Paraná.

15.
BORSOI, B. T.; FAVARIM, F.; BARBOSA, M. A. C.. Participação em banca de Adriana Ariati.Sistema para Gerenciamento de Repositório de Artefatos de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade Tecnológica Federal do Paraná.

16.
BORSOI, B. T.; DUTRA, G. N.; BARBOSA, M. Participação em banca de Luan Leonardo Botura.Sistema para Controle de um Parque de Máquinas de uma Prefeitura. 2011. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade Tecnológica Federal do Paraná.

17.
BRITO, R. C.; BARBOSA, M. A. C.; LINARES, K. S. C.. Participação em banca de Adrielli Lewandowski.Aplicativo Móvel para Controle Diário de Calorias Ingeridas e Gastas por uma Pessoa. 2011. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade Tecnológica Federal do Paraná.

18.
BARBOSA, M; RISTA, L. C. G.. Participação em banca de Fabrício Soares Kronbauer.Estudo sobre a Comunicação Bluetooth em um Ambiente Educacional Ubiquo. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

19.
Mozzaquatro, P. M.; BARBOSA, M. A. C.; ANTONIAZZI, R.; PEREIRA, A. S.. Participação em banca de Cristina Silveira Otto.Estudo e Aplicação de Técnicas de Acessibilidade: Desenvolvimento de um Objeto de Aprendizagem Adaptado a Deficientes Visuais. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

20.
Colvero, T. C. A.; BARBOSA, M. A. C.; Santos, F. B.; ANTONIAZZI, R.. Participação em banca de Francisco Cardoso Rios.Algoritmo de Criptografia RSA em Dispositivo Smart Card com Java Card. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

21.
KHATCHATOURIAN, O.; BARBOSA, M. A. C.; Ferreira, L.. Participação em banca de Marlon Luis Petry.Implementação de um sistema para avaliação de macrotextura de pavimentos utilizando Java.. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

22.
KHATCHATOURIAN, O.; BARBOSA, M. A. C.; Ferreira, L.. Participação em banca de Ivan Carlo Wentz.Aplicação de problemas inversos para validação do modelo matemático de escoamento do ar em armazéns graneleiros. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

23.
BINELO, M. O.; Ferreira, L.; BARBOSA, M. A. C.. Participação em banca de Flamarion Machado Castro.Reconhecimento da lingua brasileira de sinais utilizando métodos de visão computacional. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

24.
Pereira, A.; Gubert, L. C.; BARBOSA, M. A. C.. Participação em banca de Geferson Odinei Dietze.Sistema Especialista para Diagnóstico de Enfermidades em Ovinos Causados por Macroparasitas. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

25.
BINELO, M. O.; BARBOSA, M. A. C.; BANDEIRA, J. M.. Participação em banca de Bruso Jensen.Visão Computacional Aplicada a Identificação de Chassis. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

26.
BINELO, M. O.; BARBOSA, M. A. C.; BANDEIRA, J. M.. Participação em banca de Josiane Morgan.Processamento de Imagens na Identificação de Cobertura de Florestas. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

27.
PEREIRA, A. S.; BARBOSA, M. A. C.; BANDEIRA, J. M.. Participação em banca de Laura Gotleib da Rosa.Aplicativo de apoio ao acesso ao Unicruz virtual através de dispositivos móveis. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

28.
Bazotti, Ezequiel; Gubert, L. C.; Ferreira, L.; BARBOSA, M. A. C.. Participação em banca de Ezequiel Bazotti.VOIP para Computação Móvel. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

29.
BANDEIRA, J. M.; BERTEI, R. M.; BARBOSA, M. A. C.. Participação em banca de Oreste Mattos Felício.WAPTECA: Sistema de Interação via Celular para os Usuários do Banco de Dados da Biblioteca. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

30.
Gubert, L. C.; RISTA, L. C. G.; BARBOSA, M. A. C.. Participação em banca de Tiago Juliano Ferreira.Reestruturação do Código FCCP. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

31.
Gubert, L. C.; RISTA, L. C. G.; BARBOSA, M. A. C.. Participação em banca de Vladimir Magalhães Guerreiro.Extensão de um Framework de Segurança na TV Digital Utilizando Smart Cards. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

32.
Gubert, L. C.; BARBOSA, M. A. C.; RISTA, L. C. G.. Participação em banca de Jeferson Franke.Geração de Baseline para Gerência de Redes Utilizando Algoritmo-KMEANS E Redes Baysianas. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Cruz Alta.

33.
VIT, A. R.; NUNES, I. D.; BARBOSA, M. A. C.. Participação em banca de Derli Virgilio Beck Junior.Sistema Administrativo Hospitalar Utilizando MySQL. 2002 - Universidade de Cruz Alta.

34.
PADOIN, E. L.; PEREIRA, A. S.; BARBOSA, M. A. C.. Participação em banca de Fernando Wencelewski Possenti.Processus: Uma Ferramenta de Apoio Jurídico. 2002 - Universidade de Cruz Alta.

35.
COPETTI, A.; LIBRELOTTO, G. R.; BARBOSA, M. A. C.. Participação em banca de Lucas Vargas Daltrozo.Computação Paralela com PVM. 2001 - Universidade de Cruz Alta.

36.
TOSCANI, S. S.; LIBRELOTTO, G. R.; VIT, A. R.; BARBOSA, M. A. C.. Participação em banca de Rodrigo Rubert Rubin.Ambiente Gerador de Código JAVA para Simulação de Autômatos RS. 2000 - Universidade de Cruz Alta.



Participação em bancas de comissões julgadoras
Concurso público
1.
CATARINA, A. S.; PAULA FILHO, P. L.; BARBOSA, M. Concurso Público para Professor do Magistério Superior no Câmpus Toledo. 2014. Universidade Tecnológica Federal do Paraná.

2.
Ribeiro, Richardson; ASSIS, G. A.; BARBOSA, M; GENVIGIR, E. C.. Concurso Público para Professor do Magistério Superior no Câmpus Pato Branco. 2014. Universidade Tecnológica Federal do Paraná.

3.
HOTO, R. S. V.; BARBOSA, M. A. C.; VASCONCELLOS, C. D.. Concurso Público da Carreira do Magistério Superior - Área Teoria da Computação e Complexidade. 2012. Universidade Federal da Fronteira Sul.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IV EPAC - Encontro Paranaense de Computação.Comitê Avaliador. 2011. (Encontro).

2.
X SIRC/RS - Simpósio de Informática da Região Centro RS.Comitê Avaliador.. 2011. (Simpósio).

3.
VIII Simpósio de Informática da Região Centro do Rio Grande do Sul.Comissão de Avaliação. 2009. (Simpósio).

4.
VII Simpósio de Informática da Região Centro do Rio Grande do Sul.Comissão Avaliadora dos Trabalhos. 2008. (Simpósio).

5.
XIII Simpósio de Informática e VIII Mostra de Software Acadêmico.Comissão Avaliadora dos Trabalhos. 2008. (Simpósio).

6.
XII Seminário Interinstitucional de Ensino, Pesquisa e Extensão e XI Mostra de Iniciação Científica e XI Mostra de Extensão.Agricultura de Precisão. 2008. (Seminário).

7.
I Congresso Politécnico de Informática em Saúde. Comissão Científica. 2007. (Congresso).

8.
VII Simpósio de Informática da Região Centro do Rio Grande do Sul.Comissão Avaliadora dos Trabalhos. 2007. (Simpósio).

9.
XII Simpósio de Informática e VII Mostra de Software Acadêmico.Comissão Avaliadora dos Trabalhos. 2007. (Simpósio).

10.
10th Brazilian Symposium on Programming Languages.Generic Process Algebra: A Programming Challenge. 2006. (Simpósio).

11.
DisCoTec- Distributed Computing Techniques. 2006. (Congresso).

12.
FOCLASA'06 - 5th International Workshop on the Foundations of Coordination Languages and Software Architectures.Configurations of Web Services. 2006. (Outra).

13.
MTCoord'06 - 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems.An Orchestrator for Dynamic Interconnection of Software Components. 2006. (Outra).

14.
SBMF 2006 - Brazilian Symposium on Formal Methods.Composition or Coordination: Two Modes, Two Libraries. 2006. (Simpósio).

15.
V Simpósio de Informática da Região Centro do Rio Grande do Sul.Comissão Avaliadora dos Trabalhos. 2006. (Simpósio).

16.
X Simpósio de Informática e VI Mostra de Software Acadêmico.Comissão Avaliadora dos Trabalhos. 2006. (Simpósio).

17.
XXXII Conferência Latinoamericana de Informática. Comissão Científica. 2006. (Congresso).

18.
Coordination'05 - Seventh International Conference on Coordination Models and Languages. 2005. (Outra).

19.
IV Simpósio de Informática da Região Centro do Rio Grande do Sul.Comissão Avaliadora dos Trabalhos. 2005. (Simpósio).

20.
X Simpósio de Informática e V Mostra de Software Acadêmico.Comissão Avaliadora dos Trabalhos. 2005. (Simpósio).

21.
8th Brazilian Symposium on Programming Languages SBLP 2004.Towards a Relational Model for Component Interconnection. 2004. (Simpósio).

22.
First International Coloquium on Theoretical Aspects of Computing. Specifying Software Connectors. 2004. (Congresso).

23.
IX Simpósio de Informática e IV Mostra de Software Acadêmico.Comissão Avaliadora dos Trabalhos. 2004. (Simpósio).

24.
SFM-03:SA SFM-03:SA 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. 2003. (Outra).

25.
VII Simpósio de Informática e II Mostra de Software Acadêmico.ANAC - Uma Ferramenta para Análise Automática da Complexidade de Algoritmos. 2002. (Simpósio).

26.
VI SBLP - Simpósio Brasileiro de Linguagens de Programação. 2002. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Pereira, A. ; BARBOSA, M. A. C. . XI Semana Acadêmica do Curso de Ciência da Computação. 2007. (Outro).

2.
BARBOSA, M. A. C.. Curso de XML. 2002. (Outro).

3.
BARBOSA, M. A. C.. VI Semana Acadêmica do Curso de Ciência da Computação. 2001. (Outro).



Orientações



Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Gabriel Hitoshi Shimosaka. Estratégias de Solução para o Problema de Alocação de Registradores em Compiladores. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná. (Orientador).

2.
Wall Berg Mirandas dos Santos Morais. O uso de Arquitetura Massivamente Paralela para Resolução de Problema NP-Difícil em Grafos Massivos. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Márcio Antonio Coltro Sczenpanski. Otimização do Problema de Roteamento de Veículos Capacitado Utilizando a Metaheurística Colônia de Formigas. 2018. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Marco Antonio de Castro Barbosa.

2.
Paulo Henrique Aquino da Silva. Explorando técnicas de busca local com mecanismos de self- healing em redes de distribuição de energia. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Marco Antonio de Castro Barbosa.

3.
Luana Villwock Silva. Uma solução para o problema do caixeiro viajante com limite de calado utilizando heurísticas híbridas. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Marco Antonio de Castro Barbosa.

4.
Nayara Oliva Ferreira. Requisitos para um Processo de Ordenha Mecânica Automatizada. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Marco Antonio de Castro Barbosa.

5.
Eduardo dos Santos. O Uso de Visão Computacional para o Controle de um Manipulador Robótico. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Marco Antonio de Castro Barbosa.

6.
Everton Santi. CLIFF: Um Sistema de Apoio à Decisão para a Agricultura de Precisão. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

7.
Francisco Cardoso Rios. Algoritmo de Criptografia RSA em Dispositivo Smart Card com Java Card. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

8.
Suzana Freitas. Data Mining no Auxílio a Extração de Dados Relacionados a Inadimplência de uma Universidade. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

9.
Lusitana Lorenzi. Estudo Sobre Métodos de Solução para Problemas Intratáveis. 2002. 60 f. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

10.
Evandro Rodrigo Newvald Silva. Um Estudo de Proposta para o Desenvolvimento de uma Aplicação na Internet para o Ensino de Informática Teórica. 2002. 40 f. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

11.
Rodrigo Gatto. Proposta para um Sistema de Cálculo de Complexidade de Algoritmos Recursivos. 2002. 40 f. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

12.
Marcos Sganzerla. Análise e Criação do Código Objeto Apartir do Compilador Fortall. 2002. 80 f. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

13.
Dóris Marquiela Schneider. Software de Ciências para 4ª e 5ª Séries do Ensino Fundamental. 2002. 58 f. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

14.
Cláussia Fernanda Elger. A Química das Moléculas. 2002. 38 f. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

15.
Rodrigo Weber. Uma Extensão para a Ferramenta Anac para o Cálculo Automático da Complexidade de Algoritmos Recursivos. 2002. 0 f. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

16.
Cristina Goulart. Complexidade de Algoritmos Convencionais e Funcionais: Um Estudo Comparativo. 2001. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

17.
Rafael Marisco Bertei. Sistema de Automação do Laboratório de Análises Clínicas - LAC. 2001. Trabalho de Conclusão de Curso - Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

Iniciação científica
1.
Wall Berg Miranda dos Santos Morais. Metaheurísticas Aplicadas à Solução de Problemas NP-Difíceis em Grafos Massivos. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio de Castro Barbosa.

2.
Rodrigo Couto Moreira. Sistema Especialista para o Apoio à Gestão e Manejo de Bovinocultura Leiteira. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade de Cruz Alta, Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

3.
André Pacheco Miranda. Sistema de Apoio à Decisão para Agricultura de Precisão. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade de Cruz Alta, Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

4.
Renan Murussi. Uma Ferramenta para o Apoio ao Ensino de Desenvolvimento de Software. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade de Cruz Alta, Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.

Orientações de outra natureza
1.
Everton Santi. Tecnologia: O Novo Desafio para o Pequeno Produtor Rural. 2009. Orientação de outra natureza. (Ciência da Computação) - Universidade de Cruz Alta, Universidade de Cruz Alta. Orientador: Marco Antonio de Castro Barbosa.



Outras informações relevantes


- Aprovação em Concurso Público para o Cargo de Professor Adjunto na UFPel - Universidade Federal de Pelotas, 2010

- Aprovação em Concurso Público para o Cargo de Professor Adjunto na UFSM - Universidade Federal de Santa Maria.

- Aprovação em Concurso Público para o Cargo de Professor Auxiliar na UTFPR - Universidade Tecnológica Federal do Paraná.

- Aprovação em Concurso Público para o cargo de professor Auxiliar na UNOESTE - Univsersidade Estadual do Oeste do Paraná, 2007



Página gerada pelo Sistema Currículo Lattes em 12/12/2018 às 5:14:08