Citation Impact
Citing Papers
MulVAL: a logic-based network security analyzer
2005 Standout
Complexity and expressive power of logic programming
2001
A Complex View of Industry 4.0
2016 Standout
A survey on addressing privacy together with quality of context for context management in the Internet of Things
2013
Works of Anuj Dawar being referenced
International Colloquium on Automata, Languages and Programming (ICALP 2020)
2024
FINITE MODEL THEORY (Perspectives in Mathematical Logic)
1997