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