BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
M.Sousa V.D'Silva D.Kroening H.T.T.Nguyen C.Coti L.Petrucci
Talks about:
interpret (1) abstract (1) partial (1) unfold (1) reduct (1) quasi (1) order (1) optim (1)

Person: César Rodríguez

DBLP DBLP: Rodr=iacute=guez:C=eacute=sar

Contributed to:

CAV (2) 20172017
CAV (2) 20182018

Wrote 2 papers:

CAV-2017-SousaRDK #abstract interpretation
Abstract Interpretation with Unfoldings (MS, CR, VD, DK), pp. 197–216.
CAV-2018-NguyenRSCP #partial order #reduction
Quasi-Optimal Partial Order Reduction (HTTN, CR, MS, CC, LP), pp. 354–371.

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.