8 papers:
ICALP-v1-2013-GurR #complexity #streaming- Arthur-Merlin Streaming Complexity (TG, RR), pp. 528–539.
ITiCSE-2011-Hijon-NeiraV #analysis #interactive- Merlin-Mo, an interactions analysis system for Moodle (RHN, JÁVI), p. 340.
- ITiCSE-2011-Hijon-NeiraV11a #design #learning
- A first step mapping IMS learning design and Merlin-Mo (RHN, JÁVI), p. 365.
PLDI-2009-LivshitsNRB #data flow #named #problem #specification- Merlin: specification inference for explicit information flow problems (VBL, AVN, SKR, AB), pp. 75–86.
STOC-2007-PassV #game studies #parallel #performance #theorem- An efficient parallel repetition theorem for Arthur-Merlin games (RP, MV), pp. 420–429.
- STOC-2007-Santhanam #bound
- Circuit lower bounds for Merlin-Arthur classes (RS), pp. 275–283.
DAC-1999-SalekLP #generative #independence #named #using- MERLIN: Semi-Order-Independent Hierarchical Buffered Routing Tree Generation Using Local Neighborhood Search (AHS, JL, MP), pp. 472–478.
VLDB-1976-NoerrW #database #design #named- MERLIN — Design of a National Bibliographic Database (PLN, MCW), pp. 211–222.
