Stem mer$ (all stems)

4 papers:

ICSE-2008-SabetzadehNEC #consistency #distributed #modelling

Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.

VLDB-2005-BilkeBBDNW #automation #data fusion

Automatic Data Fusion with HumMer (AB, JB, CB, KD, FN, MW), pp. 1251–1254.

PPDP-2003-CameronBMM #debugging #named #visual notation

ViMer: a visual debugger for mercury (MC, MJGdlB, KM, PM), pp. 56–66.

CIAA-2000-ZijlHO

The MERLin Environment Applied to *-NFAs (LvZ, JPH, FO), pp. 318–326.