Luis Menasché Schechter

14 papers C 3Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2015 J jnl
A logic of plausible justifications.
Theor. Comput. Sci.
Luis Menasché Schechter
2014 J jnl
Polynomial hierarchy graph properties in hybrid logic.
J. Comput. Syst. Sci.
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
2014 J jnl
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator.
J. Log. Comput.
Mario R. F. Benevides, Luis Menasché Schechter
2012 C conf
A Logic of Plausible Justifications.
WoLLIC
Luis Menasché Schechter
2011 J jnl
A study on multi-dimensional products of graphs and hybrid logics.
Theor. Comput. Sci.
Mario R. F. Benevides, Luis Menasché Schechter
2011 C conf
Hybrid Logics and NP Graph Properties.
WoLLIC
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
2009 — conf
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus.
M4M
Mario R. F. Benevides, Luis Menasché Schechter
2009 J jnl
CCS-Based Dynamic Logics for Communicating Concurrent Programs
CoRR
Mario R. F. Benevides, Luis Menasché Schechter
2009 — conf
Product of Graphs and Hybrid Logic.
LSFA
Mario R. F. Benevides, Luis Menasché Schechter
2009 J jnl
Using modal logics to express and check global graph properties.
Log. J. IGPL
Mario R. F. Benevides, Luis Menasché Schechter
2008 — conf
A Logical Approach to Hamiltonian Graphs.
LSFA
Luis Menasché Schechter
2008 C conf
A Propositional Dynamic Logic for CCS Programs.
WoLLIC
Mario R. F. Benevides, Luis Menasché Schechter
2007 — conf
Modal Expressiveness of Graph Properties.
LSFA
Mario R. F. Benevides, Luis Menasché Schechter
2006 J jnl
Algebraic solutions of holomorphic foliations: An algorithmic approach.
J. Symb. Comput.
S. C. Coutinho, Luis Menasché Schechter