4 papers:
- ICLP-J-2015-FichteTW #logic programming #source code
- Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.
- AdaEurope-2014-Laine #lessons learnt
- Lessons Learned and Easily Forgotten (RL), pp. 1–6.
- CSCW-2010-GutwinGWWA #design
- Gone but not forgotten: designing for disconnection in synchronous groupware (CG, TCNG, CW, NW, BdA), pp. 179–188.
- DAC-2001-OzgunerMDWSH #design #education #logic #verification
- Teaching Future Verification Engineers: The Forgotten Side of Logic Design (FÖ, DWM, JD, BW, JS, LH), pp. 253–255.