BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × USA
Collaborated with:
M.Leuschel B.M.Al-Hashimi S.Barker D.Elphick S.Craig M.Fontaine
Talks about:
specialis (1) techniqu (1) interfac (1) transit (1) program (1) partial (1) flexibl (1) control (1) system (1) specif (1)

Person: Mauricio Varea

DBLP DBLP: Varea:Mauricio

Contributed to:

PEPM 20062006
PEPM 20042004
DATE 20012001

Wrote 3 papers:

PEPM-2006-LeuschelEVCF #interface #web
The Ecce and Logen partial evaluators and their web interfaces (ML, DE, MV, SJC, MF), pp. 88–94.
PEPM-2004-BarkerLV #data access #flexibility #logic programming #performance
Efficient and flexible access control via logic program specialisation (SB, ML, MV), pp. 190–199.
DATE-2001-VareaA #embedded #modelling #petri net #specification
Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.
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.