4 papers:
ICPR-2014-PlanincK #modelling- Combining Spatial and Temporal Information for Inactivity Modeling (RP, MK), pp. 4234–4239.
SPLC-2014-AngererPLGG #dependence #graph #identification #product line- Identifying inactive code in product lines with configuration-aware system dependence graphs (FA, HP, DL, AG, PG), pp. 52–61.
ECIR-2010-StamouE- Interpreting User Inactivity on Search Results (SS, ENE), pp. 100–113.
DAC-2001-GuptaGYA #detection #image #satisfiability- Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation (AG, AG, ZY, PA), pp. 536–541.
