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:
(100.00% artigos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| A logic of plausible justifications | 10.1016/j.tcs.2015.07.018 | 2015 |
| Polynomial hierarchy graph properties in hybrid logic | 10.1016/j.jcss.2014.04.003 | 2014 |
| Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator | 10.1093/logcom/exu001 | 2014 |
| A study on multi-dimensional products of graphs and hybrid logics | 10.1016/j.tcs.2011.05.011 | 2011 |
| Algebraic solutions of plane vector fields | 10.1016/j.jpaa.2008.06.003 | 2009 |
| Using modal logics to express and check global graph properties | 10.1093/jigpal/jzp021 | 2009 |
| Algebraic solutions of holomorphic foliations: An algorithmic approach | 10.1016/j.jsc.2005.11.002 | 2006 |
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 |