default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaniel J. Rosenkrantz
Person information
- affiliation: State University at Albany, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c85]Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Learning the Topology and Behavior of Discrete Dynamical Systems. AAAI 2024: 14722-14730- [c84]Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Kumar S. Vullikanti:
Efficient PAC Learnability of Dynamical Systems Over Multilayer Networks. ICML 2024 - [i10]Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Learning the Topology and Behavior of Discrete Dynamical Systems. CoRR abs/2402.11686 (2024) - [i9]Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Efficient PAC Learnability of Dynamical Systems Over Multilayer Networks. CoRR abs/2405.06884 (2024) - 2023
- [c83]Zirou Qiu, Chen Chen
, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Networked Anti-coordination Games Meet Graphical Dynamical Systems: Equilibria and Convergence. AAAI 2023: 11663-11671 - [c82]Yohai Trabelsi, Abhijin Adiga, Sarit Kraus, S. S. Ravi, Daniel J. Rosenkrantz:
Resource Sharing through Multi-Round Matchings. AAAI 2023: 11681-11690 - [c81]Zirou Qiu, Andrew Yuan, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Assigning Agents to Increase Network-Based Neighborhood Diversity. AAMAS 2023: 600-608 - [i8]Zirou Qiu, Andrew Yuan, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Assigning Agents to Increase Network-Based Neighborhood Diversity. CoRR abs/2301.02876 (2023) - [i7]Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Networked Anti-Coordination Games Meet Graphical Dynamical Systems: Equilibria and Convergence. CoRR abs/2301.02889 (2023) - [i6]Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems. CoRR abs/2301.04090 (2023) - 2022
- [j73]Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Using Active Queries to Infer Symmetric Node Functions of Graph Dynamical Systems. J. Mach. Learn. Res. 23: 251:1-251:43 (2022) - [j72]Henry L. Carscadden, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz:
Techniques for blocking the propagation of two simultaneous contagions over networks using a graph dynamical systems framework. Netw. Sci. 10(3): 234-260 (2022) - [j71]Daniel J. Rosenkrantz, Anil Vullikanti, S. S. Ravi, Richard Edwin Stearns, Simon A. Levin, H. Vincent Poor, Madhav V. Marathe:
Fundamental limitations on efficiently forecasting certain epidemic measures in network models. Proc. Natl. Acad. Sci. USA 119(4): e2109228119 (2022) - [c80]Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems: Complexity, Special Case Algorithms and Heuristics. AAAI 2022: 9422-9430 - [c79]Daniel J. Rosenkrantz, Abhijin Adiga, Madhav V. Marathe, Zirou Qiu, S. S. Ravi, Richard Edwin Stearns, Anil Vullikanti:
Efficiently Learning the Topology and Behavior of a Networked Dynamical System Via Active Queries. ICML 2022: 18796-18808 - [i5]Yohai Trabelsi, Abhijin Adiga, Sarit Kraus, S. S. Ravi, Daniel J. Rosenkrantz:
Resource Sharing Through Multi-Round Matchings. CoRR abs/2211.17199 (2022) - 2021
- [c78]Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns:
Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity and Algorithms. AAAI 2021: 11334-11342 - 2020
- [c77]Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Anil Vullikanti:
Bounds and Complexity Results for Learning Coalition-Based Interaction Functions in Networked Social Systems. AAAI 2020: 3138-3145 - [c76]Henry L. Carscadden, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz:
Blocking the Propagation of Two Simultaneous Contagions over Networks. COMPLEX NETWORKS (1) 2020: 455-468 - [c75]Joshua D. Priest, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Evolution of Similar Configurations in Graph Dynamical Systems. COMPLEX NETWORKS (1) 2020: 544-555
2010 – 2019
- 2019
- [j70]Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns:
Symmetry Properties of Nested Canalyzing Functions. Discret. Math. Theor. Comput. Sci. 21(4) (2019) - [c74]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:
Validating Agent-Based Models of Large Networked Systems. WSC 2019: 2807-2818 - [i4]Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns:
Symmetry Properties of Nested Canalyzing Functions. CoRR abs/1906.03752 (2019) - 2018
- [j69]Richard Edwin Stearns, Daniel J. Rosenkrantz, S. S. Ravi, Madhav V. Marathe:
A characterization of nested canalyzing functions with maximum average sensitivity. Discret. Appl. Math. 251: 5-14 (2018) - [c73]Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Learning the Behavior of a Dynamical System Via a "20 Questions" Approach. AAAI 2018: 4630-4637 - [c72]Daniel J. Rosenkrantz, Madhav V. Marathe, S. S. Ravi, Richard Edwin Stearns:
Testing Phase Space Properties of Synchronous Dynamical Systems with Nested Canalyzing Local Functions. AAMAS 2018: 1585-1594 - [c71]Abhijin Adiga, Vanessa Cedeno-Mieles, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Inferring Probabilistic Contagion Models Over Networks Using Active Queries. CIKM 2018: 377-386 - [c70]Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Using Active Queries to Learn Local Stochastic Behaviors in Social Networks. COMPLEX NETWORKS (2) 2018: 246-257 - [c69]Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Computational Aspects of Fault Location and Resilience Problems for Interdependent Infrastructure Networks. COMPLEX NETWORKS (1) 2018: 879-890 - [p2]S. S. Ravi, Daniel J. Rosenkrantz, Giri Kumar Tayi:
Approximation Algorithms for Facility Dispersion. Handbook of Approximation Algorithms and Metaheuristics (2) 2018 - 2017
- [j68]Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Inferring local transition functions of discrete dynamical systems from observations of system behavior. Theor. Comput. Sci. 679: 126-144 (2017) - 2015
- [j67]Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz:
Inhibiting diffusion of complex contagions in social networks: theoretical and experimental results. Data Min. Knowl. Discov. 29(2): 423-465 (2015) - [c68]Daniel J. Rosenkrantz, Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi, Richard Edwin Stearns:
Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates. AAMAS 2015: 1501-1509 - [c67]Abhijin Adiga, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems. CIAA 2015: 21-34 - 2014
- [c66]Daniel J. Rosenkrantz, Madhav V. Marathe, Ravi Sundaram, Anil Vullikanti:
Bayesian Inference in Treewidth-Bounded Graphical Models Without Indegree Constraints. UAI 2014: 702-711 - 2013
- [c65]Daniel J. Rosenkrantz:
Matrix Equations and Normal Forms for Context-Free Grammars. Fundamental Problems in Computing 2013: 3-11 - [c64]Philip M. Lewis, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Attributed Translations. Fundamental Problems in Computing 2013: 13-43 - [c63]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis:
An analysis of several heuristics for the traveling salesman problem. Fundamental Problems in Computing 2013: 45-69 - [c62]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis:
System Level Concurrency Control for Distributed Database Systems. Fundamental Problems in Computing 2013: 71-98 - [c61]Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis:
Consistency and serializability in concurrent database systems. Fundamental Problems in Computing 2013: 99-132 - [c60]Philip J. Bernhard, Daniel J. Rosenkrantz:
An efficient method for representing and transmitting message patterns on multiprocessor interconnection networks. Fundamental Problems in Computing 2013: 133-162 - [c59]Lin Yu, Daniel J. Rosenkrantz:
Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. Fundamental Problems in Computing 2013: 163-208 - [c58]Daniel J. Rosenkrantz, Harry B. Hunt III:
The Complexity of Processing Hierarchical Specifications. Fundamental Problems in Computing 2013: 209-240 - [c57]R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III:
Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems. Fundamental Problems in Computing 2013: 241-266 - [c56]Parvathi Chundi, Daniel J. Rosenkrantz:
Efficient Algorithms for Segmentation of Item-Set Time Series. Fundamental Problems in Computing 2013: 267-297 - 2011
- [j66]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) - [c55]Christopher James Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, Samarth Swarup, Gaurav Tuli, S. S. Ravi, Daniel J. Rosenkrantz:
Inhibiting the Diffusion of Contagions in Bi-Threshold Systems: Analytical and Experimental Results. AAAI Fall Symposium: Complex Adaptive Systems 2011 - [c54]Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz:
Effects of Opposition on the Diffusion of Complex Contagions in Social Networks: An Empirical Study. SBP 2011: 188-196 - [c53]Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, Henning S. Mortveit, Samarth Swarup, Gaurav Tuli, S. S. Ravi, Daniel J. Rosenkrantz:
A general-purpose graph dynamical system modeling framework. WSC 2011: 296-308 - 2010
- [c52]Chris J. Kuhlman, V. S. Anil Kumar, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz:
Finding Critical Nodes for Inhibiting Diffusion of Complex Contagions in Social Networks. ECML/PKDD (2) 2010: 111-127
2000 – 2009
- 2009
- [j65]Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly:
Resilience Metrics for Service-Oriented Networks: A Service Allocation Approach. IEEE Trans. Serv. Comput. 2(3): 183-196 (2009) - [r2]Parvathi Chundi, Daniel J. Rosenkrantz:
Segmentation of Time Series Data. Encyclopedia of Data Warehousing and Mining 2009: 1753-1758 - 2008
- [j64]Parvathi Chundi, Daniel J. Rosenkrantz:
Efficient algorithms for segmentation of item-set time series. Data Min. Knowl. Discov. 17(3): 377-401 (2008) - [j63]Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam:
A segmentation-based approach for temporal analysis of software version repositories. J. Softw. Maintenance Res. Pract. 20(3): 199-222 (2008) - [j62]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) - [i3]Harry B. Hunt III, Lenore R. Mullin, Daniel J. Rosenkrantz, James E. Raynolds:
A Transformation--Based Approach for the Design of Parallel/Distributed Scientific Software: the FFT. CoRR abs/0811.2535 (2008) - 2007
- [j61]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) - [c51]Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam:
Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. ICSM 2007: 415-424 - [c50]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 - [r1]Daniel J. Rosenkrantz, S. S. Ravi, Giri Kumar Tayi:
Approximation Algorithms for Facility Dispersion. Handbook of Approximation Algorithms and Metaheuristics 2007 - 2006
- [j60]Parvathi Chundi, Daniel J. Rosenkrantz:
Information Preserving Time Decompositions of Time Stamped Documents*. Data Min. Knowl. Discov. 13(1): 41-65 (2006) - [j59]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) - [j58]Daniel J. Rosenkrantz, Giri Kumar Tayi, S. S. Ravi:
Obtaining online approximation algorithms for facility dispersion from offline algorithms. Networks 47(4): 206-217 (2006) - [j57]Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III:
On minimizing materializations of array-valued temporaries. ACM Trans. Program. Lang. Syst. 28(6): 1145-1177 (2006) - [p1]Harry B. Hunt III, Madhav V. Marathe, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Towards a Predictive Computational Complexity Theory. Computational Complexity and Statistical Physics 2006: 285- - 2005
- [j56]Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi:
In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Rec. 34(1): 5-12 (2005) - [c49]Parvathi Chundi, Rui Zhang, Daniel J. Rosenkrantz:
Efficient Algorithms for Constructing Time Decompositions of Time Stamped Documents. DEXA 2005: 514-523 - [c48]Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly:
Structure-Based Resilience Metrics for Service-Oriented Networks. EDCC 2005: 345-362 - 2004
- [j55]Giri Kumar Tayi, Daniel J. Rosenkrantz, S. S. Ravi:
Local base station assignment with time intervals in mobile computing environments. Eur. J. Oper. Res. 157(2): 267-285 (2004) - [c47]Parvathi Chundi, Daniel J. Rosenkrantz:
On lossy time decompositions of time stamped documents. CIKM 2004: 437-445 - [c46]Parvathi Chundi, Daniel J. Rosenkrantz:
Constructing Time Decompositions for Analyzing Time-Stamped Documents. SDM 2004: 57-68 - 2003
- [j54]Daniel J. Rosenkrantz:
JACM 1986-1990. J. ACM 50(1): 18 (2003) - [j53]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) - [c45]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
- [j52]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) - 2001
- [j51]Daniel J. Rosenkrantz, Lin Yu, S. S. Ravi:
Efficient Construction of Minimum Makespan Schedules for Tasks with a Fixed Number of Distinct Execution Times. Algorithmica 30(1): 83-100 (2001) - [j50]R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III:
Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design Problems. Algorithmica 31(1): 58-78 (2001) - [j49]Kenneth A. Ross, Jiawei Han, Nick Koudas, Rajeev Rastogi, Daniel J. Rosenkrantz, Peter Scheuermann, Dan Suciu:
Reminiscences on Influential Papers. SIGMOD Rec. 30(3): 101-104 (2001) - [c44]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 - [c43]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 - 2000
- [j48]Daniel J. Rosenkrantz, Giri Kumar Tayi, S. S. Ravi:
Algorithms for Path-Based Placement of Inspection Stations on Networks. INFORMS J. Comput. 12(2): 136-149 (2000) - [j47]Daniel J. Rosenkrantz, Giri Kumar Tayi, S. S. Ravi:
Facility Dispersion Problems Under Capacity and Cost Constraints. J. Comb. Optim. 4(1): 7-33 (2000) - [j46]K. B. Lakshmanan, Daniel J. Rosenkrantz, S. S. Ravi:
Alarm placement in systems with fault propagation. Theor. Comput. Sci. 243(1-2): 269-288 (2000) - [c42]Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III:
On Materializations of Array-Valued Temporaries. LCPC 2000: 127-141
1990 – 1999
- 1999
- [j45]Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi:
Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance. Int. J. Parallel Program. 27(4): 289-323 (1999) - [j44]Giri Kumar Tayi, Daniel J. Rosenkrantz, S. S. Ravi:
Path problems in networks with vector-valued edge weights. Networks 34(1): 19-35 (1999) - 1998
- [j43]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) - [j42]Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III:
Bicriteria Network Design Problems. J. Algorithms 28(1): 142-171 (1998) - [c41]Madhav V. Marathe, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns:
Theory of Periodically Specified Problems: Complexity and Approximability. CCC 1998: 106- - [i2]Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III:
Bicriteria Network Design Problems. CoRR cs.CC/9809103 (1998) - 1997
- [j41]Sven Oliver Krumke, Madhav V. Marathe, Hartmut Noltemeier, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz:
Compact Location Problems. Theor. Comput. Sci. 181(2): 379-404 (1997) - [c40]Parvathi Chundi, Daniel J. Rosenkrantz, S. S. Ravi:
Multi-site distributed database transactions utilizing deferred update. SAC 1997: 118-122 - 1996
- [j40]R. Ravi, Ravi Sundaram, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi:
Spanning Trees - Short or Small. SIAM J. Discret. Math. 9(2): 178-200 (1996) - [c39]Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz:
HORNSAT, Model Checking, Verification and games (Extended Abstract). CAV 1996: 99-110 - [c38]Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi:
A simulation and validation tool for self-stabilizing protocols. The Spin Verification System 1996: 153-164 - [c37]Sandeep K. Shukla, Daniel J. Rosenkrantz, Harry B. Hunt III, Richard Edwin Stearns:
The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach. Satisfiability Problem: Theory and Applications 1996: 603-641 - [c36]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 - [c35]Parvathi Chundi, Daniel J. Rosenkrantz, S. S. Ravi:
Deferred Updates and Data Placement in Distributed Databases. ICDE 1996: 469-476 - [c34]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 - 1995
- [j39]Madhav V. Marathe, Heinz Breu, Harry B. Hunt III, S. S. Ravi, Daniel J. Rosenkrantz:
Simple heuristics for unit disk graphs. Networks 25(2): 59-68 (1995) - [j38]Yuri Breitbart, Harry B. Hunt III, Daniel J. Rosenkrantz:
On the Size of Binary Decision Diagrams Representing Boolean Functions. Theor. Comput. Sci. 145(1&2): 45-69 (1995) - [c33]Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi:
Efficient algorithms for analyzing and synthesizing fault-tolerant datapaths. DFT 1995: 81-89 - [c32]Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III:
Bicriteria Network Design Problems. ICALP 1995: 487-498 - [c31]Parvathi Chundi, Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi:
Active Client Primary-Backup Protocols (Abstract). PODC 1995: 264 - 1994
- [j37]S. S. Ravi, Daniel J. Rosenkrantz, Giri Kumar Tayi:
Heuristic and Special Case Algorithms for Dispersion Problems. Oper. Res. 42(2): 299-310 (1994) - [j36]Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi:
Construction of Check Sets for Algorithm-Based Fault Tolerance. IEEE Trans. Computers 43(6): 641-650 (1994) - [j35]Lin Yu, Daniel J. Rosenkrantz:
A Linear-Time Scheme for Version Reconstruction. ACM Trans. Program. Lang. Syst. 16(3): 775-797 (1994) - [j34]Philip J. Bernhard, Daniel J. Rosenkrantz:
Partitioning Message Patterns for Bundled Omega Networks. IEEE Trans. Parallel Distributed Syst. 5(4): 353-363 (1994) - [c30]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 - [c29]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 - [c28]Jeanette Bruno, Daniel J. Rosenkrantz:
Interactive control restructuring. SETA 1994: 36-53 - [c27]R. Ravi, Ravi Sundaram, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi:
Spanning Trees Short or Small. SODA 1994: 546-555 - [i1]Madhav V. Marathe, Heinz Breu, Harry B. Hunt III, S. S. Ravi, Daniel J. Rosenkrantz:
Geometry based heuristics for unit disk graphs. CoRR abs/math/9409226 (1994) - 1993
- [j33]