BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
design (3)
tour (2)
system (2)
studi (2)
differ (2)

Stem cook$ (all stems)

14 papers:

CSCWCSCW-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.
ECOOPECOOP-2015-PetriVJ #formal method #implementation
Cooking the Books: Formalizing JMM Implementation Recipes (GP, JV, SJ), pp. 445–469.
CHICHI-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.
HCIDUXU-NTE-2013-FabriWT #behaviour #product line
Changing Eating Behaviors through a Cooking-Based Website for the Whole Family (MF, AW, PT), pp. 484–493.
KDDKDD-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.
Cooks or cobblers?: crowd creativity through combination (LY, JVN), pp. 1393–1402.
CHICHI-2010-SugiuraSWII #design
Cooking with robots: designing a household system working in open environments (YS, DS, AIW, MI, TI), pp. 2427–2430.
CHICHI-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.
CASECASE-2006-YanFLLZZTY #automation
A new automatic cooking machine for Chinese dishes (WXY, ZF, YHL, RQL, YZZ, XYZ, JHT, PY), pp. 534–539.
FoSSaCSFoSSaCS-1998-AcetoFI #axiom #equation
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.
CSLCSL-1997-Hofmann #linear #recursion #λ-calculus
A Mixed Modal/Linear λ Calculus with Applications to Bellantoni-Cook Safe Recursion (MH0), pp. 275–294.
ALOGTIME and a Conjecture of S. A. Cook (Extended Abstract) (PC), pp. 181–189.
POPLPOPL-1983-MannaP #how #proving
How to Cook a Temporal Proof System for Your Pet Language (ZM, AP), pp. 141–154.
ICALPICALP-1981-AptP #nondeterminism
A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.