Paulo Fernando Blauth Menezes

Possui graduação em Licenciatura em Matemática pela Universidade Federal do Rio Grande do Sul (1976), graduação em Matemática Aplicada à Computação pelo Instituto Superior Técnico (1993), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1979) e doutorado em Matemática pelo Instituto Superior Técnico (1996). Atualmente é professor da Universidade Federal do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Fundamentos da Computação, atuando principalmente nos seguintes temas: linguagens formais e autômatos, teoria das categorias, teoria da computação, matemática discreta e modelos para concorrência.

Informações coletadas do Lattes em 11/10/2022

Acadêmico

Formação acadêmica

Doutorado em Matemática

1991 - 1996

Instituto Superior Tecnico
Título: Reificação de Objetos Concorrentes
Orientador: Amilcar dos Santos Costa Sernadas
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Autômato Não-Sequencial; Category Theory; Reificação; Semântica Formal; Teoria das Categorias; Concorrência. 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. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Teoria das Categorias. Setores de atividade: Informática.

Mestrado em Computação

1976 - 1979

Universidade Federal do Rio Grande do Sul
Orientador: Ana Maria de Alencar Price
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.

Graduação em Matemática Aplicada à Computação

1993 - 1993

Instituto Superior Tecnico

Graduação em Licenciatura em Matemática

1973 - 1976

Universidade Federal do Rio Grande do Sul

Idiomas

Bandeira representando o idioma Inglês

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

Áreas de atuação

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.

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.

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.

Organização de eventos

MENEZES, P. F. Blauth . SBLP'2004: VIII Simpósio Brasileiro de Linguagens de Programação. 2004. (Congresso).

MENEZES, P. F. Blauth . AMAST'2004: 10th International Conference on Algebraic Methodology And Software Technology. 2004. (Congresso).

MENEZES, P. F. Blauth . SBMF'2004: 7 Simpósio Brasileiro de Métodos Formais . 2004. (Congresso).

MENEZES, P. F. Blauth . SBLP'2003: VII Simpósio Brasileiro de Linguagens de Programação. 2003. (Congresso).

MENEZES, P. F. Blauth . WMF'2003: VI Workshop de Métodos Formais. 2003. (Congresso).

MENEZES, P. F. Blauth . CASYS'2003: 6th International Conference on Computing Anticipatory Systems. 2003. (Congresso).

MENEZES, P. F. Blauth . SBLP'2002: VI Simpósio Brasileiro de Linguagens de Programação. 2002. (Congresso).

MENEZES, P. F. Blauth . WMF'2002: V Workshop de Métodos Formais. 2002. (Congresso).

MENEZES, P. F. Blauth . SBLP'2000: IV Simpósio Brasileiro de Linguagens de Programação. 2000. (Congresso).

MENEZES, P. F. Blauth . CASYS'2000: 4th International Conference on Computing Anticipatory Systems. 2000. (Congresso).

MENEZES, P. F. Blauth . CAYS'99: 3rd International Conference on Computing Anticipatory Systems. 1999. (Congresso).

MENEZES, P. F. Blauth . WMF'98: I Workshop de Métodos Formais. 1998. (Congresso).

MENEZES, P. F. Blauth . Workshop sobre Métodos Formais e Qualidade de Software. 1997. (Congresso).

Participação em bancas

Aluno: Fernando Náufel do Amaral

HAEUSLER, Edward Hermann; VELOSO, Paulo Augusto Silva; RIBEIRO, Celso da Cruz Carneiro;MENEZES, P. F. Blauth; BENEVIDES, Mario Roberto Folhadela; MARTINHON, Carlos Alberto de Jesus; ARAGÃO, Marcus Vinicius Soledade Poggi de. Teoria de Modelos para Heurísticas Baseada em Topoi. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Liara Aparecida dos Santos Leal

LEAL, Liara Aparecida dos SantosMENEZES, P. F. Blauth. Uma Fundamentação Teórica para a Complexidade Estrutural de Problemas de Otimização. 2002. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

HAEUSLER, Edward Hermann; SPÍNOLA, I. A.;MENEZES, P. F. Blauth. de Azevedo Spínola. Sistemas Reativos: uma abordagem geométrica. 1999. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcelo da Silva Correa

CORRÊA, M. S.; HAEUSLER, Edward Hermann;MENEZES, P. F. Blauth. Categorias e Sequencialidade. 1997. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

MENEZES, P. F. Blauth. Concurso para Professor Adjunto do Departamento de Análise da UFF. 2006. Universidade Federal Fluminense.

MENEZES, P. F. Blauth. Concurso para Professor Adjunto do Departamento de Computação da UFF. 2005. Universidade Federal Fluminense.

MENEZES, P. F. Blauth. Concurso para vaga de professor adjunto do Instituto de Informática da UFRGS. 2004. Universidade Federal do Rio Grande do Sul.

Orientou

Graciela Cristina Bernardes Lima

AdaptHA: Ambiente para Autoria e Ensino Adaptativo; 2007; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

RODRIGO BORN VIEIRA

CaTReS - Ferramenta de Apoio à Pesquisa e Ensino em Teoria das Categorias; 2006; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Paulo Fernando Blauth Menezes;

Rubia Medianeira Denardi

AGA-Sign: Animador de Gestos Aplicado à Língua de Sinais; 2006; Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

José Diego Ferreira Martins

Uma proposta de um motor de animação para o controle de personagens articulados baseado em autômatos finitos; 2006; Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul,; Coorientador: Paulo Fernando Blauth Menezes;

KARINA GIRARDI ROGGIA

Categoria de Grafos Parciais com Homomorfismos Totais: teoria e aplicações; 2005; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Marnes Augusto Hoff

Grafos Internos e Multirrelações como Spans: Propriedades e Composicionalidade; 2005; 138 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Fernando Blauth Menezes;

Renata Zanella

EASy - Evaluation Automatic Generetion System for Web based on Hyper-Automaton; 2005; 85 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Cláudio Naoto Fuzitaki

Mapeamento da Linguagem Nautilus para Java; 2004; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Christine Vieira

Investigação e Aplicação de algumas Operações Categoriais entre Atores de uma Animação baseados em Autômatos Finitos com Saída; 2004; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Roges Horacio Grandi

Astrha - Um Ambiente Gráfico, Dinâmico e Interativo para Internet Baseado em Hiper-Animações e na Teoria dos Autômatos; 2003; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Carlos Tadeu Queiróz de Morais

Hyper-Automaton: avaliação interativa de alunos em cursos na web baseado em autômatos finitos; 2002; 109 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Fernando Accorsi

Animação Bidimensional para World Wide Web Baseada em Autômatos Finitos; 2002; 113 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

César Costa Machado

XHA: eXtensible Hyper-Automaton; 2002; 148 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Fabio Victor Pfeiff

CaTLeT: Ferramenta Computacional de Apoio ao Ensino/Aprendizado de Teoria das Categorias; 2002; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Cláudia Santos Fernandes

Ciência da Computação para Crianças; 2002; 155 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Júlio Henrique Araújo Pereira Machado

Hyper-Automaton: Hipertextos e Cursos na Web Usando Autômatos com Saída; 2000; 148 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Fernando Blauth Menezes;

Cirney Ricardo Jose Borges Carneiro

Autômato Não-Seqüencial Identificado como Suporte para Classes em Náutilus; 1999; 116 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Fernando Blauth Menezes;

Carlos Antonio Pereira Campani

Avaliacao da Compressao de Dados e da Qualidade de Imagem em Modelos de Animacao Grafica para Web: uma nova abordagem baseada em complexidade de kolmogorov; 2005; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Paulo Fernando Blauth Menezes;

Sílvia Regina Vargas Gomes

AdaptHA-RS: Ambiente de Busca e Recomendação Adaptativo de acordo com Perfil do Usuário para o Sistema AdaptHA; ; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Maria Lúcia Recena Menezes

CyberSeed: Animação Interativa Baseada em Autômatos Finitos com Saída e Fita de Entrada Matricial; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Simone Bavaresco

AdaptHA: Sistema Adaptativo para Disponibilização de Cursos na Web Utilizando Autômatos Finitos com Saída; 2004; 48 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Fernando Blauth Menezes;

RODRIGO BORN VIEIRA

Relações na Ferramenta CaTLeT; 2003; 0 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Cristina da Cunha Russo

Gramática de Grafos para Modelagem de Crescimento do Tumor Glioblastoma Multiforme; 2003; 51 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Guilherme Magalhães

AGA Player: Animação 2D Baseada em Autômatos para a Web; 2002; 39 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Fernando Blauth Menezes;

Gustavo Link Federizzi

Extensible Hyper-Automaton; 2002; 110 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Tiago Mourão

SimCat : um simulador gráfico de teoria das categorias para a internet; 2001; 50 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Fernando D'Andrea

Interface Diagramática para Linguagem Náutilus; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Marcelino Magalhães de Oliveira

Correlacionando Física de Partículas com Ciência da Computação via Teoria das Categorias Visando Sistemas Inteligentes; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

KARINA GIRARDI ROGGIA

Morfismos Parciais e Ciência da Computação: um estudo; 2001; 34 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Fernando Blauth Menezes;

Leonardo Penczek

Hyper-Automaton: implemetação e uso; 2000; 48 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Paulo Fernando Blauth Menezes;

Andréa Sias Rodrigues

Caracterização de Linguagens Formais via Complexidade de Kolmogorov; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Informática) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Tiago Veit

Restrição em Nautilus; 1999; 56 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Sandro Silva de Souza

Um Estudo Introdutório de Lógicas Modais e Temporais na Formalização de Sistemas Concorrentes; 1999; 70 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Regina Guimarães

Sistema de Controle de Estoques da EDISA; 1981; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Processamento de Dados) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Edson Azzi

Editor Conversacional de Textos; 1981; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Processamento de Dados) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Pedro Luiz Beltrão de Piccoli

Sistema de Controle de Volumes e Arquivos; 1980; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Processamento de Dados) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Luiz Otávio Hening

Sistema Editor de Textos; 1980; Trabalho de Conclusão de Curso; (Graduação em Tecnólogo em Processamento de Dados) - Universidade Federal do Rio Grande do Sul; Orientador: Paulo Fernando Blauth Menezes;

Produções bibliográficas

  • DIVERIO, T. A. ; MENEZES, P. F. Blauth . Livros Didáticos da Informática UFRGS : trajetória de sucesso com qualidade. Revista de Sistemas de Informação da FSMA , v. N.5, p. 63-68, 2010.

  • FUZITAKI, Cláudio Naoto ; MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira ; D'ANDREA, Fernando . Nautilus, a Concurrent Diagramatic Specification and Programming Language. Journal of Supercomputing , New York, v. 36, n.1, p. 51-81, 2006.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth . Defining Atomic Composition in UML Behavioral Diagrams. Journal of Universal Computer Science , Austria, v. 12, n.7, p. 958-979, 2006.

  • DENARDI, Rúbia Medianeira ; MENEZES, P. F. Blauth ; COSTA, Antônio Carlos da Rocha . AGA-Sign: Animador de Gestos Aplicados à Linguagem de Sinais. INFOCOMP (UFLA) , Lavras, v. 4, n.1, p. 47-53, 2005.

  • ZANELLA, Renata ; LIMA, Graciela Cristina Bernardes ; ANTUNES, Bruna ; MENEZES, P. F. Blauth . EASy - Recuperação de Questões através de Metadados e Geração Automática de Instrumentos de Avaliação via web. RENOTE. Revista Novas Tecnologias na Educação , UFRGS, v. 3, n.2, p. 1-10, 2005.

  • HOFF, Marnes Augusto ; ROGGIA, Karina Girardi ; MENEZES, P. F. Blauth . Composition of Transformations: a Framework of Systems with Dynamic Topology. CASYS : international journal of computing anticipatory systems , Liège, v. 14, p. 259-270, 2004.

  • CAMPANI, Carlos Antônio Pereira ; MENEZES, P. F. Blauth . Teorias da Aleatoriedade. Revista de Informática Teórica e Aplicada (Impresso) , Porto Alegre, v. 11, n.2, p. 76-98, 2004.

  • LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLÁUDIO, Dalcídio Moraes ; MENEZES, P. F. Blauth . Structural Complexity: a categorical view. Electronic Journal On Mathematics Of Computation, Brasil, v. 1, p. 1-17, 2003.

  • LEAL, Liara Aparecida dos Santos ; CLÁUDIO, Dalcídio Moraes ; MENEZES, P. F. Blauth ; TOSCANI, Laira Vieira . Modelling the Approximation Hierarchy to Optimisation Problems Through Category Theory. CASYS: International Journal of Computing Anticipatory Systems , Liège, v. 11, p. 336-349, 2002.

  • NOTARE, M. R. ; MACHADO, Júlio Henrique Araújo Pereira ; DIVERIO, T. A. ; MENEZES, P. F. Blauth . Knowledge Anticipation on Agents Relationship in the Geometry Proof System. CASYS. International Journal of Computing Anticipatory Systems , Liège, v. 12, p. 381-394, 2002.

  • COSTA, Simone André da ; MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth . Composicionalidade de Primitivas - Uma Abordagem Categorial. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 9, n.1, p. 67-80, 2002.

  • VIEIRA, Christine ; MENEZES, P. F. Blauth ; NEDEL, Luciana Porcher . Autômato finito não-determinístico com pesos aplicado a animações baseadas em autômatos finitos. Revista de Tecnologia e Ambiente , Criciúma, v. 8, n.2, p. 7-19, 2002.

  • MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira . Adaptive Web Courses: a categorial framework. CASYS. International Journal of Computing Anticipatory Systems , Liège, v. 9, p. 318-336, 2001.

  • MENEZES, P. F. Blauth . Duo-Internal Labeled Graphs with Distinguished Nodes: a categorial framework for graph based anticipatory systems. CASYS. International Journal of Computing Anticipatory Systems , Bélgica, v. 6, p. 75-93, 2000.

  • MENEZES, P. F. Blauth . A Categorial Framework for Concurrent, Anticipatory Systems. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 5, n.2, p. 91-113, 1998.

  • MENEZES, P. F. Blauth ; SERNADAS, A. S. C. ; COSTA, J. F. . Nonsequential automata semantics for a concurrent, object-based language. Electronic Notes in Theoretical Computer Science , v. 14, p. 245-273, 1998.

  • MENEZES, P. F. Blauth ; COSTA, J. F. . Synchronization in Petri Nets. Fundamenta Informaticae , Amsterdam, v. 26, n.1, p. 11-22, 1996.

  • MENEZES, P. F. Blauth ; COSTA, J. F. . Compositional Reification of Concurrent Systems. Journal of the Brazilian Computer Society , Brasil, v. 2, n.1, p. 50-67, 1995.

  • MENEZES, P. F. Blauth . Marked Petri Nets Within a Categorical Framework. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 2, n.2, p. 71-92, 1995.

  • MENEZES, P. F. Blauth . Linguagens formais e autômatos. 6. ed. Porto Alegre: Bookman, 2011. v. 6. 256p .

  • DIVERIO, T. A. ; MENEZES, P. F. Blauth . Teoria da computação : máquinas universais e computabilidade. 3. ed. Porto Alegre: Bookman, 2011. v. 1. 288p .

  • MENEZES, P. F. Blauth . Matemática discreta para computação e informática. 3. ed. Porto Alegre: Bookman, 2010. v. 1. 350p .

  • MENEZES, P. F. Blauth ; TOSCANI, Laira Vieira ; LOPEZ, Javier Garcia . Aprendendo matemática discreta com exercícios. 1. ed. Porto Alegre: Bookman, 2009. v. 1. 356p .

  • DIVERIO, T. A. ; MENEZES, P. F. Blauth . Teoria da Computação : máquinas universais e computabilidade. 2. ed. Porto Alegre: Bookman, 2008. v. 1. 205p .

  • MENEZES, P. F. Blauth ; HAEUSLER, Edward Hermann . Teoria das Categorias para Ciência da Computação. 2. ed. Porto Alegre: Editora Sagra Luzzatto, 2006. v. 1. 335p .

  • MENEZES, P. F. Blauth . Matemática Discreta para Computação e Informática. 2. ed. Porto Alegre: Editora Sagra Luzzatto, 2005. v. 1. 258p .

  • MENEZES, P. F. Blauth . Linguagens Formais e Autômatos. 5. ed. Porto Alegre: Editora Sagra Luzzatto, 2005. v. 1. 215p .

  • MENEZES, P. F. Blauth . Matemática Discreta para Computação e Informática. 1. ed. Porto Alegre: Editora Sagra Luzzatto, 2004. v. 1. 258p .

  • MENEZES, P. F. Blauth . Linguagens Formais e Autômatos. 4. ed. Porto Alegre: Instituto de Informática da UFRGS, Editora Sagra Luzzatto, 2002. v. 1. 165p .

  • MENEZES, P. F. Blauth ; HAEUSLER, Edward Hermann . Teoria das Categorias para Ciência da Computação. 1. ed. Porto Alegre: Editora Sagra Luzzatto, 2001. v. 1. 324p .

  • MENEZES, P. F. Blauth . Linguagens Formais e Autômatos. 3. ed. Porto Alegre: Editora Sagra Luzzatto, 2000. v. 1. 165p .

  • MENEZES, P. F. Blauth . Linguagens Formais e Autômatos -Versão para WWW. 1. ed. Porto Alegre: II/UFRGS, 2000.

  • DIVERIO, T. A. ; MENEZES, P. F. Blauth . Teoria da Computação: máquinas universais e computabilidade. 1. ed. Porto Alegre: Editora Sagra Luzzatto, 1999. v. 1. 205p .

  • MENEZES, P. F. Blauth . Linguagens Formais e Autômatos. 2. ed. Porto Alegre: Editora Sagra Luzzatto, 1998. v. 1. 165p .

  • MENEZES, P. F. Blauth . Linguagens Formais e Autômatos. 1. ed. Porto Alegre: Editora Sagra Luzzatto, 1997. v. 1. 168p .

  • CAMPANI, C. A. P. ; MENEZES, P. F. Blauth . Introdução à Complexidade de Kolmogorov. In: Mattos, Júlio C. B.; Rosa Jr, Leomar S.; Pilla, Maurício L.. (Org.). Desafios e Avanços em Computação: O Estado da Arte.. Pelotas: Editora e Grafica Universitária-UFPel, 2009, v. , p. 33-65.

  • DIVERIO, T. A. ; MENEZES, P. F. Blauth . Teoria da Computação e os Profissionais da Área de Computação. In: Luciana Porcher Nedel. (Org.). IX Escola Regional de Informática. Porto Alegre: SBC, 2001, v. 1, p. 199-232.

  • MENEZES, P. F. Blauth ; WEBER, R. F. ; HAEUSLER, Edward Hermann ; MELO, A. C. V. ; CAMARGO, M. S. . Proposta de Plano Pedagógico para Cursos de Ciência da Computação. In: Daltro José Nunes. (Org.). III Curso de Qualidade de Cursos de Graduação da Área de Computação e Informática: edição revisada. 1ed.Fortaleza: SBC, 2001, v. 1, p. 365-421.

  • ALVARES, L. O. ; MENEZES, P. F. Blauth ; DEMAZEAU, Y. . Problem Decomposition: an essential step for multi-agent systems. In: George E. Lasker. (Org.). Advances in Artificial Intelligence and Engineering Cybernetics. Baden-Baden: IIAS, 1999, v. 5, p. 22-26.

  • MENEZES, P. F. Blauth ; RIBEIRO, L. . A Graph Transformation Framework for Concurrent Systems. In: George E. Lasker; Timothy K. Shih. (Org.). Advances in Computer Cybernetics. Baden-Baden: IIAS, 1998, v. 4, p. 85-89.

  • MENEZES, P. F. Blauth . Introdução À Teoria das Categorias na Ciência da Computação. In: UFPEL. (Org.). I Escola sobre Métodos Formais para a Qualidade de Software. Pelotas: UFPEL, 1997, v. , p. -.

  • MENEZES, P. F. Blauth ; COSTA, J. F. . Systems for System Implementation. In: George E. Lasker; Daniel Dubois; B. Teiling. (Org.). Advances in Modeling of Anticipative Systems. Baden-Baden: IIAS, 1996, v. , p. 84-88.

  • DENARDI, Rúbia Medianeira ; MENEZES, P. F. Blauth ; COSTA, Antônio Carlos da Rocha . An Animator of Gestures Applied to the Sign Languages. In: Second Workshop on the Representation and Processing of Sign Languages, 2006, Gênova. Second Workshop on the Representation and Processing of Sign Languages, 2006.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, Paulo Fernando Blauth ; MENEZES, P. F. Blauth . Defining Atomic Composition for UML Behavioral Diagrams. In: SBLP'2006: X Simpósio Brasileiro de Linguagens de Programação, 2006, Itatiaia. Anais do X Simpósio Brasileiro de Linguagens de Programação. Itatiaia: IME, UFMG, 2006. v. 1. p. 277-290.

  • LIMA, Graciela Cristina Bernardes ; ZANELLA, Renata ; MENEZES, P. F. Blauth . O ambiente de autoria do AdaptHA [recurso eletrônico]. In: Simposio Brasileiro de Informatica na Educacao, 2006, Brasilia. informatica e educação na construção da cidadania. Brasilia: Sociedade Brasileira de Computação, 2006. v. 1. p. 1-1.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, Paulo Blauth ; MENEZES, P. F. Blauth . Composing Transitions Into Transactions in UML Diagrams. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory EUROCAST'2005. Berlin: Springer-Verlag, 2005. v. 3643. p. 50-55.

  • VIEIRA, Rodrigo Born ; MENEZES, P. F. Blauth . Computational Simulation of Categorical Constructions. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory EUROCAST'2005. Berlin: Springer-Verlag, 2005. v. 3643. p. 44-49.

  • LEAL, Liara Aparecida dos Santos ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira ; MENEZES, P. F. Blauth . Aproximation Problems Categories. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory EUROCAST'2005. Berlin: Springer-Verlag, 2005. v. 3643. p. 9-14.

  • ROGGIA, Karina Girardi ; HOFF, Marnes Augusto ; MENEZES, P. F. Blauth . Computation of Partial Automata through Span Composition. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory EUROCAST'2005. Berlin: Springer-Verlag, 2005. v. 3643. p. 15-20.

  • LIMA, Graciela Cristina Bernardes ; ZANELLA, Renata ; MENEZES, P. F. Blauth . AdaptHA: Ambiente de Ensino Adaptativo na Web Baseado no Modelo Hyper-Automaton. In: SBIE'2005: XVI Simpósio Brasileiro de Informática na Educação, 2005, Juiz de Fora. Anais do XVI Simpósio Brasileiro de Informática na Educação. Porto Alegre: SBC, 2005. v. 1. p. 1-7.

  • FUZITAKI, Cláudio Naoto ; MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira . A Protocol Checker for Nautilus Language. In: PDPTA'2004: International Conference on Parallel and Distributed Processing Techniques and Applications, 2004, Las Vegas. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Las Vegas: CSREA Press, 2004. v. 3. p. 1336-1341.

  • CAMPANI, Carlos Antônio Pereira ; MENEZES, P. F. Blauth . On the Application of Kolmogorov Complexity to the Characterization and Evaluation of Computational Models and Complex Systems. In: CISST'2004: International Conference on Imaging Science, Systems and Technology, 2004, Las Vegas. Proceedings of the International Conference on Imaging Science, Systems and Technology. Las Vegas: CSREA Press, 2004. v. 1. p. 63-68.

  • MARTINS, José Diego Ferreira ; NEDEL, Luciana Porcher ; MENEZES, P. F. Blauth ; ACCORSI, Fernando . An Automata-based Animation Engine to Control Articulated Characters. In: SVR'2004: VII Simposium on Virtual Reality, 2004, São Paulo. SBC Symposium on Virtual Reality. São Paulo: SBC, 2004. v. 1. p. 315-326.

  • LIMA, Graciela Cristina Bernardes ; MENEZES, P. F. Blauth ; ZANELLA, Renata ; MACHADO, Júlio Henrique Araújo Pereira . Ambiente para Disponibilização de Cursos na Web Utilizando Autômatos Finitos com Saída. In: SBIE'2004: XV Simpósio Brasileiro de Informática na Educação, 2004, Manaus. SBIE 2004 - Diversidade e Integração: desafios para a telemática na educação. Manaus: EDUA, 2004. v. 1. p. 551-558.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, Paulo Blauth ; MENEZES, P. F. Blauth . Modeling Transactions in UML Activity Diagrams via Nonsequential Automata. In: CLEI'2004: XXX Conferencia Latinoamericana de Informática, 2004, Arequipa. Actas de la XXX Conferencia Latinoamericana de Informática CLEI 2004. Peru: Sociedad Peruana de Computación, 2004. v. 1. p. 543-553.

  • GRANDI, Roges Horácio ; MENEZES, P. F. Blauth . Hiper-Animações - Teoria Hipermídia Aplicada em Animações. In: ICECE'2003: International Conference on Engineering and Computer Education, 2003, Santos. Santos, 2003.

  • LEAL, Liara Aparecida dos Santos ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira ; MENEZES, P. F. Blauth . A Categorical Approach to NP-Hard Optimization Problems. In: EUROCAST'2003: 9th International Conference on Computer Aided Systems Theory and Technology, 2003, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory EUROCAST'2003. Berlim: Springer-Verlag, 2003. v. 2809. p. 26-28.

  • GRANDI, Roges Horácio ; COSTALONGA, Leandro Lesqueves ; VICCARI, R. M. ; MENEZES, P. F. Blauth . Utilização do Ambiente Astrha para Implementar um Dicionário de Acordes Baseado em Autômatos Finitos. In: SBCM'2003: IX Simpósio Brasileiro de Computação Musical, 2003, Campinas. Anais do XXIII Congresso da Sociedade Brasileira de Computação. Campinas: SBC, 2003. v. 9. p. 203-208.

  • GRANDI, Roges Horácio ; MENEZES, P. F. Blauth . Astrha/E - Ambiente Java/XML que Implementa em Hiper-Animações estruturadas por Máquinas de Mealy. In: WSL'2003: IV Workshop sobre Software Livre, 2003, Porto Alegre. Anais do IV Workshop sobre Software Livre. Porto Alegre: SBC, 2003. p. 83-86.

  • CAMPANI, Carlos Antônio Pereira ; MENEZES, P. F. Blauth . Evaluating Computer Animation Models with Lossy Data Compression Using Kolmogorov Complexity. In: CISST'2003: International Conference on Imaging Science, Systems and Technology, 2003, Las Vegas. Proceedings of the 2003 International Conference on Imaging Science, Systems, and Technology. Las Vegas: CSREA Press, 2003. v. 2. p. 721-725.

  • SEGANFREDO, Eduardo Fabrizio ; GATTO, Rodrigo ; FUZITAKI, Cláudio Naoto ; MENEZES, P. F. Blauth ; NUNES, Daltro José . An Outline to a Diagrammatic Nautilus Environment. In: PDPTA'2003: International Conference on Parallel and Distributed Processing Techniques and Applications, 2003, Las Vegas. Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications. Las Vegas: CSREA Press, 2003. v. 4. p. 1726-1731.

  • FUZITAKI, Cláudio Naoto ; MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira ; COSTA, Simone André da . Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. In: EUROCAST'2003: 9th International Conference on Computer Aided Systems Theory and Technology, 2003, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory EUROCAST'2003. Berlim: Springer-Verlag, 2003. v. 2809. p. 240-242.

  • MENEZES, P. F. Blauth ; COSTA, Simone André da ; MACHADO, Júlio Henrique Araújo Pereira ; RAMOS, J. . Nautilus: a concurrent anticipatory programming language. In: CASYS'2001: 5th International Conference on Computing Anticipatory Systems, 2002, Liège. AIP Conference Proceedings. Melville: American Institute of Physics, 2001. v. 627. p. 553-564.

  • MACHADO, C. C. ; MENEZES, P. F. Blauth . Definição e Aplicação de Regras para a Elaboração Adequada de Documentos XML para o Sistema eXtensible Hyper-Automaton: Revisão de Conceitos. In: STD'2002: International Symposium on Document Technologies, 2002, São Paulo. Proceeding of the International Symposium on Document Technologies. São Paulo: Instituto de Tecnologia de Software, 2002. v. 1. p. 83-91.

  • D'ANDREA, Fernando ; MENEZES, P. F. Blauth ; FUZITAKI, Cláudio Naoto ; MACHADO, Júlio Henrique Araújo Pereira ; COSTA, Simone André da . Nautilus, a Diagrammatic Specification and Programming Language. In: PDCS'2002: 14th International Conference on Parallel and Distributed Computing and Systems, 2002, Cambridge. Proceedings of the 14th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'2002). Anaheim: ACTA Press, 2002. v. 1. p. 386-391.

  • MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira ; COSTA, Simone André da . Explicit and Implicit Nondeterministic Refinement for Concurrent, Interacting Systems. In: PDPTA'2002: International Conference on Parallel and Distributed Processing Techniques and Applications, 2002, Las Vegas. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Las Vegas: CSREA, 2002. v. 1. p. 1-6.

  • CAMPANI, Carlos Antônio Pereira ; MENEZES, P. F. Blauth . Complexidade de Kolmogorov e Caracterização da Hierarquia de Classes de Linguagens Formais: uma introdução. In: WMF'2002: V Workshop de Métodos Formais, 2002, Gramado. Proceedings of the 5th Workshop on Formal Methods. Porto Alegre: Instituto de Informática da UFRGS, 2002. v. 1. p. 68-83.

  • CAMPANI, Carlos Antônio Pereira ; MENEZES, P. F. Blauth . Aplicação da Complexidade de Kolmogorov na Caracterização e Avaliação de Modelos Computacionais e Sistemas Complexos. In: WMF'2002: V Workshop de Métodos Formais, 2002, Gramado. Proceedings of the 5th Workshop on Formal Methods. Porto Alegre: Instituto de Informática da UFRGS, 2002. v. 1. p. 100-112.

  • CARNEIRO, C. R. J. B. ; MENEZES, P. F. Blauth . Linguagem NÁUTILUS e seus aspectos de concorrência. In: Semana de Informática da UFPA, 2002, Belém. Semana de Informática da UFPA, Anais. Belém : Editora Universitária UFPA, 2002.. Belém: Universitária UFPA, 2002. v. 7. p. 233-251.

  • MENEZES, P. F. Blauth ; WEBER, R. F. ; HAEUSLER, Edward Hermann ; MELO, A. C. V. ; CAMARGO, M. S. . Proposta de Plano Pedagógico para Cursos de Ciência da Computação. In: III Curso de Qualidade de Cursos de Graduação da Área de Computação e Informática, 2001, Fortaleza. Anais do III Curso de Qualidade 2001: planos pedagógicos de cursos na área de computação e informática. Fortaleza: SBC, 2001. v. 1. p. 335-392.

  • MACHADO, C. C. ; FEDERIZZI, G. L. ; MENEZES, P. F. Blauth . Flexibility and Adequacy of the Output's Layout of the Content Displayed in The Hyper-Automaton System. In: IC'2001: 2nd International Conference on Internet Computing, 2001, Las Vegas. 2nd International Conference on Internet Computing. Las Vegas: CSREA Press, 2001. v. 1. p. 424-430.

  • MACHADO, C. C. ; FEDERIZZI, G. L. ; MENEZES, P. F. Blauth . Definition and Application of Rules for the Adequate Designing of XML Documents for the Hyper-Automaton System. In: QPMIDS'2001: 5th International Workshop on Query Processing and Multimedia Issues in Distributed Systems, 2001, Munique. DEXA Workshops - 12th International Workshop on Database and Expert Systems Applications (DEXA2001). Los Alamitos: IEEE Computer Society, 2001. v. 1. p. 843-847.

  • ACCORSI, Fernando ; MENEZES, P. F. Blauth ; NEDEL, Luciana Porcher . Animacão Gráfica Baseada em Autômatos Temporizados Sincronizados. In: WMF'2001: IV Workshop de Métodos Formais, 2001, Rio de Janeiro. Anais do IV Workshop de Métodos Formais. Rio de Janeiro: SBC, 2001. v. 1. p. 75-80.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth . Hyper-Automaton: hipertextos e cursos na web usando autômatos finitos com saída. In: CTD'2001: XIV Workshop de Teses e Dissertações, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação. Fortaleza: SBC, 2001. v. 1. p. 100-106.

  • MACHADO, Júlio Henrique Araújo Pereira ; NOTARE, M. R. ; COSTA, Simone André da ; DIVERIO, T. A. ; MENEZES, P. F. Blauth . Hyper-Automaton System Applied to Geometry Demonstration Environment. In: EUROCAST'2001: 8th International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory - EUROCAST 2001. Berlin: Springer-Verlag, 2001. v. 2178. p. 457-468.

  • CAMPANI, Carlos Antônio Pereira ; MENEZES, P. F. Blauth . Characterizing the Software Development Process : a new approach based on Kolmogorov Complexity. In: EUROCAST'2001: 8th International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory - EUROCAST 2001. Berlin: Springer-Verlag, 2001. v. 2178. p. 242-256.

  • LEAL, Liara Aparecida dos Santos ; MENEZES, P. F. Blauth ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira . Optimization Problems Categories. In: EUROCAST'2001: 8th International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory - EUROCAST 2001. Berlin: Springer-Verlag, 2001. v. 2178. p. 285-299.

  • FERNANDES, C. S. ; MENEZES, P. F. Blauth . Metodologia do Ensino de Ciência da Computação: uma proposta para crianças. In: WIE'2001: VII Workshop sobre Informática na Escola, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação. Fortaleza: SBC, 2001. v. 1. p. 120-130.

  • MORAIS, C. T. Q. ; MENEZES, P. F. Blauth ; REIS, R. . Modeling for Automatic Generation of Exercises and Evaluations. In: ICECE'2000: International Conference on Engineering and Computer Education, 2000, São Paulo. Cooperative Network for Engineering and Computer Education Development : proceedings. São Paulo: SENAC/SP, 2000. v. 1. p. 100-105.

  • GRANDI, Roges Horácio ; VICCARI, R. M. ; MENEZES, P. F. Blauth . A Database Structure for Didactic Exercises on Distance Learning Programs Adapted to ISO/IEC 9126 Standard. In: ICECE'2000: International Conference on Engineering and Computer Education, 2000, São Paulo. Cooperative Network for Engineering and Computer Education Development : proceedings. São Paulo: SENAC/SP, 2000. v. 1. p. 90-95.

  • MENEZES, P. F. Blauth ; TOSCANI, Laira Vieira ; DIVERIO, T. A. ; RIBEIRO, L. ; ZENI, L. C. ; SIECZKOWSKI, M. M. . Uma Proposta de Plano Pedagógico para a Matéria de Matemática. In: II Curso de Qualidade de Cursos de Graduação da Área de Computação e Informática, 2000, Curitiba. Anais do II Curso deQualidade de Cursos de Graduação da Área de Computação e Informática. Curitiba: Editora Universitária Champagnat, 2000. p. 65-102.

  • MACHADO, C. C. ; MENEZES, P. F. Blauth . Características e Vantagens na Estruturação de Documentos XML na WWW para EAD. In: I Workshop Informática na Educação, 2000, Passo Fundo. Anais do I Workshop Informática na Educação. Passo Fundo: GEPESE, 2000. p. 99-105.

  • ACCORSI, Fernando ; TOSCANI, Laira Vieira ; MENEZES, P. F. Blauth . Animação Gráfica Baseada na Teoria de Autômatos. In: WMF'2000: III Workshop de Métodos Formais, 2000, João Pessoa. Anais do III Workshop de Métodos Formais. João Pessoa: CEFET/PB, 2000. p. 122-127.

  • LEAL, Liara Aparecida dos Santos ; MENEZES, P. F. Blauth ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira . Categorias dos Problemas de Otimização. In: WMF'2000: III Workshop de Métodos Formais, 2000, João Pessoa. Anais do III Workshop de Métodos Formais. João Pessoa: SBC, 2000. v. 1. p. 104-109.

  • MACHADO, Júlio Henrique Araújo Pereira ; MORAIS, C. T. Q. ; MENEZES, P. F. Blauth ; REIS, R. . Structuring Web Course Pages as Automata: revising concepts. In: RIAO'2000: Recherche d'Informations Assistée par Ordinateur, 2000, Paris. Content-Based Multimedia Information Access: conference proceedings. Paris: C.I.D., C.A.S.I.S., 2000. v. 1. p. 150-159.

  • MORAIS, C. T. Q. ; MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth ; REIS, R. . A Web Teaching System Based on Formal Methods. In: WCC'2000: 16th Ifip World Computer Congress, 2000, Beijing. Proceedings ICEUT, Ifip World Computer Congress. Beijing: PHEI, 2000. v. 1. p. 221-224.

  • MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira . Hyper-Automaton: hypertext framework with categorical operations. In: SBLP'2000: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. Anais do IV Simpósio Brasileiro de Linguagens de Programação. Recife: Centro de Informática da UFPE, 2000. p. 29-47.

  • MACHADO, C. C. ; MACHADO, Júlio Henrique Araújo Pereira ; GRANDI, Roges Horácio ; MENEZES, P. F. Blauth . Utilização do XML no Sistema Hyper-Automaton. In: ISKM/DM'2000: 3rd International Symposium on Knowledge Management/Document Management, 2000, Curitiba. Anais do Simpósio. Curitiba: Editora Universitária Champagnat, 2000. p. 439-455.

  • MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira . Hyper-Automaton: hypertext framework with categorial operations. In: SBLP'2000: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. Electronic Notes In Theoretical Computer Science. Amsterdan: Elsevier, 2000. v. 38.

  • MORAIS, C. T. Q. ; MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth ; REIS, R. . Sistema Hyper-Automaton para Cursos e Avaliações Mediado por Computador Baseado em Autômatos Finitos. In: SBIE'2000: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió. Anais do XI Simpósio Brasileiro de Informática na Educação. Maceió: UFAL, 2000. p. 419-422.

  • EHRIG, H. ; BARDOHL, R. ; TAENTZER, G. ; ERMEL, C. ; SCHLEBBE, H. ; SCHIMPF, S. ; BARDOHL, B. ; NUNES, Daltro José ; RIBEIRO, L. ; MENEZES, P. F. Blauth ; MARTINI, A. R. ; LIMA, C. A. G. ; REIS, R. Q. ; PRETZ, E. ; COPSTEIN, B. ; MORA, M. C. ; DOTTI, F. L. ; CASTRO, P. R. P. . Graphit II: graphical support and integration of formal and semi-formal methods for software specification and development. In: 6th German-Brazilian Workshop on Information Technology, 2000, Recife. Proceedings of the German-Brazilian Workshop on Information Technology, 2000. p. 69-80.

  • FERNANDES, C. S. ; MENEZES, P. F. Blauth ; ACCORSI, Fernando . A Propose of Teaching Computer Science for Children. In: ICECE'2000: International Conference on Engineering and Computer Education, 2000, São Paulo. Cooperative Network for Engineering and Computer Education Development : proceedings. São Paulo: SENAC/SP, 2000. v. 1. p. 110-114.

  • CARNEIRO, C. R. J. B. ; MENEZES, P. F. Blauth ; VEIT, T. ; D'ANDREA, Fernando . Náutilus: its concurrent and distributed characteristics as an academic language. In: PDPTA'99: International Conference on Parallel and Distributed Processing Techniques and Applications, 1999, Las Vegas. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Las Vegas: CSREA, 1999. v. 4. p. 1919-1925.

  • CARNEIRO, C. R. J. B. ; REIS, R. Q. ; MENEZES, P. F. Blauth . Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus. In: SBES'99: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII Simpósio Brasileiro de Engenharia de Software. Florianópolis: SBC, 1999. p. 95-110.

  • CARNEIRO, C. R. J. B. ; REIS, R. Q. ; MENEZES, P. F. Blauth . Processamento Concorrente em Náutilus e em Java. In: SBLP'99: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do III Simpósio Brasileiro de Linguagens de Programação. Porto Alegre: SBC, UFRGS, 1999. p. 155-169.

  • CARNEIRO, C. R. J. B. ; MENEZES, P. F. Blauth . Linguagem Náutilus e seus Aspectos de Concorrência. In: SEMINF'99: VII Semana de Informática da Universidade Federal do Pará, 1999, Belém do Pará. Anais da VII Semana de Informática da Universidade Federal do Pará. Belém do Pará: Editora Universitária UFPA, 1999. v. 1. p. 233-251.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth ; PENCZEK, L. . A System for Web Based Instruction Using Sequential Automata. In: ICECE'99: International Conference on Engineering and Computer Education, 1999, Rio de Janeiro. Technology-based Education and Globalization, 1999. p. 187-191.

  • MACHADO, Júlio Henrique Araújo Pereira ; PENCZEK, L. ; MORAIS, C. T. Q. ; MENEZES, P. F. Blauth . Autômatos Finitos: um formalismo para cursos na web. In: SBES'99: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII Simpósio Brasileiro de Engenharia de Software. Florianópolis: UFSC, 1999. p. 213-223.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth . Modelagem de Cursos na Web Utilizando Sistemas Formais. In: IV Semana Acadêmica do PPGC, 1999, Porto Alegre. Anais da IV Semana Acadêmica do PPGC. Porto Alegre: PPGC da UFRGS, 1999. p. 227-230.

  • MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira . Web Courses are Automata: a categorial framework. In: WMF'99: II Workshop de Métodos Formais, 1999, Florianópolis. II Workshop on Formal Methods. Florianópolis: UFSC, 1999. p. 79-88.

  • MORAIS, C. T. Q. ; MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira . Study of Rooms for the Teaching Mediated by Computers. In: ICECE'99: International Conference on Engineering and Computer Education, 1999, Rio de Janeiro. Technology-based Education and Globalization, 1999. p. 395-398.

  • MORAIS, C. T. Q. ; MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth ; OLIVEIRA, M. N. . Exercícios e Avaliação Interativa Mediada por Computador Baseada em Sistemas Formais. In: SBIE'99: X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba. Anais do X Simpósio Brasileiro de Informática na Educação. Curitiba: UFPR, 1999. p. 349-356.

  • OLIVEIRA, M. N. ; MACHADO, Júlio Henrique Araújo Pereira ; MORAIS, C. T. Q. ; MENEZES, P. F. Blauth . Computer in Classroom: impact on the environment and on the relatioships. In: ICECE'99: International Conference on Engineering and Computer Education, 1999, Rio de Janeiro. Technology-based Education and Globalization, 1999. p. 550-553.

  • COSTA, Simone André da ; MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth . Teoria das Categorias: experiência e proposta de ensino. In: SBIE'99: X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba. Anais do X Simpósio Brasileiro de Informática na Educação. Curitiba: UFPR, 1999. p. 389-391.

  • MENEZES, P. F. Blauth . A Categorial Framework for Concurrent, Anticipatory Systems. In: CASYS'98: 2nd International Conference on Computing Anticipatory Systems, 1999, Liège. AIP Conference Proceedings. Woodbury: American Institute of Physics, 1998. v. 465. p. 185-199.

  • MENEZES, P. F. Blauth . Compositional Reification of Concurrent, Interacting Systems. In: PDPTA'98: International Conference on Parallel and Distributed Processing Techniques and Applications, 1998, Las Vegas. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Las Vegas: CSREA, 1998. v. 4. p. 1754-1761.

  • MENEZES, P. F. Blauth ; NUNES, Daltro José ; DIVERIO, T. A. ; RIBEIRO, L. ; RODRIGUES, V. ; TOSCANI, Laira Vieira . Desenvolvimento da Área Formal da Computação no Instituto de Informática da UFRGS. In: WMF'98: I Workshop de Métodos Formais, 1998, Porto Alegre. Anais do I Workshop de Métodos Formais. Porto Alegre: UFRGS, 1998. p. 1-12.

  • WEBER, T. S. ; WEBER, R. F. ; JANSCH-PORTO, I. ; WAGNER, F. R. ; MENEZES, P. F. Blauth . Uma Experiência com Hiperdocumentos e Internet no Suporte a Disciplinas de Computação. In: WEI'98: VI Workshop sobre Educação em Informática, 1998, Belo Horizonte. Anais do XVIII Congresso Nacional da Sociedade Brasileira de Computação. Belo Horizonte: SBC, 1998. v. 1. p. 531-545.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth . Sistemas de Gerenciamento para o Ensino a Distância. In: ABED'98: V Congresso Internacional de Educação a Distância, 1998, São Paulo. Anais do V Congresso Internacional de Educação a Distância. São Paulo: SENAC, 1998.

  • MENEZES, P. F. Blauth . Diagonal Compositionality of Partial Petri Nets. In: 2nd US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1998, Rio de Janeiro, New Orleans. Electronic Notes in Theoretical Computer Science. Amsterdan: Elsevier, 1997. v. 14.

  • MENEZES, P. F. Blauth ; SERNADAS, A. S. C. ; COSTA, J. F. . Nonsequential Automata Semantics for Concurrent, Object-based Language. In: 2nd US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1998, Rio de Janeiro, New Orleans. Electronic Notes in Theoretical Computer Science. Amsterdan: Elsevier, 1997. v. 14.

  • MENEZES, P. F. Blauth . Teoria das Categorias e Ciencia da Computacao. In: I Workshop sobre Metodos Formais e Qualidade de Software, 1997, Porto Alegre. Anais do I Workshop sobre Metodos Formais e Qualidade de Software. Porto Alegre: UFRGS, 1997. p. 106-115.

  • MENEZES, P. F. Blauth ; SERNADAS, A. S. C. ; COSTA, J. F. . Refinement in a Concurrent Object-Based Language. In: SBLP'96: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do I Simpósio Brasileiro de Linguagens de Programação. Belo Horizonte: SBC, 1996. p. 237-250.

  • MENEZES, P. F. Blauth ; COSTA, J. F. ; SERNADAS, A. S. C. . Refinerment Mapping for General (Discrete Event) System Theory. In: EUROCAST'95: 5th International Conference on Computer Aided Systems Theory and Technology, 1996, Innsbruck. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 1995. v. 1030. p. 103-116.

  • EHRIG, H. ; BARDOHL, R. ; HECKEL, R. ; KORFF, M. ; MARTINI, A. R. ; BARDOHL, B. ; NUNES, Daltro José ; MENEZES, P. F. Blauth ; MARTINS, J. ; GUTHS, R. ; VERA, A. S. C. ; RIBEIRO, L. ; CASTRO, P. . Graphit : graphical support and integration of formal and semi-formal methods for software specification and development. In: 3rd German-Brazilian Workshop on Information Technology, 1996, Julich. Proceedings of the German-Brazilian Workshop on Information Technology. Julich: Forschungzentrum/Zentralbibliothek, 1995. v. 26. p. 23-28.

  • MENEZES, P. F. Blauth . Object Reification. In: IS-CORE'94: International Workshop on Information Systems, Correctness and Reusability, 1994, Amsterdan. International Workshop on Information Systems: working papers. Amsterdan: Vrije Universiteit, 1994. p. 183-197.

  • ROGGIA, Karina Girardi ; HOFF, Marnes Augusto ; MENEZES, P. F. Blauth . Computation of Partial Automata through Span Composition. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas. EUROCAST 2005 Cast and Tools for Robotics, Vehicular and Communication Systems Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2005. v. 1. p. 5-6.

  • VIEIRA, Rodrigo Born ; MENEZES, P. F. Blauth . Computational Simulation of Categorical Constructions. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas. EUROCAST 2005 Cast and Tools for Robotics, Vehicular and Communication Systems Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2005. v. 1. p. 23-24.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, Paulo Fernando Blauth ; MENEZES, P. F. Blauth . Composing Transitions Into Transactions in UML Diagrams. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas de Gran Canaria. EUROCAST 2005 Cast and Tools for Robotics, Vehicular and Communication Systems Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2005. v. 1. p. 25-28.

  • LEAL, Liara Aparecida dos Santos ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira ; MENEZES, P. F. Blauth . Aproximation Problems Categories. In: EUROCAST'2005: 10th International Conference on Computer Aided Systems Theory and Technology, 2005, Las Palmas. EUROCAST 2005 Cast and Tools for Robotics, Vehicular and Communication Systems Extended Abstracts. Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2005. v. 1. p. 3-4.

  • FUZITAKI, Cláudio Naoto ; MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira ; COSTA, Simone André da . Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. In: EUROCAST'2003: 9th International Conference on Computer Aided Systems Theory and Technology, 2003, Las Palmas de Gran Canaria. Cast and Tools for Complexity in Biological, Physical and Engineering Systems: extended abstracts. Las Palmas de Gran Canaria: IUCTC Universidad de Las Palmas de Gran Canaria, 2003. v. 1. p. 240-242.

  • LEAL, Liara Aparecida dos Santos ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira ; MENEZES, P. F. Blauth . Uma abordagem categorial para a complexidade estrutural de problemas de otimização. In: Encontro de Matemática Aplicada e Computacional, SBMAC, 2002, Porto Alegre. Uma abordagem categorial para a complexidade estrutural de problemas de otimização. Porto Alegre: SBMAC - Sociedade Brasileira de Matemática Aplicada e Computacional, 2002. v. 1. p. 101-106.

  • LEAL, Liara Aparecida dos Santos ; MENEZES, P. F. Blauth ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira . Optimization Problems Categories. In: EUROCAST'2001: 8th International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Formal Methods and Tools for Computer Science: extended abstracts. Las Palmas de Gran Canaria: IUCTC, 2001. v. 1. p. 93-96.

  • MACHADO, Júlio Henrique Araújo Pereira ; NOTARE, M. R. ; COSTA, Simone André da ; MENEZES, P. F. Blauth ; DIVERIO, T. A. . Hyper-Automaton System Applied to Geometry Demonstration Environment. In: EUROCAST'2001: 8th International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Formal Methods and Tools for Computer Science : extended abstracts. Las Palmas de Gran Canaria: IUCTC, 2001. v. 1. p. 136-139.

  • CAMPANI, Carlos Antônio Pereira ; MENEZES, P. F. Blauth . Characterizing the Software Development Process : a new approach based on Kolmogorov Complexity. In: EUROCAST'2001: 8th International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Formal Methods and Tools for Computer Science : extended abstracts. Las Palmas de Gran Canaria: IUCTC, 2001. v. 1. p. 78-81.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, Paulo Blauth ; MENEZES, P. F. Blauth . Modeling Transactions in UML Activity Diagrams via Nonsequential Automata. In: CLEI'2004: XXX Conferencia Latinoamericana de Informática, 2004, Arequipa. Resúmenes de XXX Conferencia Latinoamericana de Informática CLEI 2004. Peru: Sociedad Peruana de Computación, 2004. v. 1. p. 69-69.

  • HOFF, Marnes Augusto ; ROGGIA, Karina Girardi ; MENEZES, P. F. Blauth . Composition of Transformations: a Framework for Systems with Dynamic Topology. In: CASYS'2003: 6th International Conference on Computing Anticipatory Systems, 2003, Liège. Computing Anticipatory Systems: abstract book. Liège: CHAOS asbl, 2003. v. 1. p. 10-10.

  • MENEZES, P. F. Blauth ; ROGGIA, Karina Girardi ; MACHADO, Júlio Henrique Araújo Pereira . Hierarquia de Modelos para Concorrência. In: WMF'2002: V Workshop de Métodos Formais, 2002, Gramado. Proceedings of the 5th Workshop on Formal Methods. Porto Alegre: Instituto de Informática da UFRGS, 2002. v. 1. p. 3-3.

  • FERNANDES, C. S. ; MENEZES, P. F. Blauth . Computer Science for Children. In: SITE'2001: 12th International Society for Information Technology and Teacher Education Conference, 2001, Orlando. SITE 2001 Proceedings. Orlando: AACE, 2001. v. 1. p. 90-92.

  • FERNANDES, C. S. ; MENEZES, P. F. Blauth . Metodologia do Ensino de Ciência da Computação: uma proposta para crianças. In: WIE'2001: VII Workshop sobre Informática na Escola, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação. Fortaleza: SBC, 2001. v. 1. p. 89-89.

  • LEAL, Liara Aparecida dos Santos ; MENEZES, P. F. Blauth ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira . Modelling the Approximation Hierarchy to Optimisation Problems Through Category Theory. In: CASYS'2001: 5th International Conference on Computing Anticipatory Systems, 2001, Liège. Computing Anticipatory Systems: abstract book. Liège: CHAOS asbl, 2001. v. 1. p. 8-8.

  • NOTARE, M. R. ; MACHADO, Júlio Henrique Araújo Pereira ; DIVERIO, T. A. ; MENEZES, P. F. Blauth . Knowledge Anticipation on Agents Relationship in the Geometry Proof System. In: CASYS'2001: 5th International Conference on Computing Anticipatory Systems, 2001, Liège. Computing Anticipatory Systems : abstract book. Liège: CHAOS asbl, 2001. v. 1. p. 3-3.

  • MENEZES, P. F. Blauth ; COSTA, Simone André da ; MACHADO, Júlio Henrique Araújo Pereira ; RAMOS, J. . Nautilus: a concurrent anticipatory programming language. In: CASYS'2001: 5th International Conference on Computing Anticipatory Systems, 2001, Liège. Computing Anticipatory Systems : abstract book. Liège: CHAOS asbl, 2001. v. 1. p. 15-16.

  • MACHADO, Júlio Henrique Araújo Pereira ; MENEZES, P. F. Blauth . Hyper-Automaton: hipertextos e cursos na web usando autômatos finitos com saída. In: CTD'2001: XIV Workshop de Teses e Dissertações, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação. Fortaleza: SBC, 2001. v. 1. p. 122-122.

  • LEAL, Liara Aparecida dos Santos ; CLÁUDIO, Dalcídio Moraes ; TOSCANI, Laira Vieira ; MENEZES, P. F. Blauth . Estudo da hierarquia de aproximação para problemas de otimização através da Teoria das Categorias. In: Congresso Nacional de Matemática Aplicada e Computacional, 2001, Belo horizonte. Estudo da hierarquia de aproximação para problemas de otimização através da Teoria das Categorias. Belo horizonte: Congresso Nacional de Matemática Aplicada e Computacional, 2001. v. 1. p. 157-157.

  • MENEZES, P. F. Blauth ; MACHADO, Júlio Henrique Araújo Pereira . Adaptive Web Courses: a categorial framework. In: CASYS'2000: 4th International Conference on Computing Anticipatory Systems, 2000, Liège. Computing Anticipatory Systems : abstract book. Liège: CHAOS asbl, 2000. p. 10-10.

  • MENEZES, P. F. Blauth . Duo-Internal Labeled Graphs with Distinguished Nodes: a categorial framework for graph based anticipatory systems. In: CASYS'99: 3rd International Conference on Computing Anticipatory Systems, 1999, Liège. Computing Anticipatory Systems: abstract book. Liège: CHAOS asbl, 1999. p. 5-8.

  • CARNEIRO, C. R. J. B. ; AGUIAR, M. S. ; ACCORSI, R. ; MENEZES, P. F. Blauth . Náutilus: uma linguagem baseada em objetos com semântica categorial. In: CNMAC'98: XXI Congresso Nacional de Matemática Aplicada e Computacional, 1998, Caxambu. Congresso Nacional de Matemática Aplicada e Computacional: resumo das comunicações. Caxambu: SBMAC, 1998. p. 56.

  • MENEZES, P. F. Blauth . A Categorial Framework for Concurrent, Anticipatory Systems. In: CASYS'98: 2nd International Conference on Computing Anticipatory Systems, 1998, Liège. Computing Anticipatory Systems : abstract book. Liège: CHAOS asbl, 1998. p. 3.

  • MENEZES, P. F. Blauth ; SERNADAS, A. S. C. ; COSTA, J. F. . Nonsequential Automata Semantics for a Concurrent, Object-Based Language. In: Workshop on Proof Theory of Concurrent Object-Oriented Programming, 1996, Linz. ECOOP'96 - 10th European Conference on Object-Oriented Programming. Linz, 1996.

  • MENEZES, P. F. Blauth ; NUNES, Daltro José ; DIVERIO, T. A. ; RIBEIRO, L. ; TOSCANI, Laira Vieira ; RODRIGUES, V. . Mathematical Methods in the Computing Insitute of UFRGS. 1999. (Apresentação de Trabalho/Conferência ou palestra).

  • MENEZES, P. F. Blauth ; NUNES, Daltro José ; DIVERIO, T. A. ; RIBEIRO, L. ; TOSCANI, Laira Vieira ; RODRIGUES, V. . Mathematical Methods in the Computing Institute of UFRGS. 1999. (Apresentação de Trabalho/Conferência ou palestra).

  • MENEZES, P. F. Blauth . Vertical Composition of Systems. 1994. (Apresentação de Trabalho/Simpósio).

Outras produções

MACHADO, Júlio Henrique Araújo Pereira ; PENCZEK, L. ; MENEZES, P. F. Blauth . Hyper-Automaton. 2000.

MENEZES, P. F. Blauth . Electronic Journal on Mathematics of Computation. 2004.

MENEZES, P. F. Blauth . Série Livros Didáticos do Instituto de Informática da UFRGS. 2004. (Editoração/Livro).

MENEZES, P. F. Blauth ; HAEUSLER, Edward Hermann . Teoria das Categorias e Ciência da Computação. 2000. (Desenvolvimento de material didático ou instrucional - Apostila de aula).

MENEZES, P. F. Blauth . Teoria das Categorias e Ciência da Computação. 1998. (Desenvolvimento de material didático ou instrucional - Apostila de aula).

DIVERIO, T. A. ; MENEZES, P. F. Blauth . Introdução à Teoria da Computação. 1998. (Desenvolvimento de material didático ou instrucional - Apostila de aula).

MENEZES, P. F. Blauth . Diagonal Compositionality of Concurrent, Finite State Systems. 1996. (Relatório Técnico).

MENEZES, P. F. Blauth . Compositional Reification of Petri Nets through Graph Transformation. 1994. (Relatório Técnico).

MENEZES, P. F. Blauth ; COSTA, J. F. . Process Interaction versus Action Refinement. 1992. (Relatório Técnico).

MENEZES, P. F. Blauth . Teoria das Linguagens Formais. 1991. (Desenvolvimento de material didático ou instrucional - Apostila de aula).

MENEZES, P. F. Blauth . Teoria da Computação. 1990. (Desenvolvimento de material didático ou instrucional - Apostila de aula).

MENEZES, P. F. Blauth . Brazilian Eletronic Journal on Mathematics of Computation. 2000 (Editoração de Periódicos) .

MENEZES, P. F. Blauth . International Journal of Computing Anticipatory Systems / CHAOS. 1999 (Editoração de Periódicos) .

Prêmios

1998

Best Paper Award, CHAOS - Center for Hyperincursion and Anticipation in Ordered Systems / IFSR.

Histórico profissional

Endereço profissional

  • Universidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Teórica. , Av. Bento Gonçalves 9500. Campus do Vale - Bloco IV., Agronomia, 91501-970 - Porto Alegre, RS - Brasil - Caixa-postal: 15064, Telefone: (51) 33086716, Fax: (51) 33167308

Experiência profissional

2000 - 2002

Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul

Vínculo: Colaborador, Enquadramento Funcional: Colaborador, Carga horária: 5

Atividades

  • 10/2000 - 04/2002

    Conselhos, Comissões e Consultoria, Comitê Assessor, Matemática Estatística e Computação.,Cargo ou função, Membro de comitê assessor.

1984 - 1989

Ábaco Sistemas de Informação Ltda

Vínculo: Sócio, Enquadramento Funcional: Diretor, Carga horária: 0

Outras informações:
Empresa da Área de Automação Industrial, tendo sido líder no mercado brasileiro de C. A. T. (Testes Automáticos Assistidos por Computador) sempre com tecnologia própria. A Ábaco desenvolveu dezenas de produtos pioneiros no Brasil, sendo alguns reproduzidos em série. Fabricou e instalou mais de 1000 equipamentos, com valor unitário variando de US$ 300 a US$ 500000. Alguns clientes: IBM, Pirelli, Equitel, Ford, SUR, Multitel, Philco, NEC, Governo do Estado do Maranhão.

Atividades

  • 01/1984 - 12/1988

    Direção e administração, .,Cargo ou função, Diretor.

1980 - 1982

Eletrônica Digital S A

Vínculo: Outro, Enquadramento Funcional: Engenheiro de Software, Carga horária: 0

1979 - 1980

Projeto e Processamento de Sistemas S A

Vínculo: Outro, Enquadramento Funcional: Analista de Sistemas, Carga horária: 0

1976 - 1979

Universidade Federal do Rio Grande do Sul

Vínculo: Outro, Enquadramento Funcional: Programador e Analista de Sistemas, Carga horária: 0

Atividades

  • Ensino, Computação, Nível: Pós-Graduação,Disciplinas ministradas, Teoria das Categorias, Teoria da Computação Distribuída, Linguagens Formais e Autômatos, Teoria da Computação

  • Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa

  • - 04/2000

    Direção e administração, Instituto de Informática, Departamento de Informática Teórica.,Cargo ou função, Chefe de Departamento.

  • Ensino, Tecnólogo em Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Autômatos, Teoria das Categorias, Teoria da Computação Distribuída, Teoria da Computação, Compiladores, Sistemas Operacionais, Estruturas de Dados, Algoritmos, Complexidade de Algoritmos, Programação, Técnicas de Programação

1975 - 1976

Governo do Estado do Rio Grande do Sul

Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 0

Outras informações:
Grupo Escolar Luciana de Abreu

Criando um monitoramento

Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Paulo Fernando Blauth Menezes e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário

Para criar um monitoramento é preciso estar cadastrado

continuar

15 segundos

para se cadastrar

+ de 900 mil

usuários cadastrados

Criando um monitoramento

Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário

Para criar um monitoramento é preciso estar cadastrado

continuar

15 segundos

para se cadastrar

+ de 900 mil

usuários cadastrados

Confirma a exclusão?