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

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

Nenhum laboratório cadastrado

(100.00% artigos com DOI)

Exibir resultado(s)

Buscar

Titulo	DOI	Ano
A logic of plausible justifications	10.1016/j.tcs.2015.07.018	2015
A study on multi-dimensional products of graphs and hybrid logics	10.1016/j.tcs.2011.05.011	2011
Algebraic solutions of holomorphic foliations: An algorithmic approach	10.1016/j.jsc.2005.11.002	2006
Algebraic solutions of plane vector fields	10.1016/j.jpaa.2008.06.003	2009
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
Using modal logics to express and check global graph properties	10.1093/jigpal/jzp021	2009

Exibindo 1 a 7 de 7 resultados

(28.00% eventos com DOI)

Exibir resultado(s)

Buscar

Titulo	DOI	Ano
A Logic of Plausible Justifications		2012
A Logical Approach to Hamiltonian Graphs	10.1016/j.entcs.2009.07.052	2009
A Logical Approach to Multi-Dimensional Products of Graphs		2011
A New Design for Lattice-Based Cryptographic Constructions		2015
A new design for lattice-based cryptosystems	10.5540/03.2015.003.02.0022	2015
A New Mathematical Problem and its Application to the Construction of a Lattice-Based Cryptosystem		2015
A Propositional Dynamic Logic for CCS Programs		2008
A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus	10.1016/j.entcs.2010.04.005	2010
Algoritmos de Interseções de Curvas de Bézier com uma Aplicação à Localização de Raízes de Equações		2013
Algoritmos de Interseções de Curvas de Bézier com Uma Aplicação à Localização de Raízes de Funções		2013

Exibindo 1 a 10 de 25 resultados