10 papers:
CAV-2014-HansenLLN0 #abstraction #automaton #partial order #reduction #women- Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions (HH, SWL, YL, TKN, JS), pp. 391–406.
HCI-MIIE-2011-EL-QiremC #development #experience #user interface- Computer Usage and User Experience in Jordan: Development and Application of the Diamond Model of Territorial Factors (FAEQ, GC), pp. 490–499.
ICPR-2010-Strand10a #3d #grid #re-engineering- Sampling and Ideal Reconstruction on the 3D Diamond Grid (RS), pp. 4609–4612.
- HCI-VAD-2009-TakeuchiWIO #named #process
- DiamondTheater: A System for Reproducing Theater and Supporting Creative Activities (TT, KW, TI, KiO), pp. 416–425.
OOPSLA-2009-MalayeriA #inheritance #multi #named- CZ: multiple inheritance without diamonds (DM, JA), pp. 21–40.
SIGMOD-2004-CormodeKMS #multi- Diamond in the Rough: Finding Hierarchical Heavy Hitters in Multi-Dimensional Data (GC, FK, SM, DS), pp. 155–166.
CHI-2004-ShenVFR #interactive #named #tool support- DiamondSpin: an extensible toolkit for around-the-table interaction (CS, FV, CF, MR), pp. 167–174.
UML-1999-Henderson-SellersB- Black and White Diamonds (BHS, FB), pp. 550–565.
SAC-1997-Sibai97b #distributed #network #recursion- Distributed routing in the recursive diamond network (FNS), pp. 389–392.
CADE-1986-Weispfenning #logic #recursion #source code- Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs (VW), pp. 564–571.
