8 papers:
ECOOP-2015-SchwerhoffS #automation #lightweight #verification- Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
POPL-2014-LeeP #logic #proving- A proof system for separation logic with magic wand (WL, SP), pp. 477–490.
HIMI-D-2013-LiaoLH #concept #modelling #ontology #perspective #security #towards- Towards an Ontological Interpretation on the i* Modeling Language Extended with Security Concepts: A Bunge-Wand-Weber Model Perspective (GYL, PJL, LTH), pp. 322–328.
- HIMI-v2-2011-TakahashiT #information management
- Big Fat Wand: A Laser Projection System for Information Sharing in a Workspace (TT, TT), pp. 403–410.
CSL-2008-BrocheninDL #on the- On the Almighty Wand (RB, SD, ÉL), pp. 323–338.
CHI-2003-WilsonS #named #user interface- XWand: UI for intelligent spaces (AW, SAS), pp. 545–552.
- HCI-SEC-1997-MartinH #adaptation #design #generative #modelling #multi #object-oriented
- Generating Adaptable Multimedia Software from Dynamic Object Oriented Models: The ObjectWand Design Environment (CM, MH), pp. 703–706.
ILPS-1993-CodishD #logic programming #source code #using- Analysing Logic Programs Using “Prop”-ositional Logic Programs and a Magic Wand (MC, BD), pp. 114–129.
