L. Menasché Schechter

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
c3		L. Menasché Schechter: A Logic of Plausible Justifications. WoLLIC 2012: 306-320
	2011
j7		Mario R. F. Benevides, L. Menasché Schechter: A study on multi-dimensional products of graphs and hybrid logics. Theor. Comput. Sci. 412(37): 4946-4966 (2011)
c2		Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins: Hybrid Logics and NP Graph Properties. WoLLIC 2011: 123-134
	2010
j6		Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. Electr. Notes Theor. Comput. Sci. 262: 49-64 (2010)
	2009
j5		L. Menasché Schechter: A Logical Approach to Hamiltonian Graphs. Electr. Notes Theor. Comput. Sci. 247: 123-138 (2009)
j4		Mario R. F. Benevides, L. Menasché Schechter: Product of Graphs and Hybrid Logic. Electr. Notes Theor. Comput. Sci. 256: 103-118 (2009)
j3		Mario R. F. Benevides, L. Menasché Schechter: Using modal logics to express and check global graph properties. Logic Journal of the IGPL 17(5): 559-587 (2009)
i1		Mario R. F. Benevides, L. Menasché Schechter: CCS-Based Dynamic Logics for Communicating Concurrent Programs. CoRR abs/0904.0034 (2009)
	2008
j2		Mario R. F. Benevides, L. Menasché Schechter: Modal Expressiveness of Graph Properties. Electr. Notes Theor. Comput. Sci. 205: 31-47 (2008)
c1		Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for CCS Programs. WoLLIC 2008: 83-97
	2006
j1		S. C. Coutinho, L. Menasché Schechter: Algebraic solutions of holomorphic foliations: An algorithmic approach. J. Symb. Comput. 41(5): 603-618 (2006)

Coauthor Index

1	Mario R. F. Benevides	[j7] [c2] [j6] [j4] [j3] [i1] [j2] [c1]
2	S. C. Coutinho	[j1]
3	Francicleber Martins Ferreira	[c2]
4	Cibele Matos Freire	[c2]
5	Ana Teresa C. Martins	[c2]

Last update Sat May 25 20:00:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page