| |
| 2008 | ||
|---|---|---|
| 4 | EE | Manuel A. Martins: On the Behavioral Equivalence Between k-data Structures. Comput. J. 51(2): 181-191 (2008) |
| 2007 | ||
| 3 | EE | Manuel A. Martins, Don Pigozzi: Behavioural reasoning for conditional equations. Mathematical Structures in Computer Science 17(5): 1075-1113 (2007) |
| 2 | EE | Manuel A. Martins: Closure properties for the class of behavioral models. Theor. Comput. Sci. 379(1-2): 53-83 (2007) |
| 2006 | ||
| 1 | EE | Manuel A. Martins: Behavioral Institutions and Refinements in Generalized Hidden Logics. J. UCS 12(8): 1020-1049 (2006) |
| 1 | Don Pigozzi | [3] |