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 × Austria
1 × Belgium
Collaborated with:
C.Olarte V.Nigam L.Paolini S.R.D.Rocca C.Rueda N.Cataño
Talks about:
constraint (2) concurr (2) character (1) approach (1) theoret (1) program (1) permiss (1) automat (1) strong (1) normal (1)

Person: Elaine Pimentel

DBLP DBLP: Pimentel:Elaine

Contributed to:

ICLP 20142014
PPDP 20122012
FoSSaCS 20062006

Wrote 3 papers:

ICLP-J-2014-PimentelON #concurrent #constraints #programming #proving
A Proof Theoretic Study of Soft Concurrent Constraint Programming (EP, CO, VN), pp. 649–663.
PPDP-2012-OlartePRC #approach #automation #concurrent #constraints #linear #verification
A linear concurrent constraint approach for the automatic verification of access permissions (CO, EP, CR, NC), pp. 207–216.
FoSSaCS-2006-PaoliniPR #normalisation
An Operational Characterization of Strong Normalization (LP, EP, SRDR), pp. 367–381.

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.