8 papers:
KDD-2012-CosciaRGP #community #named- DEMON: a local-first discovery method for overlapping communities (MC, GR, FG, DP), pp. 615–623.
FoSSaCS-2009-ChatzikokolakisNP #bisimulation- Bisimulation for Demonic Schedulers (KC, GN, DP), pp. 318–332.
SEFM-2008-RuksenasCB #behaviour #game studies #modelling- Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.
FoSSaCS-2002-Doberkat #probability- The Demonic Product of Probabilistic Relations (EED), pp. 114–128.
PLDI-1989-WilsonM #process- Demonic Memories for Process Histories (PRW, TGM), pp. 330–343.
JICSCP-1988-MillsB88- Assertive Demons (JWM, KAB), pp. 1403–1414.
DAC-1985-GiambiasiMLdDR #adaptation #modelling- An adaptive and evolutive tool for describing general hierarchical models, based on frames and demons (NG, BM, RL, LDd, CD, PR), pp. 460–467.
DAC-1981-SaitoUK #design #logic- A CAD system for logic design based on frames and demons (TS, TU, NK), pp. 451–456.