| 2008 |
|---|
| 49 | EE | Natalie Linnell,
Richard J. Anderson,
Jane Prey:
Cross-cultural issues in a tutored video instruction course.
SIGCSE 2008: 53-57 |
| 2007 |
|---|
| 48 | EE | Chunyuan Liao,
François Guimbretière,
Richard J. Anderson,
Natalie Linnell,
Craig Prince,
Valentin Razmov:
PaperCP: Exploring the Integration of Physical and Digital Affordances for Active Learning.
INTERACT (2) 2007: 15-28 |
| 47 | EE | Richard J. Anderson,
Ruth E. Anderson,
K. M. Davis,
Natalie Linnell,
Craig Prince,
Valentin Razmov:
Supporting active learning and example based instruction with classroom technology.
SIGCSE 2007: 69-73 |
| 46 | EE | Richard J. Anderson,
Ruth E. Anderson,
Peter Davis,
Natalie Linnell,
Craig Prince,
Valentin Razmov,
Fred Videon:
Classroom Presenter: Enhancing Interactive Education with Digital Ink.
IEEE Computer 40(9): 56-61 (2007) |
| 2006 |
|---|
| 45 | EE | Valentin Razmov,
Richard J. Anderson:
Pedagogical techniques supported by the use of student devices in teaching software engineering.
SIGCSE 2006: 344-348 |
| 2005 |
|---|
| 44 | EE | David Ginat,
Richard J. Anderson,
Daniel D. Garcia,
Richard Rasala:
Randomness and probability in the early CS courses.
SIGCSE 2005: 556-557 |
| 43 | EE | Richard J. Anderson,
Ruth E. Anderson,
Crystal Hoyer,
Craig Prince,
Jonathan Su,
Fred Videon,
Steven A. Wolfman:
A study of diagrammatic ink in lecture.
Computers & Graphics 29(4): 480-489 (2005) |
| 2004 |
|---|
| 42 | EE | Richard J. Anderson,
Crystal Hoyer,
Craig Prince,
Jonathan Su,
Fred Videon,
Steven A. Wolfman:
Speech, ink, and slides: the interaction of content channels.
ACM Multimedia 2004: 796-803 |
| 41 | EE | Richard J. Anderson,
Crystal Hoyer,
Steven A. Wolfman,
Ruth E. Anderson:
A study of digital ink in lecture presentation.
CHI 2004: 567-574 |
| 40 | EE | Richard J. Anderson,
Ruth E. Anderson,
Beth Simon,
Steven A. Wolfman,
Tammy VanDeGrift,
Ken Yasuhara:
Experiences with a tablet PC based lecture presentation system in computer science courses.
SIGCSE 2004: 56-60 |
| 2003 |
|---|
| 39 | EE | Richard J. Anderson,
Tammy VanDeGrift,
Steven A. Wolfman,
Ken Yasuhara,
Ruth E. Anderson:
Interaction patterns with a classroom feedback system: making time for feedback.
CHI Extended Abstracts 2003: 880-881 |
| 38 | EE | Richard J. Anderson,
Ruth E. Anderson,
Tammy VanDeGrift,
Steven A. Wolfman,
Ken Yasuhara:
Classroom presentation from the tablet PC.
ITiCSE 2003: 238 |
| 2002 |
|---|
| 37 | EE | Tammy VanDeGrift,
Richard J. Anderson:
Learning to support the instructor: classroom assessment tools as discussion frameworks in CS 1.
ITiCSE 2002: 19-23 |
| 36 | EE | Richard J. Anderson,
Sampath Kannan,
Howard J. Karloff,
Richard E. Ladner:
Thresholds and optimal binary comparison search trees.
J. Algorithms 44(2): 338-358 (2002) |
| 2001 |
|---|
| 35 | EE | Richard J. Anderson,
Sampath Kannan,
Howard J. Karloff,
Richard E. Ladner:
Thresholds and Optimal Binary Comparison Search Trees.
FSTTCS 2001: 83-95 |
| 34 | EE | Richard J. Anderson,
Martin Dickey,
Hal Perkins:
Experiences with tutored video instruction for introductory programming courses.
SIGCSE 2001: 347-351 |
| 33 | EE | Richard J. Anderson,
Brian Tjaden:
The inverse nearest neighbor problem with astrophysical applications.
SODA 2001: 767-768 |
| 32 | EE | William Chan,
Richard J. Anderson,
Paul Beame,
David H. Jones,
David Notkin,
William E. Warner:
Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng. 27(2): 170-190 (2001) |
| 2000 |
|---|
| 31 | EE | Richard J. Anderson:
Organizational limits to HCI: conversations with Don Norman and Janice Rohn.
Interactions 7(3): 36-60 (2000) |
| 1999 |
|---|
| 30 | EE | Richard J. Anderson,
Paul Beame,
William Chan,
David Notkin:
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.
Ershov Memorial Conference 1999: 460-469 |
| 29 | EE | William Chan,
Richard J. Anderson,
Paul Beame,
David H. Jones,
David Notkin,
William E. Warner:
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
ICSE 1999: 142-151 |
| 28 | EE | Richard J. Anderson,
Sumeet Sobti:
The Table Layout Problem.
Symposium on Computational Geometry 1999: 115-123 |
| 27 | | Richard J. Anderson:
Tree Data Structures for N-Body Simulation.
SIAM J. Comput. 28(6): 1923-1940 (1999) |
| 1998 |
|---|
| 26 | EE | William Chan,
Richard J. Anderson,
Paul Beame,
David Notkin:
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.
ISSTA 1998: 102-112 |
| 25 | EE | William Chan,
Richard J. Anderson,
Paul Beame,
Steve Burns,
Francesmary Modugno,
David Notkin,
Jon Damon Reese:
Model Checking Large Software Specifications.
IEEE Trans. Software Eng. 24(7): 498-520 (1998) |
| 1997 |
|---|
| 24 | | William Chan,
Richard J. Anderson,
Paul Beame,
David Notkin:
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints.
CAV 1997: 316-327 |
| 23 | | Richard J. Anderson,
Heather Woll:
Algorithms for the Certified Write-All Problem.
SIAM J. Comput. 26(5): 1277-1283 (1997) |
| 1996 |
|---|
| 22 | EE | Alan Borning,
Richard J. Anderson,
Bjørn N. Freeman-Benson:
Indigo: A Local Propagation Algorithm for Inequality Constraints.
ACM Symposium on User Interface Software and Technology 1996: 129-136 |
| 21 | | Richard J. Anderson:
Tree Data Structures for N-Body Simulation.
FOCS 1996: 224-233 |
| 20 | EE | Richard J. Anderson,
Paul Beame,
Steve Burns,
William Chan,
Francesmary Modugno,
David Notkin,
Jon Damon Reese:
Model Checking Large Software Specifications.
SIGSOFT FSE 1996: 156-166 |
| 19 | | Richard J. Anderson,
Paul Beame,
Erik Brisson:
Parallel Algorithms for Arrangements.
Algorithmica 15(2): 104-125 (1996) |
| 1994 |
|---|
| 18 | | Richard J. Anderson:
Primitives for Asynchronous List Compression.
Mathematical Systems Theory 27(5): 453-470 (1994) |
| 17 | | Richard J. Anderson,
Barbara B. Simons:
A Fast Heuristiv for Loop Parallelization.
Parallel Processing Letters 4: 281-299 (1994) |
| 1992 |
|---|
| 16 | EE | Richard J. Anderson,
João C. Setubal:
On the Parallel Implementation of Goldberg's Maximum Flow Algorithm.
SPAA 1992: 168-177 |
| 15 | EE | Richard J. Anderson:
Primitives for Asynchronous List Compression.
SPAA 1992: 199-208 |
| 1991 |
|---|
| 14 | | Richard J. Anderson,
Heather Woll:
Wait-free Parallel Algorithms for the Union-Find Problem
STOC 1991: 370-380 |
| 13 | | Richard J. Anderson,
Gary L. Miller:
Deterministic Parallel List Ranking.
Algorithmica 6(6): 859-868 (1991) |
| 1990 |
|---|
| 12 | EE | Richard J. Anderson,
Paul Beame,
Erik Brisson:
Parallel Algorithms for Arrangements.
SPAA 1990: 298-306 |
| 11 | EE | Richard J. Anderson,
Paul Beame,
Walter L. Ruzzo:
Low Overhead Parallel Schedules for Task Graphs.
SPAA 1990: 66-75 |
| 10 | EE | Richard J. Anderson:
Parallel Algorithms for Generating Random Permutations on a Shared memory Machine.
SPAA 1990: 95-102 |
| 9 | | Richard J. Anderson,
Gary L. Miller:
A Simple Randomized Parallel Algorithm for List-Ranking.
Inf. Process. Lett. 33(5): 269-273 (1990) |
| 8 | | Alok Aggarwal,
Richard J. Anderson,
Ming-Yang Kao:
Parallel Depth-First Search in General Directed Graphs.
SIAM J. Comput. 19(2): 397-409 (1990) |
| 1989 |
|---|
| 7 | | Kenneth Almquist,
Richard J. Anderson,
Edward D. Lazowska:
The Measured Performance of Parallel Dynamic Programming Implementations.
ICPP (3) 1989: 76-79 |
| 6 | | Alok Aggarwal,
Richard J. Anderson,
Ming-Yang Kao:
Parallel Depth-First Search in General Directed Graphs (Preliminary Version)
STOC 1989: 297-308 |
| 5 | | Richard J. Anderson,
Ernst W. Mayr,
Manfred K. Warmuth:
Parallel Approximation Algorithms for Bin Packing
Inf. Comput. 82(3): 262-277 (1989) |
| 1988 |
|---|
| 4 | | Richard J. Anderson,
Ashfaq A. Munshi,
Barbara Simons:
A Scheduling Problem Arising From Loop Parallelization on MIMD Machines.
AWOC 1988: 124-133 |
| 3 | | Richard J. Anderson,
Gary L. Miller:
Deterministic Parallel List Ranking.
AWOC 1988: 81-90 |
| 2 | | Alok Aggarwal,
Richard J. Anderson:
A random NC algorithm for depth first search.
Combinatorica 8(1): 1-12 (1988) |
| 1987 |
|---|
| 1 | | Alok Aggarwal,
Richard J. Anderson:
A Random NC Algorithm for Depth First Search
STOC 1987: 325-334 |
