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.