18 papers:
CHI-2013-ParkerMGACJM #health #online #what- I am what i eat: identity & critical thinking in an online health forum for kids (AGP, IM, CG, VA, WC, VJ, EDM), pp. 2437–2446.
CSCW-2013-InkpenTJTV #case study #experience #named #process #product line- Experiences2Go: sharing kids’ activities outside the home with remote family members (KI, BT, SJ, JCT, GV), pp. 1329–1340.
- CHI-2012-FollmerI #named #tool support
- KidCAD: digitally remixing toys through tangible tools (SF, HI), pp. 2401–2410.
- CHI-2012-InkpenDRHJ #video
- Video kids: augmenting close friendships with asynchronous video conversations in videopal (KI, HD, AR, AH, PJ), pp. 2387–2396.
HIMI-v2-2011-ShinCRR #behaviour #interactive #named #visualisation- VizKid: A Behavior Capture and Visualization System of Adult-Child Interaction (GS, TC, AR, MR), pp. 190–198.
ICFP-2009-FelleisenFFK #functional- A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.
- CHI-1997-DruinSPBH #collaboration #design #named
- KidPad: A Design Collaboration Between Children, Technologists, and Educators (AD, JS, DP, BBB, JDH), pp. 463–470.
KBSE-1996-Smith- The Truth about KIDS (Keynote) (DS), p. 11.
- CHI-1996-Druin #named
- CHIkids: A Common Ground for Kids and Adults (AD), pp. 506–507.
ICSE-1996-Ledru #tool support #using- Using KIDS as a Tool Support for VDM (YL), pp. 236–245.
- CHI-1995-CypherS #named #programming #simulation
- KidSim: End User Programming of Simulations (AC, DCS), pp. 27–34.
- CHI-1995-HalgrenFT #animation
- Amazing Animation: Movie Making for Kids (SLH, TF, DT), pp. 519–524.
ICLP-1995-Kahn #concurrent #constraints #named #programming- ToonTalk — Concurrent Constraint Programming for Kids (KMK), p. 3.
FME-1994-Ledru #development #specification- Proof-Based Development of Specifications with KIDS/VDM (YL), pp. 214–232.
- KBSE-1993-Smith #algorithm #named #synthesis #tutorial
- KIDS: An Algorithm Synthesis System (Tutorial) (DRS), p. 2.
- KBSE-1992-LedruL #prototype #specification
- Prototyping VDM Specifications with KIDS (YL, MHL), p. 8.
- KBSE-1992-Smith #development #knowledge-based #named
- KIDS: A Knowledge-Based Software Development System (Demonstration) (DRS), p. 29.
SEKE-1990-Sinohara #information management #knowledge base- KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base (YS), pp. 122–126.
