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 × Spain
1 × USA
Collaborated with:
L.M.Pereira R.Corin S.Etalle
Talks about:
constraint (1) protocol (1) program (1) analysi (1) toward (1) comput (1) secur (1) moral (1) model (1) logic (1)

Person: Ari Saptawijaya

DBLP DBLP: Saptawijaya:Ari

Contributed to:

PADL 20142014
ICLP 20052005

Wrote 2 papers:

PADL-2014-SaptawijayaP #logic programming #modelling #towards
Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.
ICLP-2005-CorinSE #analysis #constraints #protocol #security
PS-LTL for Constraint-Based Security Protocol Analysis (RC, AS, SE), pp. 439–440.

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.