Arnaldo Vieira Moura - santana.ic.unicamp.brsantana.ic.unicamp.br/WWW/curric.pdf · (CLTM), Centro...

Nome Arnaldo Vieira Moura

Nome em citaçõesbibliográficas

MOURA, A. V.;Moura, Arnaldo V.;Moura, A. V.;MOURA, ARNALDO VIEIRA

Endereço Profissional Universidade Estadual de Campinas, Instituto de Computacao.C.P. 6176Cidade Universitária13084-971 - Campinas, SP - Brasil - Caixa-postal: 6176Telefone: (19) 35215859

1976 - 1980 Doutorado em Computer Science.University Of California Berkeley.Título: The Syntax Equivalence of Grammar Classes, Ano de obtenção:1980.Orientador: Michael Alexander Harrison.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico eTecnológico, CNPq, Brasil.Palavras-chave: Syntax Driven Parsers.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

1974 - 1976 Mestrado em Matemática Aplicada (Ênfase Em Computação).Instituto Tecnológico de Aeronáutica, ITA, Brasil.Título: Linguagens Formais e Reconhecimento de Padroes,Ano deObtenção: 1976.Orientador: Nelson Mascarenhas e Flávio Velasco.Palavras-chave: Parsing; linguagens formais; automatos; padroes.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.Setores de atividade: Informática.

1969 - 1973 Graduação em Engenharia.Instituto Tecnológico de Aeronáutica, ITA, Brasil.

Arnaldo Vieira MouraBolsista de Produtividade em Pesquisa do CNPq - Nível 2 - CA CC - Ciências daComputação

Endereço para acessar este CV: http://lattes.cnpq.br/3062023252191532Última atualização do currículo em 04/05/2015

Graduated from the Aeronautics Institute of Technology - ITA (1973), MSc. in AppliedMathematics (specializing in Computer Science) from the Aeronautics Institute of Technology;Ph.D. in Computer Science from the University Of California, Berkeley (1980). research interestsmainly focus in automata theory, testing and verification, optimization, heuristics and constraintprogramming,

Possui graduação em Engenharia pelo Instituto Tecnológico de Aeronáutica (1973), mestrado em MatemáticaAplicada (Ênfase Em Computação) pelo Instituto Tecnológico de Aeronáutica (1976) e doutorado em ComputerScience - University Of California Berkeley (1980). Interesses principais nas áreas de automtos e linguagensformais, teste e verificação, otimização, heurísticas e programação por restrições. (Texto informado pelo autor)

Identificação

Endereço

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

Currículo do Sistema de Currículos Lattes (Arnaldo Vieira M... http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K...

1 de 21 05/09/15 14:18

1998 Livre-docência.Universidade Estadual de Campinas, UNICAMP, Brasil.Título: , Ano de obtenção: 1998.

Vínculo institucional2008 - Atual Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador


Vínculo institucional1995 - 2021 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor

Livre Docente, Regime: Dedicação exclusiva.

Vínculo institucional1992 - 1995 Vínculo: Servidor público ou celetista, Enquadramento Funcional:

Pesquisador Senior, Carga horária: 0, Regime: Dedicação exclusiva.


Pesquisador Assessor, Carga horária: 0, Regime: Dedicação exclusiva.


Pesquisador, Carga horária: 0, Regime: Dedicação exclusiva.


Vínculo institucional1989 - 1991 Vínculo: Professor Visitante, Enquadramento Funcional: Professo Adjunto

Doutor, Carga horária: 20

Vínculo institucional1978 - 1980 Vínculo: Outro, Enquadramento Funcional: research Associate, Carga

horária: 40

Livre-docência

Atuação Profissional

Petrobras TI (SP), PETROBRAS, Brasil.

Fundação Centro de Desenvolvimento e Pesquisa em telecomunicações, CPQD,Brasil.

Universidade Estadual de Campinas, UNICAMP, Brasil.

Ibm Brasil, IBM, Brasil.

Instituto Nacional de Pesquisas Espaciais, INPE, Brasil.

Universidade de São Paulo, USP, Brasil.

University Of California Berkeley, UCB, Estados Unidos.


2 de 21 05/09/15 14:18

Vínculo institucional1974 - 1976 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor

Assistente, Carga horária: 0, Regime: Dedicação exclusiva.

2010 - 2012 Projeto Universal: Algortimos, grafos e otimização combinatória

Situação: Concluído; Natureza: Pesquisa.Alunos envolvidos: Mestrado acadêmico: (6) Doutorado: (1) .

Integrantes: Arnaldo Vieira Moura - Integrante / Cid Carvalho de Souza -Integrante / Flávio K Miyazawa - Integrante / celia picinin de melo -Coordenador / eduardo xavier - Integrante / pedro rezende - Integrante /orlando lee - Integrante / zanoni dias - Integrante / christiane campos -Integrante / guilherme telles - Integrante.

Número de produções C, T & A: 5 / Número de orientações: 5

2008 - 2010 Módulo Solucionador para o Sistema JCONSUELO II

Descrição: Introduz relacionamentos e restrições mais complexas sobre oproblema do escalonamento de bombeamentos para o transporte dederivados de petróleo através de uma rede e dutos terrestres.Situação: Concluído; Natureza: Pesquisa.Alunos envolvidos: Mestrado acadêmico: (2) .

Integrantes: Arnaldo Vieira Moura - Coordenador / Cid Carvalho de Souza -Integrante / Tony Minoru Tamura Lopes - Integrante / Andre Augusto Cire -Integrante.Financiador(es): Petrobras TI (SP) - Auxílio financeiro.

2006 - 2009 Módulo Solucionador para o Sistema JCONSUELO I

Descrição: Elabora heurísticas para equacionar o bombeamento dederivados de petróleo através de uma rede de dutos terrestres..Situação: Concluído; Natureza: Pesquisa.Alunos envolvidos: Mestrado acadêmico: (2) .

Integrantes: Arnaldo Vieira Moura - Coordenador / Cid Carvalho de Souza -Integrante / Tony Minoru Tamura Lopes - Integrante / Andre Augusto Cire -Integrante.Financiador(es): Petrobras TI (SP) - Auxílio financeiro.

2002 - 2004 Tecnologias de Gerenciamento de Bancos de Dados Geográficos

Descrição: Algoritmos para caminhamentos em redes telefônicas externas ealgoritmos para localização de equipamentos em redes telefônicasexternas..Situação: Concluído; Natureza: Pesquisa.Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .

Integrantes: Arnaldo Vieira Moura - Coordenador / Silvana Livramento -Integrante / Myiazawa, Flavio - Integrante.Financiador(es): Fundação Centro de Desenvolvimento e Pesquisa emtelecomunicações - Auxílio financeiro.

Instituto Tecnológico de Aeronáutica, ITA, Brasil.

Projetos de pesquisa


3 de 21 05/09/15 14:18

1992 - 1993 Desenvolvimento de Ferramentas para Ambientes CAD

Descrição: Algoritmos e ambientes para desenvolvimento de projetossuortados por computador.Situação: Concluído; Natureza: Desenvolvimento.

Integrantes: Arnaldo Vieira Moura - Integrante / arnaldo viegas de lima -Coordenador.Financiador(es): Ibm Brasil - Auxílio financeiro.

1990 - 1991 Formação de Poluentes no Eco-sistema Amazônico

Descrição: Desenvovimento de ambientes para visualização de dadoscientíficos usando lingaunens orientadas a objeto. Aplicadoa dadosresultantes de modelos numéricos para a queima de biomassa noeco-sistema amazônico.Situação: Concluído; Natureza: Desenvolvimento.

Integrantes: Arnaldo Vieira Moura - Coordenador / Jeronimo S. Travelho -Integrante / Haroldo F. de Campos Velho - Integrante.Financiador(es): Ibm Brasil - Auxílio financeiro.

2012 - 2012 Periódico: International Transactions in Operational Research

1980 -Atual

Periódico: Information Processing Letters (Print)

1980 -Atual

Periódico: Theoretical Computer Science

1980 -Atual

Periódico: Parallel Computing

1980 -Atual

Periódico: European Journal of Operational Research

1980 -Atual

Periódico: International Transactions in Operational Research

1980 -Atual

Periódico: Computer Networks (1999)

1980 -Atual

Periódico: Science of Computer Programming (Print)

1980 -Atual

Periódico: Journal of the Brazilian Computer Society (Impresso)

1980 -Atual

Periódico: Pesquisa Operacional (Online)

1995 - Atual Projeto: Fundação de Amparo à Pesquisa do Estado de São Paulo

1995 - Atual Projeto: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

1995 - Atual Projeto: Conselho Nacional de Desenvolvimento Científico e Tecnológico

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

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

Projetos de desenvolvimento

Revisor de periódico

Revisor de projeto de fomento

Áreas de atuação


4 de 21 05/09/15 14:18

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

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

Espanhol Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, EscreveRazoavelmente.

2010 Prêmio "Zeferino Vaz" de reconhecimento acadêmico, UNICAMP.

2009 Segundo lugar no "Concurso Latino Americano de Tesis de Maestria"(CLTM), Centro Latino Americano de Estudios en Informática (CLEI).

2009 Best Paper Award, International Conference on Forensic Computer Science.

2008 Best Paper Award, 14th International Conference on Principles and Practiceof Constraint Programming, Sydney, Austr..

2005 Prêmio Petrobras de Tecnologia, categoria Produção, Petrobras.

2005 Primeiro Lugar no Prêmio de Iniciação Científica, Sociedade Brasileira dePesquisa Operacional.

SCOPUS

1. BONIFACIO, Adilson L ; Moura, Arnaldo V. . A new method for testing timed systems. SoftwareTesting, Verification & Reliability , v. 23, p. 91-117, 2013.

2. Lehilton ; MOURA, A. V. . Incremental testing of finite state machines. Software Testing, Verification &Reliability , v. 23, p. 585-612, 2013.

Citações: 1 | 1

3. GRILO, A. B. ; Moura, Arnaldo V. . On finite automata with quantum and classical states. SiberianElectronic Mathematical Reports, v. 10, p. 676-688, 2013.

4. BONIFACIO, Adilson L ; MOURA, A. V. ; SIMÃO, Adenilso . Model Partitions and Compact TestCase Suites. International Journal of Foundations of Computer Science , v. 23, p. 147-172, 2012.

Citações: 1 | 3

5. LOPES, Tony Minoru Tamura ; MOURA, A. V. ; CIRE, Andre Augusto ; SOUZA, Cid Carvalho de .Planning The Operation of a Large Real-World Oil Pipeline. Computers & Chemical Engineering , v.46, p. 17-28, 2012.

Citações: 1 | 1

Idiomas

Prêmios e títulos

Produções

Produção bibliográfica

Citações

Artigos completos publicados em periódicos

Ordenar por

Ordem Cronológica


5 de 21 05/09/15 14:18

6. MOURA, A. V. ; SCARAFICCI, Rafael A. . A GRASP Strategy for a More Constrained School TmetablingProblem. International Journal of Operational Research (Print), v. 7, p. 151-170, 2010.

7. LOPES, Tony Minoru Tamura ; CIRE, Andre Augusto ; SOUZA, Cid Carvalho de ; MOURA, A. V. . Ahybrid model for a multiproduct pipeline planning and scheduling problem. Constraints (Dordrecht) ,v. 15, p. 151-189, 2010.

Citações: 14 | 17

8. MOURA, A. V. ; REBIHA, R. . Semantic Malware Resistance Using Inductive Invariants. TheInternational Journal of Forensic Computer Science (Impresso), v. 5, p. 38-48, 2010.

9. VOLPATO FILHO, Nilton Sergio ; MOURA, A. V. . Tight Quantum Bounds for Computational GeometryProblems. International Journal of Quantum Information , v. 7, p. 935-947, 2009.

10. BONIFACIO, Adilson L ; MOURA, A. V. ; SIMÃO, Adenilso ; MALDONADO, José . Towards Deriving TestSequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40,2008.

Citações: 2

11. MOURA, A. V. ; PEREIRA, Romulo Albuquerque ; SOUZA, Cid Carvalho de . Scheduling Activities at OilWells with Resource Displacement. International Transactions in Operational Research , v. 15, p.659-683, 2008.

Citações: 3

12. PEREIRA, Romulo Albuquerque ; MOURA, A. V. ; SOUZA, Cid Carvalho de . Estratégia GRASP paraEscalonar Atividades de Desenvolvimento de Poços de Petróleo. Boletim Técnico da Petrobrás(Impresso) (Cessou em 1998), v. 2, p. 217-236, 2007.

13. MOURA, A. V. ; PINTO, Guilherme Albuquerque . Classes of Timed Automata and the Undecidability ofUniversality. Fundamenta Informaticae , v. 82, p. 171-184, 2007.

Citações: 1

14. MOURA, A. V. ; YUNES, Tallys Hoover ; SOUZA, Cid Carvalho de . Hybrid Column Generation for UrbanTransit Crew Management problems. Transportation Science, v. 39, p. 273-288, 2005.

15. MOURA, A. V. ; SOUZA, Cid Carvalho de ; RODRIGUES, Maikol M . Vehicle and Crew Scheduling forUrban Bus Lines. European Journal of Operational Research , v. 170, n.3, p. 844-862, 2005.

Citações: 11 | 17

16. MOURA, A. V. ; SOUZA, Cid Carvalho de ; DIAS, Tiago Macedo ; FERBER, Daniel F. ; QUELHAS, MariaCristina F ; SIMELINK, Veera Lucia ; MILANI, Cleusa R M R ; ROSA, Katia M ; PINSETTA, Willians J M .Escalas de Serviço em Enfermarias de Hospitais. Revista SOBECC (São Paulo), v. 10, n.3, p. 30-38,2005.

17. MOURA, A. V. ; FERBER, Daniel F. ; DIAS, Tiago M. . Constructing Nurse Schedules at Large Hospitals.International Transactions in Operational Research , v. 10, p. 245-265, 2003.

Citações: 16

18. MOURA, A. V. ; PINTO, Guilherme Albuquerque . A note on the verification of automata specificationsof probabilistic real-time systems. Information Processing Letters, v. 82, p. 223-228, 2002.

Citações: 2

19. MOURA, A. V. ; PINTO, Guilherme Albuquerque . Classes of Timed Automata and the Undecidability ofUniversality. Electronic Notes in Theoretical Computer Science, v. 65, p. 238-253, 2002.

Citações: 1

20. MOURA, A. V. . Early Error Detection In Syntax Driven Parsers. IBM Journal of Research andDevelopment, v. 30, n.6, p. 617-626, 1986.

21. MOURA, A. V. ; BADER, C. . A Generalization Of Ogden'S Lemma. Journal of the Association forComputing Machinery, v. 29, n.2, p. 404-407, 1982.

22. MOURA, A. V. . A Note On Grammtical Covers. Information Processing Letters, v. 11, n.3, p.127-129, 1980.

1. MOURA, A. V. (Org.) ; MOTA, Alexandre (Org.) . Anais do Simpósio Brasileiro de Métodos Formais.Recife: , 2004. 297p .

Livros publicados/organizados ou edições


6 de 21 05/09/15 14:18

2. MOURA, A. V. . Especificações em Z: Uma introdução. Campinas: Editora da Unciamp, 2002. v. 1. 304p.

3. LUCCHESI, C. L. (Org.) ; MOURA, A. V. (Org.) . Latin'98: Theoretical Informatics. heidelberg: Springer,1998. 300p .

4. MOURA, A. V. ; MARTINS, R. C. B. . Desenvolvimetno Sistematico de Programas Corretos: AAbordagem Denotacional. IV Escola de Computacao, 1988.

5. MOURA, A. V. ; CASANOVA, M. A. . Principios de Gerencia de Bancos de Dados Distribuídos. Campus,1985.

6. MOURA, A. V. ; CASANOVA, M. A. . Principios de Gerencia de Bancos de Dados Distribuidos. IV Escoalde Computacao, 1984.

7. MOURA, A. V. . Uma Introducao A Tecnicas de Analise Sintatica. III Escola de Computacao, 1982.

1. MOURA, A. V. . Conceitos elementares de programação de computadores. Fundamentos dematemática, Ciências e Informática para os Anos Iniciais do Ensino Fundamental. Campinas: , 2010, v.1, p. 25-41.

2. MOURA, A. V. . De Autômatos Finitos a Sistemas Híbridos. In: Maria Angélica de Oliveira CamargoBrunetto. (Org.). XI Escola Regional de Informática da SBC. Londrina: SBC, 2003, v. , p. 35-48.

1. JERONIMO, F. G. ; Moura, Arnaldo V. . On the Hardness of Disentanglers and Quantum de FinettiTheorems. In: V Workshop-Escola em Computação e Informação Quânticas, Weciq 2015, 2015,Campina Grande. Anais do V WECIQ, 2015. p. 1-6.

2. JERONIMO, F. G. ; Moura, Arnaldo V. . Classical Probabilistically Checkable Proof and Multi-ProverQuantum Merlin-Arthur. In: V Workshop-Escola em Computação e Informação Quânticas, Weciq 2015,2015, Campina Grande. Anais do V WECIQ, 2015. p. 1-9.

3. BONIFACIO, Adilson L ; Moura, Arnaldo V. . On the Completeness of Test Suites. In: 29th SymposiumOn Applied Computing, 2014, Gyeongju, Coréia. Proceedings of the 29th Annual ACM Symposium onApplied Computing, 2014. v. II. p. 1287-1292.

4. Bonifácio, Adilson Luiz ; Moura, Arnaldo V. . Partial Models and Weak Equivalence. In: 11thInternational Colloquium on Theoretical Aspects of Computing, 2014, Bucarest, Romania. Lecture NotesIn Computer Science, 2014. v. 8687. p. 80-96.

5. Bonifácio, Adilson Luiz ; Moura, Arnaldo V. . Test Suite Completeness and Partial Models. In: 12thInternational Conference on Software Engineering and Formal Methods, 2014, Grenoble, França.Lecture Notes in Computr Science, 2014. v. 8702. p. 96-110.

6. MIRA, C. ; MEIDANIS, João ; Moura, Arnaldo V. ; Gabriel Lima ; Renato P. Bossolan ; FREITAS, I. T. .The use of simulation in the construction and selection of the optimal budget in the power generationindustry. In: Hydrovision Brasil 2014, 2014, São Paulo. Anais do Hydrovision Brasil 2014, 2014. p. 1-13.

7. MIRA, C. ; Pedro Feijão ; Maria Angélica Souza ; Moura, Arnaldo V. ; MEIDANIS, João ; Gabriel Lima ;Rafael Schmitz ; Renato P. Bossolan ; FREITAS, I. T. . Project Portfolio Selection based on GRASP. In:International Conference on Management, Business & Economics, 2013, Vijayawada, Andhra Pradesh.Proceedings of the 2013 International Conference on Management, Business & Economics, 2013.

8. MIRA, C. ; Pedro Feijão ; Maria Angélica Souza ; MOURA, A. V. ; MEIDANIS, João ; Gabriel Lima ;Rafael Schmitz ; Renato P. Bossolan ; FREITAS, I. T. . A Project Portfolio Selection Decision SupportSystem. In: 10th International Conference on Service Systems and Service Management, 2013, HongKong. Proceedings of the 10th International Conference on Service Systems and Service Management,2013.

9. REBIHA, R. ; Nadir Matringe ; Moura, Arnaldo V. . Generating Asymptotically Non-Terminant InitialVariable Values for Linear Diagonalizable Programs. In: Fifth International Symposium on SymbolicComputation in Software Science - SCSS 2013, 2013, Hagenberg im Mühlkreis. Fifth InternationalSymposium on Symbolic Computation in Software Science - SCSS 2013 - Symposium Proceedings. Linz,Austria: Research Institute for Symbolic Computation, 2013. p. 81-92.

10. MIRA, C. ; Maria Angélica Souza ; MOURA, A. V. ; MEIDANIS, João ; Gabriel Lima ; Renato P. Bossolan; FREITAS, I. T. . Portfolio Selection and Scheduling in the Power Generation Industry. In: XLV SimpósioBrasileiro de Pesquisa Operacional, 2013, Natal. Anais do XLV Simpósio Brasileiro de PesquisaOperacional, 2013. p. 1-12.

11. GRILO, A. B. ; Moura, Arnaldo V. . On Finite automata with quantum and classical states. In: 6th

Capítulos de livros publicados

Trabalhos completos publicados em anais de congressos


7 de 21 05/09/15 14:18

School on Algoritsm and Complexity, 2013, Ekaterinbug. Algorithms & Complexity. Ekaterinburg: UralUniversity Press, 2013. p. 32-35.

12.

REBIHA, R. ; Nadir Matringe ; MOURA, A. V. . Transcendental Inductive Invariants Generation forNon-linear Differential and Hybrid Systems. In: 15th International Conference on Hybrid Systems:Computation and Control, 2012, Beijing. Proceedings of the 15th International Conference on HybridSystems: Computation and Control. New York, NY: ACM, 2012. p. 25-34.

13. GRILO, A. B. ; Moura, Arnaldo V. . Language classes and quantum finite automata. In: Workshop-School in Quantum Computation and Information, 2012, Fortaleza. Proceedings of the WECIQ 2012,2012. p. 90.

14. MIRA, C. ; Pedro Feijão ; Maria Angélica Souza ; MOURA, A. V. ; MEIDANIS, João ; Gabriel Lima ;Rafael Schmitz ; Renato P. Bossolan ; FREITAS, I. T. . A GRASP-based heuristic for the Project PortfolioSelection Problem. In: 15th IEEE International Conference on Computational Science and Engineering,2012, Nicosia. Proceedings of teh 15th IEEE International Conference on Computational Science andEngineering, 2012. p. 36-41.

15. Lehilton ; MOURA, A. V. . A new Method for Incremental Testing of Finite State Machines. In: SecondNASA Formal Methods Symposium, 2010, Washington. Proceedings of the Second NASA Formal MethodsSymposium. Langley, VA, USA: NASA, 2010. p. 91-100.

16. Lehilton ; MOURA, A. V. . Generalized Partial Test Case Generation Method. In: Model-BasedVerification & Validation, 2010, Cingapura. Proceedings of the Model-Based Verification & Validation,2010.

17. Cabral, Glauber M. ; MOURA, A. V. ; MAEDER, C. ; MOSSAKOWSKI, T. ; SCHRODER, L. . Creating aHasCASL Library. In: 14th Brazilian Symposium on Programming Languages, 2010, Salvador.Proceedings of the 14th Brazilian Symposium on Programming Languages, 2010. p. 153-182.

18. Nadir Matringe ; MOURA, A. V. ; REBIHA, R. . Generating Invariants for Non-linear Hybrid Systems byLinear Algebraic Methods. In: 17th International Static Analysis Symposium, 2010, Perpignan, France.Static Analysis 17th International Symposium, SAS 2010, 2010. v. 6337. p. 373-389.

19. Nadir Matringe ; MOURA, A. V. ; REBIHA, R. . Morphisms for Non-trivial Non-Linear InvariantGeneration for Algebraic Hybrid Systems. In: 12th International Conference on Hybrid Systems:Computation and Control, 2009, SAn Francisco. Hybrid Systems: Computation and Control, 2009. v.5469. p. 445-449.

20. REBIHA, R. ; MOURA, A. V. . Automated Malware Invariant Generation. In: IV International Conferenceon Forensic Computer Science, 2009, Natal, RN. Proceeding of the International Conference of ForensicComputer Science, 2009. p. 7-14.

21. MOURA, A. V. ; SOUZA, Cid Carvalho de ; CIRE, Andre Augusto ; LOPES, Tony Minoru Tamura .Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and SchedulingProblem. In: proceedings of the 11th IEEE International Conference on Computational Science andEngineering, 2008, São Paulo. IEEE Computer Society Press CSE 2008 Conference Procedings, 2008. p.455-462.

22. MOURA, A. V. ; SCARAFICCI, Rafael Augusto . Hybrid Heuristic Strategies for Planning and SchedulingForest Harvest and Transportation Activities. In: IEEE 11th International Conference on ComputationalScience and Engineering, 2008, São Paulo. Proceedings of the 11th IEEE International Conference onComputational Science and Engineering, 2008. p. 447-454.

23. Nadir Matringe ; MOURA, A. V. ; REBIHA, R. . Endomorphisms for Non-Trivial Non-linear LoopInvariants Generation. In: 5th International Colloquium on Theoretical Aspects of Computing, 2008,Istambul. Lecture Notes in Computer Science, 2008. v. 5160. p. 425-439.

24. BONIFACIO, Adilson L ; MOURA, A. V. ; SIMÃO, Adenilso . A Generalized Model-based Test GenerationMethod. In: 6th IEEE International Conferences on SOFTWARE ENGINEERING AND FORMAL METHODS,2008, Cape Town. Anais do 6th IEEE International Conferences on SOFTWARE ENGINEERING ANDFORMAL METHODS, 2008. p. 139-148.

25. MOURA, A. V. ; SOUZA, Cid Carvalho de ; CIRE, Andre Augusto ; LOPES, Tony Minoru Tamura .Planning and Scheduling the Operation of a Very Large Oil Pipeline Network. In: 14th InternationalConference on Principles and Practice of Conatraint Programming, 2008, Sydney. Lecture Notes inComputer Science. Berlin: Springer Verlag, 2008. v. 5202. p. 36-51.

26. MARCELLINO, Fernando ; OMAR, Nizan ; MOURA, A. V. . The Planning of Oil Derivatives Transportation


8 de 21 05/09/15 14:18

by Pipelines As Distributed Constraint Optimization Problem. In: Distributed Constrait Reasoning, 2007,Hyderabad. Proceedings of the Distributd Constraint Resoning Workshop, 2007. p. 1-15.

27.

VOLPATO FILHO, Nilton Sergio ; MOURA, A. V. . An Quantum Algorithm for Finding the Minimum Pair.In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais SegundoWorkshop-Escola de Computação e Informação Quântica, 2007.

28. MOURA, A. V. ; SILVA, Tiago Serra Azevedo . Escalonamento Integrado para o Transporte ColetivoUtilizando GRASP, Path-relinking e Paralelismo. In: XXXVIII Simpósio Brasileiro de Pesquisa Operacional,2006, Goiania. Anais do XXXVIII Simpósio Brasileiro de Pesquisa Operacional, 2006.

29. MOURA, A. V. ; BONIFACIO, Adilson L ; SIMÃO, Adenilso ; MALDONADO, José . Conformance TestingUsing Timed Extended Finite State Machines and Model Checking. In: Brazilian Symposium on FormalMethods, 2006, Natal. Proceedings of the Brazilian Symposium on Formal Methods, 2006. p. 43-57.

30. MOURA, A. V. ; VOLPATO FILHO, Nilton Sergio . An $\mathcal{O}(n{3/4}\log 2 n)$ QuantumAlgorithm for the 1-dimensional Closest Pair Problem. In: Workshop-Escola de Computação Quântica,2006, Pelotas. Anais do Workshop-Escola de Computação Quântica, 2006. p. 239-244.

31. MARCELLINO, Fernando ; OMAR, Nizan ; MOURA, A. V. . Solving the Problem of Oil DerivativesTransportation by Pipelines Using a Distributed Constraint Satisfaction Model with Optimization. In:Ibero-American Workshop on Multi-Agents System, 2006, Ribeirão Preto. Ibero-American Workshop onMulti-Agents System, 2006.

32. MOURA, A. V. ; SOUZA, Cid Carvalho de ; PEREIRA, Rmulo A. . Comparative Experiments with GRASPand Constraint Programming for the Oil Well Drilling Problem. In: 4th. International Workshop OnEfficient and Experimental Algorithms, 2005, Santorini. Lecture Notes in Computer Science, 2005. v.3503. p. 328-340.

33. MOURA, A. V. ; LOPES, Tony Minoru Tamura . Hibridização de Programação por Restrições eMetaheurísticas Paralelas para o Escalonamento Integrado de Veículos e Tripulações. In: XXXVIISimpósio Brasileiro de Pesquisa Operacional, 2005, Gramado. Anais do XXXVII Simpósio Brasileiro dePesquisa Operacional, 2005.

34. LIVRAMENTO, Silvana ; MOURA, A. V. ; MIYAZAWA, Flávio K ; HARADA, Mário M ; MIRANDA, RogérioA . A Genetic Algorithm for Telecommunication Network Design. In: 1st European Workshop onEvolutionary Computation in Communications, Networks, and Connected Systems, 2004, Coimbra.Lecture Notes in Computer Science, 2004. v. 3005. p. 140-149.

35. MOURA, A. V. . Técnicas Metaheurísticas Aplicadas à Construção de Grades Horárias Escolares. In:XXXVI Simpósio Brasileiro de Pesquisa Operacional, 2004, Juiz de Fora. Anais do XXXVI SimpósioBrasileiro de Pesquisa Operacional, 2004.

36. MOURA, A. V. ; PINTO, Guilherme Albuquerque . Classes of timed automata and the undecidability ofuniversality. In: Theory and Practice of Timed Systems, 2002, Grenoble. Theory and Practice of TimedSystems, 2002. v. 1. p. 1-16.

37. MOURA, A. V. ; SOUZA, Cid Carvalho de ; FERBER, Daniel F. ; DIAS, Tiago M. . Busca Tabu ealgoritmos geneticos aplicados a problemas de escalonamento. In: XXXIII SBPO, 2001, Campos doJordão. Anais do XXXIII SBPO, 2001. p. 1624-1632.

38. MOURA, A. V. ; YUNES, Tallys Hoover ; SOUZA, Cid Carvalho de . A Hybrid Approach for Solving LargeScale Crew Scheduling Problems. In: Second Workshop on Practical Aspects of Declarative Languages -PADL`00, 2000, Boston. Lecture Notes in Computer Sciecne. Heidelebrg: Springer, 2000.

39. MOURA, A. V. ; YUNES, Tallys Hoover ; SOUZA, Cid Carvalho de . Solving very large crew schedulingproblems to optimality. In: XIV ACM Symposium on Applied Computing, 2000, Como, 2000.

40. MOURA, A. V. ; BONIFACIO, Adilson L ; CAMARGO JR, J. B. ; ALMEIDA JR, J. R. . Formal parametersynthesis for track segments of a subway mesh. In: VII Annual IEEE Conference and Workshop on theEngineering of Computer Based Systems, 2000, Edinburgh, 2000.

41. BONIFACIO, Adilson L ; MOURA, A. V. . Modeling and parameters synthesis for an air trafficmanagement system. In: Formal methods in computer aided design, 2000, Austin. Lecture Notes inComputer Science, 2000.

42. MOURA, A. V. ; PINTO, Guilherme Albuquerque . On the verification of non-deterministic automataspecifications of tprobabilistic real-time systems. In: III Workshop on Formal Methods, 2000, JoãoPessoa. Anais do III WFM, 2000. p. 181-192.

43. MOURA, A. V. ; BONIFACIO, Adilson L ; CAMARGO JR, J. B. ; ALMEIDA JR, J. R. . Analise e Verificacaode Segmentos de uma Malha Metroviaria. In: Segundo Workshop em Metodos Formais, WFM`99, 1999,


9 de 21 05/09/15 14:18

Florianopolis. Anais do Segundo Workshop em Metodos Formais, 1999. p. 13-21.

44.

MOURA, A. V. ; CASANOVA, M. A. ; TUCHERMAN, L. . On The Correctness Of A Local StorageSubsystem. In: Fourth ACM SIGACT-SIGMOD Symposium on Principles of Distributed Systems, 1985,Portland. Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of DistributedSystems, 1985. p. 123-134.

45. MOURA, A. V. . Algumas Estrategias para Analise Sintatica e seu Interrelacionametno. In: SegudnaEscola de Computacao, 1981, Campinas, 1981.

1. Nadir Matringe ; MOURA, A. V. ; REBIHA, R. . Morphisms for Analysis of Hybrid Systems. In: NSV-II:Second International Workshop on Numerical Software Verification, 2009, San Francisco. Proceedings ofthe NSV-II: Second International Workshop on Numerical Software Verification, 2009. p. 136-151.

2. CIRE, Andre Augusto ; LOPES, Tony Minoru Tamura ; MOURA, A. V. ; SOUZA, Cid Carvalho de . HybridModels for Scheduling a Real Oil Pipeline Network. In: INFORMS Annual Meeting, 2008, 2008,Washington DC. Proceedings of the 2008 INFORMS Meeting, 2008.

3. LOPES, Tony Minoru Tamura ; CIRE, Andre Augusto ; MOURA, A. V. . Hibridización de Programaciónpor Restricciones y Metaheurísticas Paralelas para el Escalonamiento Integrado de Vehículos yTripulación. In: XIX Encuentro Nacional de Docentes En Investigación Operativa y XVII Escuela dePerfeccionamiento en Investigación Operativa, 2007. Anais do XIX ENDIO y XVII EPIO, 2007.

1. MIRA, C. ; MOURA, A. V. ; Gabriel Lima ; Pedro Feijão ; Maria Angélica Souza ; MEIDANIS, João ;Rafael Schmitz ; Renato P. Bossolan ; FREITAS, I. T. . A Project Portfolio Selection Decision SupportSystem. In: 22nd International Conference on Multiple Criteria Decision Making, 2013, Málaga. ---,2013.

2. MOURA, A. V. ; NASCIMENTO, Juliana M. Do ; SOUZA, Cid Carvalho de . Ferramenta ComputacionalHíbrida para Otimização da Produção de Petróleo em Águas Profundas. In: XXXIV Simpósio Brasileiro dePesquisa Operacional, 2002, Rio de Janeiro. Anais do XXXIV Simpósio Brasileiro de PesquisaOperacional, 2002. p. 21-22.

3. YUNES, Tallys Hoover ; MOURA, A. V. ; SOUZA, Cid Carvalho de . Solving a real world crew rosteringproblem with integer programming and constraint logic programming. In: 17th International Symposiumon Mathematical Programming, 2000, Atlanta, 2000.

4. MOURA, A. V. ; SOUZA, Cid Carvalho de ; YUNES, Tallys Hoover . Exact Solutions for Real World CrewScheduling Problems. In: Institute for Operations Research and Managenemt Science Fall 1999 Meeting- INFORMS`99, 1999, Philadelphia, 1999.

5. TRAVELHO, J. S. ; MOURA, A. V. ; DREUX, M. ; ENARI, E. H. ; PEREIRA FILHO, N. ; MORAES, P. B. .Production Of Pollutants In Uncontrolled Fires. In: ICIAM'95 - 3rd. International Congress on Industrialand Applied Mathematics, 1995, Hamburgo. Proceedings of the ICIAM'95 - 3rd. International Congresson Industrial and Applied Mathematics, 1995.

6. VELHO, H. F. C. ; TRAVELHO, J. S. ; MOURA, A. V. . Matrix Methods Applied To The Study Of TheDispersion Of Co2 Produced By Forest Fires In The Amazon Region. In: ICIAM'95 - 3rd. InternationalCongress on Industrial and Applied Mathematics, 1995, Hamburgo. Proceedings of the ICIAM'95 - 3rd.International Congress on Industrial and Applied Mathematics, 1995.

7. VELHO, H. F. C. ; MOURA, A. V. ; TRAVELHO, J. S. ; DREUX, M. ; PEREIRA FILHO, N. . A FiniteDifference Method Applied To The K-E-G Turbulence Model In A Constant Density Jet In Still Air. In:Italian-Latin American Conference on Industrial and Applied Methematics, 1995, Porto Alegre. Annals ofthe Italian-Latin American Conference on Industrial and Applied Methematics, 1995.

1. REBIHA, RACHID ; MOURA, ARNALDO VIEIRA ; MATRINGE, NADIR . Generating invariants fornon-linear loops by linear algebraic methods. Formal Aspects of Computing , 2015.

Resumos expandidos publicados em anais de congressos

Resumos publicados em anais de congressos

Artigos aceitos para publicação


10 de 21 05/09/15 14:18

2. MIRA, C. ; VIADANNA, P. ; Maria Angélica Souza ; MOURA, ARNALDO VIEIRA ; MEIDANIS, João ;Gabriel Lima ; Renato P. Bossolan . Project Scheduling Optimization in Electrical Power Utilities. PesquisaOperacional (Impresso), 2015.

1. MOURA, A. V. ; FERBER, Daniel F. . Algoritmos e Programação em C 2009 (Monografia-texto didático).

2. MOURA, A. V. ; CHAVES, Gustavo Lima . Introdução a Modelos Computacionais 2007 (Monografia-texto).

1. REBIHA, R. ; Moura, Arnaldo V. . Invariants-based architecture for semantic malware resistance.2015.

2. REBIHA, R. ; Moura, Arnaldo V. ; Nadir Matringe . Characterization of termination for linearhomogeneous programs. 2014.

3. JERONIMO, F. G. ; Moura, Arnaldo V. . On the Quantum-Classical Separation of Marking andMulti-Head Automata. 2014.

4. REBIHA, R. ; Moura, Arnaldo V. ; Nadir Matringe . Automated generation of asymptoticallynon-terminant initial variable values for linear programs. 2014.

5. Bonifácio, Adilson Luiz ; Moura, Arnaldo V. . Checking test suite completeness with partial fsms andweak equivalence. 2014.

6. MIRA, C. ; VIADANNA, P. ; Maria Angélica Souza ; Moura, Arnaldo V. ; MEIDANIS, João ; Gabriel Lima; Renato P. Bossolan . Project Scheduling Optimization in Energy Generation Plants.. 2014.

7. REBIHA, R. ; MOURA, A. V. ; Nadir Matringe . Generating Asymptotically Non-Terminating Initial Valuesfor Linear Programs. 2014.

8. BONIFACIO, Adilson L ; Moura, Arnaldo V. . Intrinsic properties of complete test suites. 2014.

9. REBIHA, R. ; Moura, Arnaldo V. ; Nadir Matringe . Characterization of Termination for Linear LoopPrograms. 2014.

10. REBIHA, R. ; Moura, Arnaldo V. ; Nadir Matringe . On the Termination of Linear and Affine Programsover the Integers. 2014.

11. REBIHA, R. ; Moura, Arnaldo V. ; Nadir Matringe . Generating Asymptotically Non-Terminating InitialValues for Linear Programs. 2014.

12. JERONIMO, F. G. ; Moura, Arnaldo V. . On the Hardness of Disentanglers and Quantum de FinettiTheorems. 2014.

13. JERONIMO, F. G. ; Moura, Arnaldo V. . Classical Probabilistic Checkable Proof and Multi-ProverQuantum Merlin-Arthur. 2014.

14. REBIHA, R. ; MOURA, A. V. . Multivariate Formal Power Series Invariants Generation for Non LinearHybrid Systems. 2013.

15. REBIHA, R. ; MOURA, A. V. ; Nadir Matringe . Generating Invariants for Non-linear Hybrid Systems.2013.

16. REBIHA, R. ; MOURA, A. V. ; Nadir Matringe . Transcendental Invariants Generation for Non-linearHybrid Systems. 2013.

17. REBIHA, R. ; MOURA, A. V. ; Nadir Matringe . Necessary and Sufficient Condition for Termination ofLinear Programs. 2013.

18. REBIHA, R. ; MOURA, A. V. ; Nadir Matringe . A Complete Approach for Termination Analysis of LinearPrograms. 2013.

19. GRILO, A. B. ; MOURA, A. V. . On finite automata with quantum and classical states. 2013.

20. REBIHA, R. ; Moura, Arnaldo V. ; Nadir Matringe . Generating asymptotically non-terminant initialvariable values for linear diagonalizable programs. 2013.

21. BONIFACIO, Adilson L ; Moura, Arnaldo V. . Necessity and sufficiency for checking m-completeness oftest suites. 2013.

22. Bonifácio, Adilson Luiz ; Moura, Arnaldo V. . Partial fsm models and completeness with blocking testcases. 2013.

Outras produções bibliográficas

Produção técnica

Trabalhos técnicos


11 de 21 05/09/15 14:18

23. REBIHA, R. ; Moura, Arnaldo V. ; Nadir Matringe . Generating invariants for non-linear loops by linearalgebraic methods. 2013.

24. MOURA, A. V. ; Moura, Arnaldo Vieira . Attaining a more Flexible and Manageable Discretization forComplex Timed Systems. 2012.

25. REBIHA, R. ; Nadir Matringe ; MOURA, A. V. . Transcendental Inductive Invariants Generation forNon-linear Hybrid Systems. 2012.

26. MIRA, C. ; Pedro Feijão ; Maria Angélica Souza ; MOURA, A. V. ; MEIDANIS, João ; Gabriel Lima ;Rafael Schmitz ; Renato P. Bossolan . A Project Portfolio Selection Problem. 2012.

27. GRILO, A. B. ; MOURA, A. V. . Language classes and quantum finite automata. 2012.

28. Lehilton ; MOURA, A. V. . Testing combined finite state machines.. 2010.

29. VOLPATO FILHO, Nilton Sergio ; MOURA, A. V. . A fast quantum algorithm for the closest bichromaticpair problem.. 2010.

30. LOPES, Tony Minoru Tamura ; MOURA, A. V. ; SOUZA, Cid Carvalho de . Planning The Operation of aLarge Real-World Oil Pipeline. 2010.

31. Cabral, Glauber M. ; MOURA, A. V. . Creating a HasCASL library.. 2009.

32. BONIFACIO, Adilson L ; MOURA, A. V. ; SIMÃO, Adenilso . Exponentially more succinct test suites.2009.

33. BONIFACIO, Adilson L ; MOURA, A. V. . A new timed discretization method for automatic testgeneration for timed systems. 2009.

34. Igor Carboni Oliveira ; MOURA, A. V. ; Walter Carnielli . On an abstract theory of computational modelsand the converse of Rice's theorem.. 2009.

35. Igor Carboni Oliveira ; MOURA, A. V. . A generalization of the time and space hierarchy theorems..2009.

36. BONIFACIO, Adilson L ; MOURA, A. V. . Generating test suites for timed systems with contextvariables.. 2009.

37. Nadir Matringe ; MOURA, A. V. ; REBIHA, R. . Multivariate formal power series invariants generationfor non linear hybrid systems. 2009.

38. BONIFACIO, Adilson L ; MOURA, A. V. . A Generalized Model-based Test Generation Method. 2008.

39. Nadir Matringe ; MOURA, A. V. ; REBIHA, R. . Endomorphism for Non-trivial Semi-Algebraic LoopInvariant Generation. 2008.

40. Nadir Matringe ; MOURA, A. V. ; REBIHA, R. . Morphisms for Non-trivial Non-Linear InvariantGeneration for Algebraic Hybrid Systems. 2008.

41. VOLPATO FILHO, Nilton Sergio ; MOURA, A. V. . Bounds for quantum computational geometryproblems. 2008.

42. MOURA, A. V. ; SCARAFICCI, Rafael Augusto . A GRASP Strategy for a More Constrained SchoolTimetabling Problem. 2007.

43. FERBER, Daniel F. ; MOURA, A. V. . Um Algoritmo Dinâmico para Árvore de Caminhos Mínimos. 2007.

44. MOURA, A. V. ; SCARAFICCI, Rafael Augusto . A Hybrid Heuristic for Forest Harvest and TransportationProblems. 2007.

45. MOURA, A. V. ; SOUZA, Cid Carvalho de ; PEREIRA, Romulo Albuquerque . Constraint Programmingand GRASP Approaches to Schedule Oil Well Drillings. 2005.

46. MOURA, A. V. ; BONIFACIO, Adilson L . Formal Verification and Parameter Synthesis for Hybrid RealSystems. 2005.

47. PEREIRA, Rmulo A. ; MOURA, A. V. ; SOUZA, Cid Carvalho de . GRASP strategies for schedulingactivities at oil wells with resource displacement. 2005.

48. MOURA, A. V. ; LIVRAMENTO, Silvana ; HARADA, Mário M ; MIYAZAWA, Flávio K ; MIRANDA, RogérioA . Um Algoritmo Genético para Projeto de Redes de Telecomunicações. 2003.

49. MOURA, A. V. ; SILVEIRA, Rafael Lamare . Aplicação de Heurísticas de Busca Local ao Problema doAgendamento Escolar. 2003.

50. MOURA, A. V. ; SANTOS, Volnei dos . Algoritmos Genéticos Aplicados ao Problema de Agendamento deAtividades Acadêmicas. 2003.

51. MOURA, A. V. ; SOUZA, Cid Carvalho de ; FERBER, Daniel F. ; DIAS, Tiago M. . Problemas deEscalonamento de pessoal em enfermarias hospitalares. 2002.

52. MOURA, A. V. ; NASCIMENTO, Juliana M. Do . Hybrid methods for optimizing petroleum extraction indeep sea waters. 2002.

53. MOURA, A. V. ; NASCIMENTO, Juliana M. Do ; SOUZA, Cid Carvalho de . Estudo e Desenvolvimento deferramentas Híbridas para Problemas de Sequenciamento e Roteamento de Recursos. 2002.


12 de 21 05/09/15 14:18

54.

MOURA, A. V. ; PINTO, Guilherme Albuquerque . On almost deterministic timed automata. 2001.

55. MOURA, A. V. ; SOUZA, Cid Carvalho de ; YUNES, Tallys Hoover . Hybrid column generationapproaches for solving real world crew managemento problems. 2000.

56. MOURA, A. V. ; BONIFACIO, Adilson L ; CAMARGO JR, J. B. ; ALMEIDA JR, J. R. . Formal verificationand synthesis for an air traffic management system. 2000.

57. MOURA, A. V. ; SOUZA, Cid Carvalho de ; YUNES, Tallys Hoover . Modeling and solving a crewrostering problem with cinstraint logic programming and integer programming. 2000.

58. MOURA, A. V. ; PINTO, Guilherme Albuquerque . Semi-decision procedure for testing languageinclusion of non-deterministic timed automata. 2000.

59. MOURA, A. V. ; BATISTA, D. G. . Aplicações de programação com restrições. 1999.

60. MOURA, A. V. ; PINTO, Guilherme Albuquerque . On the verification of non-deterministic automataspecifications of probabilistic real-time systems. 1999.

61. MOURA, A. V. ; SOUZA, Cid Carvalho de ; YUNES, Tallys Hoover . Solving large scale crew schedulingproblems with constraint and integer programming. 1999.

62. MOURA, A. V. ; BONIFACIO, Adilson L ; CAMARGO JR, J. B. ; ALMEIDA JR, J. R. . Analise, verificaçaõ esintese de segmnetos de vias de um sistema metroviario. 1999.

63. MOURA, A. V. . Deteção imediata de erros em analisadores de precedencia. 1985.

64. MOURA, A. V. . On the cost of the viable prefix property. 1985.

65. MOURA, A. V. . Uma introdução a tecnicas de analise sintatica. 1983.

66. MOURA, A. V. . Algumas estrategias para analise sintatica e seu interrelacionamento. 1981.

1. MOURA, A. V. . Sistemas Distribuídos e Verificação de Modelo. 2011. (Curso de curta duraçãoministrado/Outra).

2. MOURA, A. V. ; CHAVES, Gustavo Lima . Linguagens Formais e Autômatos. 2007. (Desenvolvimento dematerial didático ou instrucional - Apoio Didático).

3. MOURA, A. V. . Fundamentos matemáticos da computação (notas de aula). 2007. (Desenvolvimentode material didático ou instrucional - Apoio didátido).

4. MOURA, A. V. . Algoritmos e Programação de Computadores - Linguagem PASCAL. 2003.(Desenvolvimento de material didático ou instrucional - Apoio Didático).

5. MOURA, A. V. . Algoritmos e Programação de Computadores - Linguagem C. 2003. (Desenvolvimentode material didático ou instrucional - Apoio didátido).

6. MOURA, A. V. . O Cálculo Lambda. 1998. (Desenvolvimento de material didático ou instrucional - ApoioDidático).

7. MOURA, A. V. . Especificações Formais em Z. 1993. (Desenvolvimento de material didático ouinstrucional - Apoio Didático).

1. MOURA, A. V. ; MIYAZAWA, Flávio K ; LIVRAMENTO, Silvana ; HARADA, Mário M ; MIRANDA, RogérioA . Um Algoritmo Genético para Projeto de Redes de Telecomunicações. 2003 (Relatorio Tecnico) .

2. MOURA, A. V. ; NASCIMENTO, Juliana M. Do ; SOUZA, Cid Carvalho de . Estudo e Desenvolvimento deFerramentas Híbridas para Problemas de Sequenciamento e Roteamento de Recursos. 2002 (RelatorioTecnico) .

3. MOURA, A. V. ; SOUZA, Cid Carvalho de ; FERBER, Daniel F. ; DIAS, Tiago M. . Problemas deEscalonamento de Pessoal em Enfermarias Hospitalares. 2002 (Relatorio Tecnico) .

4. MOURA, A. V. ; PINTO, Guilherme Albuquerque . On Almost Deterministic Timed Automata. 2001(Relatorio Tecnico) .

5. MOURA, A. V. ; PINTO, Guilherme Albuquerque . A semi-decision procedure for testing languageinclusion of nondeterministic timed automata. 2000 (Relatorio Tecnico) .

6. YUNES, Tallys Hoover ; MOURA, A. V. ; SOUZA, Cid Carvalho de . Modeling and solving a crewrostering problem with constraint logic programming and integer programming. 2000 (Relatorio Tecnico).

7. BONIFACIO, Adilson L ; MOURA, A. V. ; CAMARGO JR, J. B. ; ALMEIDA JR, J. R. . Formal verification

Demais tipos de produção técnica

Demais trabalhos


13 de 21 05/09/15 14:18

and synthsis for an air traffic management system. 2000 (Relatorio Tecnico) .

8.

MOURA, A. V. ; YUNES, Tallys Hoover ; SOUZA, Cid Carvalho de . Hybrid Column GenerationApproaches for Solving Real World Crew Management Problems. 2000 (Relatório Técnico) .

9. MOURA, A. V. ; SOUZA, Cid Carvalho de ; YUNES, Tallys Hoover . Solving Large Scale Crew SchedulingProblems by Constraint Programaming and Integer Programming. 1999 (Relatorio Tecnico) .

10. MOURA, A. V. ; BONIFACIO, Adilson L ; ALMEIDA JR, J. R. ; CAMARGO JR, J. B. . Analise, Verificacao eSintese de Segmentos de uma Malha Metroviaria. 1999 (Relatorio Tecnico) .

11. MOURA, A. V. ; PINTO, Guilherme Albuquerque . On the verification of nondeterministic automataspecifications of probabilistic real-time systems. 1999 (Relatorio Tecnico) .

12. MOURA, A. V. ; BATISTA, D. G. . Aplicações de Programação porRrestrições. 1999 (Relatorio Tecnico) .

13. MOURA, A. V. . Deteccao Imediata de Erros Em Analisadores de Precedencia. 1985 (Relatorio Tecnico).

14. MOURA, A. V. . On The Cost Of The Viable Prefix Property. 1985 (Relatorio Tecnico) .

15. MOURA, A. V. . Uma Introducao A Tecnicas de Analise Sintatica. 1983 (Relatorio Tecnico) .

16. MOURA, A. V. . Syntactic Equivalence Of Grammar Classes. 1980 (Tese de Doutorado) .

17. MOURA, A. V. . Linguegens Formais e Reconhecimento de Padroes. 1976 (Tese de Mestrado) .

1. BONIFACIO, Adilson L; MOURA, A. V.; BACCARIN, E.; ATTROT, W.. Participação em banca de GilsonDoi Junior. Um Modelo de falhas para sistemas de tempo real. 2013. Dissertação (Mestrado em Ciênciada Computação) - Universidade Estadual de Londrina.

2. MOURA, A. V.; Wakabaiashi; walter mascarenhas. Participação em banca de Thiago Serra AzevedoSilva. Programação por restrições e escalonamento baseado em restrições: um estudo de caso naprogramação de recursos para o desenvolvimento de poços de petróleo. 2012. Dissertação (Mestradoem Ciências da Computação) - Universidade de São Paulo.

3. MOURA, A. V.; Reinaldo Morabito; SOUZA, Cid Carvalho de. Participação em banca de Bruno ContiMarini. Modelos e Algoritmos para um Problema de Bombeamento de Múltiplos Combustíveis em umaRede Com um Único Duto Unidirecional. 2011. Dissertação (Mestrado em Ciência da Computação) -Universidade Estadual de Campinas.

4. MOURA, A. V.; Thom. Participação em banca de Amaury Bosso André. Verificação formal de workflowscom SPIN. 2010 - Universidade Estadual de Campinas.

5. MOURA, A. V.. Participação em banca de Augusto Born de Oliveira. Uma Infraestrutura paraReconfiguração Dinâmica de Escalonadores Tempo Real: Modelos, Algoritmos e Aplicações. 2009 -Universidade Federal de Santa Catarina.

6. MOURA, A. V.. Participação em banca de Fabiano Costa Carvalho. On the Design of Integrated ModularAvionics Systems Assisted by Formal Modeling. 2009 - Instituto Tecnológico de Aeronáutica.

7. MOURA, A. V.. Participação em banca de Carlos Henrique Cardonha. Sistemas Interativos de ProvaClássicos e Quânticos. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de SãoPaulo.

8. MOURA, A. V.. Participação em banca de Fernando José de Moura Marcellino. Solução de Problemasde Transporte de Derivados de Petróleo em Oleodutos através de um Modelo de Satisfação de restriçõesDistribuído com Otimização. 2006. Dissertação (Mestrado em Engenharia Eletrônica e Computação) -Instituto Tecnológico de Aeronáutica.

9. MOURA, A. V.; KOBAYASHI, Nami; SIMON, Imre. Participação em banca de Rodrigo Nonamor PereiraMariano de Souza. Propriedades de algumas classes de relações racionais. 2004. Dissertação (Mestradoem Ciências da Computação) - Universidade de São Paulo.

Bancas

Participação em bancas de trabalhos de conclusão

Mestrado


14 de 21 05/09/15 14:18

10. MOURA, A. V.; MELO, Ana Cristina Vieira de; SILVA, Flávio Soares Corrêa da. Participação em banca deMarcelo de Moura Amorin. Uma técnica de verificação para pi-calculus baseada em bi-simulação up-to ealgoritmos de particionamento. 2003. Dissertação (Mestrado em Ciências da Computação) -Universidade de São Paulo.

11. MOURA, A. V.. Participação em banca de Eduardo Candido Xavier. Algoritmos de Aproximação paraProblemas de Escalonamento de Tarefas em Máquinas. 2003. Dissertação (Mestrado em Ciência daComputação) - Universidade Estadual de Campinas.

12. MOURA, A. V.. Participação em banca de Alan Augusto Teodoro. O Problema do corte Bidimensional:Uma Abordagem Utilizando o Método de Geração de Colunas. 2003. Dissertação (Mestrado em Ciênciada Computação) - Universidade Estadual de Campinas.

13. MOURA, A. V.. Participação em banca de Luciana Ramos. Um Estudo sobre Projeto de Redes comBaixas restrições de Conectividade. 2003. Dissertação (Mestrado em Ciência da Computação) -Universidade Estadual de Campinas.

14. MOURA, A. V.. Participação em banca de Glauber José Vaz. Uma Abordagem Alternativa para osEscalonamentos de Ônibus e de Motoristas. 2003. Dissertação (Mestrado em Ciência da Computação) -Universidade Estadual de Campinas.

15. MOURA, A. V.. Participação em banca de Rogério Albertoni Miranda. Criptosistemas Baseados emCurvas Elípticas. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual deCampinas.

16. MOURA, A. V.. Participação em banca de Juliana Martins do Nascimento. Ferramentas ComputacionaisHíbridas para a Otimização da Produção de Petróleo am Águas Profundas. 2002. Dissertação (Mestradoem Ciência da Computação) - Universidade Estadual de Campinas.

17. MOURA, A. V.. Participação em banca de Maikol Magalhães Rodrigues. Problemas de Planejamento deViagens no Transporte Coletivo. 2001. Dissertação (Mestrado em Ciência da Computação) -Universidade Estadual de Campinas.

18. MOURA, A. V.. Participação em banca de Sandro Rigo. Experimentos com Codificação e Compactaçãono Gerenciamento de Memória da Máquina Virtual Java. 2000. Dissertação (Mestrado em Ciência daComputação) - Universidade Estadual de Campinas.

19. MOURA, A. V.. Participação em banca de Claudia Nalon. Lógica Condicional Forte. 1997. Dissertação(Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

20. MOURA, A. V.. Participação em banca de Guilherme Pimentel Telles. Propriedade dos Uns Consecutivose Árvores PQR. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual deCampinas.

21. MOURA, A. V.. Participação em banca de Jeronimo Pellegrini. Um Estudo do Sistema Oyster-Cleam.1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

22. MOURA, A. V.. Participação em banca de Felipe Afonso de Almeida. Electrical: Uma Linguagem paraProgramação Concorrente. 1986. Dissertação (Mestrado em Engenharia Eletrônica e Computação) -Instituto Tecnológico de Aeronáutica.

23. MOURA, A. V.. Participação em banca de Katia L. de Santana Silva. Estudo de Alguns Algoritmos paraAnálise Global de Fluxo de Dados. 1984. Dissertação (Mestrado em Ciência da Computação) -Universidade Estadual de Campinas.

24. MOURA, A. V.. Participação em banca de Liria Matsumoto. Desenvolvimento de Software Cruzado paraMicrocomputadores. 1983. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - InstitutoTecnológico de Aeronáutica.

25. MOURA, A. V.. Participação em banca de Clóvis Torres Fernandes. Um Analisador Estático deProgramas FORTRAN. 1983. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional dePesquisas Espaciais.

26. MOURA, A. V.. Participação em banca de Nuno Cesar da Rocha Ferreira. Um Sistema Semi-automáticopara Teste de Programas. 1983. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacionalde Pesquisas Espaciais.

27. MOURA, A. V.. Participação em banca de Heloísa V. da Rocha Corrêa Silva. Recuperação de Êrros emAnalisadores Sintáticos de Precedência. 1981. Dissertação (Mestrado em Matemática Aplicada) -Universidade Estadual de Campinas.

28. MOURA, A. V.. Participação em banca de Alberto Elfes. Representação de Conhecimento e Descriçãode Processo de Decisão em Diagnose Médica. 1980. Dissertação (Mestrado em Engenharia Eletrônica eComputação) - Instituto Tecnológico de Aeronáutica.

Teses de doutorado


15 de 21 05/09/15 14:18

1. Moura, A. V.; VIEIRA, M. P. A.; MARTINS, E.; Delamaro; TELLES, G.. Participação em banca de GizelleS. Lemos. Alinhamento de Sequências na Avaliação de Resultados de Teste de Robustez. 2012. Tese(Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

2. MOURA, A. V.. Participação em banca de Anderson de Araújo. Uma abordagem modelo-teórica dacomputabilidade de Turing clássica. 2011 - Universidade Estadual de Campinas.

3. MOURA, A. V.; Hirata; Parente; Osamu; Melnikoff. Participação em banca de Emilia Menezes Colonese.A New Architectural Approach for Interoperability of Real-Time System Components. 2010 - InstitutoTecnológico de Aeronáutica.

4. MOURA, A. V.. Participação em banca de Jerônimo Pellegrini. Processos de Decisão de MarkovLimitados por Linguagem. 2006. Tese (Doutorado em Ciência da Computação) - Universidade Estadualde Campinas.

5. MOURA, A. V.. Participação em banca de Umberto de Souza Costa. Um Verificador de ModelosExplícito-Simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal deMinas Gerais.

6. MOURA, A. V.. Participação em banca de Adolfo Almeida Duran. An Algebraic Approach to the Designof Compilers for Object Oriented Languages. 2005. Tese (Doutorado em Ciências da Computação) -Universidade Federal de Pernambuco.

7. MOURA, A. V.; BORBA, Paulo Henrique Monteiro; SANTOS, Andre Luis de Mederios; MOURA, HermanoPerrellli de; MACHADO, Patricia Duarte de Lima. Participação em banca de Marcelo Lopes Cornelio.Refactorings como refinamentos formais. 2004. Tese (Doutorado em Ciências da Computação) -Universidade Federal de Pernambuco.

8. MOURA, A. V.; MEIDANIS, João; LABER, Eduardo; MANDEL, Arnaldo; STOLFI, Jorge. Participação embanca de Guilherne Pimentel Telles. Um Algoritmo Quase Linear para Árvores PQR e um Esquema paraClustering de Seqüêncais Expressas de Cana-de-açúcar. 2003. Tese (Doutorado em Ciência daComputação) - Universidade Estadual de Campinas.

9. MOURA, A. V.; MANDEL, Arnaldo; MEIDANIS, João; KOWALTOWSKI, Tomasz; CAMPOS, Sérgio Vale deAguiar. Participação em banca de Guilherme A. Pinto. Grau de Indecidabiliade da Universalidade paraSubclasses de Autômatos Temporizados. 2003. Tese (Doutorado em Ciência da Computação) -Universidade Estadual de Campinas.

10. MOURA, A. V.. Participação em banca de Nami Kobayashi. Propriedades de M-subconjuntosReconhecíveis de um Monóide Livre. 1992. Tese (Doutorado em Ciências da Computação) -Universidade de São Paulo.

1. MOURA, A. V.; Delamaro; MEIDANIS, João. Participação em banca de Gizelle Sandrini Lemos. UmaAbordagem de Teste Pasivo Baseada em Algoritmos de Alinhamento de Sequências. 2009 - UniversidadeEstadual de Campinas.

2. MOURA, A. V.; SOUZA, Cid Carvalho de; ARMENTANO, Vinicius. Participação em banca de VictorFernandes Cavalcante. Relax and Cut para problemas de otimização 0-1. 2004. Exame de qualificação(Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

3. MOURA, A. V.; BORBA, Paulo Henrique Monteiro; SANTOS, André Luis de Medeiros. Participação embanca de Marcio Lopes Cornélio. Object-Oriented Refactoring and patterns as Formal Refinement. 2003.Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal dePernambuco.

4. MOURA, A. V.; SANTOS, André Luis de Medeiros; MOURA, Hermano Perrelli de. Participação em bancade Adolfo Almeida Duran. Ana algebraicApproach to the Design of Compilers for Object-OrienetdLanguages. 2002. Exame de qualificação (Doutorando em Ciências da Computação) - UniversidadeFederal de Pernambuco.

1. MOURA, A. V.; Ishida; Ribeiro; Silveira; Meneses; Ruiz. Concurso de Professor Adjunto. 2010.Universidade Federal de São Paulo.

2. MOURA, A. V.; SOUZA, Cid Carvalho de; Cuminato; Ziviani; Wakabaiashi. Concurso de Livre Docência.

Qualificações de Doutorado

Participação em bancas de comissões julgadoras

Professor titular


16 de 21 05/09/15 14:18

2010. Universidade Estadual de Campinas.

3.

MOURA, A. V.; Takahashi; Xavier; Traina; FERREIRA, C. E.; Kamienski. Concurso de Professor Adjunto.2009. Universidade Federal de São Paulo.

4. MOURA, A. V.. V Workshop em Métods Formais. 2002. Universidade Federal do Rio Grande do Sul.

5. MOURA, A. V.. Latin American Theoretical Informatics-Latin'95 . 1995. Pontificia Universidad Católicade Valparaiso.

1. MOURA, A. V.. Processo Seletivo para Professor Doutor. 2004. Universidade de São Paulo.

2. MOURA, A. V.; CUMINATO, Jose Alberto; PIMENTEL, Maria da Graça Campos; RUIZ, Evandro EduardoSeron; JINO, Mario. Contratação de Professor Doutor. 2004. Universidade de São Paulo.

3. MOURA, A. V.. Banca de Concurso para Provimetno de Cargo para Professor Adjunto Doutor. 2002.Universidade Federal do Rio Grande do Sul.

1. MOURA, A. V.. Simposio Brasileiro de Métodos Formais. 2007. Universidade Federal de Ouro Preto.

2. MOURA, A. V.. Workshop de Computação e Informação Quântica. 2007. Universidade Federal deCampina Grande.

3. MOURA, A. V.. Simposio Brasileiro de Métodos Formais. 2006. Universidade do Estado do Rio Grandedo Norte.

4. MOURA, A. V.. Workshop de Computação e Informação Quântica. 2006. Universidade Católica dePelotas.

5. MOURA, A. V.. Simposio Brasileiro de Métodos Formais. 2005. Universidade Federal do Rio Grande doSul.

6. MOURA, A. V.. Simpóso Brasileiro de Engenharia de Software. 2004. Universidade de Brasília.

7. MOURA, A. V.. Simposio Brasileiro de Métodos Formais. 2004. Universidade Federal de Pernambuco.

8. MOURA, A. V.. Simpósio Brasileiro de Engenharia de Software. 2003. Universidade Federal doAmazonas.

9. MOURA, A. V.. VI Workshop em Métodos Formais. 2003. Universidade Federal da Paraíba.

10. MOURA, A. V.. Simpósio Brasileiro de Engenharia de Software. 2002. Universidade Federal do RioGrande do Sul.

11. MOURA, A. V.. Simpósio Brasileiro de Engenharia de Software. 2001. Instituto Militar de Engenharia.

12. MOURA, A. V.. IV Workshop em Métodos Formais. 2001. Instituto Militar de Engenharia.

13. MOURA, A. V.. III Workshop em Métodos Formais-WFM2000. 2000. Universidade Federal de CampinaGrande.

14. MOURA, A. V.. Simpósio Brasileiro de Engenharia de Software-SBES2000. 2000. Universidade Federalde Campina Grande.

15. MOURA, A. V.. II Workshop em Métodos Formais-WFM'99. 1999. Universidade Federal de SantaCatarina.

16. MOURA, A. V.. Latin American Theoretical Informatics-Latin'98. 1998. Universidade Estadual deCampinas.

17. MOURA, A. V.. II Simpósio de Sistemas de Computadores Tolerantes a Falhas . 1997. UniversidadeEstadual de Campinas.

18. MOURA, A. V.. VIII Escola de Computação . 1990. Universidade Federal do Rio Grande do Sul.

19. MOURA, A. V.. Congresso Nacional de Matemática Aplicada e Computacional . 1984. UniversidadeEstadual de Campinas.

Concurso público

Outras participações

Eventos


17 de 21 05/09/15 14:18

1. II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011). Sistemas Distribuídos e Verificaçãode Modelo. 2011. (Congresso).

2. Brazilian Symposium on Formal Methods.Brazilian Symposium on Formal Methods. 2006. (Simpósio).

3. Simpósio Brasileiro de Métods Formais.Simpósio Brasileiro de Métodos Formais. 2004. (Simpósio).

4. Workshop on Cryptographic Algorithms and Protocols. Workshop on Cryptographic Algorithms andProtocols. 2003. (Congresso).

5. XI Escola de Informática.Escola de Informática. 2003. (Outra).

6. IV Workshop em Métodos Formais.IV Workshop em Métodos Formais. 2001. (Simpósio).

7. Simpósio Brasileiro de Engernharia de Software.Simpósio Brasileiro de Engernharia de Software. 2001.(Simpósio).

Participação em eventos, congressos, exposições e feiras

Orientações


18 de 21 05/09/15 14:18

1. Fernando Granha. Computação Qu6antica e Problemas NP-Completos. Início: 2013. Dissertação(Mestrado profissional em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).

1. Nilton Sergio Volpato Filho. Computação Quântica: novos algoritmos e classes de complexidade. Início:2004. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, ConselhoNacional de Desenvolvimento Científico e Tecnológico. (Orientador).

1. Adilson L. Bonifácio. Início: 2013. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisado Estado de São Paulo.

2. Rachid Rebiha. Início: 2012. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa doEstado de São Paulo.

1. Alex B Grilo. Computação Quântica e Teoria da Computação. 2012. Dissertação (Mestrado emCiência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa doEstado de São Paulo. Orientador: Arnaldo Vieira Moura.

2. Tony Minoru Tamura Lopes. O Problema do Planejamento e Agendamento de Operações em uma Redede Oleodutos. 2010. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual deCampinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

3. Glauber Módolo Cabral. Criação de uma Biblioteca Padrão para a Linguagem HasCASL. 2010.Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ConselhoNacional de Desenvolvimento Científico e Tecnológico. Orientador: Arnaldo Vieira Moura.

4. Lehilton Lelis Chaves Pedrosa. Geração automática de casos de teste para máquinas de estadosfinitos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

5. Igor Carboni Oliveira. Complexidade Computacional e o problema P vs NP. 2010. Dissertação(Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo àPesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

6. Andre Augusto Cire. Modelos Computacionais para o Escalonamento de Tarefas em Redes de Dutos.2008. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

7. Rafael Augusto Scaraficci. Estratégias Híbridas para um Problema de Planejamento eEscalonamento de Atividades Florestais de Curto Prazo. 2008. 0 f. Dissertação (Mestrado em Ciência daComputação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de SãoPaulo. Orientador: Arnaldo Vieira Moura.

8. Daniel Felix Ferber. Modelos e Algoritmos de Cabeamento de Redes Telefonicas. 2007. Dissertação(Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo àPesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

9. Romulo Albuquerque Pereira. Otimização no Desenvolvimento de Poços de Petróleo. 2005. 0 f.Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador:Arnaldo Vieira Moura.

10. Glauber José Vaz. Uma Abordagem Alternativa para os Escalonamentos de Ônibus e de Motoristas.2003. 98 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Arnaldo Vieira Moura.

Orientações e supervisões em andamento

Dissertação de mestrado

Tese de doutorado

Supervisão de pós-doutorado

Orientações e supervisões concluídas

Dissertação de mestrado


19 de 21 05/09/15 14:18

11. Juliana M. do Nascimento. Ferramentas Computacionais Híbridas para a Otimização da Produção dePetróleo em Águas Profundas. 2002. 134 f. Dissertação (Mestrado em Ciência da Computação) -Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo.Orientador: Arnaldo Vieira Moura.

12. Tallys Hoover Yunes. Problemas de escalonamento no transporte coletivo: programação por restrições eoutras técnicas. 2000. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadualde Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo VieiraMoura.

13. Adilson L Bonifacio. Automatos hibridos na verificação de sistemas distribuídos. 2000. 0 f.Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenaçãode Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Arnaldo Vieira Moura.

1. Rachid Rebiha. Geração de Invariantes para Análise Estática de Programas. 2011. Tese (Doutoradoem Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas, ConselhoNacional de Desenvolvimento Científico e Tecnológico. Orientador: Arnaldo Vieira Moura.

2. Adilson L Bonifacio. Geração de Conjuntos de Teste para Sistemas Reativos de Tempo-Real, e comTransformações de Contexto. 2009. 0 f. Tese (Doutorado em Ciência da Computação) - UniversidadeEstadual de Campinas, . Orientador: Arnaldo Vieira Moura.

3. Guilherme Albuquerque Pinto. Graus de Indecidabilidade de Subclasses de AutomatosTemporizados. 2003. 0 f. Tese (Doutorado em Ciência da Computação) - Universidade Estadual deCampinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Arnaldo VieiraMoura.

1. Denise Guarnieri Batista. Fundamentos e Aplicações de Programação por Restrições. 1999. 0 f. Trabalhode Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Estadual deCampinas. Orientador: Arnaldo Vieira Moura.

1. Davi Colli Tozoni. Uma Abordagem para o Problema do Escalonamento de Produtos Derivados doPetróleo em Uma Malha de Dutos. 2010. Iniciação Científica - Universidade Estadual de Campinas,Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

2. Gustavo Lima Chaves. Autômatos Finitos: Teoria, Algoritmos e Aplicações. 2007. Iniciação Científica.(Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Fundação deAmparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

3. Davi Barbosa. Lógica Computacional. 2006. Iniciação Científica. (Graduando em Engenharia deComputação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de SãoPaulo. Orientador: Arnaldo Vieira Moura.

4. Tony Minoru Tamura Lopes. Busca Tabu paralelizada Aplicada ao Problema da Programação de Viagens.2005. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual deCampinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

5. Thiago Serra. Uma Abordagem Integrada para o Problema de Programação de Viagens Através daMeta-Heurística GRASP. 2005. Iniciação Científica. (Graduando em Engenharia de Computação) -Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo.Orientador: Arnaldo Vieira Moura.

6. Renato Machado de Sousa. Computação Quântica. 2004. 0 f. Iniciação Científica. (Graduando emEngenharia de Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa doEstado de São Paulo. Orientador: Arnaldo Vieira Moura.

7. Nilton Sergio Volpato Filho. Busca Tabu Aplicada a Problemas de Projeto de Redes Telefônicas. 2004. 0 f.Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas,Fundação Centro de Desenvolvimento e Pesquisa em telecomunicações. Orientador: Arnaldo VieiraMoura.

8. Andre Augusto Cire. Algoritmo Genetico Paralelo para o Problema de Programação de Viagens. 2004. 0f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual deCampinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

Tese de doutorado

Trabalho de conclusão de curso de graduação

Iniciação científica


20 de 21 05/09/15 14:18

9. Rafael Augusto Scaraficci. Aplicação da Meta-heurística GRASP ao Problema do Agendamento Escolar.2004. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual deCampinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

10. Sheila Moraes de Almeida. Problemas de Cabeamento em Redes Telefônicas. 2003. 0 f. IniciaçãoCientífica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, FundaçãoCentro de Desenvolvimento e Pesquisa em telecomunicações. Orientador: Arnaldo Vieira Moura.

11. Rafael Lamare Silveira. Aplicação da Busca Tabu no Problema de Agendamento Escolar. 2003. 0 f.Iniciação Científica - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado deSão Paulo. Orientador: Arnaldo Vieira Moura.

12. Luiz Guilherme Pereira. Programação por Restrições e Problemas de Agendamento Acadêmico. 2003. 0f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual deCampinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

13. Volnei dos Santos. Algoritmos Genéticos Aplicados ao Problema de Agendamento de AtividadesAcadêmicas. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - UniversidadeEstadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: ArnaldoVieira Moura.

14. Daniel F. Ferber. Algoritmos geneticos aplicados ao problema de escalonamento. 2001. IniciaçãoCientífica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas, Fundaçãode Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

15. Tiago Macedo Dias. Algoritmos de busca tabu aplicados a problema de escalonamento de pessoal.2001. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual deCampinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

16. Vinicius Jose Fortuna. Estudo e desenvolvimento de ferramentas para sequenciamento de atividades nodesenvolvimento de poços de petróleo: uso de meta-heurísticas. 2001. Iniciação Científica. (Graduandoem Engenharia de Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisado Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

17. Romulo Albuquerque Pereira. Estudo e desenvolvimento de ferramentas para sequenciamento dasatividades no desenvolvimento de poços de petróleo: uso de programação por restrições. 2001.Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Campinas,Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Arnaldo Vieira Moura.

Outras informações relevantes

Diretor Adjunto do Instituto de Computação da Unicamp (2001-2004) Coordenador doCurso de Engenharia de Computação da Unicamp (2005-2007) Cordenador Substituto,Comissão de Pós-Graduação do Instituto de Computação da Unicamp (1997-1999)Presidente da Comissão Diretora de Informática do Instituto de Computação daUnicamp (1996-1997)

Página gerada pelo Sistema Currículo Lattes em 05/09/2015 às 14:18:41


21 de 21 05/09/15 14:18

Arnaldo Vieira Moura - santana.ic.unicamp.brsantana.ic.unicamp.br/WWW/curric.pdf · (CLTM), Centro...

Documents

Transcript of Arnaldo Vieira Moura - santana.ic.unicamp.brsantana.ic.unicamp.br/WWW/curric.pdf · (CLTM), Centro...