6 papers:
CAV-2009-HopkinsO #equivalence #higher-order #model checking #named- Homer: A Higher-Order Observational Equivalence Model checkER (DH, CHLO), pp. 654–660.
LSO-2004-Roth-Berghofer #learning- Learning from HOMER, a Case-Based Help Desk Support System (TRB), pp. 88–97.
CADE-2003-ColtonH- The Homer System (SC, SH), pp. 289–294.
CHI-2002-PierceP #feedback- Comparing voodoo dolls and HOMER: exploring the importance of feedback in virtual environments (JSP, RFP), pp. 105–112.
SIGMOD-2000-MerialdoAMMP #automation #data-driven #modelling #named #web- Homer: a Model-Based CASE Tool for Data-Intensive Web Sites (PM, PA, MM, GM, MP), p. 586.
- CHI-1995-SavidisS #interface
- Developing Dual Interfaces for Integrating Blind and Sighted Users: The HOMER UIMS (AS, CS), pp. 106–113.
