Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2009 | |
---|---|---|

52 | EE | Richard J. Anderson, Devy Pranowo, Craig Prince, Fred Videon: Integrating corrections into digital ink playback. ACM Multimedia 2009: 781-784 |

2008 | ||

51 | EE | Natalie Linnell, Richard J. Anderson, Jane Prey: Cross-cultural issues in a tutored video instruction course. SIGCSE 2008: 53-57 |

2007 | ||

50 | 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 |

49 | 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 |

48 | 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 | ||

47 | EE | Valentin Razmov, Richard J. Anderson: Pedagogical techniques supported by the use of student devices in teaching software engineering. SIGCSE 2006: 344-348 |

2005 | ||

46 | EE | David Ginat, Richard J. Anderson, Daniel D. Garcia, Richard Rasala: Randomness and probability in the early CS courses. SIGCSE 2005: 556-557 |

45 | 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 | ||

44 | 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 |

43 | EE | Richard J. Anderson, Crystal Hoyer, Steven A. Wolfman, Ruth E. Anderson: A study of digital ink in lecture presentation. CHI 2004: 567-574 |

42 | 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 | ||

41 | 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 |

40 | EE | Richard J. Anderson, Ruth E. Anderson, Tammy VanDeGrift, Steven A. Wolfman, Ken Yasuhara: Classroom presentation from the tablet PC. ITiCSE 2003: 238 |

2002 | ||

39 | EE | Tammy VanDeGrift, Richard J. Anderson: Learning to support the instructor: classroom assessment tools as discussion frameworks in CS 1. ITiCSE 2002: 19-23 |

38 | 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 | ||

37 | EE | Richard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner: Thresholds and Optimal Binary Comparison Search Trees. FSTTCS 2001: 83-95 |

36 | EE | Richard J. Anderson, Martin Dickey, Hal Perkins: Experiences with tutored video instruction for introductory programming courses. SIGCSE 2001: 347-351 |

35 | EE | Richard J. Anderson, Brian Tjaden: The inverse nearest neighbor problem with astrophysical applications. SODA 2001: 767-768 |

34 | 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 | ||

33 | EE | Richard J. Anderson: Organizational limits to HCI: conversations with Don Norman and Janice Rohn. Interactions 7(3): 36-60 (2000) |

1999 | ||

32 | 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 |

31 | 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 |

30 | EE | Richard J. Anderson, Sumeet Sobti: The Table Layout Problem. Symposium on Computational Geometry 1999: 115-123 |

29 | Richard J. Anderson: Tree Data Structures for N-Body Simulation. SIAM J. Comput. 28(6): 1923-1940 (1999) | |

1998 | ||

28 | 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 |

27 | 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 | ||

26 | EE | 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 |

25 | Richard J. Anderson, Heather Woll: Algorithms for the Certified Write-All Problem. SIAM J. Comput. 26(5): 1277-1283 (1997) | |

1996 | ||

24 | 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 |

23 | Richard J. Anderson: Tree Data Structures for N-Body Simulation. FOCS 1996: 224-233 | |

22 | 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 |

21 | Richard J. Anderson, Paul Beame, Erik Brisson: Parallel Algorithms for Arrangements. Algorithmica 15(2): 104-125 (1996) | |

1995 | ||

20 | Richard J. Anderson, João C. Setubal: A Parallel Implementation of the Push-Relabel Algorithm for the Maximum Flow Problem. J. Parallel Distrib. Comput. 29(1): 17-26 (1995) | |

1994 | ||

19 | Richard J. Anderson: Primitives for Asynchronous List Compression. Mathematical Systems Theory 27(5): 453-470 (1994) | |

18 | Richard J. Anderson, Barbara B. Simons: A Fast Heuristiv for Loop Parallelization. Parallel Processing Letters 4: 281-299 (1994) | |

1992 | ||

17 | EE | Richard J. Anderson, João C. Setubal: On the Parallel Implementation of Goldberg's Maximum Flow Algorithm. SPAA 1992: 168-177 |

16 | EE | Richard J. Anderson: Primitives for Asynchronous List Compression. SPAA 1992: 199-208 |

1991 | ||

15 | Richard J. Anderson, Heather Woll: Wait-free Parallel Algorithms for the Union-Find Problem STOC 1991: 370-380 | |

14 | Richard J. Anderson, Gary L. Miller: Deterministic Parallel List Ranking. Algorithmica 6(6): 859-868 (1991) | |

1990 | ||

13 | EE | Richard J. Anderson, Paul Beame, Erik Brisson: Parallel Algorithms for Arrangements. SPAA 1990: 298-306 |

12 | EE | Richard J. Anderson, Paul Beame, Walter L. Ruzzo: Low Overhead Parallel Schedules for Task Graphs. SPAA 1990: 66-75 |

11 | EE | Richard J. Anderson: Parallel Algorithms for Generating Random Permutations on a Shared memory Machine. SPAA 1990: 95-102 |

10 | Richard J. Anderson, Gary L. Miller: A Simple Randomized Parallel Algorithm for List-Ranking. Inf. Process. Lett. 33(5): 269-273 (1990) | |

9 | 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 | ||

8 | Kenneth Almquist, Richard J. Anderson, Edward D. Lazowska: The Measured Performance of Parallel Dynamic Programming Implementations. ICPP (3) 1989: 76-79 | |

7 | Alok Aggarwal, Richard J. Anderson, Ming-Yang Kao: Parallel Depth-First Search in General Directed Graphs (Preliminary Version) STOC 1989: 297-308 | |

6 | Richard J. Anderson, Ernst W. Mayr, Manfred K. Warmuth: Parallel Approximation Algorithms for Bin Packing Inf. Comput. 82(3): 262-277 (1989) | |

1988 | ||

5 | Richard J. Anderson, Ashfaq A. Munshi, Barbara Simons: A Scheduling Problem Arising From Loop Parallelization on MIMD Machines. AWOC 1988: 124-133 | |

4 | Richard J. Anderson, Gary L. Miller: Deterministic Parallel List Ranking. AWOC 1988: 81-90 | |

3 | Alok Aggarwal, Richard J. Anderson: A random NC algorithm for depth first search. Combinatorica 8(1): 1-12 (1988) | |

1987 | ||

2 | Alok Aggarwal, Richard J. Anderson: A Random NC Algorithm for Depth First Search STOC 1987: 325-334 | |

1 | Richard J. Anderson, Ernst W. Mayr: Parallelism and the Maximal Path Problem. Inf. Process. Lett. 24(2): 121-126 (1987) |