6 papers:
OOPSLA-2015-WickersonBBD- Remote-scope promotion: clarified, rectified, and verified (JW, MB, BMB, AFD), pp. 731–747.
KR-2014-KrotzschR #logic- Nominal Schemas in Description Logics: Complexities Clarified (MK, SR).
HIMI-LCCB-2013-TanikawaA #case study- The Study to Clarify the Type of “Otome-Game” User (MT, YA), pp. 625–631.
POPL-2012-BattyMOSS #c #c++ #compilation #concurrent- Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
REFSQ-2009-MarholdRSD #experience #non-functional #requirements- Clarifying Non-functional Requirements to Improve User Acceptance — Experience at Siemens (CM, CR, CS, JD), pp. 139–146.
SEKE-2004-JuzgadoMS #architecture #usability- Clarifying the Relationship between Software Architecture and Usability (NJJ, AMM, IS), pp. 378–383.
