Luis Menasché Schechter
Instituição:
Universidade Federal do Rio de Janeiro
Centro:
Centro de Ciências Matemáticas e da Natureza
Unidade:
Instituto de Matemática
Departamento:
Departamento de Ciência da Computação/I Mat
Formação:
-
Universidade Federal do Rio de Janeiro
Engenharia de Sistemas e Computação | Doutorado | 2007 - 2010
-
Universidade Federal do Rio de Janeiro
Engenharia de Sistemas e Computação | Mestrado | 2005 - 2007
-
Universidade Federal do Rio de Janeiro
Bacharelado em Ciência da Computação | Graduação | 2001 - 2005
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:
Nenhum artigo cadastrado
Eventos:
(28.00% eventos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Uma Aplicac¿a¿o da Metodologia de ¿Sala de Aula Invertida¿ no Bacharelado em Cie¿ncia da Computac¿a¿o da UFRJ. | 10.5540/03.2017.005.01.0561 | 2017 |
| GGH may not be dead after all | 10.5540/03.2015.003.01.0095 | 2015 |
| A New Mathematical Problem and its Application to the Construction of a Lattice-Based Cryptosystem | 2015 | |
| A new design for lattice-based cryptosystems | 10.5540/03.2015.003.02.0022 | 2015 |
| A New Design for Lattice-Based Cryptographic Constructions | 2015 | |
| Plausibility and Justification | 2014 | |
| Multi-Dimensional Products of Graphs and Hybrid Logics | 2013 | |
| Plausibility and Justification | 2013 | |
| Uma Análise do Sistema de Criptografia GGH-YK | 2013 | |
| Algoritmos de Interseções de Curvas de Bézier com Uma Aplicação à Localização de Raízes de Funções | 2013 | |
| Algoritmos de Interseções de Curvas de Bézier com uma Aplicação à Localização de Raízes de Equações | 2013 | |
| O algoritmo LLL de Redução de Base em Reticulados | 2013 | |
| A Logic of Plausible Justifications | 2012 | |
| A Logical Approach to Multi-Dimensional Products of Graphs | 2011 | |
| Hybrid Logics and NP Graph Properties | 2011 | |
| A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus | 10.1016/j.entcs.2010.04.005 | 2010 |
| A Logical Approach to Hamiltonian Graphs | 10.1016/j.entcs.2009.07.052 | 2009 |
| Product of Graphs and Hybrid Logic | 10.1016/j.entcs.2009.11.008 | 2009 |
| Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator | 2009 | |
| Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator | 2008 | |
| Modal Expressiveness of Graph Properties | 10.1016/j.entcs.2008.03.064 | 2008 |
| A Propositional Dynamic Logic for CCS Programs | 2008 | |
| Campos de Direção sem Solução Algébrica | 2005 | |
| Um Algoritmo para Detectar Campos de Retas sem Solução Algébrica | 2004 | |
| Um Método Efetivo para a Determinação do Grupo Simétrico como Grupo de Galois | 2003 |