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

Robert A. Hearn

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

2008
8EEErik D. Demaine, Robert A. Hearn: Constraint Logic: A Uniform Framework for Modeling Computation as Games. IEEE Conference on Computational Complexity 2008: 149-162
2007
7EERichard H. Granger, Robert A. Hearn: Models of thalamocortical system. Scholarpedia 2(11): 1796 (2007)
2005
6EERobert A. Hearn: Amazons is PSPACE-complete CoRR abs/cs/0502013: (2005)
5EERobert A. Hearn, Erik D. Demaine: PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Theor. Comput. Sci. 343(1-2): 72-96 (2005)
2003
4 Robert A. Hearn, Erik D. Demaine, Greg N. Frederickson: Hinged Dissection of Polygons is Hard. CCCG 2003: 98-102
2002
3EEErik D. Demaine, Robert A. Hearn, Michael Hoffmann: Push-2-f is pspace-complete. CCCG 2002: 31-35
2EERobert A. Hearn, Erik D. Demaine: The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications. ICALP 2002: 401-413
1EERobert A. Hearn, Erik D. Demaine: PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation CoRR cs.CC/0205005: (2002)

Coauthor Index

1Erik D. Demaine [1] [2] [3] [4] [5] [8]
2Greg N. Frederickson [4]
3Richard Granger (Richard H. Granger) [7]
4Michael Hoffmann [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)