4 papers:
- SIGIR-2012-Kantor #research
- A new look at old tricks: the fertile roots of current research (PBK), p. 1183.
- SIGIR-2011-Kantor #research
- A new look at old tricks: the fertile roots of current research (PBK), pp. 1297–1298.
- HCD-2009-BoyR #design
- Participatory Human-Centered Design: User Involvement and Design Cross-Fertilization (GAB, NR), pp. 835–843.
- ESOP-1994-CorsiniR #constraints #logic programming #model checking
- Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization (MMC, AR), pp. 180–194.