BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Anderson:Richard_J=

Contributed to:

CHI 20152015
CHI 20042004
ITiCSE 20032003
ITiCSE 20022002
ICSE 19991999
ISSTA 19981998
CAV 19971997
FSE 19961996
STOC 19911991
STOC 19891989
STOC 19871987

Wrote 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.

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.