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 × France
1 × Germany
1 × Italy
1 × Lithuania
1 × USA
Collaborated with:
P.T.Breuer L.S.Fernández A.Pardo C.Alario-Hoyos M.Pérez-Sanagustín J.Arias-Fisteus L.Sánchez N.M.Madrid J.P.Bowen R.B.France M.M.Larrondo-Petrie
Talks about:
vhdl (3) semant (2) techniqu (1) interact (1) collabor (1) product (1) hardwar (1) system (1) reason (1) formal (1)

Person: Carlos Delgado Kloos

DBLP DBLP: Kloos:Carlos_Delgado

Contributed to:

ITiCSE 20152015
SAC 20052005
SIGITE 20052005
DATE 19991999
ICLP 19941994

Wrote 6 papers:

Tips and Techniques for MOOC Production (CDK, CAH, MPS), p. 329.
SAC-2005-Arias-FisteusFK #model checking
Applying model checking to BPEL4WS business collaborations (JAF, LSF, CDK), pp. 826–830.
SIGITE-2005-PardoK #interactive #operating system
Deploying interactive e-labs for a course on operating systems (AP, CDK), pp. 71–78.
DATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
EDAC-1994-BreuerFK #semantics
Clean formal semantics for VHDL (PTB, LSF, CDK), pp. 641–647.
ICLP-1994-BreuerSK #design #hardware #proving
Proving Hardware Designs (PTB, LS, CDK), p. 745.

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.