4 papers:
TACAS-2014-BeekFHHMMR #modelling- CIF 3: Model-Based Engineering of Supervisory Controllers (DAvB, WF, DH, AH, JM, JMvdMF, MAR), pp. 575–580.
DUXU-TMT-2014-MasipOG #evaluation #heuristic #industrial #user interface- Common Industry Format (CIF) Report Customization for UX Heuristic Evaluation (LM, MO, TG), pp. 475–483.
TOOLS-EUROPE-2009-CamilleriCB #aspect-oriented #composition #framework #named- CIF: A Framework for Managing Integrity in Aspect-Oriented Composition (AC, GC, LB), pp. 18–36.
DAC-1982-Kedem #algorithm #data type #online- The quad-CIF tree: A data structure for hierarchical on-line algorithms (GK), pp. 352–357.