Algebraic solutions of holomorphic foliations: An algorithmic approach. - S. C. Coutinho; Luis Menasché Schechter (J. Symb. Comput., 2006)

Modal Expressiveness of Graph Properties. - Mario R. F. Benevides; Luis Menasché Schechter (LSFA, 2007)

A Propositional Dynamic Logic for CCS Programs. - Mario R. F. Benevides; Luis Menasché Schechter (WoLLIC, 2008)

A Logical Approach to Hamiltonian Graphs. - Luis Menasché Schechter (LSFA, 2008)

CCS-Based Dynamic Logics for Communicating Concurrent Programs - Mario R. F. Benevides; Luis Menasché Schechter (CoRR, 2009)

Product of Graphs and Hybrid Logic. - Mario R. F. Benevides; Luis Menasché Schechter (LSFA, 2009)

A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. - Mario R. F. Benevides; Luis Menasché Schechter (M4M, 2009)

Using modal logics to express and check global graph properties. - Mario R. F. Benevides; Luis Menasché Schechter (Log. J. IGPL, 2009)

Hybrid Logics and NP Graph Properties. - Francicleber Martins Ferreira; Cibele Matos Freire; Mario R. F. Benevides; Luis Menasché Schechter; Ana Teresa C. Martins (WoLLIC, 2011)

A study on multi-dimensional products of graphs and hybrid logics. - Mario R. F. Benevides; Luis Menasché Schechter (Theor. Comput. Sci., 2011)

Polynomial hierarchy graph properties in hybrid logic. - Francicleber Martins Ferreira; Cibele Matos Freire; Mario R. F. Benevides; Luis Menasché Schechter; Ana Teresa C. Martins (J. Comput. Syst. Sci., 2014)

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. - Mario R. F. Benevides; Luis Menasché Schechter (J. Log. Comput., 2014)

A logic of plausible justifications. - Luis Menasché Schechter (Theor. Comput. Sci., 2015)