BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Martins:Manuel_A=

Contributed to:

SEFM 20112011
SEFM 20092009
IJCAR 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.