2009 | ||
---|---|---|
53 | Richard J. Anderson, Devy Pranowo, Craig Prince, Fred Videon: Integrating corrections into digital ink playback. ACM Multimedia 2009: 781-784 | |
52 | Richard J. Anderson, Ruth E. Anderson, Natalie Linnell, Mansoor Pervaiz, Umar Saif, Fred Videon: Collaborative technologies in international distance education. CSCWD 2009: 522-527 | |
2008 | ||
51 | Natalie Linnell, Richard J. Anderson, Jane Prey: Cross-cultural issues in a tutored video instruction course. SIGCSE 2008: 53-57 | |
2007 | ||
50 | 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 | 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 | 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 | Valentin Razmov, Richard J. Anderson: Pedagogical techniques supported by the use of student devices in teaching software engineering. SIGCSE 2006: 344-348 | |
2005 | ||
46 | David Ginat, Richard J. Anderson, Daniel D. Garcia, Richard Rasala: Randomness and probability in the early CS courses. SIGCSE 2005: 556-557 | |
45 | 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 | 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 | Richard J. Anderson, Crystal Hoyer, Steven A. Wolfman, Ruth E. Anderson: A study of digital ink in lecture presentation. CHI 2004: 567-574 | |
42 | 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 | 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 | Richard J. Anderson, Ruth E. Anderson, Tammy VanDeGrift, Steven A. Wolfman, Ken Yasuhara: Classroom presentation from the tablet PC. ITiCSE 2003: 238 | |
2002 | ||
39 | Tammy VanDeGrift, Richard J. Anderson: Learning to support the instructor: classroom assessment tools as discussion frameworks in CS 1. ITiCSE 2002: 19-23 | |
38 | 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 | Richard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner: Thresholds and Optimal Binary Comparison Search Trees. FSTTCS 2001: 83-95 | |
36 | Richard J. Anderson, Martin Dickey, Hal Perkins: Experiences with tutored video instruction for introductory programming courses. SIGCSE 2001: 347-351 | |
35 | Richard J. Anderson, Brian Tjaden: The inverse nearest neighbor problem with astrophysical applications. SODA 2001: 767-768 | |
34 | 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 | Richard J. Anderson: Organizational limits to HCI: conversations with Don Norman and Janice Rohn. Interactions 7(3): 36-60 (2000) | |
1999 | ||
32 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Richard J. Anderson, João C. Setubal: On the Parallel Implementation of Goldberg's Maximum Flow Algorithm. SPAA 1992: 168-177 | |
16 | 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 | Richard J. Anderson, Paul Beame, Erik Brisson: Parallel Algorithms for Arrangements. SPAA 1990: 298-306 | |
12 | Richard J. Anderson, Paul Beame, Walter L. Ruzzo: Low Overhead Parallel Schedules for Task Graphs. SPAA 1990: 66-75 | |
11 | 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) |