Paulo Augusto Silva Veloso

Possui graduação em Engenharia de Eletrônica pelo Instituto Tecnológico de Aeronáutica (1968), mestrado em Engenharia Elétrica (Sistemas) pela Universidade Federal do Rio de Janeiro (1970), mestrado em Mathematics (Logic) - University of California (1974), e doutorado em Electrical Engineering & Computer Science - University of California (1975). Atualmente é professor titular da Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: lógica, construcao de especificacao, álgebra relacional, raciocínio qualitativo e especificações lógicas. Tem bolsa de pesquisador nível 1 do CNPq desde 1992 (1A até 2015, 1B em seguida). Recebeu o Prêmio Almte. Álvaro Alberto para Ciência e Tecnologia: Área de Informática - 1993.

Informações coletadas do Lattes em 30/08/2025

Acadêmico

Formação acadêmica

Doutorado em Electrical Engineering & Computer Science

1971 - 1975

University of California System, UC System
Título: Networks of finite-state machines
Orientador: Arthur Gill
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Automatos Finitos; Linguagens Regulares; Redes de Automatos; Decomposicao de Automatos; Familias de Linguagens.Grande área: Ciências Exatas e da Terra

Mestrado em Mathematics (Logic)

1973 - 1974

University of California System, UC System
Título: The history of an error in the theory of algebras of relations,Ano de Obtenção: 1974
Orientador: Leon A. Henkin
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Álgebra relacional; Lógica; Representacao; Teoria de Modelos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.

Mestrado em Engenharia Elétrica (Sistemas)

1969 - 1970

Universidade Federal do Rio de Janeiro
Título: Decomposição algébrica de sistemas causais aditivos e multilineares,Ano de Obtenção: 1970
Orientador: Lawrence Kerschberg
Bolsista do(a): COPPE, Univ. Fed. Rio de Janeiro, COPPE-UFRJ, Brasil. Palavras-chave: Decomposicao de Sistemas; Espaco de Estados; Teoria de Sistemas.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.

Graduação em Engenharia de Eletrônica

1964 - 1968

Instituto Tecnológico de Aeronáutica
Título: Viabilidade de estudos literários via computador: estatística e estilo
Orientador: Luiz G. Rios e Jair C. Melo
Bolsista do(a): Inst. Tecnológico de Aeronáutica, ITA, Brasil.

Formação complementar

2006 - 2009

Avançado. (Carga horária: 300h). , Alliance Française, AF, Brasil.

Idiomas

Inglês

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

Espanhol

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

Italiano

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Francês

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

Alemão

Compreende Razoavelmente, Fala Razoavelmente, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica Matemática.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Teoria de Sistemas.

Organização de eventos

CHATEAUBRIAND, O. ; PEREIRA, L. C. P. ; HAEUSLER, E. H. ; VIANA, J. P. ; Renata de Freitas ; VELOSO, S. R. M. ; VELOSO, P. A. S. . XVII Encontro Brasileiro de Lógica. 2014. (Congresso).

PEREIRA, L. C. P. D. ; VIANA, J. P. ; FREITAS, R. P. ; HAEUSLER, E. H. ; VELOSO, S. R. M. ; CHATEAUBRIAND, O. ; VELOSO, PAULO A.S. . XVI Encontro Brasileiro de Lógica. 2011. (Congresso).

VELOSO, P. A. S. ; SIMON, I. ; KOWALTOWSKI, T. ; CASANOVA, M. A. . III Escola Brasileira de Computação. 1981. (Congresso).

SIMON, I. ; KOWALTOWSKI, T. ; VELOSO, P. A. S. . I Escola Brasileira de Computação. 1979. (Congresso).

Participação em eventos

3rd Congress of the Association for the Philosophy of Mathematical Practice. 2015. (Congresso).

Computing, Logic and Types.On problems, solutions and problem-solving methods. 2015. (Simpósio).

XIX Coloóquio ConeSul de Filosofia das Ciências Formais: Filosofia da Geometria.Relation Calculus and Geometry: some aspects. 2015. (Simpósio).

Logic Colloquium: Logic, Algebra and Truth Degrees. On a graph calculus approach to modalities. 2014. (Congresso).

LSFA2014: 9th Wrkshp Logical and Semantic Frameworks, with Apllications.Sessão Calculi for Computation. 2014. (Encontro).

Seminário de Quantificação.Sobre ?geralmente? e ?raramente?: aspectos de uma teoria. 2014. (Seminário).

XVII Brazilian Logic Conference.Graph Approach to Modal Logics. 2014. (Simpósio).

XVIII Colóquio Conesul de Filosofia das Ciências Formais.Dedução Natural em Forma e Estrutura. 2014. (Simpósio).

XVII Colóquio Conesul de Filosofia das Ciências Formais.Finito e infinito em conjuntos e categorias. 2013. (Simpósio).

Conf. Transcendental Syntax: conditions of possibility of language. 2012. (Encontro).

Séminaire de Philosophie et Mathématiques, IHPST, Sorbonne.On `generally' and `rarely'. 2012. (Seminário).

Seminário do INRIA (Inst. Nat. Rech. Inform. et Autom.).On graph calculi for relations. 2012. (Seminário).

Sessão especial do LSFA 2012.H., we've got a problem. 2012. (Simpósio).

XVI Colóquio Conesul de Filosofia das Ciências Formais.Conjuntos e Categorias. 2012. (Simpósio).

Int. Conf. Logic, Methodology and Philosophy of Science. On what there must be: existence in Logic and some related riddles. 2011. (Congresso).

Int. Conf. Logic, Methodology and Philosophy of Science. On Piaget-like monoids: monoids for logics. 2011. (Congresso).

TACL 2001: 5 Conf. Topology, Algebra and Categories in Logic. A goal-oriented graph calculus for relations. 2011. (Congresso).

XV Colóquio Conesul de Filosofia das Ciências Formais.Validades existenciais e possibilidades válidas. 2011. (Simpósio).

Colóquio Conesul de Filosofia das Ciências Formais.Sobre o que tem que existir: validades existenciais e outros enigmas. 2009. (Simpósio).

Colóquio Conesul de Filosofia das Ciências Formais.Naturais: indução e recursão. 2009. (Simpósio).

Encontro do projeto PADCT.Validades existenciais e alguns enigmas relacionados. 2009. (Encontro).

Encontro do projeto PADCT.Diagramas de negação: lógica e álgebra.. 2009. (Encontro).

XII Colóquio Conesul de Filosofia das Ciências Formais.Alegrias e tristezas da visualização: estudo de casos da negação. 2008. (Simpósio).

XIV Latin-American Symposium on Mathematical Logic. Graph relational calculi: some aspects. 2008. (Congresso).

X Encontro Cone Sul: Filosofia das Ciências Formais.Modalidades e noções vagas.. 2006. (Encontro).

Participação em bancas

Aluno: Ferreira, Francicleber Martins

MARTINS, A. T. C.;VELOSO, P. A. S.. Modelos minimais e herarquia de expressividade. 2008. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Ceará.

Aluno: Rodrigo de Alvarenga Freire

TAUSK, D. V.; MIRAGLIA, F.; CONIGLIO, M. E.; SILVA, S. G.;PAULO A. S. VELOSO. Teoria das Funções de Primeira Ordem. 2014. Tese (Doutorado em Doutorado em Matemática) - Inst. Matemática e Estatística, Univ. São Paulo.

Aluno: Vasconcelos, David Romero de

VELOSO, P. A. S.HAEUSLER, E. H.BENEVIDES, M. R. F.. Lógicas para jogos. 2007. Tese (Doutorado em Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Víctor Leandro Fernández

CONIGLIO, M. E.;VELOSO, P. A. S.. Fibrilação de lógicas na hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Carlos Antônio Pereira Campani

MENEZES, P. F. B.;VELOSO, P. A. S.. Avaliação de compressão de dados e da qualidade de imagens em modelos de animação gráfica para web: uma nova abordagem baseada em complexidade de Kolmogorov. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Christian Jacques Renteria

HAEUSLER, E. H.VELOSO, P. A. S.. Uma abordagem geral para quantificadores em dedução natural. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Fernando Náufel do Amaral

HAEUSLER, E. H.VELOSO, P. A. S.. 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: Geiza Maria Hamazaki da Silva

HAEUSLER, E. H.VELOSO, P. A. S.. Síntese constructiva de programas em linguagem imperativa usando lógica intuitionista e dedução natural. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Eduardo Nahum Ochs

SALDANHA, N.; SEELY, R. A. G.;VELOSO, P. A. S.. O que é o esqueleto de uma demonstração?. 2003. Tese (Doutorado em Matemática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Renata Pereira de Freitas

VELOSO, S. R. M.BENEVIDES, M. R. F.VELOSO, P. A. S.; FINGER, M.; FRIAS, M.. Lógica modal da bifurcação. 2002. Tese (Doutorado em Eng. de Sistemas e Computação) - COPPE, Univ. Fed. Rio de Janeiro.

Aluno: Isabel Leite Cafezeiro

HAEUSLER, E. H.VELOSO, P. A. S.. Compartilhamento e semântica denotacional. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Alex Vansconcellos Garcia

HAEUSLER, E. H.VELOSO, P. A. S.. Um modelo categórico para traduções entre linguagens de programação. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Juan Eduardo Durán

HAEBERER, A. M.; BERGHAMMER, R.;VELOSO, P. A. S.. Desenvolvimento transformacional de algoritmos para redes baseado em álgebras relacionais. 1999. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Maria Cláudia Cabrini Grácio

CARNIELLI, W. A.;VELOSO, P. A. S.. Lógicas moduladas e raciocínio sob incerteza. 1999. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Regina Célia Moreth Bragança

HAEUSLER, E. H.VELOSO, P. A. S.. Cálculo de seqüentes e dedução natural: relacionamentos e conseqüências. 1999. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Ana Isabel de Azevedo Spinola Dias

HAEUSLER, E. H.VELOSO, P. A. S.. Modelando sistemas reativos através de semi-sheaves. 1999. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Angelo Ernani Maia Ciarlini

FURTADO, A. L.VELOSO, P. A. S.. Geração interativa de enredos. 1999. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Eliana Silva de Almeida

VELOSO, P. A. S.HAEUSLER, E. H.. A lógica dos recursos no formalismo de redes de Petri. 1998. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Giovanni da Silva de Queiroz

d'OTTAVIANO, I. M. L.;VELOSO, P. A. S.. Sobre a dualidade entre intuicionismo e paraconsistência. 1998. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Hércules de Araújo Feitosa

d'OTTAVIANO, I. M. L.;VELOSO, P. A. S.. Traduções conservativas. 1998. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Marcelo Fabián Frias

HAEBERER, A. M.; MADDUX, R. D.;VELOSO, P. A. S.. Fork álgebras em Álgebra, Lógica e Computação. 1998. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Marcelo da Silva Corrêa

HAEUSLER, E. H.VELOSO, P. A. S.. Categorias e seqüencialidade. 1997. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Lucília Camarão de Figueiredo

HAEUSLER, E. H.; BIGONHA, R. S.;VELOSO, P. A. S.. Lambda-Ômega-calculus: um modelo para não-determinismo em linguagens reflexivas. 1997. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Aline Maria Santos Andrade

HAEBERER, A. M.HAEUSLER, E. H.VELOSO, P. A. S.. O processo de desenvolvimento de software à luz da visão estruturalista das teorias da ciência natural. 1997. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: José Jesús Pérez Alcázar

FURTADO, A. L.VELOSO, P. A. S.. Respostas cooperativas a consultas baseadas na geração e reconhecimento de planos. 1995. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Arthur Ronald de Vallauris Buchsbaum

PEQUENO, T. H. C.;VELOSO, P. A. S.. Lógicas da inconsistência e da incompletude: semântica e axiomática. 1995. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Ramiro Affonso de Tadeu Guerreiro

CASANOVA, M. A.VELOSO, P. A. S.. Semântica inicial e métodos abstratos de refutação para cláusulas genéricas. 1990. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Edward Hermann Haeusler

PEQUENO, T. H. C.;VELOSO, P. A. S.. Prova automática de teoremas em dedução natural: uma abordagem abstrata. 1990. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Cosme Massi

PEREIRA, L. C. P.VELOSO, P. A. S.. Normalização forte em dedução natural. 1989. Tese (Doutorado em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

Aluno: Sergio de Mello Schneider

RANGEL No., J. L. M.;VELOSO, P. A. S.. Gramáticas e linguagens R*S(k). 1987. Tese (Doutorado em Eng. de Sistemas e Computação) - COPPE, Univ. Fed. Rio de Janeiro.

Aluno: Paulo Rogério FoinaSistema formal para

CARVALHO, R. L.;VELOSO, P. A. S.. Sistema formal para especificação de arquiteturas de computadores. 1985. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Ilka Dias de Castro

CARVALHO, R. L.;VELOSO, P. A. S.. Uma caracterização uniforme para representação de sistemas formais: lógica subjacente à teoria da computação. 1984. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Margarida Maria Berreta Pion

CASANOVA, M. A.VELOSO, P. A. S.. O problema de decisão da lógica temporal estendida. 1984. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Amadeo Peter Hiller

COSTA, N. C. A.;VELOSO, P. A. S.. Sistemas auto-referentes e o paradoxo de Russell. 1982. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: JOSE MAURO VOLKMER DE CASTILHO

FURTADO, A. L.VELOSO, P. A. S.. Especificações formais para o projeto de aplicações de bancos de dados. 1982. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Tarcisio Haroldo Cavalcanti Pequeno

LUCENA, C. J. P.VELOSO, P. A. S.. Uma descrição formal dos processos de especificação e implementação de tipos abstratos de dados. 1981. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Roosevelt José Dias

BATTASCHARYYA, S. P.;VELOSO, P. A. S.. Controlabilidade e observabilidade generalizadas em sistemas lineares multivariáveis. 1980. Tese (Doutorado em Eng. Elétrica) - COPPE, Univ. Fed. Rio de Janeiro.

Aluno: Afonso Celso Del Nero Gomes

VELOSO, P. A. S.; BATTASCHARYYA, S. P.. Caracterização estrutural de sistemas de controle invariantes. 1980. Tese (Doutorado em Eng. Elétrica) - COPPE, Univ. Fed. Rio de Janeiro.

Aluno: Clesio Saraiva dos Santos

FURTADO, A. L.VELOSO, P. A. S.. Caracterização sistemática de restrições de integridade de bancos de dados. 1980. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Atendolfo Angel Pereda Bórquez

VELOSO, P. A. S.; CARVALHO, R. L.. Métodos de descrição de tipos de dados e estruturas de dados. 1979. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Pedro Magalhães Guimarães da Silveira

BATTASCHARYYA, S. P.;VELOSO, P. A. S.. O problema do servomecanismo e o método do espaço de estado no domínio da freqüência. 1975. Tese (Doutorado em Eng. Elétrica) - COPPE, Univ. Fed. Rio de Janeiro.

ABAURRE, M. B. M.; LOPARIC, Z.; FINGER, M.; COSTA, N. C. A.;VELOSO, P. A. S.. Membro externo convidado da banca para Prof. Titular. 2013. Universidade Estadual de Campinas.

VELOSO, P. A. S.; SILVA, J. J.. Membro externo convidado: banca de Professor Titular de Oswaldo Chateaubriand Filho. 2006. Pontifícia Universidade Católica do Rio de Janeiro.

VELOSO, P. A. S.; BICUDO, I.; d'OTTAVIANO, I. M. L.; CARNIELLI, W. A.. Membro externo convidado: concurso para Professor Titular de Jairo José da Silva. 2006. Universidade Estadual Paulista Júlio de Mesquita Filho.

VELOSO, P. A. S.; CARNIELLI, W. A.. Membro externo convidado: concurso para Professor Titular de Francisco Miraglia. 2000. Universidade de São Paulo.

VELOSO, P. A. S.. Membro externo convidado: concurso para Profesor Titular de Walter Alexandre Carnielli. 1996. Universidade Estadual de Campinas.

VELOSO, P. A. S.. Membro externo convidado: concurso para Professor Titular de Luiz Paulo de Alcântara. 1990. Universidade Estadual de Campinas.

SILVA, J. J.;VELOSO, PAULO A.S.; Décio Krause; DORIA, F. A. M. A.; Edélcio G. de Souza. Processo Seletivo para Pesquisador Doutor em Lógica Matemática. 2010. Universidade Estadual de Campinas.

VELOSO, P. A. S.. Membro externo convidado; banca de concurso para Professor Adjunto. 2006. Universidade Federal Fluminense.

VELOSO, P. A. S.. Membro externo convidado: banca de concurso para Professor Adjunto. 2003. Universidade Federal do Rio Grande do Sul.

VELOSO, P. A. S.. Presidente de banca: concurso para Professor Adjunto. 1998. Universidade Federal do Rio de Janeiro.

VELOSO, P. A. S.; MIRAGLIA, F.; CARNIELLI, W. A.. Membro externo convidado: Livre-docência de Marcelo Finger. 2001. Universidade de São Paulo.

VELOSO, P. A. S.. Membro externo convidado: Livre-docência de Francisco Miraglia. 2000. Universidade de São Paulo.

VELOSO, P. A. S.; SIMON, I.. Membro externo convidado: Livre-docência de Routo Terada. 1987. Universidade de São Paulo.

VELOSO, P. A. S.. Membro externo convidado: Livre-docência de Elias Humberto Alves. 1984. Universidade Estadual de Campinas.

VELOSO, P. A. S.. Membro externo convidado: Livre-docência de Luiz Paulo de Alcântara. 1983. Universidade Estadual de Campinas.

VELOSO, P. A. S.. Membro externo convidado: Livre-docência de Antônio Mário Sette. 1983.

Orientou

Jorge Petrúcio Viana

Sobre esquemas de indução; 1994; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - COPPE, Univ; Fed; Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

Marcelo Antonio Thomaz de Aragão

Desenvolvimento de programs por composição de implementações utilizando lógica clássica e lógica default; 1993; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - COPPE, Univ; Fed; Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

Marcelo Antonio Thomaz de Aragão

Desenvilvimento de programas por composição de implementações utilizando lógica clássica e lógica default; 1993; Dissertação (Mestrado em Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

Marcos Veloso Peixoto

Especificação algébrica de tipos abstratos de dados via seqüência de sistemas de reescrita; 1989; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Glória Maria dos Santos RODRIGUES

Sobre Estrutura e Solucao de Problemas; 1988; Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense,; Orientador: Paulo Augusto Silva Veloso;

Flávio MONASTIRCY

Uma Abordagem Ao Problema de Mecanizacao de Especificacoes Axiomaticas Para Tipos Abstratos de Dados; 1988; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - COPPE, Univ; Fed; Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

Markus Endler

O método de redução e a decomposição de problemas: alguns aspectos; 1987; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Edward Hermann Haeusler

Procedimentos para tradução de resolução em dedução natural; 1986; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

José Elias Tala

Implementação de tipos abstratos de dados como interpretação de teorias; 1984; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Christina Esteves Maciel Fraga WAGA

Métodos de resolução de problemas; 1984; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Roberto de Souza GOUVEIA

Métodos de estruturação de dados em linguagens de programação; 1983; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Francisco Edson Pinheiro Pessoa

Programação com tipos abstratos de dados; 1981; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Ana Cristina Gondin DRUMMOND

Máquinas, autômatos e linguagens de memória finita : algumas propriedades; 1979; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Carlos Flores Cunha

Linguagem de descrição de rotinas: parte de controle; 1979; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - COPPE, Univ; Fed; Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Margarida Maria Berreta Pion

Sistema interativo para a construção de modelos minimais no universo de Herbrand; 1979; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

Moisés Rennó VILELA

Algumas propriedades de máquinas sem perda de informação; 1977; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - COPPE, Univ; Fed; Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Leonardo Bruno Vana

Dedução Natural e Cálculo de seqüentes para 'geralmente'; 2008; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Paulo Augusto Silva Veloso;

Jorge Petrúcio Viana

Extensões não lógicas do cálculo relacional; 2005; 0 f; Tese (Doutorado em Eng; de Sistemas e Computação) - COPPE, Univ; Fed; Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Haydée Werneck Poubel

Estruturando e concretizando especificações para implementações; 1995; 0 f; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

María Claudia MERÉ

Lógicas relevantes: formalismos e semântica; 1993; 0 f; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Armando Martín HAEBERER

Fundamentos para um metamodelo descritivo e prescritivo do processo de desenvolvimento de software; 1991; 0 f; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Laira Vieira Toscani

Métodos de desenvolvimento de algoritmos: especificação formal, análise comparativa e de complexidade; 1988; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

RAUL CESAR BAPTISTA MARTINS

Método dos transformadores de dados; 1984; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

EMMANUEL PISECES LOPES PASSOS

Algumas idéias e experimentos sobre demonstração automática de teoremas; 1981; Tese (Doutorado em Eng; de Sistemas e Computação) - COPPE, Univ; Fed; Rio de Janeiro,; Coorientador: Paulo Augusto Silva Veloso;

Manoel Agamemnon Lopes

Introdução a uma teoria geral de problemas; 1981; 0 f; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Paulo Augusto Silva Veloso;

Produções bibliográficas

GIOVANNINI, EDUARDO N. ; HAEUSLER, EDWARD H. ; LASSALLE-CASANAVE, ABEL ; Veloso, Paulo A. S. . DE ZOLT?S POSTULATE: AN ABSTRACT APPROACH. Review of Symbolic Logic , v. 8, p. 1-28, 2019.
VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. ; BENEVIDES, MARIO R.F. . On a graph calculus for modalities. THEORETICAL COMPUTER SCIENCE , v. 685, p. 83-103, 2017.
GIOVANNINI, EDUARDO N. ; CASANAVE, ABEL LASSALLE ; Veloso, Paulo A. S. . De la Práctica Euclidiana a la Práctica Hilbertiana: las Teorías del Área Plana. REVISTA PORTUGUESA DE FILOSOFIA , v. 73, p. 1263-1294, 2017.
VELOSO, PAULO A.S. ; VELOSO, S. R. M. . On Graphs for Intuitionistic Modal Logics. Electronic Notes in Theoretical Computer Science , v. 323, p. 215-233, 2016.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On graphical calculi for Modal Logics. O QUE NOS FAZ PENSAR (PUCRJ) , v. 25, p. 157-191, 2016.
VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. ; BENEVIDES, MARIO R.F. . On Graph Calculi for Multi-modal Logics. Electronic Notes in Theoretical Computer Science , v. 312, p. 231-252, 2015.
VELOSO, PAULO A.S. ; VELOSO, SHEILA R.M. ; BENEVIDES, MARIO R.F. . On a Graph Approach to Modal Logics. Electronic Notes in Theoretical Computer Science , v. 305, p. 123-139, 2014.
VELOSO, P. A. S. ; Veloso, S. R. M. ; BENEVIDES, M. R. F. . PDL for structured data: a graph-calculus approach. Logic Journal of the IGPL (Print) , v. 22, p. 737-757, 2014.
S. VELOSO, PAULO A. ; M. VELOSO, SHEILA R. . A Graph Calculus for Predicate Logic. Electronic Proceedings in Theoretical Computer Science , v. 113, p. 153-168, 2013.
HAEUSLER, E. H. ; PEREIRA, L. C. P. D. ; VELOSO, P. A. S. . Categorificação, Teoria dos Conjuntos e Finitude. Notae Philosophicae Scientiae Formalis , v. 2, p. 1-21, 2013.
VELOSO, P. A. S. ; PEREIRA, L. C. P. ; HAEUSLER, E. H. . On what there must be: existence in Logic and some related riddles. Disputatio (Lisboa) , v. IV, p. 889-910, 2012.
Veloso, Paulo A. S. ; VELOSO, SHEILA R. M. . On Graph Refutation for Relational Inclusions. Electronic Proceedings in Theoretical Computer Science , v. 81, p. 47-62, 2012.
VELOSO, SHEILA R.M. ; VELOSO, PAULO A.S. ; VELOSO, PAULA M. . A Tool for Analysing Logics. Electronic Notes in Theoretical Computer Science , v. 269, p. 125-137, 2011.
VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. ; FREITAS, R. P. ; BENEVIDES, M. R. F. ; DELGADO, C. A. D. . On vague notions and modalities: a modular approach. Logic Journal of the IGPL (Print) , v. 18, p. 381-402, 2010.
Renata de Freitas ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; Petrucio Viana . A Calculus for Graphs with Complement. Lecture Notes in Computer Science , v. 6170, p. 84-98, 2010.
CIARLINI, ANGELO E. M. ; Veloso, Paulo A. S. ; FURTADO, ANTONIO L. ; CASANOVA, MARCO ANTONIO . Modeling interactive storytelling genres as application domains. Journal of Intelligent Information Systems (Dordrecht. Online) , v. 35, p. 347-381, 2010.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . On graph reasoning. Information and Computation (Print) , v. 207, p. 1000-1014, 2009.
VELOSO, P. A. S. ; PEREIRA, L. C. P. ; HAEUSLER, E. H. . Validades existenciais e enigmas relacionados. Dois Pontos (UFPR) , v. 6, p. 145-163, 2009.
VELOSO, P. A. S. ; FREITAS, R. P. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On fork arrow logic and its expressive power. Journal of Philosophical Logic , New York, v. 36, p. 489-509, 2007.
VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Natural Deduction for 'Generally'. Logic Journal of the IGPL , v. 15, p. 775-800, 2007.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . On Positive Relational Calculi. Logic Journal of the IGPL , v. 15, p. 577-601, 2007.
VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Sequent calculi for 'generally'. Electronic Notes in Theoretical Computer Science , v. 12, p. 5, 2007.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Reasoning with graphs. Electronic Notes in Theoretical Computer Science , v. 165, p. 201-212, 2006.
VELOSO, S. R. M. ; VELOSO, P. A. S. ; FREITAS, R. P. . An application of logic engineering. Logic Journal of the IGPL (Print) , Oxford, v. 13, n.1, p. 29-46, 2005.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On 'most' and 'representative': filter logic and special predicates. Logic Journal of the IGPL (Print) , Oxford, v. 13, n.1, p. 717-728, 2005.
HAEUSLER, E. H. ; VELOSO, P. A. S. ; SILVA, G. M. H. . Exploring computational contents of intuitionistic proofs. Logic Journal of the IGPL (Print) , Oxford, v. 13, n.1, p. 69-93, 2005.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On ultrafilter logic and special functions. Studia Logica, Amsterdam, v. 78, p. 459-477, 2004.
VELOSO, P. A. S. ; VELOSO, S. R. M. . Functional interpretation of logics for 'generally'. Logic Journal of the IGPL (Print) , Oxford, v. 12, n.6, p. 627-640, 2004.
FRIAS, M. ; VELOSO, P. A. S. ; BAUM, G. . Fork algebras: past, present and future. Journal on Relational Methods in Computer Science, v. 1, n.1, p. 181-216, 2004.
FREITAS, R. P. ; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Squares in fork modal logic. Journal of Philosophical Logic , New York, v. 32, n.4, p. 343-355, 2003.
Rentería, C. J. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . NUL: natural deduction for ultrafilter logic. Bulletin of the Section of Logic , Lodz, v. 32, n.4, p. 191-199, 2003.
VELOSO, P. A. S. ; VELOSO, S. R. M. ; FIADEIRO, J. L. . On local modularity and interpolation in entailment systems. Information Processing Letters (Print) , Amsterdam, v. 82, n.4, p. 203-211, 2002.
VELOSO, P. A. S. . On a logic for 'almost all' and generic reasoning. Manuscrito (UNICAMP) , Campinas, v. XXV, n.1, p. 191-271, 2002.
VELOSO, P. A. S. ; VELOSO, S. R. M. ; Fiadeiro, J. L. . On local modularity variants and pi-institutions. Information Processing Letters (Print) , Amsterdam, v. 77, n.5-6, p. 247-253, 2001.
VELOSO, P. A. S. . A logical approach to qualitative reasoning with 'several'. Logique et Analyse, Louvain, v. 44, n.176, p. 349-371, 2001.
VELOSO, P. A. S. . On some misconceptions about ultrafilter logic. Bulletin of the Section of Logic , Lodz, v. 29, n.1-2, p. 1-12, 2000.
VELOSO, P. A. S. . On the power of ultrafilter logic. Bulletin of the Section of Logic , Lodz, v. 29, n.3, p. 89-97, 2000.
VELOSO, P. A. S. . On ultrafilter logic and a missing axiom. Bulletin of the Section of Logic , Lodz, v. 28, n.1, p. 17-26, 1999.
VELOSO, P. A. S. . Why ultrafilters for almost all. Bulletin of the Section of Logic , v. 28, n.4, p. 183-193, 1999.
VELOSO, P. A. S. ; HAEUSLER, E. H. . Extracting solutions from constructive proofs: towards a programming methodology. Brazilian Electronic Journal on Mathematics of Computation, v. 0, p. 1-25, 1999.
VELOSO, P. A. S. . On 'almost all' and some presuppositions. Manuscrito (UNICAMP) , Campinas, v. XXII, n.2, p. 469-505, 1999.
VELOSO, P. A. S. . On eight independent equational axiomatisations for fork algebras. Bulletin of the Section of Logic , Lodz, v. 27, n.3, p. 117-129, 1998.
VELOSO, S. R. M. ; VELOSO, P. A. S. ; FIADEIRO, J. L. . Labeled families in modular software development. Journal of the Brazilian Computer Society , Campinas, v. 5, n.1, p. 20-31, 1998.
FRIAS, M. ; HAEBERER, A. M. ; VELOSO, P. A. S. . A finite axiomatization for fork algebras. Logic Journal of the IGPL (Print) , Oxford, v. 5, n.3, p. 311-319, 1997.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On methods for safe introduction of operations. Information Processing Letters (Print) , Amsterdam, v. 64, n.5, p. 231-238, 1997.
VELOSO, P. A. S. . Is fork set-theoretical?. Bulletin of the Section of Logic , Lodz, v. 26, n.1, p. 20-30, 1997.
VELOSO, P. A. S. . Characterisations for fork algebras and their relational reducts. Bulletin of the Section of Logic , Lodz, v. 26, n.3, p. 144-155, 1997.
VELOSO, P. A. S. . On the independence of the axioms for fork algebras. Bulletin of the Section of Logic , Lodz, v. 26, n.4, p. 197-209, 1997.
FURTADO, A. L. ; VELOSO, P. A. S. . Folklore and myth in the 'Knight of the Cart'. Arthuriana (Dallas, Tex.) , v. 6, n.2, p. 28-43, 1996.
VELOSO, P. A. S. . On finite and infinite fork algebras and their relational reducts. Logique et Analyse, Louvain, v. 153-15, p. 35-50, 1996.
VELOSO, P. A. S. . On pushout consistency, modularity and interpolation for logical specifications. Information Processing Letters , Amsterdam, v. 60, n.2, p. 59-66, 1996.
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . On the Modularization Theorem for Logical Specifications. Information Processing Letters , Amsterdam, v. 53, n.5, p. 287-293, 1995.
MERÉ, M. C. ; VELOSO, P. A. S. . Definition-like extensions by sorts. Bulletin of the IGPL , Oxford, v. 3, n.4, p. 579-595, 1995.
FRIAS, M. ; BAUM, G. ; HAEBERER, A. M. ; VELOSO, P. A. S. . Fork algebras are representable. Bulletin of the Section of Logic , Lodz, v. 24, n.2, p. 64-75, 1995.
FRIAS, M. ; HAEBERER, A. M. ; VELOSO, P. A. S. . A finite axiomatization for fork algebras. Bulletin of the Section of Logic , Lodz, v. 24, n.4, p. 193-200, 1995.
VELOSO, P. A. S. . A new, simpler proof of the Modularisation Theorem for logical specifications. Bulletin of the IGPL , Oxford, v. 1, n.1, p. 3-12, 1993.
VELOSO, P. A. S. . Yet another cautionary note on conservative extensions: a simple example with a computing flavour. Bulletin of the European Association for Theoretical Computer Science, n.46, p. 188-192, 1992.
VELOSO, P. A. S. ; HAEBERER, A. M. . A finitary relational algebra for classical first-order logic. Bulletin of the Section of Logic , Lodz, v. 20, n.2, p. 52-62, 1991.
VELOSO, P. A. S. ; VELOSO, S. R. M. . Some remarks on conservative extensions: a Socratic dialogue. Bulletin of the European Association for Theoretical Computer Science, n.43, p. 189-198, 1991.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On conservative and expansive extensions. O que no faz pensar: Cadernos de Filosofia, Rio de Janeiro, n.4, p. 87-106, 1991.
TOSCANI, L. V. ; VELOSO, P. A. S. . A programação dinâmica: um caso particular da divisão e conquista. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 1, n.2, p. 53-67, 1990.
TOSCANI, L. V. ; VELOSO, P. A. S. . Desenvolvimento de algoritmos aproximativos por acercamento: especificação formal. Investigação Operacional, Lisboa, v. 9, n.1, p. 65-70, 1989.
FURTADO, A. L. ; VELOSO, P. A. S. . Iteration for applicative languages. SIGPLAN Notices, v. 23, n.12, p. 86-94, 1988.
VELOSO, P. A. S. . On the concepts of problem and problem-solving method. Decision Support Systems , Amsterdam, v. 3, n.2, p. 133-139, 1987.
LUCENA, C. J. P. ; MARTINS, R. C. B. ; VELOSO, P. A. S. . Construção de programas por transformadores de dados: introdução e estudo de caso. RBC. Revista Brasileira de Computação , Rio de Janeiro, v. 3, n.1, p. 5-17, 1984.
CASTILHO, J. M. V. ; FURTADO, A. L. ; VELOSO, P. A. S. . Algebraic specification of data-base applications. International Journal on Policy and Information , v. 8, n.1, p. 59-70, 1984.
VELOSO, P. A. S. . Outlines of a mathematical theory of general problems. Philosophia Naturalis, Viena, v. 21, n.2/4, p. 354-362, 1984.
VELOSO, P. A. S. . Aspectos de uma teoria geral de problemas. Cadernos de História e Filosofia da Ciência (UNICAMP) , Campinas, n.7, p. 21-42, 1984.
Remy, J.-L. ; VELOSO, P. A. S. . Comparing data type specifications via their normal forms. International Journal of Computer and Information Sciences, New York, v. 11, n.5, p. 295-323, 1982.
VELOSO, P. A. S. . Methodical specification of abstract data types via rewriting systems. International Journal of Computer and Information Sciences, v. 11, n.5, p. 295-323, 1982.
FURTADO, A. L. ; MAIBAUM, T. S. E. ; VELOSO, P. A. S. . Especificações abstratas (de bancos de dados) via níveis de traço. RBC. Revista Brasileira de Computação , v. 1, n.3, p. 179-193, 1981.
REMY, J.-L. ; VELOSO, P. A. S. . An "economical" method for comparing abstract data type specifications. SIGPLAN Notices, New York, v. 16, n.5, p. 39-42, 1981.
FURTADO, A. L. ; VELOSO, P. A. S. . Procedural specifications and implementations for abstract data types. ACM SIGPLAN Notices, New York, v. 16, n.3, p. 53-62, 1981.
VELOSO, P. A. S. . Characterizations for the regular prefix codes and related languages. International Journal of Computer and Information Sciences, New York, v. 9, n.5, p. 371-382, 1980.
VELOSO, P. A. S. ; GILL, A. . Some remarks on multiple-entry finite automata. Journal of Computer and System Sciences, New York, v. 14, n.3, p. 304-306, 1979.
VELOSO, P. A. S. . Characterizing the regular prefix codes and right power-bounded languages. Information Processing Letters , Amsterdam, v. 9, n.1, p. 5-7, 1979.
VELOSO, P. A. S. . Traversable stack with fewer errors. ACM SIGPLAN NOTICES , New York, v. 14, n.2, p. 55-59, 1979.
Paulo A. S. Veloso . Traversable stack with fewer errors. ACM SIGPLAN NOTICES , v. 14, p. 76-76, 1979.
TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos: análise, projeto e métodos. 3. ed. Porto Alegre: Bookman, 2012. v. 1. 262p .
TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos: análise, projeto e métodos (3a. ed.). 3. ed. Porto Alegre: Artmed, 2008. v. 1. 262p .
TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos: análise, projeto e métodos (2ª ed.). 2. ed. Porto Alegre: Editora Sagra Luzzato, 2005. v. 1. 274p .
TOSCANI, L. V. ; VELOSO, P. A. S. . Complexidade de Algoritmos: análise, projeto e métodos. 1. ed. Porto Alegre - RS: Sagra Luzzato, 2001. 212p .
HAEBERER, A. M. ; VELOSO, P. A. S. ; BAUM, G. . Formalización del Proceso de Desarrolo de Sotware. Buenos Aires: Kapelusz, 1989. 183p .
VELOSO, P. A. S. . Verificação e Estruturação de Programas com Tipos de Dados. São Paulo: Edgard Blücher, 1987. 376p .
VELOSO, P. A. S. . Verificação e Construção de Programas. Campinas: UNICAMP: I Escola Brasileiro-Argentina de Informática, 1986. 219p .
VELOSO, P. A. S. . Tipos (Abstratos) de Dados: programação, especificação, implementação. Belo Horizonte: UFMG: V Escola de Computação, 1986. 344p .
VELOSO, P. A. S. ; SANTOS, C. S. ; AZEREDO, P. A. ; FURTADO, A. L. . Estruturas de Dados. 4. ed. Rio de Janeiro: Campus, 1983. v. 1. 228p .
VELOSO, P. A. S. . Maquinas e Linguagens: uma introdução à teoria de autômatos. São Paulo: USP: Escola de Computação, 1979. 250p .
VELOSO, S. R. M. ; VELOSO, P. A. S. ; BENEVIDES, M. R. F. ; LIMA, I. M. S. . On General Graphical Model-Checkers. In: Jean-Yves Beziau, Francicleber Ferreira, Ana Teresa Martins, and Marcelo Pequeno, eds. (Org.). Logic, Intelligence, and Artifices Tributes to Tarcisio H. C. Pequeno. 1ed.Londres: College Publications, 2018, v. 38, p. 13-32.
VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, SHEILA R. M. . On the Structure of Natural deduction Derivations for 'Generally' and 'Rarely'. In: Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria (Eds.). (Org.). Advances in Natural Deduction. xvIed.Heildeberg: Springer, 2014, v. 39, p. 105-131.
VELOSO, P. A. S. ; VELOSO, S. R. M. ; VELOSO, P. M. . Alegrias e tristezas da visualização. In: ABEL LASSALLE CASANOVA; FRANK THOMAS SAUTTER. (Org.). VISUALIZAÇÃO NAS CIÊNCIAS FORMAIS. 1ed.OXFORD: OXFORD UNIVERSITY PRESS, 2012, v. 3, p. 1-12.
VELOSO, P. A. S. ; VELOSO, S. R. M. . Revisiting `Generally' and `Rarely'. In: Jean-Yves Beziau; Marcelo Esteban Coniglio (eds.). (Org.). Logic without Frontiers:Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday. Tributes series. 1ed.Londres: College Publications, 2011, v. 17, p. 183-208.
VELOSO, P. A. S. ; VANA, L. B. ; VELOSO, S. R. M. . Natural deduction proof strategies for 'generally'. In: Marín, R.; Onaindia, E.; Bugarín, A.; Santos, J.. (Org.). Currents Topics in Artificial Intelligence: CAEPIA 2005 revised selected papers. Berlin: Springer-Verlag,, 2006, v. 4177, p. -.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On modulated logics for 'generally': some metamathematical issues. In: Béziau, J.-Y.; Costa Leite, A.; Facchini, A.. (Org.). Aspects of Universal Logic. Neuchâtel: Univ. Neuchâtel, 2004, v. , p. 146-168.
VELOSO, P. A. S. . On reasoning about 'generally' and 'rarely' with filter-like families of sets. In: Béziau, J.-Y.; Costa Leite, A.; Facchini, A.. (Org.). Aspects of Universal Logic. Neuchâtel: Univ. Neuchâtel, 2004, v. , p. 169-198.
DIVERIO, T. A. ; TOSCANI, L. V. ; VELOSO, P. A. S. . Análise da complexidade de algoritmos paralelos. In: Diverio, T. A.; Cavalheiro, G. G. H.. (Org.). ERAD 2002: Anais da 2ª Escola Regional de Alto Desempenho. São Leopoldo, RS: Sociedade Brasileira de Computação, 2002, v. , p. 67-106.
VELOSO, P. A. S. ; CARNIELLI, W. A. . Logics for qualitative reasoning. In: D. Gabbay; S. Rahman; J. Symons; J. P. van Bendegem. (Org.). Logic, Epistemology and the Unity of Science. Dordretch: Kluwer Press, 2002, v. , p. 487-526.
VELOSO, P. A. S. . Issues in reasoning with 'generally' and 'rarely'. In: Cupani, A. O.; Mortari, C. A.. (Org.). Linguagem e Filosofia: Anais do II Simpósio Internacional Principia. Florianópolis: UFSC, 2002, v. , p. 51-72.
CIARLINI, A. E. M. ; VELOSO, P. A. S. ; FURTADO, A. L. . A formal framework for modelling at the behavioural level. In: Jaakola, H.; Kangassalo, H.; Kawaguchi, E.. (Org.). Frontiers in Artificial Inteligence and its Applications. Amsterdam: IOS Press, 2001, v. , p. 107-122.
VELOSO, P. A. S. . On fork relations and programming. In: Haeusler, E. H.; Pereira, L. C.. (Org.). Pratica: Proofs, Types and Categories. Rio de Janeiro: PUC-Rio, 1999, v. , p. 5-54.
SETTE, A. M. ; CARNIELLI, W. A. ; VELOSO, P. A. S. . An alternative view of default reasoning and its logic. In: Haeusler, E. H.; Pereira, L. C.. (Org.). Pratica: Proofs, Types and Categories. Rio de Janeiro: PUC-Rio, 1999, v. , p. 127-158.
VELOSO, P. A. S. . Some connections between Logic and Computer Science. In: Carnielli, W.; d'Ottaviano, I. M. L.. (Org.). Advances in Contemporary Logic and Computer Science. Providence, RI: American Mathematical Society, 1999, v. , p. 187-260.
HAEBERER, A. M. ; FRIAS, M. ; BAUM, G. ; VELOSO, P. A. S. . Fork algebras. In: Brink, C.; Kahl, W.; Schmidt, G.. (Org.). Relational Methods in Computer Science. Viena: Springer-Verlag, 1997, v. , p. 54-69.
VELOSO, P. A. S. . On some logical properties related to modularity and interpolation. In: Carnielli, W.; Pereira, L.C.P.D.. (Org.). Logic, Sets and Information. Campinas: CLE-UNICAMP, 1995, v. 14, p. 213-246.
VELOSO, P. A. S. . Program construction (with data abstractions) as transformations on theories. In: Alcoforado, P.. (Org.). Lógica, Computação e Epistemologia: ensaios em homenagem ao Prof. Jorge Barbosa. Niterói: ILTC, 1991, v. , p. 133-154.
HAEBERER, A. M. ; VELOSO, P. A. S. . Partial relations for program derivation: adequacy, inevitability and expressiveness. In: Möller, B.. (Org.). Constructing Programs from Specifications. Amsterdam: North-Holland, 1991, v. , p. 319-371.
VELOSO, P. A. S. . Problem solving by interpretation of theories. In: Carnielli, W. A.; Alcântara, L. P.. (Org.). Methods and Applications of Mathematical Logic. Providence, RI: American Mathematical Society, 1988, v. , p. 241-250.
FURTADO, A. L. ; CASANOVA, M. A. ; VELOSO, P. A. S. . Application-oriented approaches. In: Furtado, A. L.; Neuhold, E. J.. (Org.). Formal Techniques for Data Base Design. Berlin: Springer-Verlag, 1986, v. , p. 5-44.
VELOSO, P. A. S. ; FURTADO, A. L. . Towards simpler and yet complete formal specifications. In: Langefors, B.; Verrijn-Stuart, A. A.; Bracchi, G.. (Org.). Trends in Information Systems. Amsterdam: North-Holland, 1986, v. , p. 257-271.
VELOSO, P. A. S. . Methodical specification of abstract data types. In: Hammer, G.; Pallaschke, D.. (Org.). Methods of Operations Research. : Hain Verlag bei Athenäum, 1985, v. 55, p. 365-373.
VELOSO, P. A. S. . How to "divide-and-conquer": a logical basis. In: Brucker, P.; Pauly, R.. (Org.). Methods of Operations Research. : Hain Verlag bei Athenäum, 1985, v. 49, p. 431-442.
LUCENA, C. J. P. ; MARTINS, R. C. B. ; VELOSO, P. A. S. ; Cowan, D. D. . A theoretical proposal for a CASD system extending Jackson's mehtod. In: Tou, J. T.. (Org.). Computer-based automation. 1ed.New York: Plenum Press, 1985, v. 1, p. 213-245.
VELOSO, P. A. S. . Decompositions for general multilinear systems. In: Tzafestas, S. G.. (Org.). Multivariable Control: New concepts and Tools. Dordrecht: D. Reidel, 1984, v. , p. 105-123.
VELOSO, P. A. S. ; FURTADO, A. L. . Stepwise construction of algebraic specifications. In: Gallaire, H.; Minker, J.; Nicholas, J. M.. (Org.). Advances in Data Base Theory. New York: Plenum Press, 1984, v. 2, p. 321-352.
VELOSO, P. A. S. ; FURTADO, A. L. ; Castilho, J. M. V. . Verification and testing of S-ER representations. In: Chen, P. P.. (Org.). Entity-Relationship Approach to Information Modeling and Analysis. Amsterdam: North-Holland, 1983, v. , p. 123-147.
VELOSO, P. A. S. . Aspectos Teóricos da Computação (Review). Mathematical Reviews, New York.
VELOSO, P. A. S. . Nonlinear time-discrete systems: a general approach by nonlinear superposition (Review). Mathematical Reviews, New York.
VELOSO, P. A. S. . Programmation: introduction théorique en vue de la pratique (Rewview). Mathematical Reviews, New York.
VELOSO, P. A. S. . An introduction to formal language theory (Review). Mathematical Reviews, New York.
VELOSO, P. A. S. . Automata and languages (Review). British Computer Journal, Londres.
VELOSO, P. A. S. . Types in logic programming (Review). Mathematical Reviews, New York.
VELOSO, P. A. S. . An algebraic approach to the syntax and semantics of languages with subscripted variables (Review). Mathematical Reviews, New York.
VELOSO, PAULO A.S. ; VELOSO, S. R. M. . On graphs for Intuitionistic Modal Logics. In: Workshop on Logical and Semantic Frameworks, with Applications LSFA 201, 2015, Natal. Workshop on Logical and Semantic Frameworks, with Applications LSFA 201. Natal: UFRN, 2015.
PAULO A. S. VELOSO ; VELOSO, SHEILA R. M. ; BENEVIDES, M. R. F. . On graph calculi for multi-modal logics. In: Workshop on Logical and Semantic Frameworks, with Applications LSFA 2014, 2014, Brasilia. Proceedings of LSFA 2014. Brasilia: Universidade de Brasilia, 2014. p. 225-241.
PAULO A. S. VELOSO ; VELOSO, S. R. M. . A graph calculus for Predicate Logic. In: Workshop on Logical and Semantic Frameworks, with Applications LSFA 2012, 2012, Brasília. Workshop on Logical and Semantic Frameworks, with Applications LSFA 2012. Brasília: UnB, 2012.
Paulo A. S. Veloso ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On graph refutation for relational inclusions. In: 6th Workshop on Logical and Semantic Frameworks, with Applications LSFA 2011, 2011, Belo Horizonte. 6th Workshop on Logical and Semantic Frameworks, with Applications LSFA 2011. Belo Horizonte: UFMG, 2011.
Veloso, Paulo A. S. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . A tool for analysing logics. In: Workshop on Logical and Semantic Frameworks, with Applications LSFA 2011, 2011. Workshop on Logical and Semantic Frameworks, with Applications LSFA 2011, 2011.
VELOSO, S. R. M. ; VELOSO, P. A. S. ; VELOSO, P. M. . On Piaget-like monoids: monoids for logics. In: Anals Int. Conf. Logic, Methodology and Philosophy of Science, 2011, Nancy. Int. Conf. Logic, Methodology and Philosophy of Science, 2011. v. 1. p. 102-115.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . A Calculus for Graphs with Complement. In: Diagrams 2010, 2010, Portland. Diagrammatic Representation and Inference Lecture Notes in Computer Science. Berlin / Heidelberg: Springer, 2010. v. 6170. p. 84-98.
FREITAS, R. P. ; VELOSO, SHEILA R. M. ; PAULO A. S. VELOSO ; VIANA, J. P. . Positive Fork Graph Calculus. In: International Symposium, LFCS 2009, 2009, Deerfield Beach, FL, USA. Logical Foundations of Computer Science/ Lecture Notes in Computer Science. Heildeberg: Springer Berlin Heidelberg, 2009. v. 5407. p. 152-163.
VELOSO, P. A. S. ; VELOSO, S. R. M. . Methodical Construction of Symbolic Diagramas. In: 19th Brazilian Symposium on Artificial Intelligence, 2008, Salvador, Bahia, Brazil. SBiA 92008 SBIA 2008, LN AI 5249. Berlin- Heildelberg: Springer Verlag, 2008. v. 5249. p. 187-196.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . On a graph calculus for Algebras of Relations. In: Workshop on Logic, Language Information and computation, 2008, Edinburgh. Lecture Notes in Computer Science. Berlin- Heildelberg: springer verlag, 2008. v. 5110. p. 298-312.
VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Sequent Calculi for 'Generally'. In: 2 Workshop on Logical and Semantic Frameworks, with applications, 2008, Ouro Preto. Electroni c Notes on Theoretical Computer Science Proceedings do 2 Worshop on Logical and Semantics Frameworks , with applications LSFA'07. Ouro Preto, Minas Gerais: Universidade Federal de Ouro Preto, 2008. v. 205. p. 49-65.
FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Reasoning with graphs. In: WoLLIC '2006: Workshop on Logic, Language, Information and Computation, 2006, Stanford. Electronic Notes on Teorethical Computer Science. Amsterdam: ELSEVIER, 2006. v. 165. p. 201-212.
VELOSO, P. A. S. ; VANA, L. B. ; VELOSO, S. R. M. . Natural deduction strategies for 'generally'. In: XI Conferecia de la Asociación Espaola para la Inteligencia Artificial, 2005, SAntiago de Compostela. Actas de la XI Conferecia de la Asociación Espaola para la Inteligencia Artificial. A Corua: Universidade da Corua, 2005. v. 1. p. 173-182.
VANA, L. B. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Sobre lógicas para geralmente em ambiente de dedução natural. In: XXV Congresso da Sociedade Brasileira de Computação, 2005, ão Leopoldo. XXV Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2005. p. 622-630.
BENEVIDES, M. R. F. ; DELGADO, C. A. D. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . On modalities for vague for notions. In: 17th Brazilian Symposium on Artificial Intelligence SBIA 2004, 2004, São Luis, Maranhão. Advances in Artificial Intelligence ? SBIA 200 Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence LNAI 3171. Berlin: Springer Verlag, 2004. v. 3171. p. 1-10.
VELOSO, P. A. S. . Issues in reasoning with 'generally'and 'rarely'. In: Anais do 2o. Simpósio Internacional Principia, 2002, Florianopolis. Anais do 2o. Simpósio Internacional Principia. Florianópolis: Núcleo de Epistemologia e Lógica, UFSC, 2002. p. 51-72.
FREITAS, R. P. ; VIANA, J. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On hybrid arrow logic. In: Hylo@lics: 4th Workshop on Hybrid Logic, 2002, Kopenhagen. 4th Workshop on Hybrid Locig. Kopenhagen: Univ. Kopenhagen, 2002. p. 53-67.
VELOSO, S. R. M. ; VELOSO, P. A. S. . Qualitative logic for 'generally'. In: Proc. IC-AI'02: International Conference on Artificial Intelligence, 2002, Las Vegas. Proc. IC-AI'02: International Conference on Artificial Intelligence, 2002. v. III. p. 1246-1252.
VELOSO, S. R. M. ; VELOSO, P. A. S. . On special functions and theorem proving in logics for 'generally'. In: 16th Brazilian Symposium in Artificial Intelligece - SBIA 2002 Lecture Notes in Artificial Intelligence LNAI 2507, 2002, Porto de Galinhas - Recife. Advances in Artificial Intelligence - 16th Brazilian Symposium in Artificial Intelligece - Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag, 2002. v. 2507. p. 1-10.
SILVA, G. M. H. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . Constructive program synthesis using Intuitionistic Logic and Natural Deduction. In: LAPTEC'2001: II Congresso de Lógica Aplicada à Tecnologia, 2002, São Paulo. Advances in Logic, Artificial Intelligence and Robotics: LAPTEC 2002 - Frontiers in Artificial Intelligence and its Applications. Amsterdam: IOS Press, 2002. v. 85. p. 224-233.
FREITAS, R. P. ; VELOSO, P. A. S. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . Expressive power of fork arrow logic. In: V Workshop on Formal Methods, 2002, Gramado. Proc. 5th Workshop on Formal Methods - WMF 2002. Porto Alegre - RS: Instituto de Informática, UFRGS, 2002. p. 89-99.
VELOSO, P. A. S. . On interpolation and modularity for ultrafilter logic. In: LAPTEC'2001: II Congresso de Lógica Aplicada à Tecnologia, 2001, São Paulo. LAPTEC'2001: II Congresso de Lógica Aplicada à Tecnologia. Amsterdam: IOS Press, 2001. v. 1. p. 270-278.
VELOSO, S. R. M. ; VELOSO, P. A. S. . On a logical framework for 'generally'. In: LAPTEC'2001: II Congresso de Lógica Aplicada à Tecnologia, 2001, São Paulo. LAPTEC'2001: II Congresso de Lógica Aplicada à Tecnologia. Amsterdam: IOS Press, 2001. v. 1. p. 279-286.
FREITAS, R. P. ; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Squares in fork modal logic. In: WOLLIC'2001: 8th Workshop on Logic, Language Information and Computation, 2001, Brasília. 8th Workshop on Logic, Language Information and Computation. Brasília: SBC, 2001. v. 1. p. 77-86.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On qualitative reasoning with 'most' and 'typical': a logical approach. In: Encontro Nacional de Inteligência Artificial ENIA 2001, 2001, Fortaleza. Anais do XXI Congresso da SBC. Fortaleza: SBC, 2001. v. 1. p. 1122-1133.
BENEVIDES, M. R. F. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Axiomatization and completeness for fork arrow logic. In: IV Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of IV WMF Workshop on Formal Methods. Rio de Janeiro: SBC, 2001. v. 1. p. 1-12.
VELOSO, P. A. S. ; FURTADO, A. L. ; CIARLINI, A. E. M. . A formal framework for modelling at the behavioural level. In: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000, Saariselkä - Finlândia. Tenth European-Japanese Conference on Information Modelling and Knowledge Bases. Pori: Pori School of Techn. and Economics, 2000. v. 1. p. 67-81.
VELOSO, S. R. M. ; VELOSO, P. A. S. . On modular development with default specifictions. In: Congresso de Lógica Aplicada à Tecnologia, LAPTEC'2000., 2000, São Paulo. I Congresso de Lógica Aplicada à Tecnologia, LAPTEC'2000.. São Paulo: Faculdade SENAC de Ciências Exatas e Tecnologia, 2000. v. 1. p. 405-416.
VELOSO, P. A. S. ; VELOSO, S. R. M. ; FIADEIRO, J. L. . Families of specifications over a pi-institution: modular stepwise development. In: 9th International Conference on Computing and Information, 1998, Winnipeg. International Conference on Computing and Information: ICCI'98. Winnipeg: Univ. Manitoba, 1998. v. 1. p. 263-270.
CARNIELLI, W. A. ; VELOSO, P. A. S. . Ultrafilter logic and generic reasoning. In: Computational Logic and Proof Theory (KGC'97) {LNCS 1289}, 1997, Berlin. Kurt Gödel Colloquium: KGC'97. Viena: Springer-Verlag, 1997. v. 1289. p. 34-53.
ARAGAO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Introducing function symbols in default theories. In: XI Brazilian Symposium on Artificial Intelligence, 1994, Fortaleza. Proc. XI Brazilian Symposium on Artificial Intelligence. Fortaleza: SBC, 1994. p. 143-155.
POUBEL, H. W. ; VELOSO, P. A. S. . Sobre o Teorema da Modularização: importância e prova por quociente. In: VII Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro,. VII Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro: SBC, 1993. p. 17-29.
BERGHAMMER, R. ; HAEBERER, A. M. ; SCHMIDT, G. ; VELOSO, P. A. S. . Comparing two different approaches to products in abstract relation algebras. In: 3rd International Conference on Algebraic Methodology and Software Technology: AMAST?93, 1993, Twente. Algebraic Methodology and Software Technology (AMAST'93). London: Springer-Verlag, 1993. p. 167-176.
HAEBERER, A. M. ; VELOSO, P. A. S. . Partial relations for program derivation: adequacy, inevitability and expressiveness. In: IFIP TC2 Working Conference on Constructing Programs from Specifications, 1991, Pacific Grove. IFIP TC2 Working Conference on Constructing Programs from Specifications. Pacific Grove, CA: IFIP TC2, 1991. p. 310-352.
HAEBERER, A. M. ; VELOSO, P. A. S. . Why software development is inherently non-monotonic: a formal justification. In: 10th European Meeting on Cybernetics and Systems Research, 1990, Viena. Cybernetics and Systems Research. Londres: World Scientific Publ., 1990. p. 51-58.
TOSCANI, L. V. ; VELOSO, P. A. S. . Uma metodologia para cálculo de complexidade de algoritmos. In: IV Simpósio Brasileiro de Engenharia de Software, 1990, Águas de São Pedro. IV Simpósio Brasileiro de Engenharia de Software. Águas de São Pedro: SBC, 1990. p. 183-192.
VELOSO, P. A. S. ; HAEBERER, A. M. . Software development: a problem-theoretic analysis and model. In: XXII Hawaii International Conference on System Science, 1989, Kona, HI. XXII Hawaii International Conference on System Science. Kona, HI: HICSS, 1989. v. II. p. 200-209.
HAEBERER, A. M. ; VELOSO, P. A. S. . On the inevitability of program testing: a formal analysis. In: IX Conferencia Internacional de la Sociedad Chilena de Ciencia de la Computación, 1989, Santiago de Chile. Actas de la IX Conferencia Internacional de la Sociedad Chilena de Ciencia de la Computación. Santiago de Chile,: Sociedad Chilena de Ciencia de la Computación, 1989. v. 1. p. 208-240.
VELOSO, S. R. M. ; MENDES, S. B. T ; VELOSO, P. A. S. . Um modelo abstrato para troca de mensagens. In: Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989, Florianópolis. Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos. Florianópolis: UFSC, 1989. p. 64-79.
VELOSO, P. A. S. ; VELOSO, S. R. M. . Nomeabilidade: algumas propriedades lógicas e aplicações em modelagem. In: IV Simpósio Brasileiro de Inteligência Artificial, 1989, Rio de Janeiro. IV Simpósio Brasileiro de Inteligência Artificial. RIO DE JANEIRO, RJ: SBC, 1989. p. 288-303.
VELOSO, P. A. S. ; TOSCANI, L. V. . Desenvolvimento de algoritmos aproximativos por acercamento: especificação formal. In: III Simpósio Brasileiro de Engenharia de Software, 1989, Recife. III Simpósio Brasileiro de Engenharia de Software. Recife: SBC, 1989. p. 228-238.
ELUSTONDO, P. M. ; VELOSO, P. A. S. ; HAEBERER, A. M. ; Vázquez, L. A. ; VAZQUEZ, L. A. . Program development in the algebraic theory of problems. In: 18as. Jornadas Argentinas de Informática e Investigación Operativa (18. JAIIO), 1989, Buenos Aires. 18as. Jornadas Argentinas de Informática e Investigación Operativa (18. JAIIO). Buenos Aires: SADIO, 1989. p. 2.2-2.32.
TOSCANI, L. V. ; VELOSO, P. A. S. . Programação dinâmica e método guloso. In: II Simpósio Brasileiro de Engenharia de Software, 1988, Canela, RS. II Simpósio Brasileiro de Engenharia de Software. Canela, RS: SBS, 1988. p. 106-112.
TOSCANI, L. V. ; VELOSO, P. A. S. . Desempenho da programação dinâmica em máquinas com arquitetura paralela. In: IV Congresso Latino-Ibero-Americano de Pesquisa Operacional e Engenharia de Sistemas, 1988, Rio de Janeiro. IV Congresso Latino-Ibero-Americano de Pesquisa Operacional e Engenharia de Sistemas. Rio de Janeiro: SOBRAPO, 1988. p. 31-45.
TOSCANI, L. V. ; VELOSO, P. A. S. . Programação dinâmica em arquiteturas paralelas: análise de complexidade. In: III Simpósio Brasileiro de Arquitetura de Computadores: Processamento Paralelo, 1988, Aguas de Lindóia. III Simpósio Brasileiro de Arquitetura de Computadores: Processamento Paralelo. Aguas de Lindóia, SP: SBC, 1988.
TOSCANI, L. V. ; VELOSO, P. A. S. . Desenvolvimento de algoritmos: estudo comparativo. In: XI Congresso Nacional de Matemática Aplicada e Computacional, 1988, Ouro Preto. Anais do XI Congresso Nacional de Matemática Aplicada e Computacional. Ouro Preto: SBMAC, 1988. p. 243-245.
TOSCANI, L. V. ; VELOSO, P. A. S. . Análise de complexidade de programas abstratos. In: X Congresso Nacional de Matemática Aplicada e Computacional, 1987, Gramado, RS. X Congresso Nacional de Matemática Aplicada e Computacional. Gramado, RS: SBMAC, 1987. p. 978-983.
HAEBERER, A. M. ; VELOSO, P. A. S. ; BAUM, G. . Hacia un metamodelo del proceso de desarrollo de software. In: V Encontro de Trabalho do Projeto ETHOS, 1987, Florianópolis. V Encontro de Trabalho do Projeto ETHOS, 1987.
VELOSO, P. A. S. ; MARTINS, R. C. B. . File processing problems: a standard method and environment. In: 7th International Congress of Cybernetics and Systems, 1987, London. 7th International Congress of Cybernetics and Systems, 1987.
TOSCANI, L. V. ; VELOSO, P. A. S. ; RIBEIRO, C. C. . Análise de complexidade da divisão e conquista. In: IV Encontro de Trabalho do Projeto ETHOS, 1987, Petrópolis. IV Encontro de Trabalho do Projeto ETHOS. Petrópolis: Projeto ETHOS, 1987. p. 203-216.
HAEBERER, A. M. ; BAUM, G. ; VELOSO, P. A. S. . Sobre una teoría algebraica de problemas. In: IV Encontro de Trabalho do Projeto ETHOS, 1987, Petrópolis,. IV Encontro de Trabalho do Projeto ETHOS, 1987. p. 123-154.
TOSCANI, L. V. ; VELOSO, P. A. S. . Divisão e conquista: análise de complexidade. In: VI Congresso da Sociedade Brasileira de Computação, 1986, Recife. VI CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTACAO, 1986. v. 1. p. 89-104.
WAGA, C. E. M. F. ; VELOSO, P. A. S. . Métodos de resolução de problemas: um enfoque abstrato. In: 16as. Jornadas Argentinas de Informática e Investigación Operativa (16. JAIIO), 1986, Buenos Aires. 16as. Jornadas Argentinas de Informática e Investigación Operativa (16. JAIIO). Buenos Aires, 1986. p. 1.13-1.24.
TOSCANI, L. V. ; WAGA, C. E. M. F. ; VELOSO, P. A. S. . A programação dinâmica no desenvolvimento de algoritmos. In: 16as. Jornadas Argentinas de Informática e Investigación Operativa (16. JAIIO), 1986, Buenos Aires. 16as. Jornadas Argentinas de Informática e Investigación Operativa (16. JAIIO), 1986. p. 9.13-9.24.
WAGA, C. E. M. F. ; VELOSO, P. A. S. . Pesquisa abstrata em tabelas: uma visão unificada. In: VI Congresso da Sociedade Brasileira de Computação, 1986, Recife. Anais do VI Congresso da Sociedade Brasileira de Computação, 1986. v. 1. p. 78-88.
VELOSO, P. A. S. ; FURTADO, A. L. . Towards simpler and yet complete formal specifications. In: Working Conference on Theoretical and Formal Aspects of Information Systems, 1985, Sitges, Espanha. Information Systems: Theoretical and Formal Aspects. Amsterdam: North Holland, 1985. p. 175-189.
TOSCANI, L. V. ; VELOSO, P. A. S. . Uma especificação formal para a programação dinâmica. In: XI Conferência Latino-Americana de Informática, 1985, Porto Alegre. Anais da XI Conferência Latino-Americana de Informática. Porto Alegre: Sociedade Brasileira de Computação, 1985. v. 1. p. 477-486.
VELOSO, P. A. S. ; MAIBAUM, T. S. E. ; Sadler, M. R. . Programme development and theory manipulation. In: 3rd International Workshop on Software Specification and Design, 1985, London. Proc. 3rd International Workshop on Software Specification and Design. Los Angeles: IEEE Computer Society, 1985. p. 228-232.
VELOSO, P. A. S. ; MARTINS, R. C. B. . Jackson?s method for programme construction: year nine. In: 3rd International Workshop on Software Specification and Design, 1985, London. Proc. 3rd International Workshop on Software Specification and Design. Los Angeles: IEEE Computer Society, 1985. p. 155-162.
MARTINS, R. C. B. ; VELOSO, P. A. S. . Canonical programming: towards standardization of solutions. In: 2nd International Conference on Systems Research, Informatics and Cybernetics, 1985, Baden-Baden. 2nd International Conference on Systems Research, Informatics and Cybernetics, 1985.
VELOSO, P. A. S. . On abstraction in programming and problem solving. In: 2nd International Conference on Systems Research, Informatics and Cybernetics, 1985, Baden-Baden. 2nd International Conference on Systems Research, Informatics and Cybernetics, 1985.
VELOSO, P. A. S. . What is a problem-solving method. In: 1985 IEEE Workshop on Languages for Automation: Cognitive Aspects in Information Processing, 1985, Palma de Mayorca. 1985 IEEE Workshop on Languages for Automation: Cognitive Aspects in Information Processing, 1985.
VELOSO, P. A. S. . Here is a problem related to yours.... In: Cognitiva 85, 1985, Paris. Cognitiva 85, 1985.
MARTINS, R. C. B. ; VELOSO, P. A. S. . Jackson?s method for program construction reformalized and extended. In: 985 Conference on Information Sciences and Systems, 1985, Baltimore. 985 Conference on Information Sciences and Systems, 1985.
MAIBAUM, T. S. E. ; VELOSO, P. A. S. ; SADLER, M. R. . A theory of abstract data types for program development: bridging the gap?. In: Joint Conference on Theory and Practice of Software Development, 1985, Berlin. Formal Methods and Software Development. Berlin: Springer-Verlag, 1985. v. 2. p. 214-230.
MAIBAUM, T. S. E. ; SADLER, M. R. ; VELOSO, P. A. S. . Logical specification and implementation. In: 4th Conference on Foundations of Software Technology and Theoretical Computer Science, 1985, Bangalore. Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science LNCS 181. Berlin: Springer-Verlag, 1984. p. 13-30.
VELOSO, P. A. S. . Outlines of a mathematical theory of problems and its applications. In: 1984 International Computer Symposium, 1984, Tamsui. 1984 International Computer Symposium, 1984.
MARTINS, R. C. B. ; LUCENA, C. J. P. ; VELOSO, P. A. S. . Constructing and optimizing programs via the data transform method. In: International Conference on Artificial Intelligence: Methodology, Systems, Applications, 1984, Varna. International Conference on Artificial Intelligence: Methodology, Systems, Applications, 1984.
VELOSO, P. A. S. . Towards a theory of problems. In: International Conference on Artificial Intelligence: Methodology, Systems, Applications, 1984, Varna. International Conference on Artificial Intelligence: Methodology, Systems, Applications, 1984.
VELOSO, P. A. S. ; MARTINS, R. C. B. . A logical hierarchy of reductions of problems. In: 6th International Congress of Cybernetics and Systems, 1984, Paris. Proc. 6th International Congress of Cybernetics and Systems, 1984. v. 2. p. 731-736.
VELOSO, P. A. S. . How to "divide-and-conquer": a logical basis. In: 9. Symposium über Operations Research, 1984, Osnabrück. 9. Symposium über Operations Research, 1984.
VELOSO, P. A. S. ; MARTINS, R. C. B. . Reductions of problems: a general perspective. In: International Conference on Systems Research, Informatics and Cybernetics, 1984, Baden-Baden. International Conference on Systems Research, Informatics and Cybernetics, 1984.
VELOSO, P. A. S. . On the foundations of a theory of problems. In: International Conference on Systems Research, Informatics and Cybernetics, 1984, Baden-Baden. International Conference on Systems Research, Informatics and Cybernetics, 1984.
VELOSO, P. A. S. ; MARTINS, R. C. B. ; LUCENA, C. J. P. . Program construction by data transformers: a case study. In: Deuxième Colloque de Génie Logiciel, 1984, Nice. Deuxième Colloque de Génie Logiciel, 1984. p. 329-342.
MARTINS, R. C. B. ; LUCENA, C. J. P. ; VELOSO, P. A. S. . Construção e otimização de programas para processamento de arquivos seqüenciais: uma aplicação do método de transformadores de dados. In: X Conferencia Latinoamericana de Informática, 1984, Via del Mar, Chile. Anales de la X Conferencia Latinoamericana de Informática, 1984. p. 351-358.
CASANOVA, M. A. ; VELOSO, P. A. S. ; FURTADO, A. L. . Database specification formalisms: an eclectic perspective. In: III ACM Symposium on Principles of Database Systems, 1984, Waterloo. Proc. 3rd ACM Symposium on Principles of Database Systems. Waterloo: ACM, 1984. p. 110-118.
VELOSO, P. A. S. ; MARTINS, R. C. B. . On reducibilities among general problems. In: 7th European Meeting on Cybernetics and Systems Research, 1984, Viena. Cybernetics and Systems Research. Amsterdam: North-Holland, 1984. v. 2. p. 21-25.
LUCENA, C. J. P. ; MARTINS, R. C. B. ; VELOSO, P. A. S. ; COWAN, D. D. . The data transform programming method: an example for file processing problems. In: 7th International Conference on Software Engineering, 1984, Orlando. Proc. 7th International Conference on Software Engineering. Los Angeles: IEEE Computer Science Press, 1984. p. 388-392.
VELOSO, P. A. S. . A sound and complete methodology for abstract data type specification: correctness proof and eample. In: 17th Hawaii International Conference on System Science (HICSS-17), 1984, Honolulu. 17th Hawaii International Conference on System Science (HICSS-17), 1984.
LUCENA, C. J. P. ; MARTINS, R. C. B. ; VELOSO, P. A. S. ; COWAN, D. D. . A theoretical proposal to a CASD system extending the Jackson?s method. In: International Conference on Advanced Automation, 1983, Taipei. Proc. International Conference on Advanced Automation, 1983. p. 144-153.
MARTINS, R. C. B. ; VELOSO, P. A. S. ; LUCENA, C. J. P. . Uma comparação entre metodologias de desenvolvimento de programas. In: XVI Congresso Nacional de Informática (SUCESU?83), 1983, São Paulo. Anais do XVI Congresso Nacional de Informática (SUCESU?83). São Paulo: SUCESU, 1983. p. 381-386.
VELOSO, P. A. S. ; FURTADO, A. L. . View constructs for the specification and design of external schemas. In: Third International Conference on Entity-Relationship Approach, 1983, Anaheim. Entity-Relationship Approach to Software Engineering. Amsterdam: North-Holland, 1983. p. 637-649.
VELOSO, P. A. S. . A methodology for the sound and complete specification of abstract data types. In: Colloquium on Algebra, Combinatorics and Logic in Computer Science, 1983, Györ. Colloquium on Algebra, Combinatorics and Logic in Computer Science, 1983.
FURTADO, A. L. ; VELOSO, P. A. S. ; CASANOVA, M. A. . A grammatical approach to data bases. In: 9th World Computer Congress (IFIP?83), 1983, Paris. Information Processing 83. Amsterdam: North-Holland, 1983. p. 705-710.
VELOSO, P. A. S. . Algebraic decompositions for multilinear systems. In: Measurement and Control Symposium (MECO83), 1983, Atenas. Measurement and Control Symposium (MECO83), 1983.
VELOSO, P. A. S. . Methodical specification of abstract data types. In: 8. Symposium über Operations Research, 1983, Karlsruhe. 8. Symposium über Operations Research, 1983.
VELOSO, P. A. S. ; LOPES, M. A. . Problem solvability via homomorphism and analogy. In: X International Congress of Cybernetics, 1983, Namur. Proc. X International Congress of Cybernetics, 1983.
LUCENA, C. J. P. ; MARTINS, R. C. B. ; VELOSO, P. A. S. . Uma introdução ao método de transformadores de dados: estudo de caso. In: 3o. Congresso da Sociedade Brasileira de Computação, 1983, Campinas. Anais do 3o. Congresso da Sociedade Brasileira de Computação. Campinas: SBC, 1983. v. 1. p. 321-333.
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . On multi-level specifications for abstract data types. In: 3rd International Conference in Computer Science, 1983, Santiago. Proc. 3rd International Conference in Computer Science, 1983.
VELOSO, P. A. S. . Problems and their solutions: towards a general formulation. In: 3rd International Conference in Computer Science, 1983, Santiago. Proc. 3rd International Conference in Computer Science, 1983. p. 161-186.
VELOSO, P. A. S. ; FURTADO, A. L. . On multilevel specifications based on traces. In: International Computing Symposium on Application Systems Development, 1983, Nürnberg. Proc. International Computing Symposium on Application Systems Development, 1983.
CARVALHO, R. L. ; MAIBAUM, T. S. E. ; PEQUENO, T. H. C. ; PEREDA, A. A. ; VELOSO, P. A. S. . A model-theoretic approach to the semantics of data types and structures. In: International Computer Symposium 1982, 1982, Taichung. Proc. International Computer Symposium 1982. Taiwan: Academia Sinica, 1982.
CASTILHO, J. M. V. ; FURTADO, A. L. ; VELOSO, P. A. S. . Algebraic specification of data-base applications. In: International Computer Symposium 1982, 1982, Taichung. Proc. International Computer Symposium 1982. Taiwan: Academia Sinica, 1982.
VELOSO, P. A. S. ; FURTADO, A. L. . Stepwise construction of algebraic specifications. In: Workshop on Logical Bases for Data Bases, 1982, Toulouse. Workshop on Logical Bases for Data Bases, 1982.
VELOSO, P. A. S. . Finite automata with several initial states. In: 20th Annual Allerton Conference on Communication, Control and Computing, 1982, Monticello. 20th Annual Allerton Conference on Communication, Control and Computing, 1982.
FURTADO, A. L. ; VELOSO, P. A. S. . Specification of data bases through rewriting rules. In: Workshop on Graph Grammars and their Applications to Computer Science, 1982, Osnabrück. Graph Grammars and their Applications in Computer Science, Pattern Recognition and Biology. Berlin: Springer-Verlag, 1982. p. 102-114.
VELOSO, P. A. S. . On multiple/simultaneous entry finite automata. In: 7. Symposium über Operations Research, 1982, St. Gallen. 7. Symposium über Operations Research, 1982.
VELOSO, P. A. S. . Characterizing the regular prefix codes. In: 7. Symposium über Operations Research, 1982, St. Gallen. 7. Symposium über Operations Research, 1982.
VELOSO, P. A. S. ; PESSOA, F. E. P. ; MAIBAUM, T. S. E. . Teoria de tipos abstratos de dados para programação: um enfoque lógico. In: 9a Conferencia Latinoamericana de Informática, 1982, Lima. Anales de la 9a Conferencia Latinoamericana de Informática, 1982. p. 423-430.
VELOSO, P. A. S. . Some issues and a methodology for abstract data type specification. In: 2nd International Conference in Computer Science, 1982, Santiago. Proc. 2nd International Conference in Computer Science, 1982. p. 271-288.
PESSOA, F. E. P. ; VELOSO, P. A. S. . Uma metodologia para verificar implementações de tipos abstratos de dados. In: 2 Congresso da Sociedade Brasileira de Computação, 1982, Ouro Preto. Anais do 2 Congresso da Sociedade Brasileira de Computação, 1982. v. 1. p. 495-510.
LOPES, M. A. ; VELOSO, P. A. S. . Operations on problems and their solution spaces. In: 6th European Meeting on Cybernetics and Systems Research, 1982, Viena. Progress in Cybernetics and Systems Research. Amsterdam: North-Holland, 1982. v. IX. p. 379-383.
VELOSO, P. A. S. . On time and state space in general systems theory. In: International Conference on Communication Circuits and Systems, 1981, Calcutta. International Conference on Communication Circuits and Systems, 1981.
FURTADO, A. L. ; VELOSO, P. A. S. ; Castilho, J. M. V. . Verification and testing of S-ER representations. In: 2nd International Conference on Entity-Relationship Approach, 1981, Washington, DC. Entity-Relationship Approach to Information Modeling and Analysis. Los Angeles: E-R Institute, 1981. p. 125-149.
VELOSO, P. A. S. ; CASTILHO, J. M. V. ; FURTADO, A. L. . Systematic derivation of complementary specifications. In: 7th International Conference on Very Large Data Bases, 1981, Cannes. Proc. 7th International Conference on Very Large Data Bases, 1981. p. 409-421.
VELOSO, P. A. S. . On namable models for structured data. In: 6. Symposium über Operations Research, 1981, Augsburg. Proc. 6. Symposium über Operations Research, 1981.
Castilho, J. M. V. ; FURTADO, A. L. ; VELOSO, P. A. S. . A formal approach to the specification and design of data-base applications. In: Primera Conferencia Internacional en Ciencia de la Computación, 1981, Santiago. Actas de la Primera Conferencia Internacional en Ciencia de la Computación, 1981. p. 273-288.
VELOSO, P. A. S. . Methodical specification of abstract data types via rewrite rules. In: Primera Conferencia Internacional en Ciencia de la Computación, 1981, Santiago. Actas de la Primera Conferencia Internacional en Ciencia de la Computación, 1981. p. 251-272.
VELOSO, P. A. S. ; LOPES, M. A. . A framework for problem-solving: theory and methodology. In: International Congress on Applied Systems Research and Cybernetics, 1981, Acapulco. Applied Systems and Cybernetics. Oxford: Pergamon Press, 1980.
VELOSO, P. A. S. ; VELOSO, S. R. M. . Problem decomposition and reduction: applicability, soundness, completeness. In: Fifth European Meeting on Cybernetics and Systems Research, 1981, Viena. Progress in Cybernetics and Systems Research. Washington, DC: Hemisphere, 1980. v. VIII. p. 199-203.
CARVALHO, R. L. ; VELOSO, P. A. S. . Towards a logic of limited perception. In: III Encontro Brasileiro de Lógica, 1981, Recife. Proc. Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1979. p. 147-159.
VELOSO, P. A. S. . Generalized time systems: state space construction. In: IX International Congress of Cybernetics, 1980, Namur. Proc. IX International Congress of Cybernetics, 1980. p. 47-51.
VELOSO, P. A. S. ; MARTINS, R. C. B. . State space construction for general time systems. In: III Congresso da Sociedade Brasileira de Automática, 1980, Rio de Janeiro. Anais do III Congresso da Sociedade Brasileira de Automática, 1980. p. 51-53.
VELOSO, P. A. S. . Divide-and-conquer via data types. In: VII Conferencia Latinoamericana de Informática, 1980, Caracas. Anales de la VII Conferencia Latinoamericana de Informática, 1980. p. 530-539.
VELOSO, P. A. S. ; LOPES, M. A. . Sorting by divide-and-conquer data types: an example of problem-solving. In: VII Conferencia Latinoamericana de Informática, 1980, Caracas. Anales de la VII Conferencia Latinoamericana de Informática, 1980. p. 345-354.
VELOSO, P. A. S. . On the structure of multilinear systems. In: Second International Conference on Systems and Information Sciences, 1980, Patras. Advances in Control. Dordrecht: D. Reidel, 1979. p. 87-93.
VELOSO, P. A. S. . On additivity and linearity in general systems theory. In: Second International Conference on Systems and Information Sciences, 1980, Patras. Advances in Control. Dordrecht: D. Reidel, 1979. p. 65-69.
VELOSO, P. A. S. . Characterizations for the regular prefix codes. In: Sexto Panel de Discusión sobre Tópicos de Computación, 1979, Valparaíso. Anales del Sexto Panel de Discusión sobre Tópicos de Computación, 1979. p. 1-10.
Pequeno, T. H. C. ; VELOSO, P. A. S. . Do not write more axioms than you have to. In: International Computing Symposium, 1978, Taipei. Proc. International Computing Symposium, 1978. p. 487-498.
VELOSO, P. A. S. . Some bounds on quasi-initialised finite automata. In: ACM International Computing Symposium, 1977, Liège. International Computing Symposium. Amsterdam: North-Holland, 1977. p. 389-393.
VELOSO, P. A. S. . Análise de redes paralelas modulares de autômatos finitos. In: Cuarto Panel de Discusión sobre Tópicos de Computación, 1977, Valparaíso. Anales del Cuarto Panel de Discusión sobre Tópicos de Computación, 1977. p. 171-184.
VELOSO, P. A. S. . Modular networks and modular decomposition of finite automata. In: Cuarto Panel de Discusión sobre Tópicos de Computación, 1977, Valparaíso. Anales del Cuarto Panel de Discusión sobre Tópicos de Computación, 1977. p. 161-169.
VELOSO, P. A. S. . Some interconnection properties of definite and finite-recall machines. In: 1o. Congresso da Sociedade Brasileira de Automática, 1976, São Paulo. Anais do 1o. Congresso da Sociedade Brasileira de Automática, 1976. p. 22.1-22.10.
VELOSO, P. A. S. . Uma decomposição para sistemas multilineares causais. In: 1o. Congresso da Sociedade Brasileira de Automática, 1976, São Paulo. Anais do 1o. Congresso da Sociedade Brasileira de Automática, 1976. p. 18.1-18.8.
Paulo A. S. Veloso . On algebraic decompositions for some multilinear systems. In: 1o. Congresso da Sociedade Brasileira de Automática, 1976, São Paulo, SP. Anais do 1o. Congresso da Sociedade Brasileira de Automática. São Paulo, SP: Sociedade Brasileira de Automática, 1976. p. 22.1-22.10.
VELOSO, P. A. S. . Modular parallel decomposition of finite automata. In: International Symposium on Uniformly Structured Automata and Logic, 1975, Tóquio. Proc. International Symposium on Uniformly Structured Automata and Logic, 1975. p. 13-19.
VELOSO, P. A. S. ; Kerschberg, L. . A decomposition for a class of multilinear systems. In: 1971 IEEE Mexico International Conference on Systems, Networks and Computers, 1971, Oaxtepec. Proc. 1971 IEEE Mexico International Conference on Systems, Networks and Computers, 1971. p. 154-158.
PEREIRA, L. C. ; HAEUSLER, E. H. ; Paulo A. S. Veloso . Dedução Natural em Forma e Conteúdo. In: XVIII Colóquio Conesul de Filosofia das Ciências Formais, 2014, Santa Maria, RS. Resumos do XVIII Colóquio Conesul de Filosofia das Ciências Formais: Forma e Estrutura. Santa Maria: Universidade Federal de Santa Maria, 2014. v. 1. p. 26-27.
VELOSO, P. A. S. ; VELOSO, S. R. M. . A goal-oriented graph calculus for relations. In: TACL 2001: 5 Conf. Topology, Algebra and Categories in Logic, 2011, Marselha. TACL 2001: 5 Conf. Topology, Algebra and Categories in Logic, 2011. v. 1. p. 285-288.
VELOSO, S. R. M. ; VELOSO, P. A. S. . On logics for 'generally' and their relational interpretations. In: First World Congress on Universal Logic, 2005, Montreux. First World Congress on Universal Logic: Handbook, 2005. p. 101-102.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On filter logic for 'most' and special predicates. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Lisboa, Portugal. Proc. CombLog'04: Workshop on Combination of Logics: Theory and Application. Lisboa: Centre for Logic and Computation, Univ. Lisboa, 2004. p. 169-173.
RENTERÍA, C. J. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . NUL: Natural Deduction for Ultrafilter Logic. In: Natural Deduction Rio 2001, 2001, Rio de Janeiro. Natural Deduction. Rio de Janeiro: PUC-Rio, 2001. p. 61-68.
BENEVIDES, M. R. F. ; VELOSO, P. A. S. . Axiomatization and completeness for fork modal logic. In: XII Encontro Brasileiro de Lógica, 1999, Itatiaia. XII Encontro Brasileiro de Lógica'99: Resumos, 1999. p. 87-94.
VELOSO, P. A. S. . On modalities, rigid designation, states and encapsulation in conceptual analysis and design of databases. In: 2nd Workshop on Logic, Language, Information and Computation, 1995, Recife. WoLLIC ?95: Abstracts. Recife: WoLLIC, 1995. p. 36-37.
ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Hierarchical and encapsulated specifications: a categorical approach. In: 2nd Workshop on Logic, Language, Information and Computation, 1995, Recife. WoLLIC ?95: Abstracts, 1995. p. 7-9.
MERÉ, M. C. ; VELOSO, P. A. S. ; Paiva, V. C. . Categorical logic. In: Informática 25: Seminário comemorativo dos 25 anos de pós-graduação e pesquisa do Dept. de Informática da PUC-Rio, 1992, Rio de Janeiro. Informática 25: Seminário comemorativo dos 25 anos de pós-graduação e pesquisa do Dept. de Informática da PUC-Rio. Rio de Janeiro: PUC-Rio, 1992.
VELOSO, P. A. S. ; TALA, J. E. . Lógica a valores vetoriais para tipos abstratos de dados. In: VIII Simpósio Latino-Americano de Lógica Matemática, 1989, João Pessoa. VIII Simpósio Latino-Americano de Lógica Matemática: Resumos. v. C. p. 73-74.
HAEBERER, A. M. ; VELOSO, P. A. S. . Algunas reflexiones epistemológicas sobre el desarrollo de software. In: VIII Simpósio Latino-Americano de Lógica Matemática, 1989, João Pessoa. VIII Simpósio Latino-Americano de Lógica Matemática: Resumos, 1989. v. C. p. 7-11.
VELOSO, P. A. S. ; WAGA, C. E. M. F. . Ambiente para desenvolvimento de programas baseado em abstrações. In: IV Encontro de Trabalho do do Projeto ETHOS, 1987, Petrópolis. IV Encontro de Trabalho do do Projeto ETHOS, 1987. p. 247-249.
WAGA, C. E. M. F. ; VELOSO, P. A. S. . Programação dinâmica x método guloso: uma formulação generalizada. In: VI Congresso da Sociedade Brasileira de Computação, 1986, Recife. Anais do VI Congresso da Sociedade Brasileira de Computação, 1986. v. I. p. 599-602.
WAGA, C. E. M. F. ; VELOSO, P. A. S. . Resolução de problemas por abstração: o método guloso. In: 2o. Simpósio Brasileiro de Inteligência Artificial, 1985, São José dos Campos. 2o. Simpósio Brasileiro de Inteligência Artificial, 1985. p. 47-50.
VELOSO, P. A. S. . Towards a general theory of problems. In: International Workshop on Models and Languages for Software Specification and Design, 1984, Orlando. Workshop Notes: International Workshop on Models and Languages for Software Specification and Design. Québec: Dept. d?Informatique, Université Laval, 1984. p. 166-168.
VELOSO, P. A. S. . On time and causality in mathematical systems theory. In: 7th International Congress of Logic, Methodology and Philosophy of Science, 1983, Salzburg. Abstracts of the 7th International Congress of Logic, Methodology and Philosophy of Science. Salzburg: J. Huttegger OHG, 1983. v. 4. p. 255-257.
VELOSO, P. A. S. . On a mathematical theory of problems. In: 7th International Congress of Logic, Methodology and Philosophy of Science, 1983, Salzburg. Abstracts of the 7th International Congress of Logic, Methodology and Philosophy of Science,. Salzburg: J. Huttegger OHG, 1983. v. 3. p. 274-276.
PAULO A. S. VELOSO . Cálculo de Relações e Geometria: alguns aspectos. In: XIX Coloóquio ConeSul de Filosofia das Ciências Formais: Filosofia da Geometria, 2015, Salvador, Brasil. XIX Coloóquio ConeSul de Filosofia das Ciências Formais: Filosofia da Geometria. Salvador: UFBa, 2015. v. 1. p. 44-44.
PAULO VELOSO ; SHEILA VELOSO ; MARIO BENEVIDES. . On graph calculus approach to modalities. In: LOGIC COLLOQUIUM Vienna Summer of Logic 20114, 2014, Viena. Abstract Booklet Logic Colloquium; Logic Algebra and Truth Degrees. Viena: Technische Universität Wien, 2014. p. 103-104.
PAULO VELOSO ; SHEILA VELOSO ; MARIO BENEVIDES. . Graph Approach to Modal Logics. In: EBL 2014 17th Brazilian Logic Conference, 2014, Petrópolis. Book of Abstracts 17th Brazilian Logic Conference. RIO DE JANEIRO: PUC-RIO, 2014. p. 104-104.
BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Enhancing Propositional Dynamic Logic for Structured Data. In: Model-based reasoning, 2012, Sestri Levante. Model-based reasoning 2012, 2012. v. 1. p. 7-8.
E. H. Haeusler ; PEREIRA, L. C. ; VELOSO, P. A. S. . Conjuntos e Categorias. In: XVI Colóquio Conesul de Filosofia das Ciências Formais, 2012, Santa Maria, RS. XVI Colóquio Conesul de Filosofia das Ciências Formais ? Teoria dos Conjuntos/Mereologia. Santa Maria, RS: UFSM, 2012.
VELOSO, P. A. S. ; PEREIRA, L. C. P. ; HAEUSLER, E. H. . On what there must be: existence in Logic and some related riddles. In: Logic Colloquium 2011, 2011, França. Logic Colloquium 2011. v. 1. p. 21-22.
PAULO VELOSO . Problemas: aspectos de uma teoria geral. In: XV Colóquio Conesul de Filosofia das Ciências Formais, 2011, Salvador, Brasil. Caderno de Resumos Filosofia da Prática Matemática. Salvador: UFBA, 2011. p. 60-60.
VELOSO, PAULO A.S. ; VELOSO, S. R. M. . On graph calculi for relational inclusions. In: XVI Brazillian Logic Conference, 2011, Petrópolis. XVI Brazillian Logic Conference, 2011.
VELOSO, PAULO A.S. ; PEREIRA, L. C. ; HAEUSLER, H. . Validades existenciais e possibilidades válidas. In: XIV COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS, 2010, Santa Maria, RS. XIV COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS. Santa Maria, RS: UFSM, 2010. v. 1.
FREITAS, R. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. ; VIANA, J. P. . Positive Fork Graph Calculus. In: CLE 30 Years/ XV Brazilian Logic Conference/ XIV Latin-American Symposium on Mathematical Logiconference, 2008, Paraty. Annals of the CLE 30 Years/ XV Brazilian Logic Conference / XIV Latin-American Symposium on Mathematical Logic Conference. Campinas, S. P.: Centre for Logic, Epistemology and the History of Science, 2008. p. 107-107.
VELOSO, P. A. S. ; VELOSO, S. R. M. ; VELOSO, P. M. . Alegrias e tristezas da visualização: estudo de casos da negação.. In: XII Encontro Cone Sul de Filosofia das Ciências Formais;, 2008, Santa Maria. XII Encontro Cone Sul de Filosofia das Ciências Formais;, 2008.
VELOSO, P. A. S. . Graph relational calculi: some aspects. In: XV Brazilian Logical Conference, XIV Latin-American Symposium on Mathematical Logi, 2008, Parati. Annals of the CLE 30 Years, XV Brazilian Logical Conference, XIV Latin-American Symposium on Mathematical Logic. Campinas: CLE, 2008. p. 74-74.
VELOSO, P. A. S. ; VELOSO, S. R. M. . On computing modality-like diagrams. In: International Congress on the Square of Opposition, 2007, Montreux. The Square of Opposition International Congress, 2007. p. 52-52.
VELOSO, P. A. S. ; VELOSO, S. R. M. ; VELOSO, P. M. . On negation and Piaget-like (semi)groups: some remarks.. In: V Simpósio Internacional Principia, 2007, Florianópolis. Annals of the V Simpósio Internacional Principia, 2007.
VIANA, J. P. ; FREITAS, R. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Graph relational calculus. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV Encontro Brasileiro de Lógica, 2006.
VELOSO, P. A. S. ; VANA, L. B. ; VELOSO, S. R. M. . Natural deduction for 'generally': proof strategies and normalization. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV Encontro Brasileiro de Lógica, 2006.
VELOSO, P. A. S. ; HAEUSLER, E. H. ; SILVA, G. M. H. . Exploring computational contents of intuitionistic proofs: a first-order many-sorted logical approach. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. XIII Encontro Brasileiro de Lógica - CLE/SBL 25 anos: Resumos, 2003. p. 91-91.
RENTERÍA, C. J. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . NUL: Natural deduction for ultrafiter logic. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. XIII Encontro Brasileiro de Lógica - CLE/SBL 25 anos: Resumos, 2003. p. 84-84.
VELOSO, P. A. S. . On modulated logics for 'generally'. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. XIII Encontro Brasileiro de Lógica - CLE/SBL 25 anos: Resumos, 2003. p. 25-26.
VELOSO, P. A. S. . On ultrafilter logic and generic reasoning. In: XII Encontro Brasileiro de Lógica e 6th Workshop on Logic, Language, Information and Computation, 1999, Itatiaia. XII Encontro Brasileiro de Lógica'99: Resumos, 1999. p. 8-8.
VELOSO, S. R. M. ; VELOSO, P. A. S. ; FREITAS, R. P. . On modularity and interpolation in general Pi-institutions. In: Logic Colloquium 98, 1998, Praga. Logic Colloquium 98, 1998. v. 1. p. 1-2.
VELOSO, P. A. S. ; HAEUSLER, E. H. . On problems, solutions, programs and constructive proofs: towards a methodology for problem solving. In: PRATICA'98 (Provas, Tipos e Categorias), 1998, Rio de Janeiro. PRATICA'98, 1998.
VELOSO, P. A. S. . On the logic of 'most'. In: International Meeting on Language, Logic and Artificial Intelligence, 1998, Fortaleza. Abstracts of the IMLLAI: International Meeting on Language, Logic and Artificial Intelligence. Fortaleza: Depto. de Informática, UFC, 1998. v. I. p. 1-1.
VIANA, J. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Schematic systems. In: 4th Workshop on Logic, Language, Information and Computation, 1997, Fortaleza. WoLLIC ?97: Abstracts, 1997.
VELOSO, P. A. S. . Logical specifications and program development. In: 4th Workshop on Logic, Language, Information and Computation, 1997, Fortaleza. WoLLIC ?97: Abstracts, 1997.
VELOSO, P. A. S. . Some connections between Logic and Computer Science. In: XI Encontro Brasileiro de Lógica e 3rd Workshop on Logic, Language, Information and Computation, 1996, Salvador. XI Encontro Brasileiro de Lógica: Resumos, 1996.
VELOSO, P. A. S. . Fork algebras: programming and logic. In: Pratica?96 (Provas, Tipos e Categorias), 1996, Rio de Janeiro. Pratica?96 (Provas, Tipos e Categorias). Rio de Janeiro: PUC-Rio, 1996.
MERÉ, M. C. ; VELOSO, P. A. S. . Definability in extensions by sorts. In: 1994 Winter Meeting of the Association for Symbolic Logic, 1995, San Francisco. 1994 Winter Meeting of the Association for Symbolic Logic, 1994. v. 1. p. 1-1.
VELOSO, P. A. S. . Interpolation and modularity in logic. In: Pratica?95 (Provas, Tipos e Categorias), 1995, Rio de Janeiro. Pratica?95 (Provas, Tipos e Categorias). Rio de Janeiro: PUC-Rio, 1995.
ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . On the Constructibility Theorem for logical specifications and its role in the composability of implementation steps. In: Workshop on Logic, Language, Information and Computation, 1994, Recife. WoLLIC ?94: Abstracts, 1994. v. 1. p. 6-6.
MERÉ, M. C. ; VELOSO, P. A. S. . Definition-like extensions by sorts. In: Workshop on Logic, Language, Information and Computation, 1994, Recife. WoLLIC ?94: Abstracts, 1994. v. 1. p. 17-17.
FRIAS, M. ; HAEBERER, A. M. ; VELOSO, P. A. S. . On the metalogical properties of fork algebras. In: 1994 Winter Meeting of the Association for Symbolic Logic, 1994, San Francisco. 1994 Winter Meeting of the Association for Symbolic Logic, 1994.
VELOSO, P. A. S. ; HAEBERER, A. M. ; FRIAS, M. . Fork algebras as algebras of logic. In: Logic Colloquium ?94, 1994, Aubière. Logic Colloquium ?94: Abstracts of Contributed Papers, 1994. p. 127-127.
FRIAS, M. ; HAEBERER, A. M. ; VELOSO, P. A. S. ; BAUM, G. . Representability of fork algebras. In: Logic Colloquium ?94, 1994, Aubière. Logic Colloquium ?94: Abstracts of Contributed Papers, 1994. p. 51-51.
VELOSO, P. A. S. . Some logical properties related to modularity and interpolation. In: X Encontro Brasileiro de Lógica, 1993, Itatiaia. X Encontro Brasileiro de Lógica: Abstracts, 1993.
VELOSO, P. A. S. . The Modularization Theorem for logical specifications. In: IFIP WG 2.1 Meeting, 1992, Augsburg. IFIP WG 2.1 Meeting Doc. 495 AUG-9, 1992.
HAEBERER, A. M. ; VELOSO, P. A. S. . Epistemological issues in software development. In: 9th International Congress of Logic, Methodology and Philosophy of Science, 1991, Uppsala. Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, 1991. v. 1. p. 195-195.
HAEBERER, A. M. ; VELOSO, P. A. S. . Program derivation calculi cannot preserve termination. In: 9th International Congress of Logic, Methodology and Philosophy of Science, 1991, Uppsala. Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, 1991. v. 1. p. 80-80.
VELOSO, P. A. S. ; HAEBERER, A. M. . A new algebra of first-order logic: binary relations resumed. In: 9th International Congress of Logic, Methodology and Philosophy of Science, 1991, Uppsala. Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, 1991. v. 1. p. 51-51.
HAEBERER, A. M. ; VELOSO, P. A. S. . Towards a formal analysis of the software process. In: IFIP WG 2.1 Meeting, 1990, Manchester. IFIP WG 2.1 Meeting Doc. 641 BUR-6, 1990.
HAEBERER, A. M. ; VELOSO, P. A. S. ; ELUSTONDO, P. M. . Towards a relational calculus for software construction. In: IFIP WG 2.1 Meeting, 1990, Manchester. IFIP WG 2.1 Meeting Doc. 640 BUR-5, 1990.
VELOSO, P. A. S. . Problem solving by interpretation of theories. In: VII Simpósio Latino-Americano de Lógica Matemática, 1985, Campinas. VII Simpósio Latino-Americano de Lógica Matemática: Resumos, 1985.
VELOSO, P. A. S. . Choosing a repertoire of updates. In: 3rd Workshop on Theory and Applications of Abstract Data Types, 1984, Bremen. Abstracts of the 3. WTAADT, 1984.
VELOSO, P. A. S. . Directions of future research in algebraic specifications. In: 2nd Workshop on Theory and Applications of Abstract Data Types, 1983, Passau. Abstracts of the 2. WTAADT, 1983.
VELOSO, P. A. S. . The role of algebra in the education of computer scientists. In: 2nd Workshop on Theory and Applications of Abstract Data Types, 1983, Passau. Abstracts of the 2. WTAADT, 1983.
VELOSO, P. A. S. . Problems as abstract data types: applications to program construction. In: 2nd Workshop on Theory and Applications of Abstract Data Types, 1983, Passau. Abstracts of the 2. WTAADT, 1983.
VELOSO, P. A. S. . On the non-finitary character of Gamma-logics. In: Annual Meeting of the Association for Symbolic Logic, 1981, Philadelphia. 1981 Meeting of the Association for Symbolic Logic, 1981.
VELOSO, P. A. S. . On namable models. In: First Southeast Asian Conference on Mathematical Logic, 1981, Singapore. First Southeast Asian Conference on Mathematical Logic, 1981.
VELOSO, P. A. S. . A "problem-theoretic" equivalent of AC. In: Spring Meeting of the Association for Symbolic Logic, 1981, San Francisco. Spring Meeting of the Association for Symbolic Logic, 1981.
VELOSO, P. A. S. . Methodical axiomatization of varieties. In: Logic Symposion I, 1980, Patras. Logic Symposion I, 1980.
VELOSO, P. A. S. . The history of an error in the theory of representations of relation algebras. In: Logic Colloquium ?77, 1977, Wroclaw. Logic Colloquium ?77, 1977.
VELOSO, P. A. S. . On the history of an error in the theory of representation of relational algebras. In: Logic Colloquium ?76, 1976, Oxford. Logic Colloquium ?76.
VELOSO, P. A. S. . Two model-theoretic properties of the class of representable relation algebras. In: III Simpósio Latino Americano de Lógica Matemática, 1976, Campinas. Resumos de Conferências e Comunicações ao III SLALM, 1976. p. 35-35.
VELOSO, S. R. M. ; VELOSO, P. A. S. ; FREITAS, R. P. . On modularity and interpolation in general pi-institutions. Bulletin of Symbolic Logic, New York, v. 5, n.1, p. 152-153, 1999.
VIANA, J. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Schematic systems. Logic Journal of the IGPL, Oxford, v. 5, n.6, p. 917-920, 1997.
VELOSO, P. A. S. . On modalities, rigid designation, states and encapsulation in conceptual analysis and design of databases. Journal of the IGPL, Oxford, v. 4, n.2, p. 342-344, 1996.
ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Hierarchical and encapsulated specifications: a categorical approach. Journal of the IGPL, Oxford, v. 4, n.2, p. 314-315, 1996.
FRIAS, M. ; HAEBERER, A. M. ; VELOSO, P. A. S. . On the metalogical properties of fork algebras. Bulletin of Symbolic Logic, New York, v. 1, p. 364-365, 1995.
MERÉ, M. C. ; VELOSO, P. A. S. . Definition-like extensions by sorts. Journal of the IGPL, Oxford, v. 3, n.1, p. 141-142, 1995.
ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . On the Constructibility Theorem for logical specifications and its role in the composability of implementation steps. Journal of the IGPL, v. 3, n.1, p. 128-129, 1995.
VELOSO, P. A. S. . Towards a simpler proof of the Modularisation Theorem for logical specifications. IGPL Newsletter, Londres, p. 4-5, 1993.
BAUM, G. ; HAEBERER, A. M. ; VELOSO, P. A. S. . On the representability of the nabla-abstract relational algebra. IGPL Newsletter, Londres, v. 1, n.3, p. 3-4, 1992.
VELOSO, P. A. S. . Problem solving by interpretation of theories. Journal of Symbolic Logic, New York, v. 51, n.4, p. 1103-1103, 1986.
VELOSO, P. A. S. . On the non-finitary character of Gamma-logics. Journal of Symbolic Logic, New York, v. 48, n.3, p. 910-910, 1983.
VELOSO, P. A. S. . On namable models. Journal of Symbolic Logic, New York, v. 48, n.3, p. 896-896, 1983.
VELOSO, P. A. S. . A "problem-theoretic" equivalent of AC. Journal of Symbolic Logic, New York, v. 48, n.2, p. 511-511, 1983.
VELOSO, P. A. S. ; FURTADO, A. L. . Multilevel specifications based on traces. ACM Software Engineering Notes, New York, v. 8, n.1, p. 17-19, 1983.
VELOSO, P. A. S. . The history of an error in the theory of representations of relation algebras. Journal of Symbolic Logic, New York, v. 44, n.3, p. 466-466, 1979.
VELOSO, P. A. S. . Traversable stack with fewer errors: addenda and corrigenda. ACM SIGPLAN Notices, New York, v. 14, n.10, p. 76-76, 1979.
VELOSO, P. A. S. . On the history of an error in the theory of representation of relational algebras. Journal of Symbolic Logic, New York, v. 42, n.3, p. 473-473, 1977.
PAULO A. S. VELOSO . Relation Calculus and Geometry: some aspects. 2015. (Apresentação de Trabalho/Simpósio).
PAULO A. S. VELOSO . On Graph Calculi for Modal Logics. 2015. (Apresentação de Trabalho/Conferência ou palestra).
PEREIRA, L. C. ; Paulo A. S. Veloso ; HAEUSLER, E. H. . Dedução Natural em Forma e Estrutura. 2014. (Apresentação de Trabalho/Conferência ou palestra).
PEREIRA, L. C. ; HAEUSLER, E. H. ; VELOSO, PAULO A.S. . Finito e infinito em conjuntos e categorias. 2013. (Apresentação de Trabalho/Conferência ou palestra).
Paulo A. S. Veloso . On `generally' and `rarely'. 2012. (Apresentação de Trabalho/Conferência ou palestra).
Paulo A. S. Veloso . On graph calculi for relations. 2012. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. ; PEREIRA, L. C. P. ; HAEUSLER, E. H. . Validades existenciais e possibilidades válidas. 2010. (Apresentação de Trabalho/Comunicação).
VELOSO, P. A. S. ; PORTO, A. . Naturais: indução e recursão. 2009. (Apresentação de Trabalho/Comunicação).
PEREIRA, L. C. P. ; VELOSO, P. A. S. ; HAEUSLER, E. H. . Sobre o que tem que existir: validades existenciais e outros enigmas. 2009. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . On modalities for some vague notions. 2006. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Modalidades Vagas. 2006. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Raciocínio com noções vagas. 2005. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Lógicas para geralmente. 2005. (Apresentação de Trabalho/Conferência ou palestra).
FRIAS, M. ; VELOSO, P. A. S. ; BAUM, G. . Fork algebras and software development: the Argentum project. 2004. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Conectivos proposicionais: semelhanças e distinções. 2004. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Resoning about 'generally' with filters and ultrafilters. 2003. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . On vague notions and modalities. 2003. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Lógicas para noções vagas. 2002. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . On justifying induction: a logical approach. 2001. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Issues in reasoning with 'generally' and 'rarely'. 2001. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Programação com relações. 2001. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On a logical framework for 'generaly'. 2001. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Quantificadores generalizados para noções vagas. 2000. (Apresentação de Trabalho/Seminário).
VELOSO, P. A. S. . Ultrafiltros para quase todos. 2000. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Quantificadores generalizados para noções vagas. 2000. (Apresentação de Trabalho/Conferência ou palestra).
Paulo A. S. Veloso . On Ultrafilter Logic and the Erlangen Programme. 1999. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . A logic for most. 1998. (Apresentação de Trabalho/Comunicação).
VELOSO, P. A. S. . Aspectos teóricos e práticos da programação. 1996. (Apresentação de Trabalho/Conferência ou palestra).
FRIAS, M. ; HAEBERER, A. M. ; VELOSO, P. A. S. ; BAUM, G. . Widening representable fork algebras. 1995. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Teoria e Engenharia de Software. 1993. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Internalization of interpretations and quotients of axiomatic specifications. 1993. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Interpretations and the Modularization Theorem for axiomatic specifications. 1993. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Ser ou não ser: especificações descrevem modelos ou teorias?. 1992. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . A computing-like example of conservative, non-expansive extension. 1992. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . On conservative and expansive extensions: why and how they differ. 1991. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . A finitary relational algebra for classical first-order logic. 1991. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . On the expressiveness of the extended relational calculus and a new algebra for first-order logic. 1991. (Apresentação de Trabalho/Conferência ou palestra).
HAEBERER, A. M. ; VELOSO, P. A. S. . Towards a formal analysis of the software process. 1990. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Software development: towards a formal analysis and calculus. 1990. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Sobre a lógica da nomeabilidade. 1990. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . A problem-oriented calculus for software development. 1990. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . A calculus for program derivation and its role in software development and validation. 1990. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . On conservative extensions and some variations. 1990. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Software development and theory of problems. 1989. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Lógica como linguagem de especificação. 1989. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Formalização de estratégias para resolução de problemas. 1989. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Desarrollo de software a la luz de una teoría de problemas. 1988. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . O processo de programação à luz da teoria de problemas. 1988. (Apresentação de Trabalho/Simpósio).
HAEBERER, A. M. ; VELOSO, P. A. S. . Proyecto ETHOS: métodos para desarrollo de software. 1987. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . O desenvolvimento da lógica e seu papel na ciência da computação. 1987. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Teoría matemática de problemas y sus aplicaciones. 1987. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Métodos de resolução de problemas: uma formalização das idéías de Polya. 1987. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Programação, abstração e resolução de problemas. 1986. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Towards a theory of problems. 1986. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Desarrollo de programas como manipulación de teorías. 1985. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . El rol de los tipos abstractos de datos en el desarrollo de programas. 1985. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Teoría de resolución de problemas. 1985. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Conceptual design of data-base applications. 1985. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Desenvolvimento de programas utilizando tipos abstratos de dados. 1985. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . A pluralist approach to formal specifications. 1984. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Towards methodical specification of abstract data types. 1984. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Desenvolvimento de programas: aspectos lógicos. 1984. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Constructing algebraic specifications for data-base applications. 1984. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Methodical specification of abstract data types. 1984. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Trace levels for specifying database applications. 1984. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Constructing specifications for abstract data types. 1984. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Desenvolvimento de programas com tipos abstratos de dados. 1984. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Teoria da programação, tipos abstratos de dados e desenvolvimento de programas. 1984. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Towards a mathematical theory of problems. 1983. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Problemas e programas: o método dos transformadores de dados. 1983. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Tópicos de pesquisa em teoria da programação. 1983. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . The data transform method for program construction. 1983. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Sobre a lógica dos domínios nomeados. 1983. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Teoria da computação e teoria da programação. 1983. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Problemas, soluções e métodos de resolução. 1982. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. ; FURTADO, A. L. . Multi-level specifications based on traces. 1982. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. ; LOPES, M. A. . Operations on solution spaces of problems. 1982. (Apresentação de Trabalho/Congresso).
VELOSO, P. A. S. . Aspectos teóricos da programação. 1982. (Apresentação de Trabalho/Conferência ou palestra).
CARVALHO, R. L. ; VELOSO, P. A. S. . On Horn sentences, minimal entailment and closure under intersection on Herbrand universes. 1981. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Problemas e soluções: uma tentativa de formalização. 1981. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Pesquisa recente em tipos abstratos de dados. 1981. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. ; GILL, A. . On minimal finite automata with several initial states. 1980. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Spécification systématique des types de données à travers des règles de réecriture de termes. 1980. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Méthodes complementataires de spécification de données. 1980. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Abstract data types: methodical specification. 1979. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . On namable models and programming. 1979. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Uma aplicação de álgebra universal à programação. 1979. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Especificação axiomática de estruturas e tipos de dados. 1979. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. ; PEQUENO, T. H. C. . Interpretations between many-sorted theories. 1978. (Apresentação de Trabalho/Simpósio).
VELOSO, P. A. S. . Especificação metódica de tipos de dados abstratos. 1978. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Characterizations for the regular prefix codes and related families. 1977. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Multiple-entry finite automata. 1977. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Characterizations for the regular prefix codes. 1977. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Caracterizações para uma família de linguagens regulares. 1977. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Teoria de representação das álgebras de relações. 1977. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Redes paralelas modulares de autômatos finitos. 1976. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Autômatos finitos de entrada múltpla e simultânea. 1976. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Autômatos finitos não inicializados. 1976. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Autômatos finitos de múltpla entrada. 1975. (Apresentação de Trabalho/Conferência ou palestra).
VELOSO, P. A. S. . Networks of finite-state machines. 1975. (Apresentação de Trabalho/Conferência ou palestra).
PAULO A. S. VELOSO . On graph methods for modalities 2015 (Conferência convidada).
PAULO A. S. VELOSO . Sobre ?geralmente? e ?raramente?: aspectos de uma teoria 2014 (Conferência convidada).
Paulo A. S. Veloso . On graph calculi for relations 2012 (Conferência convidada).
PAULO A. S. VELOSO . On `generally' and `rarely' 2012 (Conferência convidada).
PAULO A. S. VELOSO . H., we've got a problem 2012 (Conferência convidada).
VELOSO, PAULO A.S. . Apresentação de 'Introdução à Abstração de Dados'. Porto Alegre, RS, 2012. (Prefácio, Pósfacio/Apresentação)>.
VELOSO, P. A. S. . Diagramas de negação: lógica e álgebra. 2009 (Conferência convidada).
VELOSO, P. A. S. . Validades existenciais e alguns enigmas relacionados. 2007 (Conferência convidada).
VELOSO, P. A. S. . Modalidades e noções vagas. 2006 (Conferência convidada).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On logics for 'generally' and relational interpretations for 'generally'. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2004 (Relatório Técnico de Pesquisa ES-640/04).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On modulated logics for 'generally': some metamathematical aspect. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2004 (Relatório Técnico de Pesquisa ES-639).
VELOSO, S. R. M. ; VELOSO, P. A. S. . On special predicates and filter logic for 'most'. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2004 (Relatório Técnico de Pesquisa ES-629/04).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On logics for 'generally': Functional interpretation with applications to theorem proving. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2003 (Relatório Técnico de Pesquisa ES-630/04).
VELOSO, P. A. S. . Notes on modulated logics for 'generally'. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2003 (Relatório Técnico de Pesquisa ES-602/03).
FREITAS, R. P. ; VELOSO, P. A. S. ; VIANA, J. P. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . On the expressive power of fork arrow logic. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2002 (Relatório Técnico de Pesquisa ES-583/02).
VELOSO, P. A. S. ; VELOSO, S. R. M. . Towards theorem proving in logics for 'generally' with special functions. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2002 (Relatório Técnico de Pesquisa).
RENTERÍA, C. J. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . NUL: Dedução natural para lógica de ultrafiltros. Rio de Janeiro: PUC-Rio, Dept. Informática, 2002 (Relatório Técnico de Pesquisa MCC 16/02).
SILVA, G. M. H. ; HAEUSLER, E. H. ; VELOSO, P. A. S. . Constructive program synthesis in imperative language using Intuitionistic Logic and Natural Deduction. Rio de Janeiro: PUC-Rio, Dept. Informática, 2002 (Relatório Técnico de Pesquisa MCC 18/02).
BENEVIDES, M. R. F. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; VIANA, J. P. . Fork modal logic: axiomatization and completeness. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório Técnico dde Pesquisa ES-546/01).
FREITAS, R. P. ; VIANA, J. P. ; BENEVIDES, M. R. F. ; VELOSO, P. A. S. ; VELOSO, S. R. M. . Infinite squares in fork modal logic. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório Técnico de Pesquisa ES-548/01).
VELOSO, P. A. S. . On 'generally' and 'rarely': some semantic issues. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório Técnico de Pesquisa ES-558/01).
VELOSO, P. A. S. . Towards reasoning with 'generally' and 'rarely': some semantic issues. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório Técnico de Pesquisa ES-559/01).
VELOSO, P. A. S. . Towards a logical analysis of Hume's argument on induction. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório Técnico de Pesquisa ES-561/01).
VELOSO, P. A. S. . On interpolation and related properties for ultrafilter logic and logics for 'generally'. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório Técnico de Pesquisa ES-562/01).
VELOSO, P. A. S. . On the justification of induction: a logical approach. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório Técnico de Pesquisa ES-563/01).
VIANA, J. P. ; FREITAS, R. P. ; VELOSO, P. A. S. ; VELOSO, S. R. M. ; BENEVIDES, M. R. F. . Hybridizing square arrow logic. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2001 (Relatório técnico ES-564/01).
VELOSO, P. A. S. ; CARNIELLI, W. A. . Logics for qualitative reasoning. Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 2001 (Relatório Técnico de Pesquisa CLE e-Print vol. 1 (n. 3)).
VELOSO, P. A. S. . On some postulates for 'generally' and 'rarely'. Rio de Janeiro: PUC-Rio, Dept. Informática, 2001 (Relatório Técnico de Pesquisa MCC 02/01).
VELOSO, P. A. S. . On some logics for qualitative reasoning about 'generally'. Rio de Janeiro: PUC-Rio, Dept. Informática, 2001 (Relatório Técnico de Pessquisa MCC 04/01).
VELOSO, P. A. S. . On some meanings of 'generally' and 'rarely'. Rio de Janeiro: PUC-Rio, Dept. Informática, 2001 (Relatório Técnico de Pesqisa MCC 02/01).
VELOSO, P. A. S. . On a logical system for 'generally'. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 2000 (Relatório Técnico de Pesquisa ES-536/00).
VELOSO, P. A. S. . On a logic for qualitative reasoning with 'most' and 'typical'. Rio de Janeiro: PUC-Rio, Dept. Informática, 2000 (Relatório Técnico de Pesquisa MCC 45/00).
VELOSO, P. A. S. . On a logical approach to qualitative reasoning with 'several'. Rio de Janeiro: PUC-Rio, Dept. Informática, 2000 (Relatório Técnico de Pesuisa MCC 44/00).
VELOSO, P. A. S. ; TOSCANI, L. V. . On the time complexity of divide-and-conquer algorithms. Rio de Janeiro: PUC-Rio, Dept. Informática, 2000 (Relatório Técnico de Pesquisa MCC 43/00).
VELOSO, P. A. S. . Ultrafilter logic has interpolation and related properties. Rio de Janeiro: PUC-Rio, Dept. Informática, 2000 (Relatório Técnico de Pesquisa MCC 42/00).
VELOSO, P. A. S. . Qualitative reasoning with 'generally': a logical approach - part III. Rio de Janeiro: PUC-Rio, Dept. Informática, 2000 (Relatório Técnico de Pesquisa MCC 33/00).
VELOSO, P. A. S. . Qualitative reasoning with 'generally': a logical approach - part II. Rio de Janeiro: PUC-Rio, Dept. Informática, 2000 (Relatório Técnico de Pesquisa MCC 29/00).
VELOSO, P. A. S. . Qualitative reasoning with 'generally': a logical approach - part I. Rio de Janeiro: PUC-Rio, Dept. Informática, 2000 (Relatório Técnico de Pesquisa MCC 27/00).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On variants of local modularity over a pi-institution. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1999 (Relatório Técnico de Pesquisa ES-501/99).
VELOSO, P. A. S. ; FIADEIRO, J. L. ; VELOSO, S. R. M. . On local modularity and interpolation over entailment systems. Rio de janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1999 (Relatório Técnico de Pessquisa ES-502/99).
VELOSO, P. A. S. . On ultrafilters for 'almost all': two conceptual papers. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1999 (Relatório Técnico de Pessquisa ES-522/99).
VELOSO, P. A. S. . On ultrafilters for almost all. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1999 (Relatório Técnico de Pesquisa ES-516/99).
VELOSO, P. A. S. . On eight equational axiomatisations for fork algebras: equivalence and independence. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1998 (Relatório Técnico de Pesquisa ES-466/98).
VELOSO, P. A. S. ; VELOSO, S. R. M. ; FIADEIRO, J. L. . On families of specifications over a pi-institution: modularity of formal software development. Rio de Janeiro: PUC-Rio, Dept. Informática, 1998 (Relatório Técnico de Pesquisa MCC 01/98).
VELOSO, P. A. S. . Some constructions on categories related to fork and projection algebras. Rio de Janeiro: PUC-Rio, Dept. Informática, 1998 (Relatório Técnico de Pesquisa MCC 01/98).
VELOSO, P. A. S. ; HAEUSLER, E. H. . Towards a methodology for extracting programs and solutions from constructive proofs. Rio de Janeiro: PUC-Rio, Dept. Informática, 1998 (Relatório Técnico de Pesquisa MCC 30/98).
VELOSO, P. A. S. . Ultrafilter logic: sound, complete and independent axiomatisation and non-finite axiomatisability. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1998 (Relatório Técnico de Pesquisa ES-494/98).
VELOSO, P. A. S. ; VELOSO, S. R. M. ; ARAÚJO, J. E. C. . On default specifications for modular development. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1998 (Relatório Técnico de Pesquisa ES-460/98).
FREITAS, R. P. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Modularity in general pi-institutions. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1998 (Relatório Técnico de Pesquisa ES-464/98).
VELOSO, P. A. S. . Computer Science and Logic: Fork Algebras. Rio de Janeiro: PUC-Rio, Dept. Informática, 1997 (Relatório Técnico de Pesquisa MCC 41/97).
VELOSO, S. R. M. ; VELOSO, P. A. S. ; FIADEIRO, J. L. . On modular development of families: external and internal choices. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-458/97).
VELOSO, P. A. S. . Logic and Computer Science: Logical Specifications. Rio de Janeiro: PUC-Rio, Dept. Informática, 1997 (Relatório Técnico de Pesquisa MCC 40/97).
VELOSO, P. A. S. . On some connections between Logic and Computer Science. Rio de Janeiro: PUC-Rio, Dept. Informática, 1997 (Relatório Técnico de Pesquisa MCC 38/97).
ANDRADE, A. M. S. ; VELOSO, P. A. S. . Uma abordagem lógica para o PDS. Rio de Janeiro: PUC-Rio, Dept. Informática, 1997 (Relatório Técnico de Pesquisa MCC 32/97).
VELOSO, P. A. S. . On refinement of logical specifications and modularity. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-448/97).
VELOSO, P. A. S. . On the construction of logical specifications by conservative extensions. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-447/97).
VELOSO, P. A. S. . On the role of axiomatic specifications in program development. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-445/97).
VELOSO, P. A. S. . On logical specifications and program development. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-446/97).
VELOSO, P. A. S. . On the axioms for fork algebras and their independence. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa).
VELOSO, P. A. S. . On simpler (equational) presentations for fork algebras and their relational reducts. Rio de Janeiro: PUC-Rio, Dept. Informática, 1997 (Relatório Técnico de Pesquisa MCC 22/97).
VELOSO, P. A. S. ; CARNIELLI, W. A. . An ultrafilter logic for generic reasoning and some applications. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-437/97).
VELOSO, S. R. M. ; VELOSO, P. A. S. ; FIADEIRO, J. L. . On modularity of internal and external choices in software development of versions. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-423/).
VELOSO, P. A. S. . Is fork set-theoretical? On cartesian and non-cartesian codings. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1997 (Relatório Técnico de Pesquisa ES-421/97).
VELOSO, P. A. S. . On algorithmic fork relations and programs. Rio de Janeiro: PUC-Rio, Dept. Informática, 1997 (Relatório Técnico de Pesquisa MCC 02/97).
VELOSO, P. A. S. . On finite and infinite fork algebras and their relational reducts: classification and examples. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1996 (Relatório Técnico de Pesquisa ES-418/96).
VELOSO, P. A. S. . On algorithmic fork relations: effectiveness and program constructs. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 43/96).
VELOSO, P. A. S. . On an extended relational framework for program development. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1996 (Relatório Técnico de Pesquisa ES-416/96).
VELOSO, P. A. S. . Fork relational frameworks on structured universes. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 42/96).
VELOSO, P. A. S. . On fork relations for program development. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 41/96).
VELOSO, P. A. S. ; VELOSO, S. R. M. ; FIADEIRO, J. L. . On modularity under internal and external choice in formal software development. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 33/96).
VELOSO, P. A. S. . On cartesian codings and the set-theoretical nature of fork algebras of relations. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 23/96).
VELOSO, P. A. S. . On three interconnections between Logic and Computer Science. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1996 (Relatório Técnico de Pesquisa ES-403/96).
VELOSO, P. A. S. . On infinite fork algebras and their relational reducts. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 20/96).
VELOSO, P. A. S. . Logic and Computer Science: some interconnections. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1996 (Relatório Técnico de Pesquisa ES-396/96).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 4.B Interpretations of many-sorted specifications (revised). Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1996 (Relatório Técnico de Pesquisa ES-378/96).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 4.A Interpretations of unsorted specifications (revised). Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1996 (Relatório Técnico de Pesquisa ES-379/96).
VELOSO, P. A. S. . On finite and infinite fork algebras. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 05/96).
VELOSO, P. A. S. . On the algebraic structure of fork algebras. Rio de Janeiro: PUC-Rio, Dept. Informática, 1996 (Relatório Técnico de Pesquisa MCC 04/96).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 3. Extensions of specifications (revised). Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1996 (Relatório Técnico de Pesquisa ES-380/96).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 2. Specifications as presentations (revised). Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1995 (Relatório Técnico de Pesquisa ES-359/95).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 1. Introduction and overview (revised). Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1995 (Relatório Técnico de Pesquisa ES-358/95).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 4.B Interpretations of many-sorted specifications. Rio de Janeiro: PUC-Rio, Dept. Informática, 1995 (Relatório Técnico de Pesquisa).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 4.A Interpretations of unsorted specifications. Rio de Janeiro: PUC-Rio, Dept. Informática, 1995 (Relatório Técnico de Pesquisa MCC 33/95).
VELOSO, P. A. S. . From extensions to interpretations: pushout consistency, modularity and interpolation. Rio de Janeiro: PUC-Rio, Dept. Informática, 1995 (Relatório Técnico de Pesquisa MCC 17/95).
VELOSO, P. A. S. ; FURTADO, A. L. . Encapsulamento em bancos de dados e engenharia de software: análise e projeto de refinamento. Rio de Janeiro: PUC-Rio, Dept. Informática, 1995 (Relatório Técnico de Pesquisa MCC 16/95).
VELOSO, P. A. S. ; FURTADO, A. L. . Towards a logical analysis of design: formal software engineering and data base concepts. Rio de Janeiro: PUC-Rio, Dept. Informática, 1995 (Relatório Técnico de Pesquisa MCC 15/95).
VELOSO, P. A. S. . On some general logical properties related to interpolation and modularity. Rio de Janeiro: PUC-Rio, Dept. Informática, 1995 (Relatório Técnico de Pesquisa MCC 01/95).
VELOSO, P. A. S. ; MERÉ, M. C. . On definability properties for sort introduction constructs. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 40/94).
MERÉ, M. C. ; VELOSO, P. A. S. . The eliminability property in extensions by sorts. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 39/94).
VELOSO, P. A. S. ; MERÉ, M. C. . Some constructs for sort introduction in logical specifications. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 38/94).
MERÉ, M. C. ; VELOSO, P. A. S. . On definition-like extensions by sorts. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 37/94).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 3. Extensions of specifications. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 33/94).
LUCENA, C. J. P. ; CASANOVA, M. A. ; VELOSO, P. A. S. . Antonio L. Furtado: pioneiro da pesquisa acadêmica em bancos de dados. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 29/94).
ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Definindo conservativamente um novo símbolo de função em uma teoria default. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1994 (Relatório Técnico de Pesquisa ES-308/94).
ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Sobre o Teorema da Construtibilidade e a implementação de tipos abstratos de dados. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1994 (Relatório Técnico de Pesquisa).
ARAGÃO, M. A. T. ; VELOSO, S. R. M. ; VELOSO, P. A. S. . Sobre o Teorema da Modularização e a composição de passos canônicos subseqüentes no contexto da Lógica Default. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1994 (Relatório Técnico de Pesquisa ES-304/94).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Logical specifications: 2. Specifications as presentations. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 26/94).
VELOSO, P. A. S. ; MERÉ, M. C. . Construtores parametrizados de sortes. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 14/94).
MAIBAUM, T. S. E. ; VELOSO, P. A. S. . Logical specifications: 1. Introduction and overview. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 13/94).
VELOSO, P. A. S. ; HAEBERER, A. M. . On fork algebras and reasoning about programs. Rio de Janeiro: PUC-Rio, Dept. Informática, 1994 (Relatório Técnico de Pesquisa MCC 01/94).
VELOSO, P. A. S. ; HAEBERER, A. M. . On fork algebras and program derivation. Rio de Janeiro: PUC-Rio, Dept. Informática, 1993 (Relatório Técnico de Pesquisa MCC 32/93).
FRIAS, M. ; BAUM, G. ; HAEBERER, A. M. ; VELOSO, P. A. S. . A representation theorem for fork algebras. Rio de Janeiro: PUC-Rio, Dept. Informática, 1993 (Relatório Técnico de Pesquisa MCC 29/93).
VELOSO, P. A. S. . On some logical properties related to modularisation and interpolation. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1993 (Relatório Técnico de Pesquisa ES-285/93).
VELOSO, P. A. S. . The Modularization Theorem for unsorted and many-sorted specifications. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1993 (Relatório Técnico de Pesquisa ES-284/93).
VELOSO, P. A. S. . On interpretations of logical specifications and the Modularization Theorem. Palo Alto: Kestrel Research Institute, 1993 (Research Report).
VELOSO, P. A. S. ; POUBEL, H. W. . On quotients of formal specifications. Rio de Janeiro: PUC-Rio, Dept. Informática, 1992 (Relatório Técnico de Pesquisa MCC 40/92).
POUBEL, H. W. ; VELOSO, P. A. S. . Tipos de dados parametrizados: especificação, interpretação e implementação. Rio de Janeiro: PUC-Rio, Dept. Informática, 1992 (Relatório Técnico de Pesquisa MCC 39/92).
MERÉ, M. C. ; VELOSO, P. A. S. . On extensions by sorts. Rio de Janeiro: PUC-Rio, Dept. Informática, 1992 (Relatório Técnico de Pesquisa MCC 38/92).
VELOSO, P. A. S. . Notes on interpretations of logical specifications. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1992 (Relatório Técnico de Pesquisa ES-277/93).
VELOSO, P. A. S. ; HAEBERER, A. M. ; BAUM, G. . On formal program construction within an extended calculus of binary relations. Rio de Janeiro: PUC-Rio, Dept. Informática, 1992 (Relatório Técnico de Pesquisa MCC 19/92).
HAEBERER, A. M. ; VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Towards formal coherent meta-models for the software development process. Rio de Janeiro: PUC-Rio, Dept. Informática, 1992 (Relatório Técnico de Pesquisa MCC 18/92).
VELOSO, P. A. S. . On the Modularisation Theorem for logical specifications: its role and proof. Rio de Janeiro: PUC-Rio, Dept. Informática, 1992 (Relatório Técnico de Pesquisa MCC 17/92).
MERÉ, M. C. ; VELOSO, P. A. S. . Runs, conditions and problems: an algebraic approach. Rio de Janeiro: PUC-Rio, Dept. Informática, 1992 (Relatório Técnico de Pesquisa MCC 15/92).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . On the Modularisation Theorem for logical specifications. Londres: Imperial College of Science, Technology & Medicine, Dept. of Computing, 1992 (Research Report DoC 92/35).
MAIBAUM, T. S. E. ; VELOSO, P. A. S. ; SADLER, M. R. . A logical approach to specification and implementation of abstract data types. Londres: Imperial College of Science, Technology & Medicine, Dept. of Computing, 1991 (Research Report DoC 91/47).
HAEBERER, A. M. ; VELOSO, P. A. S. ; MAIBAUM, T. S. E. ; POUBEL, H. W. . Subsídios para a formulação de um meta-modelo coerente do processo de programação. Rio de Janeiro: PUC-RJ, Dept. Informática, 1991 (Relatório Técnico de Pesquisa MCC 20/91).
VELOSO, P. A. S. . A computing-like example of conservative, non expansive, extension. londres: Imperial College of Science, Technology & Medicine, Dept. of Computing, 1991 (Research Report DoC 91/36).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On conservative and expansive extensions: why and how they differ. Londres: Imperial College of Science, Technology & Medicine, Dept. of Computing,, 1991 (Research Report DoC 91/30).
VELOSO, P. A. S. . Enforcing integrity constraints by design of repertoire of updates. Londres: Imperial College of Science, Technology & Medicine, Dept. of Computing, 1991 (Research Report DoC 91/24).
VELOSO, P. A. S. ; HAEBERER, A. M. . Towards a new algebra of first-order logic based on binary relations over strings. Rio de Janeiro: PUC-RJ, Dept. Informática, 1990 (Relatório Técnico de Pesquisa).
VELOSO, P. A. S. ; VELOSO, S. R. M. . Some notes on conservative extensions: a Socratic dialogue. Niterói: UFF, ILTC e Pós-Grad. Mat., 1990 (Relatório Técnico de Pesquisa).
HAEBERER, A. M. ; VELOSO, P. A. S. . Partial relations and program derivation: adequacy, inevitability and expressiveness. Rio de Janeiro: PUC-RJ, Dept. Informática, 1990 (Relatório Técnico de Pesquisa MCC 12/90).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On extensions by function symbols: conservativeness and comparison. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1990 (Relatório Técnico de Pesquisa ES-288/90).
VELOSO, P. A. S. ; HAEBERER, A. M. . Towards a formal analysis of the software process. Rio de Janeiro: PUC-RJ, Dept. Informática, 1990 (Relatório Técnico de Pesquisa MCC 2/90).
HAEBERER, A. M. ; VELOSO, P. A. S. . On the inherent non-monotonicity of software development: a formal justification. Rio de Janeiro: PUC-RJ, Dept. Informática, 1989 (Relatório Técnico de Pesquisa MCC 24/89).
HAEBERER, A. M. ; VELOSO, P. A. S. ; ELUSTONDO, P. M. . Towards a problem-oriented relational calculus for software construction. Rio de Janeiro: PUC-RJ, Dept. Informática, 1989 (Relatório Técnico de Pesquisa MCC 19/89).
HAEBERER, A. M. ; VELOSO, P. A. S. . On the requirement-specification-program triangle: a theoretical analysis. Rio de Janeiro: PUC-RJ, Dept. Informática, 1989 (Relatório Técnico de Pesquisa MCC 7/89).
VELOSO, S. R. M. ; MENDES, S. B. T ; VELOSO, P. A. S. . Um modelo abstrato para troca de mensagen. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1989 (Relatório Técnico de Pesquisa ES-198/89).
FURTADO, A. L. ; VELOSO, P. A. S. . Iteration for applicative languages: a proposal. Rio de Janeiro: PUC-RJ, Dept. Informática, 1988 (Relatório Técnico de Pesquisa MCC 7/88).
VELOSO, P. A. S. ; VELOSO, S. R. M. . On the use of namability: some logical properties and modeling applications. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1988 (Relatório Técnico de Pesquisa ES-159/88).
VELOSO, P. A. S. ; HAEBERER, A. M. . A problem-theoretic analysis and (meta-)model of the software development process. Rio de Janeiro: PUC-RJ, Dept. Informática, 1988 (Relatório Técnico de Pesquisa MCC 4/88).
MARTINS, R. C. B. ; VELOSO, P. A. S. . The data transform method: Jackson method+data type constructors. Rio de Janeiro: IBM, Rio Scientific Center, 1988 (Relatório Técnico de Pesquisa CCR 88-051).
HAEBERER, A. M. ; VELOSO, P. A. S. ; BAUM, G. . Hacia un metamodelo del proceso de desarrollo de software basado en teoría de problemas. Rio de Janeiro: PUC-RJ, Dept. Informática, 1987 (Relatório Técnico de Pesquisa MCC 3/87).
HAEBERER, A. M. ; BAUM, G. ; VELOSO, P. A. S. . Sobre una teoría algebraica de problemas y el desarrollo de software. Rio de Janeiro: PUC-RJ, Dept. Informática, 1987 (Relatório Técnico de Pesquisa MCC 2/87).
TOSCANI, L. V. ; VELOSO, P. A. S. . Especificação formal e análise da complexidade da programação dinâmica. Porto Alegre: UFRGS, Curso de Pós-Grad. em Ciência da Computação, 1986 (Relatório Técnico de Pesquisa RP no. 49).
VELOSO, P. A. S. . Programação com tipos abstratos de dados: aspectos teóricos da engenharia de software. Petrópolis: Serpro, CED, CADES, 1985 (Relatório Técnico de Pesquisa).
VELOSO, P. A. S. . Especificação, verificação e construção de programas: fundamentos teóricos da engenharia de software. Petrópolis: Serpro, CED, CADES, 1985 (Relatório Técnico de Pesquisa).
VELOSO, P. A. S. . O processo de programação: introdução aos fundamentos da engenharia de software. Petrópolis: Serpro, CED, CADE, 1985 (Relatório Técnico de Pesquisa).
VELOSO, P. A. S. . On the role of (data) abstraction in program development and problem solving. Rio de Janeiro: PUC-RJ, Dept. Informática, 1985 (Relatório Técnico de Pesquisa MCC 6/85).
VELOSO, P. A. S. . Programme development as theory manipulations. Rio de Janeiro: PUC-RJ, Dept. Informática, 1985 (Relatório Técnico de Pesquisa MCC 4/85).
VELOSO, P. A. S. . What do you mean by "Here is a problem related to yours..."?. Rio de Janeiro: PUC-RJ, Dept. Informática, 1985 (Relatório Técnico de Pesquisa MCC 2/85).
VELOSO, P. A. S. . On the concept of problem-solving method. Rio de Janeiro: PUC-RJ, Dept. Informática, 1985 (Relatório Técnico de Pesquisa MCC 1/85).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . What is wrong with errors: incomplete specifications for abstract data types. Niterói: UFF, ILTC e Pós-Grad. Mat., 1984 (Relatório Técnico de Pesquisa).
CASANOVA, M. A. ; FURTADO, A. L. ; VELOSO, P. A. S. . An integrated methodology for formal data base specification. Brasília: IBM, Centro Científico de Brasília, 1984 (Relatório Técnico de Pesquisa CCB 018).
VELOSO, P. A. S. ; CASANOVA, M. A. ; FURTADO, A. L. . Formal data base specification: an eclectic perspective. Rio de Janeiro: PUC-RJ, Dept. Informática, 1984 (Relatório Técnico de Pesquisa MCC 1/84).
CASANOVA, M. A. ; FURTADO, A. L. ; VELOSO, P. A. S. . A database specification methodology based on W-grammars. Brasília: IBM, Centro Científico de Brasília, 1983 (Relatório Técnico de Pesquisa CCB 013).
PESSOA, F. E. P. ; VELOSO, P. A. S. . Introdução à especificação e implementação de tipos abstratos de dados. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 20/83).
MAIBAUM, T. S. E. ; SADLER, M. R. ; VELOSO, P. A. S. . Logical implementation. Londres: Imperial College of Science, Technology & Medicine, Dept. of Computing, 1983 (Research Report DoC 83/42).
LOPES, M. A. ; VELOSO, P. A. S. . Transformação de problemas: solubilidade via homomorfismo e analogia. Recife: UFPE, Dept. Informática, 1983 (Relatório Técnico de Pesquisa RT-DI/UFPe 006/83).
VELOSO, P. A. S. ; MARTINS, R. C. B. . On some notions of reduction among general problems. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 19/83).
VELOSO, P. A. S. . On the role of additivity and linearity in mathematical systems theory. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 16/83).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . A theory of abstract data types for program development : bridging the gap ?. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 15/83).
VELOSO, P. A. S. . On the logic of namable models. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 14/83).
LUCENA, C. J. P. ; MARTINS, R. C. B. ; VELOSO, P. A. S. ; COWAN, D. D. . The data transform programming method and file processing problems. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 5/83).
VELOSO, P. A. S. ; FURTADO, A. L. . On some view constructs for the specification and design of external schemas. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 8/83).
VELOSO, P. A. S. . A methodology for the sound and complete specification of abstract data types. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 3/83).
VELOSO, P. A. S. ; FURTADO, A. L. . On multi-step methods for stepwise construction of algebraic specifications for data base applications. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 2/83).
VELOSO, P. A. S. . Problem solving via divide-and-conquer and abstract data types. Rio de Janeiro: PUC-RJ, Dept. Informática, 1983 (Relatório Técnico de Pesquisa MCC 1/83).
VELOSO, P. A. S. . Conceitos de Linguagens de Programação. Rio de Janeiro: Editora Campus, 1983. (Tradução/Livro).
VELOSO, P. A. S. . Outlines of a mathematical theory of problems. Rio de Janeiro: PUC-RJ, Dept. Informática, 1982 (Relatório Técnico de Pesquisa MCC 14/82).
PESSOA, F. E. P. ; VELOSO, P. A. S. . Introdução à programação com tipos abstratos de dados. Rio de Janeiro: PUC-RJ, Dept. Informática, 1982 (Relatório Técnico de Pesquisa MCC 12/82).
VELOSO, P. A. S. ; MAIBAUM, T. S. E. . Specifying abstract data types via series of rewriting systems. Rio de Janeiro: PUC-RJ, Dept. Informática, 1982 (Relatório Técnico de Pesquisa MCC 7/82).
MAIBAUM, T. S. E. ; VELOSO, P. A. S. . A logical theory of data types motivated by programming. Londres: Imperial College of Science and Technology, Dept. Computing, 1981 (Research Report Tech. Rept. 81/28).
FURTADO, A. L. ; VELOSO, P. A. S. . On multi-level specifications based on traces. Rio de Janeiro: PUC-RJ, Dept. Informática, 1981 (Relatório Técnico de Pesquisa MCC 8/81).
VELOSO, P. A. S. . Methodical specification of abstract data types via rewriting systems. Rio de Janeiro: PUC-RJ, Dept. Informática, 1981 (Relatório Técnico de Pesquisa MCC 7/81).
FURTADO, A. L. ; VELOSO, P. A. S. ; CASTILHO, J. M. V. . Verification and testing of simple entity-relationship representations. Rio de Janeiro: PUC-RJ, Dept. Informática, 1981 (Relatório Técnico de Pesquisa MCC 4/81).
VELOSO, P. A. S. ; CASTILHO, J. M. V. ; FURTADO, A. L. . Systematic derivation of complementary specifications for data base applications. Rio de Janeiro: PUC-RJ, Dept. Informática, 1981 (Relatório Técnico de Pesquisa DB 038101).
REMY, J.-L. ; VELOSO, P. A. S. . Comparing abstract data type specifications via their normal forms. Rio de Janeiro: PUC-RJ, Dept. Informática, 1981 (Relatório Técnico de Pesquisa MCC 1/81).
CARVALHO, R. L. ; MAIBAUM, T. S. E. ; PEQUENO, T. H. C. ; PEREDA, A. A. ; VELOSO, P. A. S. . A model-theoretic approach to the theory of abstract data types and structures. Waterloo: Univ. Waterloo, Dept. Computer Science, 1980 (Research Report CS 80-22).
VELOSO, P. A. S. ; PEQUENO, T. H. C. . Don?t write more axioms than you have to: a methodology for the complete and correct specification of abstract data types; with examples. Rio de Janeiro: PUC-RJ, Dept. Informática, 1979 (Relatório Técnico de Pesquisa MCC 10/79).
VELOSO, P. A. S. . Traversable stack: some issues in abstract data type specification. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1978 (Relatório Técnico de Pesquisa PDD 26/78).
VELOSO, P. A. S. . Characterizations for the regular prefix codes and related families. Rio de Janeiro: PUC-RJ, Dept. Informática, 1978 (Relatório Técnico de Pesquisa MCC 4/78).
VELOSO, P. A. S. . Regular expressions for the regular prefix codes and related families. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1978 (Relatório Técnico de Pesquisa PTC 03/78).
VELOSO, P. A. S. . Programação Sistemática. Rio de Janeiro: Campus, 1978. (Tradução/Livro).
VELOSO, P. A. S. . Characterizing the regular prefix codes. Rio de Janeiro: PUC-RJ, Dept. Informática, 1977 (Relatório Técnico de Pesquisa MCC 12/77).
VELOSO, P. A. S. . Some properties of multiple-entry and simultaneous-entry finite automata. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1977 (Relatório Técnico de Pesquisa PTC 2/77).
VELOSO, P. A. S. . Some bounds on multiple-entry and quasi-initialised finite automata. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1977 (Relatório Técnico de Pesquisa PTC 1/77).
VELOSO, P. A. S. . On modular networks and parallel modular decompositions of finite automata. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1976 (Relatório Técnico de Pesquisa PTC 27/76).
VELOSO, P. A. S. . Notas sobre a análise de redes paralelas modulares de autômatos finitos. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1976 (Relatório Técnico de Pesquisa PTC 26/76).
VELOSO, P. A. S. . Two model-theoretic properties of the class of representable relation algebra. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1976 (Relatório Técnico de Pesquisa PTC 29/76).
VELOSO, P. A. S. . On interconnections of definite and finite-recall machines. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1976 (Relatório Técnico de Pesquisa PTC 5/76).
VELOSO, P. A. S. . Algebraic decompositions for multilinear systems. Rio de Janeiro: COPPE-UFRJ, Progr. Eng. Sistemas e Computação, 1976 (Relatório Técnico de Pesquisa PTC 3/76).
VELOSO, P. A. S. . Networks of finite-state machines. Berkeley: University of California, Berkeley, 1975 (Tese de doutorado).
VELOSO, P. A. S. . The history of an error in the theory of algebras of relations. Berkeley: University of California, Berkeley, 1974 (Dissertação de mestrado).
VELOSO, P. A. S. . Decomposição algébrica de sistemas causais aditivos e multilineares. Rio de Janeiro: COPPE, Universidade Federal do Rio de Janeiro, 1970 (Dissertação de mestrado).
MARTINS NETO, A. F. ; PINHEIRO da SILVA, M. L. ; ANDRADE, P. A. ; VELOSO, P. A. S. . Viabilidade de estudos literários via computador : estatística e estilo. São José dos Campos: Instituto Tecnológico de Aeronáutica, 1968 (Trabalho de graduação).

Outras produções

VELOSO, P. A. S. . NSF: Natinal Science Foundation. 1999.

VELOSO, P. A. S. . Comissão de Matemática Aplicada. 1981.

VELOSO, P. A. S. . POISSON: nombres au hasard, distrib. Poisson. 1968.

Paulo A. S. Veloso . Gauss: Génération de nombres au hasard. 1968.

Paulo A. S. Veloso . Poisson: génération de nombres au hasard. 1968.

Martins Neto, A. F. ; Pinheiro da Silva, M. L. ; Andrade, P. A. ; Paulo A. S. Veloso . Estatística e Estilo. 1968.

VELOSO, P. A. S. . GAUSS: nombres au hasard, distrib. normale. 1968.

VELOSO, P. A. S. . Engenharia Lógica: Fundamentos e Aplicações (Proj. pesq. FAPERJ: CNE, resp.). 2003.

VELOSO, P. A. S. . Engenharia Lógica na Computação (Proj. pesq. CNPq: Ed. Univ., coord.). 2003.

VELOSO, P. A. S. . Algoritmos: Engenharia e Fundamentos (Proj. pesq. Pronex, coord.). 2003.

VELOSO, P. A. S. . Fundamentos Lógico-categóricos da Especificação de Programas (Proj. Coop. BR-PT, coord. nac.). 1994.

VELOSO, P. A. S. . Desenvolvimento Formal de Programas (Proj. integr. pesq. CNPq, resp.). 1992.

VELOSO, P. A. S. . Formalización del Proceso de Desarrollo de Software (Proj. pesq. UNESCO, part.). 1992.

VELOSO, P. A. S. . Fundamentos de Inteligência Artificial e Bancos de Dados (Proj. integr. pesq. CNPq, resp.). 1991.

VELOSO, P. A. S. . Fundamentação Teórica para o Processo de Programação (Proj. pesq. CNPq/PROTEM, resp.). 1991.

VELOSO, P. A. S. . Modelagem Prescritiva do Processo de Desenvolvimento de Software (Proj. pesq. FAPERJ, resp.). 1990.

VELOSO, P. A. S. . Modalidades e noções vagas. 2006. (Curso de curta duração ministrado/Extensão).

VELOSO, PAULO A.S. . Verificação e Estruturação de Programas. 2006. (Curso de curta duração ministrado/Extensão).

VELOSO, P. A. S. . Lógicas para geralmente. 2005. (Curso de curta duração ministrado/Extensão).

DIVERIO, T. A. ; TOSCANI, L. V. ; VELOSO, P. A. S. . Análise de complexidade de algoritmos paralelos. 2002. (Curso de curta duração ministrado/Extensão).

HAEBERER, A. M. ; VELOSO, P. A. S. ; BAUM, G. . Formalización del proceso de desarollo de software. 1989. (Curso de curta duração ministrado/Extensão).

VELOSO, PAULO A.S. . Verificação e Estruturação de Programas. 1986. (Curso de curta duração ministrado/Extensão).

VELOSO, P. A. S. . Revista de Informática Teórica e Aplicada. 1983. (Editoração/Periódico).

VELOSO, P. A. S. . Revista Brasileira de Computação. 1981. (Editoração/Periódico).

LUCENA, C. J. P. ; VELOSO, P. A. S. . Construção de programas. 1980. (Curso de curta duração ministrado/Extensão).

VELOSO, P. A. S. . Máquinas e linguagens: uma introdução à teoria de autômatos. 1979. (Curso de curta duração ministrado/Extensão).

VELOSO, P. A. S. . Projeto PQ 1A: Fundamentos da Computação: Engenharia Lógica. 2003 (Projeto de Pesquisa) .

VELOSO, P. A. S. . Projeto PQ 1A: Fundamentos da Computação e Métodos Formais. 2000 (Projeto de Pesquisa) .

VELOSO, P. A. S. . Projeto PQ 1A: Especificações Formais com vistas a Aplicações. 1998 (Projeto de Pesquisa) .

VELOSO, P. A. S. . Projeto PQ 1A: Especificações Formais e Programação. 1996 (Projeto de Pesquisa) .

VELOSO, P. A. S. . Projeto PQ 1A: Especificações Formais e Construção de Programas. 1994 (Projeto de Pesquisa) .

VELOSO, P. A. S. . Projeto PQ 1A: Pesquisa em Especificações Formais e Construção de Programas. 1992 (Projeto de Pesquisa) .

Projetos de pesquisa

2015 - Atual

Fundamentos de Computação e Lógica: Conceitos e Métodos, Descrição: O objetivo primordial desse projeto é dar continuidade a projetos anteriores (vários deles apoiados por bolsas de produtividade em pesquisa), prosseguindo e ampliando a investigação de aspectos de Fundamentos de Computação e Lógica, com ênfase em conceitos e métodos.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Paulo Augusto Silva Veloso - Coordenador.
2009 - 2014

Computação, Lógica e Álgebra: Fundamentos, Conceitos e Métodos, Descrição: O presente projeto se situa no quadro um programa continuado de pesquisa abrangendo diversos aspectos de fundamentos, conceitos e métodos em Computação, Lógica e Álgebra e suas aplicações, principalmente ligadas a sistemas complexos. Tais projetos almejam prover subsídios para melhor entendimento de questões relativas a sistemas complexos bem como para a elaboração de um arcabouço formal adequado para tratá-las de maneira precisa. Pretende-se abordar aspectos de fundamentos, métodos e conceitos ao longo de duas vertentes principais: Fragmentos e extensões de Lógica Clássica (de 1a Ordem) e Fragmentos e extensões de Álgebras Relacionais. A pesquisa a ser desenvolvida tem como eixo central os quatro tópicos: sistemas lógicos, cálculos gráficos, construção e análise de diagramas simbólicos e questões conceituais referentes a validades existenciais, indução e recursão.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Augusto Silva Veloso - Coordenador.
2006 - 2010

Algoritmos: Engenharia e Fundamentos, Descrição: Pronex: COPPE?UFRJ, PUC-Rio, UFF, UERJ e UFRRJ. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (6) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / EDWARD HERMAN HAEUSLER - Integrante / Mario R F Benevides - Integrante / Jorge Petrúcio Viana - Integrante / Jayme Szwarcfitter - Integrante / Celina H. de Figueiredo - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2006 - 2009

Computação e Lógica: Fundamentos, Métodos e Engenharia, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2006 - 2008

Lógica e Computação: Fundamentos e Métodos, Descrição: Bolsa Cientistas de Nosso Estado: E-26/152.395/20002-BOLSA COPPE?UFRJ, UERJ, UFF e PUC-Rio. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (4) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / EDWARD HERMAN HAEUSLER - Integrante / Mario R F Benevides - Integrante / Sheila R M Veloso - Integrante / Jorge Petrúcio Viana - Integrante / Leonardo B. Vana - Integrante / Renata Pereira de Freitas - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa.
2005 - 2009

ENGENHARIA LÓGICA: Fundamentos e Aplicações, Cientistas de Nosso Estado - FAPERJ, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Augusto Silva Veloso - Coordenador / Mario R F Benevides - Integrante / Sheila R M Veloso - Integrante.
2003 - 2006

Fundamentos da Computação: Engenharia Lógica, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Augusto Silva Veloso - Coordenador / Mario R F Benevides - Integrante / Jorge Petrúcio Viana - Integrante / Sheila R. Murgel VELOSO - Integrante / Edward Hermann Haeusler - Integrante / Luiz Carlos Pinheiro Dias Pereira - Integrante / Renata Pereira de Freitas - Integrante.
2003 - Atual

ALGORITMOS: ENGENHARIA E FUNDAMENTOS editais Pronex 2003 e 2006, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Paulo Augusto Silva Veloso - Coordenador / EDWARD HERMAN HAEUSLER - Integrante / Renata P Freitas - Integrante / Mario R F Benevides - Integrante / Sheila R M Veloso - Integrante / Jorge Petrúcio Viana - Integrante / Jayme Szwarcfitter - Integrante / Celina H. de Figueiredo - Integrante.
2000 - 2003

Fundamentos da Computação e Métodos Formais, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / Jorge Petrúcio Viana - Integrante / Leonardo B. Vana - Integrante / Sheila R. Murgel VELOSO - Integrante / Edward Hermann Haeusler - Integrante / Luiz Carlos Pereira - Integrante / Mario Roberto Folhadela Benevides - Integrante / Renata Pereira de Freitas - Integrante.
1998 - 2000

Especificações Formais com vistas a Aplicações, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Augusto Silva Veloso - Coordenador.
1996 - 1998

Especificações Formais e Programação, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / A. L. FURTADO - Integrante / Armando Martín Haeberer - Integrante / Aline Maria S. ANDRADE - Integrante / Edward Hermann HAEUSLER - Integrante.
1994 - 1996

Especificações Formais e Construção de Programas, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / A. L. FURTADO - Integrante / Armando Martín Haeberer - Integrante / MARÍA CLAUDIA MERÉ - Integrante / Haydée W. POUBEL - Integrante / Edward Hermann Haeusler - Integrante / Thomas S. E. Maibaum - Integrante.
1994 - 1995

Fundamentos Lógico-Categóricos de Especificação de Programas, Descrição: CNPq-JNICT: PUC-Rio, COPPE-UFRJ, UnB, INESC, Inst. Sup. Técnico. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / José Luiz FIADEIRO - Integrante / Haydée W. POUBEL - Integrante / Sheila R. Murgel VELOSO - Integrante / Amílcar Sernadas - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
1992 - 1994

Formalización del proceso de desarollo de software, Descrição: UNESCO: Intergovernmental Informatics Program PUC-Rio, Argentina, México. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (4) . , Integrantes: Paulo Augusto Silva Veloso - Integrante / EDWARD HERMAN HAEUSLER - Integrante / Armando Martín Haeberer - Coordenador.
1992 - 1994

Pesquisa em Especificações Formais e Construção de Programas, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / EDWARD HERMAN HAEUSLER - Integrante / Armando Martín Haeberer - Integrante / MARÍA CLAUEDIA MERÉ - Integrante / José Luiz FIADEIRO - Integrante / Carlos José P. de LUCENA - Integrante / Haydée W. POUBEL - Integrante / Sheila Regina Murgel Veloso - Integrante.
1992 - 1993

Dsenvolvimento formal de programas, Descrição: CNPq: PUC-Rio, COPPE-UFRJ, UFPe, Argentina, Portugal, Inglaterra e Alemanha. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (4) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / G BAUM - Integrante / Armando Martín Haeberer - Integrante / José L. Fiadeiro - Integrante / Gunther Schmidt - Integrante / Sílvio Meira - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
1992 - 1993

Fundamentação Teórica para o processo de programação, Descrição: PROTEM-CNPq: PUC-Rio, COPPE-UFRJ, UnB, UFC, Argentina, México, Venezuela, Inglaterra, Alemanha. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / Armando Martín Haeberer - Integrante / HAYDÉE WERNECK POUEL - Integrante / Gunther Schmidt - Integrante / José Luiz FIADEIRO - Integrante / Tarcisio Haroldo C. PEQUENO - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
1991 - 1992

Fundamentos de Inteligência Artificial e bancos de dados, Descrição: Projeto integrado: PUC-Rio. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Augusto Silva Veloso - Coordenador / A. L. FURTADO - Integrante / EDWARD HERMAN HAEUSLER - Integrante / Carlos J. P. de LUCENA - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
1990 - 1991

Modelagem prescritiva do processo de desenvolvimento de software, Descrição: PUC-Rio, Argentina, Inglaterra. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . , Integrantes: Paulo Augusto Silva Veloso - Coordenador / G BAUM - Integrante / Armando Martín Haeberer - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

Prêmios

2014

Homenagem pelo 70. aniversário, Encontro Brasleiro de Lógica.

2003

Membro eleito do CLE: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.

2002

Cientista do Nosso Estado, FAPERJ.

1993

Prêmio Almte. Alvaro Alberto para Ciencia e Tecnologia: Informática, CNPq.

1992

Pesquisador Titular 1A, CNPq.

1961

Oficial-aluno: 1o. Tenente (1991) e Major (1962), Colégio Militar do Rio de Janeiro.

Histórico profissional

Endereço profissional

Universidade Federal do Rio de Janeiro, COPPE-UFRJ, Progr. Eng. Sistemas e Computação. , Av. Brig. Trompowski, 21941-970 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 68511, Telefone: (21) 256286733, Fax: (21) 25628672

Experiência profissional

1993 - 1993

Kestrel Research Institute

Vínculo: Pesquisador visitante, Enquadramento Funcional: Pesquisador visitante, Carga horária: 40

Atividades

01/1993 - 01/1993
Pesquisa e desenvolvimento, Kestrel Research Institute.,Linhas de pesquisa
01/1993 - 01/1993
Outras atividades técnico-científicas , Kestrel Research Institute, Kestrel Research Institute.,Atividade realizada, Palestras em seminário: Interpretations and the Modularization Theorem for axiomatic specifications, Internalization of interpretations and quotients of axiomatic specificationsInternalization of interpretations and quotients of axiomatic specificati.

1992 - 1992

Imperial College

Vínculo: Professor Visitante, Enquadramento Funcional: Senior visiting fellow, Carga horária: 40