Travelled to:1 × Uruguay
1 × Vietnam
Collaborated with:A.Madeira L.S.Barbosa D.Costa J.M.Faria
Talks about:system (2) hybrid (2) interpret (1) institut (1) approach (1) tableau (1) reactiv (1) specif (1) refin (1) quasi (1)
Person: Manuel A. Martins
DBLP: Martins:Manuel_A=
Contributed to:
20112009
2016Wrote 3 papers:
- SEFM-2011-MadeiraFMB #approach #hybrid #specification
- Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.
- SEFM-2009-MartinsMB #refinement
- Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.
- IJCAR-2016-CostaM #logic
- A Tableau System for Quasi-Hybrid Logic (DC, MAM), pp. 435–451.