Daniel J. Rosenkrantz

179 papers A* 30A 10B 3C 3Misc 4Journal 86Unranked 39

Year	Rank	Type	Title / Venue / Authors
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`	Theoretical foundations for parent divorcing transformations in Bayesian networks. Theor. Comput. Sci. Daniel J. Rosenkrantz, Madhav V. Marathe, Zirou Qiu, S. S. Ravi
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`	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
2023	A*	`conf`	Resource Sharing through Multi-Round Matchings. AAAI Yohai Trabelsi, Abhijin Adiga, Sarit Kraus, S. S. Ravi, Daniel J. Rosenkrantz
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`	Resource Sharing Through Multi-Round Matchings. CoRR Yohai Trabelsi, Abhijin Adiga, Sarit Kraus, S. S. Ravi, Daniel J. Rosenkrantz
2022	J	`jnl`	Techniques for blocking the propagation of two simultaneous contagions over networks using a graph dynamical systems framework. Netw. Sci. Henry L. Carscadden, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz
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	—	`conf`	Blocking the Propagation of Two Simultaneous Contagions over Networks. COMPLEX NETWORKS (1) Henry L. Carscadden, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz
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	—	`ch.`	Approximation Algorithms for Facility Dispersion. Handbook of Approximation Algorithms and Metaheuristics (2) S. S. Ravi, Daniel J. Rosenkrantz, Giri Kumar Tayi
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
2015	J	`jnl`	Inhibiting diffusion of complex contagions in social networks: theoretical and experimental results. Data Min. Knowl. Discov. Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz
2014	A	`conf`	Bayesian Inference in Treewidth-Bounded Graphical Models Without Indegree Constraints. UAI Daniel J. Rosenkrantz, Madhav V. Marathe, Ravi Sundaram, Anil Vullikanti
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`	An efficient method for representing and transmitting message patterns on multiprocessor interconnection networks. Fundamental Problems in Computing Philip J. Bernhard, Daniel J. Rosenkrantz
2013	—	`conf`	Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems. Fundamental Problems in Computing R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
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`	Efficient Algorithms for Segmentation of Item-Set Time Series. Fundamental Problems in Computing Parvathi Chundi, Daniel J. Rosenkrantz
2013	—	`conf`	Matrix Equations and Normal Forms for Context-Free Grammars. Fundamental Problems in Computing Daniel J. Rosenkrantz
2013	—	`conf`	Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. Fundamental Problems in Computing Lin Yu, Daniel J. Rosenkrantz
2013	—	`conf`	System Level Concurrency Control for Distributed Database Systems. Fundamental Problems in Computing Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis
2013	—	`conf`	The Complexity of Processing Hierarchical Specifications. Fundamental Problems in Computing Daniel J. Rosenkrantz, Harry B. Hunt III
2011	Misc	`conf`	A general-purpose graph dynamical system modeling framework. WSC Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Gaurav Tuli, S. S. Ravi, Daniel J. Rosenkrantz
2011	—	`conf`	Effects of Opposition on the Diffusion of Complex Contagions in Social Networks: An Empirical Study. SBP Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz
2011	—	`conf`	Inhibiting the Diffusion of Contagions in Bi-Threshold Systems: Analytical and Experimental Results. AAAI Fall Symposium: Complex Adaptive Systems Christopher James Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, Samarth Swarup, Gaurav Tuli, S. S. Ravi, Daniel J. Rosenkrantz
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
2010	—	`conf`	Finding Critical Nodes for Inhibiting Diffusion of Complex Contagions in Social Networks. ECML/PKDD (2) Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz
2009	J	`jnl`	Resilience Metrics for Service-Oriented Networks: A Service Allocation Approach. IEEE Trans. Serv. Comput. Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly
2009	—	`ch.`	Segmentation of Time Series Data. Encyclopedia of Data Warehousing and Mining Parvathi Chundi, Daniel J. Rosenkrantz
2008	J	`jnl`	A Transformation--Based Approach for the Design of Parallel/Distributed Scientific Software: the FFT CoRR Harry B. Hunt III, Lenore R. Mullin, Daniel J. Rosenkrantz, James E. Raynolds
2008	J	`jnl`	A segmentation-based approach for temporal analysis of software version repositories. J. Softw. Maintenance Res. Pract. Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
2008	J	`jnl`	Efficient algorithms for segmentation of item-set time series. Data Min. Knowl. Discov. Parvathi Chundi, Daniel J. Rosenkrantz
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	—	`ch.`	Approximation Algorithms for Facility Dispersion. Handbook of Approximation Algorithms and Metaheuristics Daniel J. Rosenkrantz, S. S. Ravi, Giri Kumar Tayi
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	—	`conf`	Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. ICSM Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam
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	J	`jnl`	Information Preserving Time Decompositions of Time Stamped Documents Data Min. Knowl. Discov. Parvathi Chundi, Daniel J. Rosenkrantz
2006	J	`jnl`	Obtaining online approximation algorithms for facility dispersion from offline algorithms. Networks Daniel J. Rosenkrantz, Giri Kumar Tayi, S. S. Ravi
2006	J	`jnl`	On minimizing materializations of array-valued temporaries. ACM Trans. Program. Lang. Syst. Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III
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	C	`conf`	Efficient Algorithms for Constructing Time Decompositions of Time Stamped Documents. DEXA Parvathi Chundi, Rui Zhang, Daniel J. Rosenkrantz
2005	J	`jnl`	In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Rec. Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi
2005	Misc	`conf`	Structure-Based Resilience Metrics for Service-Oriented Networks. EDCC Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly
2004	A	`conf`	Constructing Time Decompositions for Analyzing Time-Stamped Documents. SDM Parvathi Chundi, Daniel J. Rosenkrantz
2004	J	`jnl`	Local base station assignment with time intervals in mobile computing environments. Eur. J. Oper. Res. Giri Kumar Tayi, Daniel J. Rosenkrantz, S. S. Ravi
2004	A	`conf`	On lossy time decompositions of time stamped documents. CIKM Parvathi Chundi, Daniel J. Rosenkrantz
2003	J	`jnl`	JACM 1986-1990. J. ACM Daniel J. Rosenkrantz
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`	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`	Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems. Algorithmica R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
2001	J	`jnl`	Efficient Construction of Minimum Makespan Schedules for Tasks with a Fixed Number of Distinct Execution Times. Algorithmica Daniel J. Rosenkrantz, Lin Yu, S. S. Ravi
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	J	`jnl`	Reminiscences on Influential Papers. SIGMOD Rec. Kenneth A. Ross, Jiawei Han, Nick Koudas, Rajeev Rastogi, Daniel J. Rosenkrantz, Peter Scheuermann, Dan Suciu
2000	J	`jnl`	Alarm placement in systems with fault propagation. Theor. Comput. Sci. K. B. Lakshmanan, Daniel J. Rosenkrantz, S. S. Ravi
2000	J	`jnl`	Algorithms for Path-Based Placement of Inspection Stations on Networks. INFORMS J. Comput. Daniel J. Rosenkrantz, Giri Kumar Tayi, S. S. Ravi
2000	J	`jnl`	Facility Dispersion Problems Under Capacity and Cost Constraints. J. Comb. Optim. Daniel J. Rosenkrantz, Giri Kumar Tayi, S. S. Ravi
2000	—	`conf`	On Materializations of Array-Valued Temporaries. LCPC Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III
1999	J	`jnl`	Path problems in networks with vector-valued edge weights. Networks Giri Kumar Tayi, Daniel J. Rosenkrantz, S. S. Ravi
1999	J	`jnl`	Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance. Int. J. Parallel Program. Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi
1998	J	`jnl`	Bicriteria Network Design Problems CoRR Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
1998	J	`jnl`	Bicriteria Network Design Problems. J. Algorithms Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
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	A	`conf`	Theory of Periodically Specified Problems: Complexity and Approximability. CCC Madhav V. Marathe, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns
1997	J	`jnl`	Compact Location Problems. Theor. Comput. Sci. Sven Oliver Krumke, Madhav V. Marathe, Hartmut Noltemeier, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz
1997	Misc	`conf`	Multi-site distributed database transactions utilizing deferred update. SAC Parvathi Chundi, Daniel J. Rosenkrantz, S. S. Ravi
1996	—	`conf`	A simulation and validation tool for self-stabilizing protocols. The Spin Verification System Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi
1996	A*	`conf`	Deferred Updates and Data Placement in Distributed Databases. ICDE Parvathi Chundi, Daniel J. Rosenkrantz, S. S. Ravi
1996	A*	`conf`	HORNSAT, Model Checking, Verification and games (Extended Abstract). CAV Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz
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	J	`jnl`	Spanning Trees - Short or Small. SIAM J. Discret. Math. R. Ravi, Ravi Sundaram, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi
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	A*	`conf`	Active Client Primary-Backup Protocols (Abstract). PODC Parvathi Chundi, Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi
1995	A*	`conf`	Bicriteria Network Design Problems. ICALP Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
1995	—	`conf`	Efficient algorithms for analyzing and synthesizing fault-tolerant datapaths. DFT Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi
1995	J	`jnl`	On the Size of Binary Decision Diagrams Representing Boolean Functions. Theor. Comput. Sci. Yuri Breitbart, Harry B. Hunt III, Daniel J. Rosenkrantz
1995	J	`jnl`	Simple heuristics for unit disk graphs. Networks Madhav V. Marathe, Heinz Breu, Harry B. Hunt III, S. S. Ravi, Daniel J. Rosenkrantz
1994	J	`jnl`	A Linear-Time Scheme for Version Reconstruction. ACM Trans. Program. Lang. Syst. Lin Yu, Daniel J. Rosenkrantz
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	J	`jnl`	Construction of Check Sets for Algorithm-Based Fault Tolerance. IEEE Trans. Computers Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi
1994	J	`jnl`	Geometry based heuristics for unit disk graphs. CoRR Madhav V. Marathe, Heinz Breu, Harry B. Hunt III, S. S. Ravi, Daniel J. Rosenkrantz
1994	J	`jnl`	Heuristic and Special Case Algorithms for Dispersion Problems. Oper. Res. S. S. Ravi, Daniel J. Rosenkrantz, Giri Kumar Tayi
1994	C	`conf`	Interactive control restructuring. SETA Jeanette Bruno, Daniel J. Rosenkrantz
1994	J	`jnl`	Partitioning Message Patterns for Bundled Omega Networks. IEEE Trans. Parallel Distributed Syst. Philip J. Bernhard, Daniel J. Rosenkrantz
1994	A*	`conf`	Spanning Trees Short or Small. SODA R. Ravi, Ravi Sundaram, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi
1993	J	`jnl`	Ancestor Controlled Submodule Inclusion in Design Databases. IEEE Trans. Knowl. Data Eng. Lin Yu, Daniel J. Rosenkrantz
1993	—	`conf`	Compact Location Problems. FSTTCS Venkatesh Radhakrishnan, Sven Oliver Krumke, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi
1993	J	`jnl`	Determining Performance Measures of Algorithm-Based Fault Tolerant Systems. J. Parallel Distributed Comput. Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi
1993	—	`conf`	Exploiting Data Flow Information in Algorithm-Based Fault Tolerance. FTCS Ragini Shamsunder, Daniel J. Rosenkrantz, S. S. Ravi
1993	J	`jnl`	Improved Bounds for Algorithm-Based Fault Tolerance. IEEE Trans. Computers Daniel J. Rosenkrantz, S. S. Ravi
1993	A*	`conf`	Many birds with one stone: multi-objective approximation algorithms. STOC R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III
1993	J	`jnl`	The Complexity of Processing Hierarchical Specifications. SIAM J. Comput. Daniel J. Rosenkrantz, Harry B. Hunt III
1992	J	`jnl`	Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. SIAM J. Comput. Lin Yu, Daniel J. Rosenkrantz
1992	—	`conf`	The Complexity of STructural Containment and Equivalence. Theoretical Studies in Computer Science Daniel J. Rosenkrantz, Harry B. Hunt III
1991	B	`conf`	A Linear-Time Scheme for Version Reconstruction (Extended Abstract). WADS Lin Yu, Daniel J. Rosenkrantz
1991	J	`jnl`	An Efficient Method for Representing and Transmitting Message Patterns on Multiprocessor Interconnection Networks. J. Parallel Distributed Comput. Philip J. Bernhard, Daniel J. Rosenkrantz
1991	J	`jnl`	Compaction of Message Patterns into Succinct Representations for Multiprocessor Interconnection Networks. J. Parallel Distributed Comput. Philip J. Bernhard, Harry B. Hunt III, Daniel J. Rosenkrantz
1991	—	`conf`	Construction and Analysis of Fault-Secure Multiprocessor Schedules. FTCS Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi
1991	B	`conf`	Facility Dispersion Problems: Heuristics and Special Cases (Extended Abstract). WADS S. S. Ravi, Daniel J. Rosenkrantz, Giri Kumar Tayi
1991	A*	`ed.`	Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado, USA Daniel J. Rosenkrantz
1991	J	`jnl`	Sufficient-Completeness, Ground-Reducibility and their Complexity. Acta Informatica Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, Hantao Zhang
1991	J	`jnl`	Using the Dual Path Property of Omega Networks to Obtain Conflict-Free Message Routing. IEEE Trans. Parallel Distributed Syst. Philip J. Bernhard, Daniel J. Rosenkrantz
1990	—	`conf`	Design and analysis of test schemes for algorithm-based fault tolerance. FTCS Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi
1990	J	`jnl`	Half-Hot State Assignments for Finite State Machines. IEEE Trans. Computers Daniel J. Rosenkrantz
1990	J	`jnl`	Minimizing Time-Space Cost for Database Version Control. Acta Informatica Lin Yu, Daniel J. Rosenkrantz
1990	A*	`ed.`	Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA Daniel J. Rosenkrantz, Yehoshua Sagiv
1990	A*	`conf`	Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. PODS Lin Yu, Daniel J. Rosenkrantz
1989	—	`conf`	Compaction of Message Patterns into Space-Efficient Representations for Multiprocessor Interconnection Networks. ICPP (1) Philip J. Bernhard, Harry B. Hunt III, Daniel J. Rosenkrantz
1989	J	`jnl`	The Complexity of Generating Minimum Test Sets for PLA's and Monotone Combinational Circuits. IEEE Trans. Computers Sreejit Chakravarty, Harry B. Hunt III, S. S. Ravi, Daniel J. Rosenkrantz
1988	J	`jnl`	Matrix Multiplication for Finite Algebraic Systems. Inf. Process. Lett. Daniel J. Rosenkrantz, Harry B. Hunt III
1988	A*	`conf`	Minimizing Time-Space Cost For Database Version Control. PODS Lin Yu, Daniel J. Rosenkrantz
1987	J	`jnl`	Efficient Algorithms for Automatic Construction and Compactification of Parsing Grammars. ACM Trans. Program. Lang. Syst. Daniel J. Rosenkrantz, Harry B. Hunt III
1987	J	`jnl`	On the Computational Complexity of Algebra on Lattices. SIAM J. Comput. Harry B. Hunt III, Daniel J. Rosenkrantz, Peter A. Bloniarz
1986	J	`jnl`	Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze. SIAM J. Comput. Harry B. Hunt III, Daniel J. Rosenkrantz
1985	J	`jnl`	Testing for Grammatical Coverings. Theor. Comput. Sci. Daniel J. Rosenkrantz, Harry B. Hunt III
1984	J	`jnl`	Algebraic Structures with Hard Equivalence and Minimization Problems. J. ACM Peter A. Bloniarz, Harry B. Hunt III, Daniel J. Rosenkrantz
1984	J	`jnl`	Consistency and Serializability in Concurrent Database Systems. SIAM J. Comput. Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II
1984	A*	`ed.`	Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada Daniel J. Rosenkrantz, Ronald Fagin
1984	J	`jnl`	The Complexity of Monadic Recursion Schemes: Exponential Time Bounds. J. Comput. Syst. Sci. Harry B. Hunt III, Daniel J. Rosenkrantz
1983	J	`jnl`	The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications. Theor. Comput. Sci. Harry B. Hunt III, Daniel J. Rosenkrantz
1981	—	`conf`	Distributed Database Concurrency Controls Using Before-Values. SIGMOD Conference Richard Edwin Stearns, Daniel J. Rosenkrantz
1980	A*	`conf`	Efficient Algorithms for Structural Similarity of Grammars. POPL Harry B. Hunt III, Daniel J. Rosenkrantz
1980	A*	`conf`	Processing Conjunctive Predicates and Queries. VLDB Daniel J. Rosenkrantz, Harry B. Hunt III
1980	A*	`conf`	The Complexity of Recursion Schemes and Recursive Programming Languages (Extended Abstract) FOCS Harry B. Hunt III, Daniel J. Rosenkrantz
1979	—	`conf`	The Complexity of Testing Predicate Locks. SIGMOD Conference Harry B. Hunt III, Daniel J. Rosenkrantz
1978	J	`jnl`	Computational Parallels Between the Regular and Context-Free Languages. SIAM J. Comput. Harry B. Hunt III, Daniel J. Rosenkrantz
1978	—	`conf`	Dynamic Database Dumping. SIGMOD Conference Daniel J. Rosenkrantz
1978	J	`jnl`	Polynomial Algorithms for Deterministic Pushdown Automata. SIAM J. Comput. Daniel J. Rosenkrantz, 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
1977	J	`jnl`	On Equivalence and Containment Problems for Formal Languages. J. ACM Harry B. Hunt III, Daniel J. Rosenkrantz
1976	A*	`conf`	Concurrency Control for Database Systems FOCS Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz
1976	J	`jnl`	On the Equivalence, Containment, and Covering Problems for the Regular and Context-Free Languages. J. Comput. Syst. Sci. Harry B. Hunt III, Daniel J. Rosenkrantz, Thomas G. Szymanski
1976	J	`jnl`	The Covering Problem for Linear Context-Free Grammars. Theor. Comput. Sci. Harry B. Hunt III, Daniel J. Rosenkrantz, Thomas G. Szymanski
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
1974	A*	`conf`	Computational Parallels between the Regular and Context-Free Languages STOC Harry B. Hunt III, Daniel J. Rosenkrantz
1973	A*	`conf`	Attributed Translations STOC Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns
1970	—	`conf`	Deterministic Left Corner Parsing (Extended Abstract) SWAT Daniel J. Rosenkrantz, Philip M. Lewis II
1970	J	`jnl`	Properties of Deterministic Top-Down Grammars Inf. Control. Daniel J. Rosenkrantz, Richard Edwin Stearns
1969	J	`jnl`	Programmed Grammars and Classes of Formal Languages. J. ACM Daniel J. Rosenkrantz
1969	A*	`conf`	Properties of Deterministic Top Down Grammars STOC Daniel J. Rosenkrantz, Richard Edwin Stearns
1969	—	`conf`	Table Machine Simulation SWAT Richard Edwin Stearns, Daniel J. Rosenkrantz
1967	J	`jnl`	Matrix Equations and Normal Forms for Context-Free Grammars. J. ACM Daniel J. Rosenkrantz
1967	—	`conf`	Programmed Grammars: A New Device for Generating Formal Languages SWAT Daniel J. Rosenkrantz
1966	J	`jnl`	Synchronizing Sequences for Incompletely Specified Flow Tables. IEEE Trans. Electron. Comput. Daniel J. Rosenkrantz