Citation Impact
Citing Papers
A privacy threat analysis framework: supporting the elicitation and fulfillment of privacy requirements
2010 Standout
The integration of functions into logic programming: From theory to practice
1994
From system goals to intruder anti-goals: attack generation and resolution for security requirements engineering
2003
Constructing Induction Rules for Deductive Synthesis Proofs
2006 Standout
Works of Per Brand being referenced
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages.
1988
Efficient logic variables for distributed computing
1999