5 papers:
ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination- Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.
SOFTVIS-2008-XieKSDF #diagrams #sequence chart- Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
ICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #thread #uml- Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.
LOPSTR-2003-SerebrenikS #proving #termination- Proving Termination with Adornments (AS, DDS), pp. 108–109.
WCRE-2001-KollmannG #design #uml- Application of UML Associations and Their Adornments in Design Recovery (RK, MG), p. 81–?.