8 papers:
ECIR-2015-YangLW #detection- Detecting the Eureka Effect in Complex Search (HY, JL, CW), pp. 734–740.
ECOOP-2015-ImamS #parallel #programming- The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.
ASE-2007-ArmandoBCMS #model checking- The eureka tool for software model checking (AA, MB, DC, JM, PS), pp. 541–542.
ILPS-1993-Bsaies #automation #logic programming #performance #source code- Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties (KB), p. 633.
PEPM-1992-Bsaies #framework #logic programming #program transformation #synthesis- A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties (KB), pp. 108–115.
ESEC-1991-Fernstrom #concept- The Eureka Software Factory: Concepts and Accomplishments (CF), pp. 23–36.
ESOP-1990-NielsonN #exclamation #for free- Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations (HRN, FN), pp. 291–305.
- ESOP-1990-ProiettiP #logic programming #source code #synthesis
- Synthesis of Eureka Predicates for Developing Logic Programs (MP, AP), pp. 306–325.
