Luis Menasché Schechter

Contato

E-mail

Twitter

Telefone

Sala

Endereço

Atividades de Ensino

Currículo Lattes

1. "A Study on Multi-Dimensional Products of Graphs and Hybrid Logics" (com Mario Benevides), Theoretical Computer Science, v. 412, n. 37, p. 4946-4966, 2011. [DOI] [preprint: pdf]
2. "Using Modal Logics to Express and Check Global Graph Properties" (com Mario Benevides), Logic Journal of the IGPL, v. 17, n. 5, p. 559-587, 2009. [DOI] [preprint: pdf]
3. "Algebraic Solutions of Plane Vector Fields" (com S. Collier Coutinho), Journal of Pure and Applied Algebra, v. 213, n. 1, p. 144-153, 2009. [DOI] [preprint: pdf]
4. "Algebraic Solutions of Holomorphic Foliations: An Algorithmic Approach" (com S. Collier Coutinho), Journal of Symbolic Computation, v. 41, n. 5, p. 603-618, 2006. [DOI] [preprint: pdf]

Artigos em Anais de Conferências

1. "Hybrid Logics and NP Graph Properties" (com Francicleber Ferreira, Cibele Freire, Mario Benevides e Ana Teresa Martins), Anais do XVIII Workshop on Logic, Language, Information and Computation (Wollic 2011), Lecture Notes in Artificial Intelligence, v. 6642, p. 123-134, 2011. [DOI] [preprint: pdf]
2. "A Logical Approach to Multi-Dimensional Products of Graphs" (com Mario Benevides), Anais da XVI Brazilian Logic Conference (EBL 2011), 2011. [preprint: pdf]
3. "A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus" (com Mario Benevides), Anais do VI Workshop on Methods for Modalities (M4M 2009), Electronic Notes in Theoretical Computer Science, v. 262, p. 49-64, 2010. [DOI] [preprint: pdf]
4. "Product of Graphs and Hybrid Logic" (com Mario Benevides), Anais do IV Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Electronic Notes in Theoretical Computer Science, v. 256, p. 103-118, 2009. [DOI] [preprint: pdf]
5. "A Logical Approach to Hamiltonian Graphs", Anais do III Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2008), Electronic Notes in Theoretical Computer Science, v. 247, p. 123-138, 2009. [DOI] [preprint: pdf]
6. "Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator" (com Mario Benevides), Anais da XV Brazilian Logic Conference (EBL 2008), CLE e-prints, v. 8, n. 6, 2008. [preprint: pdf]
7. "A Propositional Dynamic Logic for CCS Programs" (com Mario Benevides), Anais do XV Workshop on Logic, Language, Information and Computation (Wollic 2008), Lecture Notes in Artificial Intelligence, v. 5110, p. 83-97, 2008. [DOI] [preprint: pdf]
8. "Modal Expressiveness of Graph Properties" (com Mario Benevides), Anais do II Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007), Electronic Notes in Theoretical Computer Science, v. 205, p. 31-47, 2008. [DOI] [preprint: pdf]

Dissertações

1. "Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes" - Tese de Doutorado, 2010. [pdf] [ps]
2. "Soluções Algébricas de Campos de Vetores Planares: Métodos Algorítmicos" - Dissertação de Mestrado, 2007. [pdf] [ps]
3. "Soluções Algébricas de Folheações Holomorfas: Uma Abordagem Algorítmica" - Monografia de Projeto Final de Graduação, 2005. [pdf] [ps]

Resumos em Anais de Conferências

1. "Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator" (com Mario Benevides), Anais da XV Brazilian Logic Conference (EBL 2008), Bulletin of Symbolic Logic, v. 15, n. 3, p. 346-347, 2009. [Link]

Departamento de Ciência da Computação

Programa de Pós-Graduação em Informática

Instituto de Matemática

Universidade Federal do Rio de Janeiro

Colaboradores Acadêmicos

S. Collier Coutinho

"Projeto Folia" do Prof. Collier

Mario Benevides