| |
| 2009 | ||
|---|---|---|
| 4 | EE | Mario R. F. Benevides, L. Menasché Schechter: CCS-Based Dynamic Logics for Communicating Concurrent Programs CoRR abs/0904.0034: (2009) |
| 2008 | ||
| 3 | EE | Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for CCS Programs. WoLLIC 2008: 83-97 |
| 2 | EE | Mario R. F. Benevides, L. Menasché Schechter: Modal Expressiveness of Graph Properties. Electr. Notes Theor. Comput. Sci. 205: 31-47 (2008) |
| 2006 | ||
| 1 | EE | S. C. Coutinho, L. Menasché Schechter: Algebraic solutions of holomorphic foliations: An algorithmic approach. J. Symb. Comput. 41(5): 603-618 (2006) |
| 1 | Mario R. F. Benevides | [2] [3] [4] |
| 2 | S. C. Coutinho | [1] |