Manuel A. Martins

Manuel António Martins

	2012
11		Dirk Hofmann, Manuel A. Martins: On a coalgebraic view on Logic CoRR abs/1202.0915: (2012)
	2011
10		Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa: Hybridization of Institutions. CALCO 2011: 283-297
9		César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by interpretation in π-institutions Refine 2011: 53-64
8		Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa: Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285
	2009
7		Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement via Interpretation. SEFM 2009: 250-259
6		Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by Interpretation in a General Setting. Electr. Notes Theor. Comput. Sci. 259: 105-121 (2009)
5		Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins: Behavioral Algebraization of Logics. Studia Logica 91(1): 63-111 (2009)
	2008
4		Manuel A. Martins: On the Behavioral Equivalence Between k-data Structures. Comput. J. 51(2): 181-191 (2008)
	2007
3		Manuel A. Martins, Don Pigozzi: Behavioural reasoning for conditional equations. Mathematical Structures in Computer Science 17(5): 1075-1113 (2007)
2		Manuel A. Martins: Closure properties for the class of behavioral models. Theor. Comput. Sci. 379(1-2): 53-83 (2007)
	2006
1		Manuel A. Martins: Behavioral Institutions and Refinements in Generalized Hidden Logics. J. UCS 12(8): 1020-1049 (2006)

Coauthor Index

1	Luís Soares Barbosa	[6] [7] [8] [9] [10]
2	Carlos Caleiro	[5]
3	Razvan Diaconescu	[10]
4	José M. Faria	[8]
5	Ricardo Gonçalves	[5]
6	Dirk Hofmann	[11]
7	Alexandre Madeira	[6] [7] [8] [9] [10]
8	Don Pigozzi	[3]
9	César Jesus Rodrigues	[9]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page