Login / Signup
Gideon D. Bibu
Publication Activity (10 Years)
Years Active: 2011-2012
Publications (10 Years): 0
Top Topics
Stable Models
Cryptographic Protocols
Haplotype Inference
Answer Set Programming
Top Venues
RESS
</>
Publications
</>
Gideon D. Bibu
,
Nobukazu Yoshioka
,
Julian A. Padget
System security requirements analysis with answer set programming.
RESS
(2012)
Gideon D. Bibu
Security in the context of multi-agent systems.
AAMAS
(2011)