Luis Menasché Schechter

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Satisfiability Testing

Concurrent Programs

Top Venues

J. Comput. Syst. Sci.

J. Log. Comput.

Theor. Comput. Sci.

Publications

Luis Menasché Schechter
A logic of plausible justifications. Theor. Comput. Sci. 603 (2015)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Polynomial hierarchy graph properties in hybrid logic. J. Comput. Syst. Sci. 80 (6) (2014)
Mario R. F. Benevides, Luis Menasché Schechter
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. J. Log. Comput. 24 (4) (2014)
Luis Menasché Schechter
A Logic of Plausible Justifications. WoLLIC (2012)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Hybrid Logics and NP Graph Properties. WoLLIC (2011)
Mario R. F. Benevides, Luis Menasché Schechter
A study on multi-dimensional products of graphs and hybrid logics. Theor. Comput. Sci. 412 (37) (2011)
Mario R. F. Benevides, Luis Menasché Schechter
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. Electron. Notes Theor. Comput. Sci. 262 (2010)
Mario R. F. Benevides, Luis Menasché Schechter
CCS-Based Dynamic Logics for Communicating Concurrent Programs CoRR (2009)
Mario R. F. Benevides, Luis Menasché Schechter
Product of Graphs and Hybrid Logic. LSFA (2009)
Mario R. F. Benevides, Luis Menasché Schechter
Using modal logics to express and check global graph properties. Log. J. IGPL 17 (5) (2009)
Mario R. F. Benevides, Luis Menasché Schechter
A Propositional Dynamic Logic for CCS Programs. WoLLIC (2008)
Luis Menasché Schechter
A Logical Approach to Hamiltonian Graphs. LSFA (2008)
Mario R. F. Benevides, Luis Menasché Schechter
Modal Expressiveness of Graph Properties. LSFA (2007)
S. C. Coutinho, Luis Menasché Schechter
Algebraic solutions of holomorphic foliations: An algorithmic approach. J. Symb. Comput. 41 (5) (2006)