Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Alexandre Madeira

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6115
- ask others
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa: Bisimilarity and refinement for hybrid(ised) logics. Refine 2013: 84-98
2011
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/MartinsMDB11
- ask others
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa: Hybridization of Institutions. CALCO 2011: 283-297
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/MadeiraFMB11
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4093
- ask others
César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement by interpretation in π-institutions. Refine 2011: 53-64

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MartinsMB09
- ask others
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)
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sefm/MartinsMB09
- ask others
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa: Refinement via Interpretation. SEFM 2009: 250-259
2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Madeira08
- ask others
Alexandre Madeira: Observational Refinement Process. Electr. Notes Theor. Comput. Sci. 214: 103-129 (2008)