Travelled to:1 × Austria
1 × Denmark
1 × Greece
1 × Israel
1 × South Korea
6 × USA
Collaborated with:A.Aggarwal W.Chan P.Beame D.Notkin T.VanDeGrift N.Kumar H.Woll S.A.Wolfman R.E.Anderson M.Kao C.Hoyer K.Yasuhara D.H.Jones W.E.Warner T.Perrier N.Dell B.DeRenzi J.Kinuthia J.Unger G.John-Stewart S.Burns F.Modugno J.D.Reese
Talks about:model (4) check (4) system (3) symbol (3) constraint (2) classroom (2) algorithm (2) parallel (2) present (2) search (2)
Person: Richard J. Anderson
DBLP: Anderson:Richard_J=
Contributed to:
20152004
20032002
1999
1998
1997
1996
199119891987Wrote 12 papers:
- CHI-2015-KumarA #health #mobile
- Mobile Phones for Maternal Health in Rural India (NK, RJA), pp. 427–436.
- CHI-2015-PerrierDDAKUJ #communication #human-computer #hybrid #women
- Engaging Pregnant Women in Kenya with a Hybrid Computer-Human SMS Communication System (TP, ND, BD, RJA, JK, JU, GJS), pp. 1429–1438.
- CHI-2004-AndersonHWA #case study
- A study of digital ink in lecture presentation (RJA, CH, SAW, REA), pp. 567–574.
- ITiCSE-2003-AndersonAVWY #tablet
- Classroom presentation from the tablet PC (RJA, REA, TV, SAW, KY), p. 238.
- ITiCSE-2002-VanDeGriftA #assessment #framework #learning #tool support
- Learning to support the instructor: classroom assessment tools as discussion frameworks in CS 1 (TV, RJA), pp. 19–23.
- ICSE-1999-ChanABJNW #model checking #performance
- Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts (WC, RJA, PB, DHJ, DN, WEW), pp. 142–151.
- ISSTA-1998-ChanABN #model checking #performance #requirements
- Improving Efficiency of Symbolic Model Checking for State-Based System Requirements (WC, RJA, PB, DN), pp. 102–112.
- CAV-1997-ChanABN #constraints #model checking #theorem proving
- Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints (WC, RJA, PB, DN), pp. 316–327.
- FSE-1996-AndersonBBCMNR #model checking #scalability #specification
- Model Checking Large Software Specifications (RJA, PB, SB, WC, FM, DN, JDR), pp. 156–166.
- STOC-1991-AndersonW #algorithm #parallel #problem
- Wait-free Parallel Algorithms for the Union-Find Problem (RJA, HW), pp. 370–380.
- STOC-1989-AggarwalAK #graph #parallel
- Parallel Depth-First Search in General Directed Graphs (AA, RJA, MYK), pp. 297–308.
- STOC-1987-AggarwalA #algorithm #random
- A Random NC Algorithm for Depth First Search (AA, RJA), pp. 325–334.