Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Manuel A. Martins
Manuel António Martins
2010 – today
- 2013
[c5]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa: Bisimilarity and refinement for hybrid(ised) logics. Refine 2013: 84-98- 2012
- [i1]
- 2011
- [c4]Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa: Hybridization of Institutions. CALCO 2011: 283-297
- [c3]Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa: Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285
- [c2]César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by interpretation in π-institutions. Refine 2011: 53-64
2000 – 2009
- 2009
- [j6]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)
- [j5]Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins: Behavioral Algebraization of Logics. Studia Logica 91(1): 63-111 (2009)
- [c1]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement via Interpretation. SEFM 2009: 250-259
- 2008
- [j4]Manuel A. Martins: On the Behavioral Equivalence Between k-data Structures. Comput. J. 51(2): 181-191 (2008)
- 2007
- [j3]Manuel A. Martins, Don Pigozzi: Behavioural reasoning for conditional equations. Mathematical Structures in Computer Science 17(5): 1075-1113 (2007)
- [j2]Manuel A. Martins: Closure properties for the class of behavioral models. Theor. Comput. Sci. 379(1-2): 53-83 (2007)
- 2006
- [j1]Manuel A. Martins: Behavioral Institutions and Refinements in Generalized Hidden Logics. J. UCS 12(8): 1020-1049 (2006)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-04 22:17 CEST by the dblp team