9 papers:
CHI-2011-Light #design #performance #using- Democratising technology: making transformation using designing, performance and props (AL), pp. 2239–2242.
ITiCSE-1998-Astrachan #education- Concrete teaching: hooks and props as instructional technology (OLA), pp. 21–24.
- CHI-1998-PaulosC #named
- PRoP: Personal Roving Presence (EP, JFC), pp. 296–303.
SAS-1994-CodishD #dependence #logic programming #multi #polymorphism #source code #using- Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop (MC, BD), pp. 281–296.
- CHI-1994-HinckleyPGK94a #interface #visualisation
- Passive real-world interface props for neurosurgical visualization (KH, RP, JCG, NFK), pp. 452–458.
PEPM-1993-CharlierH #analysis #evaluation #implementation #prolog- Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop (BLC, PVH), pp. 99–110.
ILPS-1993-CodishD #logic programming #source code #using- Analysing Logic Programs Using “Prop”-ositional Logic Programs and a Magic Wand (MC, BD), pp. 114–129.
CSCW-1992-BrinckG #collaboration- A Collaborative Medium for the Support of Conversational Props (TB, LMG), pp. 171–178.
LICS-1991-CortesiFW #abstract domain #analysis- Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.
