Richard Edwin Stearns Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems. Theor. Comput. Sci. 412(30): 3932-3946 (2011)
2008
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur: Errata for the paper "Predecessor existence problems for finite discrete dynamical systems" [TCS 386 (1-2) (2007) 3-37]. Theor. Comput. Sci. 395(1): 132-133 (2008)
2007
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur: Predecessor existence problems for finite discrete dynamical systems. Theor. Comput. Sci. 386(1-2): 3-37 (2007)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur: Computational Aspects of Analyzing Social Network Dynamics. IJCAI 2007: 2268-2273
2006
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: Complexity of reachability problems for finite discrete dynamical systems. J. Comput. Syst. Sci. 72(8): 1317-1345 (2006)
2005
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas C. O'Connell, Richard Edwin Stearns: Mechanism design for software agents with complete information. Decision Support Systems 39(2): 197-217 (2005)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Harry B. Hunt III: Resource Bounds and Subproblem Independence. Theory Comput. Syst. 38(6): 731-761 (2005)
2003
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas C. O'Connell, Richard Edwin Stearns: On finite strategy sets for finitely repeated zero-sum games. Games and Economic Behavior 43(1): 107-136 (2003)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns: Deterministic versus nondeterministic time and lower bound problems. J. ACM 50(1): 91-95 (2003)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: Reachability problems for sequential dynamical systems with threshold functions. Theor. Comput. Sci. 295: 41-64 (2003)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: Predecessor and Permutation Existence Problems for Sequential Dynamical Systems. DMCS 2003: 69-80
2002
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: Parallel Approximation Schemes for a Class of Planar and Near Planar Combinatorial Optimization Problems. Inf. Comput. 173(1): 40-63 (2002)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Harry B. Hunt III: Exploiting structure in quantified formulas. J. Algorithms 43(2): 220-263 (2002)
2001
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns: Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems. Electronic Notes in Discrete Mathematics 9: 217-230 (2001)
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Predrag T. Tosic: Gardens of Eden and Fixed Points in Sequential Dynamical Systems. DM-CCG 2001: 95-110
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns: Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures. ISSAC 2001: 183-191
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: Analysis Problems for Sequential Dynamical Systems and Communicating State Machines. MFCS 2001: 159-172
1998
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs. J. Algorithms 26(2): 238-274 (1998)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, Richard Edwin Stearns: The Complexity of Planar Counting Problems. SIAM J. Comput. 27(4): 1142-1167 (1998)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan: Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems. SIAM J. Comput. 27(5): 1237-1261 (1998)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Madhav V. Marathe, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns: Theory of Periodically Specified Problems: Complexity and Approximability. IEEE Conference on Computational Complexity 1998: 106-
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, Richard Edwin Stearns: The Complexity of Planar Counting Problems. CoRR cs.CC/9809017 (1998)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan: Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems. CoRR cs.CC/9809064 (1998)
1996
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Harry B. Hunt III: An Algebraic Model for Combinatorial Problems. SIAM J. Comput. 25(2): 448-476 (1996)
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns: On the Complexity of Relational Problems for Finite State Processes (Extended Abstract). ICALP 1996: 466-477
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns: I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). PODC 1996: 122
1994
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns: Turing Award Lecture: It's Time to Reconsider Time. Commun. ACM 37(11): 95-99 (1994)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns: Generalized CNF Satisfiability Problems and Non-Efficient. Structure in Complexity Theory Conference 1994: 356-366
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: A Unified Approach to Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs. ESA 1994: 424-435
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns: Approximation Schemes Using L-Reductions. FSTTCS 1994: 342-353
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan: Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version). STOC 1994: 468-477
1992
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns: Efficient Algorithms for Solving Systems of Linear Equations and Path Problems. STACS 1992: 109-119
1990
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Richard Edwin Stearns: The Complexity of Equivalence for Commutative Rings. J. Symb. Comput. 10(5): 411-436 (1990)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Harry B. Hunt III: Power Indices and Easier Hard Problems. Mathematical Systems Theory 23(4): 209-225 (1990)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Richard Edwin Stearns: The Complexity of Very Simple Boolean Formulas with Applications. SIAM J. Comput. 19(1): 44-70 (1990)
1988
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Richard Edwin Stearns: On the Complexity of Satisfiability Problems for Algebraic Structures (Preliminary Report). AAECC 1988: 250-258
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns: Juris Hartmanis: the beginnings of computational complexity. Structure in Complexity Theory Conference 1988: 128-134
1987
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Richard Edwin Stearns: Nonlinear Algebra and Optimization on Rings are ``Hard''. SIAM J. Comput. 16(5): 910-929 (1987)
1986
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harry B. Hunt III, Richard Edwin Stearns: Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report). STACS 1986: 277-290
1985
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Harry B. Hunt III: On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata. SIAM J. Comput. 14(3): 598-611 (1985)
1984
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: Consistency and Serializability in Concurrent Database Systems. SIAM J. Comput. 13(3): 508-530 (1984)
1981
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Harry B. Hunt III: On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Grammars, and Automata. FOCS 1981: 74-81
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Daniel J. Rosenkrantz: Distributed Database Concurrency Controls Using Before-Values. SIGMOD Conference 1981: 74-83
1978
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: System Level Concurrency Control for Distributed Database Systems. ACM Trans. Database Syst. 3(2): 178-198 (1978)
1977
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: An Analysis of Several Heuristics for the Traveling Salesman Problem. SIAM J. Comput. 6(3): 563-581 (1977)
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: A System Level Concurrency Control for Distributed Database Systems. Berkeley Workshop 1977: 132-145
1976
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz: Concurrency Control for Database Systems. FOCS 1976: 19-32
1974
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations. J. Comput. Syst. Sci. 9(3): 279-307 (1974)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: Approximate Algorithms for the Traveling Salesperson Problem. SWAT (FOCS) 1974: 33-42
1973
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations. STOC 1973: 160-171
1970
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Rosenkrantz, Richard Edwin Stearns: Properties of Deterministic Top-Down Grammars. Information and Control 17(3): 226-256 (1970)
1969
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Philip M. Lewis II: Property Grammars and Table Machines. Information and Control 14(6): 524-549 (1969)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Daniel J. Rosenkrantz: Table Machine Simulation. SWAT (FOCS) 1969: 118-128
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel J. Rosenkrantz, Richard Edwin Stearns: Properties of Deterministic Top Down Grammars. STOC 1969: 165-180
1968
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip M. Lewis II, Richard Edwin Stearns: Syntax-Directed Transduction. J. ACM 15(3): 465-488 (1968)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Philip M. Lewis II: Property Grammars and Table Machines. SWAT (FOCS) 1968: 106-119
1967
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns: A Regularity Test for Pushdown Machines. Information and Control 11(3): 323-340 (1967)
1966
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
F. C. Hennie, Richard Edwin Stearns: Two-Tape Simulation of Multitape Turing Machines. J. ACM 13(4): 533-546 (1966)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip M. Lewis II, Richard Edwin Stearns: Syntax Directed Transduction. SWAT (FOCS) 1966: 21-35
1965
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis II: Hierarchies of memory limited computations. SWCT (FOCS) 1965: 179-190
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Philip M. Lewis II, Richard Edwin Stearns, Juris Hartmanis: Memory bounds for recognition of context-free and context-sensitive languages. SWCT (FOCS) 1965: 191-202
1964
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juris Hartmanis, Richard Edwin Stearns: Pair Algebra and Its Application to Automata Theory. Information and Control 7(4): 485-507 (1964)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juris Hartmanis, Richard Edwin Stearns: Computational complexity of recursive sequences. SWCT (FOCS) 1964: 82-90
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Juris Hartmanis: On the application of pair algebra to automata theory. SWCT (FOCS) 1964: 192-196
1963
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Edwin Stearns, Juris Hartmanis: Regularity Preserving Modifications of Regular Expressions. Information and Control 6(1): 55-69 (1963)
1962
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juris Hartmanis, Richard Edwin Stearns: Some Dangers in State Reduction of Sequential Machines. Information and Control 5(3): 252-260 (1962)

Coauthor Index

1Christopher L. Barrett
[j34] [j33] [j32] [c30] [j31] [j26] [c29] [c28] [c26]
2Juris Hartmanis
[c4] [c3] [j3] [c2] [c1] [j2] [j1]
3F. C. Hennie
[j4]
4Harry B. Hunt III
[j34] [j33] [j32] [c30] [j31] [j29] [j26] [c29] [j25] [j24] [j23] [c28] [c27] [c26] [j22] [j21] [j20] [c25] [i2] [i1] [j19] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [j17] [j16] [j15] [c17] [j14] [c15] [j13] [c14]
5Philip M. Lewis (Philip M. Lewis II)
[j12] [j11] [j10] [c12] [c11] [j9] [c10] [c9] [j7] [j6] [c6] [c5] [c4] [c3]
6Madhav V. Marathe
[j34] [j33] [j32] [c30] [j31] [j26] [c29] [j25] [j23] [c28] [c27] [c26] [j22] [j21] [j20] [c25] [i2] [i1] [c22] [c21] [c20] [c19]
7Thomas C. O'Connell
[j30] [j28]
8Venkatesh Radhakrishnan
[j25] [j22] [j21] [j20] [i2] [i1] [c21] [c20] [c19] [c18]
9S. S. Ravi
[j34] [j33] [j32] [c30] [j31] [j26] [c29] [j25] [c28] [c26] [j22] [c23] [c21] [c20]
10Daniel J. Rosenkrantz
[j34] [j33] [j32] [c30] [j31] [j26] [c29] [j25] [c28] [c26] [j22] [c25] [c24] [c23] [c21] [c20] [j12] [c13] [j11] [j10] [c12] [c11] [j9] [c10] [c9] [j8] [c8] [c7]
11Sandeep K. Shukla (Sandeep Kumar Shukla)
[c24] [c23]
12Mayur Thakur
[j33] [j32] [c30]
13Predrag T. Tosic
[c28]
Last update Sun May 26 07:05:09 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page