9 papers:
ICPR-2010-ZhangW #clustering #named- ARImp: A Generalized Adjusted Rand Index for Cluster Ensembles (SZ, HSW), pp. 778–781.
ASE-2007-CharlesFS #eclipse #framework #ide #named- IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.
AGTIVE-2007-KniemeyerK #framework #modelling #programming language- The Modelling Platform GroIMP and the Programming Language XL (OK, WK), pp. 570–572.
DAC-2003-ZhuSW #3d #algorithm #geometry #performance- Algorithms in FastImp: a fast and wideband impedance extraction program for complicated 3-D geometries (ZZ, BS, JW), pp. 712–717.
CADE-1996-FarmerGF #named- IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.
ASF+SDF-1995-Vigna #asf+sdf #case study #specification #using- Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.
- CADE-1994-FarmerGNT #proving
- Proof Script Pragmatics in IMPS (WMF, JDG, MEN, FJT), pp. 356–370.
- CADE-1992-FarmerGT92a #named
- IMPS: System Description (WMF, JDG, FJT), pp. 701–705.
- CADE-1990-FarmerGT #interactive #named #proving
- IMPS: An Interactive Mathematical Proof System (WMF, JDG, FJT), pp. 653–654.
