14 papers:
CSCW-2015-PaayKS #empirical #interactive #physics- Connecting in the Kitchen: An Empirical Study of Physical Interactions while Cooking Together at Home (JP, JK, MBS), pp. 276–287.
ECOOP-2015-PetriVJ #formal method #implementation- Cooking the Books: Formalizing JMM Implementation Recipes (GP, JV, SJ), pp. 445–469.
CHI-2013-ClearHMFB #case study #design #student- Domestic food and sustainable design: a study of university student cooking and its impacts (AKC, MH, JM, AF, OB), pp. 2447–2456.
DUXU-NTE-2013-FabriWT #behaviour #product line- Changing Eating Behaviors through a Cooking-Based Website for the Whole Family (MF, AW, PT), pp. 484–493.
KDD-2012-DuivesteijnFK #distance #mining #modelling- Different slopes for different folks: mining for exceptional regression models with cook’s distance (WD, AF, AJK), pp. 868–876.
- CHI-2011-YuN
- Cooks or cobblers?: crowd creativity through combination (LY, JVN), pp. 1393–1402.
- CHI-2010-SugiuraSWII #design
- Cooking with robots: designing a household system working in open environments (YS, DS, AIW, MI, TI), pp. 2427–2430.
- CHI-2010-TarkanSDGBWA #design #named #programming language
- Toque: designing a cooking-based programming language for and with children (ST, VS, AD, EG, EMB, GW, ZA), pp. 2417–2426.
CASE-2006-YanFLLZZTY #automation- A new automatic cooking machine for Chinese dishes (WXY, ZF, YHL, RQL, YZZ, XYZ, JHT, PY), pp. 534–539.
FoSSaCS-1998-AcetoFI #axiom #equation- A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.
CSL-1997-Hofmann #linear #recursion #λ-calculus- A Mixed Modal/Linear λ Calculus with Applications to Bellantoni-Cook Safe Recursion (MH0), pp. 275–294.
LICS-1990-Clote- ALOGTIME and a Conjecture of S. A. Cook (Extended Abstract) (PC), pp. 181–189.
POPL-1983-MannaP #how #proving- How to Cook a Temporal Proof System for Your Pet Language (ZM, AP), pp. 141–154.
ICALP-1981-AptP #nondeterminism- A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.
