Busca avançada
Ano de início
Entree

Arnaldo Vieira Moura

CV Lattes GoogleMyCitations


Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC)  (Instituição-sede da última proposta de pesquisa)
País de origem: Brasil

Graduated from the Aeronautics Institute of Technology - ITA (1973), MSc. in Applied Mathematics (specializing in Computer Science) from the Aeronautics Institute of Technology; Ph.D. in Computer Science from the University Of California, Berkeley (1980). research interests mainly focus in automata theory, testing and verification, optimization, heuristics and constraint programming, Possui graduação em Engenharia pelo Instituto Tecnológico de Aeronáutica (1973), mestrado em Matemática Aplicada (Ênfase Em Computação) pelo Instituto Tecnológico de Aeronáutica (1976) e doutorado em Computer Science - University Of California Berkeley (1980). Interesses principais nas áreas de automtos e linguagens formais, teste e verificação, otimização, heurísticas e programação por restrições. (Fonte: Currículo Lattes)

Auxílios à pesquisa
Bolsas no país
Bolsas no Exterior
Apoio FAPESP em números * Quantidades atualizadas em 09/11/2019
Colaboradores mais frequentes em auxílios e bolsas FAPESP
Contate o Pesquisador

Este canal da BV/FAPESP deve ser utilizado tão somente para mensagens, referentes aos projetos científicos financiados pela FAPESP.


 

 

 

 

Palavras-chave utilizadas pelo pesquisador
Publicações resultantes de Auxílios e Bolsas sob responsabilidade do(a) pesquisador(a) (6)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

Publicações4
Citações11
Cit./Artigo2,8
Dados do Web of Science

LOPES, TONY M. T.; MOURA, ARNALDO V.; DE SOUZA, CID C.; CIRE, ANDRE A.. Planning the operation of a large real-world oil pipeline. Computers & Chemical Engineering, v. 46, p. 17-28, . Citações Web of Science: 4. (05/57343-0, 05/57344-7)

YUNES‚ T.H.; MOURA‚ A.V.; DE SOUZA‚ C.C.. Hybrid column generation approaches for urban transit crew management problems. TRANSPORTATION SCIENCE, v. 39, n. 2, p. 273-288, . (98/05999-4)

LOPES‚ T.M.T.; CIRÉ‚ A.A.; DE SOUZA‚ C.C.; MOURA‚ A.V.. A hybrid model for a multiproduct pipeline planning and scheduling problem. CONSTRAINTS, v. 15, n. 2, p. 151-189, . (05/57343-0, 05/57344-7)

CHAVES PEDROSA, LEHILTON LELIS; MOURA, ARNALDO VIEIRA. Incremental testing of finite state machines. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 23, n. 8, p. 585-612, . Citações Web of Science: 2. (08/07969-9)

REBIHA, RACHID; MOURA, ARNALDO V.; MATRINGE, NADIR. Generating invariants for non-linear hybrid systems. THEORETICAL COMPUTER SCIENCE, v. 594, p. 180-200, . Citações Web of Science: 4. (11/08947-1, 13/04734-9)

REBIHA, RACHID; MOURA, ARNALDO VIEIRA; MATRINGE, NADIR. Generating invariants for non-linear loops by linear algebraic methods. FORMAL ASPECTS OF COMPUTING, v. 27, n. 5-6, p. 805-829, . Citações Web of Science: 1. (11/08947-1, 13/04734-9)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

BONIFÁCIO, Adilson Luiz. Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto. 2009. Tese (Doutorado) – Instituto de Computação. Universidade Estadual de Campinas (UNICAMP). (00/08853-2)

PEDROSA, Lehilton Lelis Chaves. Geração automática de casos de testes para máquinas de estados finitos. 2010. Dissertação (Mestrado) - Instituto de Computação. Universidade Estadual de Campinas (UNICAMP). (08/07969-9)

LOPES, Tony Minoru Tamura. O problema de planejamento e agendamento de operações em uma rede de oleodutos. 2010. Dissertação (Mestrado) - Instituto de Computação. Universidade Estadual de Campinas (UNICAMP). (05/57343-0)

CIRE, Andre Augusto. Modelos computacionais para o escalonamento de tarefas em redes de dutos. 2008. Dissertação (Mestrado) - Instituto de Computação. Universidade Estadual de Campinas (UNICAMP). (05/57344-7)

YUNES, Tallys Hoover. Problemas de escalonamento no transporte coletivo : programação por restrições e outras tecnicas. 2000. Dissertação (Mestrado) - Instituto de Matemática, Estatística e Computação Científica. Universidade Estadual de Campinas (UNICAMP). (98/05999-4)

NASCIMENTO, Juliana Martins Do. Ferramentas computacionais hibridas para a otimização da produção de petroleo em aguas profundas. 2003. Dissertação (Mestrado) - Instituto de Matematica, Estatistica e Computação Cientifica. Universidade Estadual de Campinas (UNICAMP). (00/14120-8)

OLIVEIRA, Igor Carboni. Complexidade computacional e o problema P vs NP. 2010. Dissertação (Mestrado) - Instituto de Matemática, Estatística e Computação Científica. Universidade Estadual de Campinas (UNICAMP). (08/07040-0)

SCARAFICCI, Rafael Augusto. Estrategias hibridas para um problema de planejamento e escalonamento de atividades florestais em curto prazo. 2008. Dissertação (Mestrado) - Instituto de Computação. Universidade Estadual de Campinas (UNICAMP). (05/58216-2)

FERBER, Daniel Felix. Modelos e algoritmos de cabeamento de redes telefonicas. 2007. Dissertação (Mestrado) - Instituto de Computação. Universidade Estadual de Campinas (UNICAMP). (03/09754-6)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.
Por favor, reporte erros na informação da página do pesquisador escrevendo para: cdi@fapesp.br.
X

Reporte um problema na página


Detalhes do problema: