Richard Edwin Stearns

113 papers A* 16A 9B 2C 1Misc 1Journal 55Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Decision Problems Concerning L Systems. Theory Comput. Syst. Jingnan Xie, Harry B. Hunt III, Richard Edwin Stearns
2025	A	`conf`	On Some Fundamental Problems for Multi-Agent Systems Over Multilayer Networks. AAMAS Daniel J. Rosenkrantz, Madhav V. Marathe, Zirou Qiu, S. S. Ravi, Richard Edwin Stearns
2025	J	`jnl`	On Some Fundamental Problems for Multi-Agent Systems Over Multilayer Networks. CoRR Daniel J. Rosenkrantz, Madhav V. Marathe, Zirou Qiu, S. S. Ravi, Richard Edwin Stearns
2025	J	`jnl`	On the computational and descriptional complexity of multi-pattern languages. Theor. Comput. Sci. Jingnan Xie, Harry B. Hunt III, Richard Edwin Stearns
2024	A*	`conf`	Efficient PAC Learnability of Dynamical Systems Over Multilayer Networks. ICML Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Kumar S. Vullikanti
2024	J	`jnl`	Efficient PAC Learnability of Dynamical Systems Over Multilayer Networks. CoRR Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2024	A*	`conf`	Learning the Topology and Behavior of Discrete Dynamical Systems. AAAI Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2024	J	`jnl`	Learning the Topology and Behavior of Discrete Dynamical Systems. CoRR Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2024	J	`jnl`	Pumping Lemmas Can be "Harmful". Theory Comput. Syst. Jingnan Xie, Harry B. Hunt III, Richard Edwin Stearns
2024	J	`jnl`	Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms. ACM Trans. Comput. Theory Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns
2023	A	`conf`	Assigning Agents to Increase Network-Based Neighborhood Diversity. AAMAS Zirou Qiu, Andrew Yuan, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2023	J	`jnl`	Assigning Agents to Increase Network-Based Neighborhood Diversity. CoRR Zirou Qiu, Andrew Yuan, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2023	J	`jnl`	Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems. CoRR Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2023	J	`jnl`	Networked Anti-Coordination Games Meet Graphical Dynamical Systems: Equilibria and Convergence. CoRR Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2023	A*	`conf`	Networked Anti-coordination Games Meet Graphical Dynamical Systems: Equilibria and Convergence. AAAI Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2022	A*	`conf`	Efficiently Learning the Topology and Behavior of a Networked Dynamical System Via Active Queries. ICML Daniel J. Rosenkrantz, Abhijin Adiga, Madhav V. Marathe, Zirou Qiu, S. S. Ravi, Richard Edwin Stearns, Anil Vullikanti
2022	A*	`conf`	Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems: Complexity, Special Case Algorithms and Heuristics. AAAI Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2022	J	`jnl`	Fundamental limitations on efficiently forecasting certain epidemic measures in network models. Proc. Natl. Acad. Sci. USA Daniel J. Rosenkrantz, Anil Vullikanti, S. S. Ravi, Richard Edwin Stearns, Simon A. Levin, H. Vincent Poor, Madhav V. Marathe
2022	J	`jnl`	Using Active Queries to Infer Symmetric Node Functions of Graph Dynamical Systems. J. Mach. Learn. Res. Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2021	A*	`conf`	Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms. AAAI Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns
2020	A*	`conf`	Bounds and Complexity Results for Learning Coalition-Based Interaction Functions in Networked Social Systems. AAAI Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti
2020	—	`conf`	Evolution of Similar Configurations in Graph Dynamical Systems. COMPLEX NETWORKS (1) Joshua D. Priest, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2019	J	`jnl`	Symmetry Properties of Nested Canalyzing Functions. CoRR Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns
2019	J	`jnl`	Symmetry Properties of Nested Canalyzing Functions. Discret. Math. Theor. Comput. Sci. Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns
2019	Misc	`conf`	Validating Agent-Based Models of Large Networked Systems. WSC Abhijin Adiga, Samarth Swarup, Anil Vullikanti, Christopher L. Barrett, Stephen G. Eubank, Chris J. Kuhlman, Madhav V. Marathe, Henning S. Mortveit, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2018	J	`jnl`	A characterization of nested canalyzing functions with maximum average sensitivity. Discret. Appl. Math. Richard Edwin Stearns, Daniel J. Rosenkrantz, S. S. Ravi, Madhav V. Marathe
2018	—	`conf`	Computational Aspects of Fault Location and Resilience Problems for Interdependent Infrastructure Networks. COMPLEX NETWORKS (1) Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2018	A	`conf`	Inferring Probabilistic Contagion Models Over Networks Using Active Queries. CIKM Abhijin Adiga, Vanessa Cedeno-Mieles, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2018	A*	`conf`	Learning the Behavior of a Dynamical System Via a "20 Questions" Approach. AAAI Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2018	A	`conf`	Testing Phase Space Properties of Synchronous Dynamical Systems with Nested Canalyzing Local Functions. AAMAS Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns
2018	—	`conf`	Using Active Queries to Learn Local Stochastic Behaviors in Social Networks. COMPLEX NETWORKS (2) Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2017	J	`jnl`	Inferring local transition functions of discrete dynamical systems from observations of system behavior. Theor. Comput. Sci. Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2015	A	`conf`	Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates. AAMAS Daniel J. Rosenkrantz, Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi, Richard Edwin Stearns
2015	C	`conf`	Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems. CIAA Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2013	—	`conf`	An analysis of several heuristics for the traveling salesman problem. Fundamental Problems in Computing Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
2013	—	`conf`	Attributed Translations. Fundamental Problems in Computing Philip M. Lewis, Daniel J. Rosenkrantz, Richard Edwin Stearns
2013	—	`conf`	Consistency and serializability in concurrent database systems. Fundamental Problems in Computing Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
2013	—	`conf`	Sums-of-Products and Subproblem Independence. Fundamental Problems in Computing Richard Edwin Stearns, Harry B. Hunt III
2013	—	`conf`	System Level Concurrency Control for Distributed Database Systems. Fundamental Problems in Computing Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
2012	—	`conf`	The Turing Computational Model. ACM-TURING Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao
2011	J	`jnl`	Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems. Theor. Comput. Sci. Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2008	J	`jnl`	Errata for the paper "Predecessor existence problems for finite discrete dynamical systems" [TCS 386 (1-2) (2007) 3-37]. Theor. Comput. Sci. Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur
2007	A*	`conf`	Computational Aspects of Analyzing Social Network Dynamics. IJCAI Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur
2007	J	`jnl`	Predecessor existence problems for finite discrete dynamical systems. Theor. Comput. Sci. Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur
2006	J	`jnl`	Complexity of reachability problems for finite discrete dynamical systems. J. Comput. Syst. Sci. Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2006	—	`ch.`	Towards a Predictive Computational Complexity Theory. Computational Complexity and Statistical Physics Harry B. Hunt III, Madhav V. Marathe, Daniel J. Rosenkrantz, Richard Edwin Stearns
2005	J	`jnl`	Mechanism design for software agents with complete information. Decis. Support Syst. Thomas C. O'Connell, Richard Edwin Stearns
2005	J	`jnl`	Resource Bounds and Subproblem Independence. Theory Comput. Syst. Richard Edwin Stearns, Harry B. Hunt III
2003	J	`jnl`	Deterministic versus nondeterministic time and lower bound problems. J. ACM Richard Edwin Stearns
2003	J	`jnl`	On finite strategy sets for finitely repeated zero-sum games. Games Econ. Behav. Thomas C. O'Connell, Richard Edwin Stearns
2003	—	`conf`	Predecessor and Permutation Existence Problems for Sequential Dynamical Systems. DMCS Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2003	J	`jnl`	Reachability problems for sequential dynamical systems with threshold functions. Theor. Comput. Sci. Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2002	J	`jnl`	Exploiting structure in quantified formulas. J. Algorithms Richard Edwin Stearns, Harry B. Hunt III
2002	J	`jnl`	Parallel Approximation Schemes for a Class of Planar and Near Planar Combinatorial Optimization Problems. Inf. Comput. Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2001	B	`conf`	Analysis Problems for Sequential Dynamical Systems and Communicating State Machines. MFCS Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
2001	J	`jnl`	Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems. Electron. Notes Discret. Math. Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns
2001	—	`conf`	Gardens of Eden and Fixed Points in Sequential Dynamical Systems. DM-CCG Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Predrag T. Tosic
2001	B	`conf`	Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures. ISSAC Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns
1998	J	`jnl`	Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems CoRR Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
1998	J	`jnl`	Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems. SIAM J. Comput. Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
1998	J	`jnl`	NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs. J. Algorithms Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
1998	J	`jnl`	The Complexity of Planar Counting Problems CoRR Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, Richard Edwin Stearns
1998	J	`jnl`	The Complexity of Planar Counting Problems. SIAM J. Comput. Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, Richard Edwin Stearns
1998	A	`conf`	Theory of Periodically Specified Problems: Complexity and Approximability. CCC Madhav V. Marathe, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns
1996	J	`jnl`	An Algebraic Model for Combinatorial Problems. SIAM J. Comput. Richard Edwin Stearns, Harry B. Hunt III
1996	—	`conf`	Complexity of hierarchically and 1-dimensional periodically specified problems I: Hardness results. Satisfiability Problem: Theory and Applications Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
1996	A*	`conf`	I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). PODC Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns
1996	A*	`conf`	On the Complexity of Relational Problems for Finite State Processes (Extended Abstract). ICALP Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns
1996	—	`conf`	The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach. Satisfiability Problem: Theory and Applications Sandeep K. Shukla, Daniel J. Rosenkrantz, Harry B. Hunt III, Richard Edwin Stearns
1995	—	`conf`	Refined Single-Threading for Parallel Functional Programming. LCR George Becker, Neil V. Murray, Richard Edwin Stearns
1994	A	`conf`	A Unified Approach to Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs. ESA Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
1994	—	`conf`	Approximation Schemes Using L-Reductions. FSTTCS Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
1994	A*	`conf`	Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version). STOC Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
1994	—	`conf`	Generalized CNF Satisfiability Problems and Non-Efficient. SCT Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns
1994	J	`jnl`	Turing Award Lecture: It's Time to Reconsider Time. Commun. ACM Richard Edwin Stearns
1992	A	`conf`	Efficient Algorithms for Solving Systems of Linear Equations and Path Problems. STACS Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns
1990	J	`jnl`	Power Indices and Easier Hard Problems. Math. Syst. Theory Richard Edwin Stearns, Harry B. Hunt III
1990	J	`jnl`	The Complexity of Equivalence for Commutative Rings. J. Symb. Comput. Harry B. Hunt III, Richard Edwin Stearns
1990	J	`jnl`	The Complexity of Very Simple Boolean Formulas with Applications. SIAM J. Comput. Harry B. Hunt III, Richard Edwin Stearns
1988	—	`conf`	Juris Hartmanis: the beginnings of computational complexity. SCT Richard Edwin Stearns
1988	—	`conf`	On the Complexity of Satisfiability Problems for Algebraic Structures (Preliminary Report). AAECC Harry B. Hunt III, Richard Edwin Stearns
1987	J	`jnl`	Nonlinear Algebra and Optimization on Rings are "Hard". SIAM J. Comput. Harry B. Hunt III, Richard Edwin Stearns
1986	A	`conf`	Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report). STACS Harry B. Hunt III, Richard Edwin Stearns
1985	J	`jnl`	On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata. SIAM J. Comput. Richard Edwin Stearns, Harry B. Hunt III
1984	J	`jnl`	Consistency and Serializability in Concurrent Database Systems. SIAM J. Comput. Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II
1981	—	`conf`	Distributed Database Concurrency Controls Using Before-Values. SIGMOD Conference Richard Edwin Stearns, Daniel J. Rosenkrantz
1981	A*	`conf`	On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Grammars, and Automata FOCS Richard Edwin Stearns, Harry B. Hunt III
1978	J	`jnl`	System Level Concurrency Control for Distributed Database Systems. ACM Trans. Database Syst. Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II
1977	—	`conf`	A System Level Concurrency Control for Distributed Database Systems. Berkeley Workshop Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II
1977	J	`jnl`	An Analysis of Several Heuristics for the Traveling Salesman Problem. SIAM J. Comput. Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II
1976	A*	`conf`	Concurrency Control for Database Systems FOCS Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz
1974	—	`conf`	Approximate Algorithms for the Traveling Salesperson Problem SWAT Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II
1974	J	`jnl`	Attributed Translations. J. Comput. Syst. Sci. Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns
1973	A*	`conf`	Attributed Translations STOC Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns
1970	J	`jnl`	Properties of Deterministic Top-Down Grammars Inf. Control. Daniel J. Rosenkrantz, Richard Edwin Stearns
1969	J	`jnl`	Automata-based computational complexity. Inf. Sci. Juris Hartmanis, Richard Edwin Stearns
1969	A*	`conf`	Properties of Deterministic Top Down Grammars STOC Daniel J. Rosenkrantz, Richard Edwin Stearns
1969	J	`jnl`	Property Grammars and Table Machines Inf. Control. Richard Edwin Stearns, Philip M. Lewis II
1969	—	`conf`	Table Machine Simulation SWAT Richard Edwin Stearns, Daniel J. Rosenkrantz
1968	—	`conf`	Property Grammars and Table Machines SWAT Richard Edwin Stearns, Philip M. Lewis II
1968	J	`jnl`	Syntax-Directed Transduction. J. ACM Philip M. Lewis II, Richard Edwin Stearns
1967	J	`jnl`	A Regularity Test for Pushdown Machines Inf. Control. Richard Edwin Stearns
1966	—	`conf`	Syntax Directed Transduction SWAT Philip M. Lewis II, Richard Edwin Stearns
1966	J	`jnl`	Two-Tape Simulation of Multitape Turing Machines. J. ACM F. C. Hennie, Richard Edwin Stearns
1965	—	`conf`	Hierarchies of memory limited computations SWCT Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis II
1965	—	`conf`	Memory bounds for recognition of context-free and context-sensitive languages SWCT Philip M. Lewis II, Richard Edwin Stearns, Juris Hartmanis
1964	—	`conf`	Computational complexity of recursive sequences SWCT Juris Hartmanis, Richard Edwin Stearns
1964	—	`conf`	On the application of pair algebra to automata theory SWCT Richard Edwin Stearns, Juris Hartmanis
1964	J	`jnl`	Pair Algebra and Its Application to Automata Theory Inf. Control. Juris Hartmanis, Richard Edwin Stearns
1963	J	`jnl`	A Study of Feedback and Errors in Sequential Machines. IEEE Trans. Electron. Comput. Juris Hartmanis, Richard Edwin Stearns
1963	J	`jnl`	Regularity Preserving Modifications of Regular Expressions Inf. Control. Richard Edwin Stearns, Juris Hartmanis
1962	J	`jnl`	Some Dangers in State Reduction of Sequential Machines Inf. Control. Juris Hartmanis, Richard Edwin Stearns
1961	J	`jnl`	On the State Assignment Problem for Sequential Machines II. IRE Trans. Electron. Comput. Richard Edwin Stearns, Juris Hartmanis