L. Menasché Schechter - Citegraph

Author Info

Name	Affiliation	Papers
L. MENASCHÉ SCHECHTER	Systems and Computer Engineering Program, Federal University of Rio de Janeiro, Brazil	12
Collaborators	Citations	PageRank
6	23	4.84
Referers	Referees	References
33	80	83

Publications (12 rows)

Collaborators (6 rows)

Referers (33 rows)

Referees (80 rows)

Title	Citations	PageRank	Year
Polynomial hierarchy graph properties in hybrid logic.	0	0.34	2014
A Logic of Plausible Justifications.	1	0.36	2012
Hybrid logics and NP graph properties	0	0.34	2011
A study on multi-dimensional products of graphs and hybrid logics	0	0.34	2011
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus	0	0.34	2010
Product of Graphs and Hybrid Logic	1	0.36	2009
A Logical Approach to Hamiltonian Graphs	0	0.34	2009
Using modal logics to express and check global graph properties	7	0.55	2009
CCS-Based Dynamic Logics for Communicating Concurrent Programs	0	0.34	2009
Modal Expressiveness of Graph Properties	2	0.40	2008
A Propositional Dynamic Logic for CCS Programs	11	0.77	2008
Algebraic solutions of holomorphic foliations: An algorithmic approach	1	0.36	2006

1