dblp.uni-trier.dewww.uni-trier.de

Richard J. Anderson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
52EERichard J. Anderson, Devy Pranowo, Craig Prince, Fred Videon: Integrating corrections into digital ink playback. ACM Multimedia 2009: 781-784
2008
51EENatalie Linnell, Richard J. Anderson, Jane Prey: Cross-cultural issues in a tutored video instruction course. SIGCSE 2008: 53-57
2007
50EEChunyuan 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
49EERichard 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
48EERichard 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
47EEValentin Razmov, Richard J. Anderson: Pedagogical techniques supported by the use of student devices in teaching software engineering. SIGCSE 2006: 344-348
2005
46EEDavid Ginat, Richard J. Anderson, Daniel D. Garcia, Richard Rasala: Randomness and probability in the early CS courses. SIGCSE 2005: 556-557
45EERichard 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
44EERichard 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
43EERichard J. Anderson, Crystal Hoyer, Steven A. Wolfman, Ruth E. Anderson: A study of digital ink in lecture presentation. CHI 2004: 567-574
42EERichard 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
41EERichard 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
40EERichard J. Anderson, Ruth E. Anderson, Tammy VanDeGrift, Steven A. Wolfman, Ken Yasuhara: Classroom presentation from the tablet PC. ITiCSE 2003: 238
2002
39EETammy VanDeGrift, Richard J. Anderson: Learning to support the instructor: classroom assessment tools as discussion frameworks in CS 1. ITiCSE 2002: 19-23
38EERichard 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
37EERichard J. Anderson, Sampath Kannan, Howard J. Karloff, Richard E. Ladner: Thresholds and Optimal Binary Comparison Search Trees. FSTTCS 2001: 83-95
36EERichard J. Anderson, Martin Dickey, Hal Perkins: Experiences with tutored video instruction for introductory programming courses. SIGCSE 2001: 347-351
35EERichard J. Anderson, Brian Tjaden: The inverse nearest neighbor problem with astrophysical applications. SODA 2001: 767-768
34EEWilliam 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
33EERichard J. Anderson: Organizational limits to HCI: conversations with Don Norman and Janice Rohn. Interactions 7(3): 36-60 (2000)
1999
32EERichard 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
31EEWilliam 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
30EERichard 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
28EEWilliam Chan, Richard J. Anderson, Paul Beame, David Notkin: Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112
27EEWilliam 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
26EEWilliam 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
24EEAlan 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
22EERichard 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
17EERichard J. Anderson, João C. Setubal: On the Parallel Implementation of Goldberg's Maximum Flow Algorithm. SPAA 1992: 168-177
16EERichard 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
13EERichard J. Anderson, Paul Beame, Erik Brisson: Parallel Algorithms for Arrangements. SPAA 1990: 298-306
12EERichard J. Anderson, Paul Beame, Walter L. Ruzzo: Low Overhead Parallel Schedules for Task Graphs. SPAA 1990: 66-75
11EERichard 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)

Coauthor Index

1Alok Aggarwal [2] [3] [7] [9]
2Kenneth Almquist [8]
3Ruth E. Anderson [40] [41] [42] [43] [45] [48] [49]
4Paul Beame [12] [13] [21] [22] [26] [27] [28] [31] [32] [34]
5Alan Borning [24]
6Erik Brisson [13] [21]
7Steve Burns [22] [27]
8William Chan [22] [26] [27] [28] [31] [32] [34]
9K. M. Davis [49]
10Peter Davis [48]
11Martin Dickey [36]
12Bjørn N. Freeman-Benson [24]
13Daniel D. Garcia [46]
14David Ginat [46]
15François Guimbretière [50]
16Crystal Hoyer [43] [44] [45]
17David H. Jones [31] [34]
18Sampath Kannan [37] [38]
19Ming-Yang Kao [7] [9]
20Howard J. Karloff [37] [38]
21Richard E. Ladner [37] [38]
22Edward D. Lazowska [8]
23Chunyuan Liao [50]
24Natalie Linnell [48] [49] [50] [51]
25Ernst W. Mayr [1] [6]
26Gary L. Miller [4] [10] [14]
27Francesmary Modugno [22] [27]
28Ashfaq A. Munshi [5]
29David Notkin [22] [26] [27] [28] [31] [32] [34]
30Hal Perkins [36]
31Devy Pranowo [52]
32Jane Prey [51]
33Craig Prince [44] [45] [48] [49] [50] [52]
34Richard Rasala [46]
35Valentin Razmov [47] [48] [49] [50]
36Jon Damon Reese [22] [27]
37Walter L. Ruzzo [12]
38João C. Setubal [17] [20]
39Beth Simon [42]
40Barbara B. Simons (Barbara Simons) [5] [18]
41Sumeet Sobti [30]
42Jonathan Su [44] [45]
43Brian Tjaden [35]
44Tammy VanDeGrift [39] [40] [41] [42]
45Fred Videon [44] [45] [48] [52]
46Manfred K. Warmuth [6]
47William E. Warner [31] [34]
48Steven A. Wolfman [40] [41] [42] [43] [44] [45]
49Heather Woll [15] [25]
50Ken Yasuhara [40] [41] [42]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)