![]() | 2009 | |
---|---|---|
110 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly: Resilience Metrics for Service-Oriented Networks: A Service Allocation Approach. IEEE T. Services Computing 2(3): 183-196 (2009) |
2008 | ||
109 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
108 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Daniel J. Rosenkrantz: Efficient algorithms for segmentation of item-set time series. Data Min. Knowl. Discov. 17(3): 377-401 (2008) |
107 | ![]() ![]() ![]() ![]() ![]() ![]() | Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam: A segmentation-based approach for temporal analysis of software version repositories. Journal of Software Maintenance 20(3): 199-222 (2008) |
106 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ||
105 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
104 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
103 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
2006 | ||
102 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
101 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Daniel J. Rosenkrantz: Information Preserving Time Decompositions of Time Stamped Documents*. Data Min. Knowl. Discov. 13(1): 41-65 (2006) |
100 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
99 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
2005 | ||
98 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Rui Zhang, Daniel J. Rosenkrantz: Efficient Algorithms for Constructing Time Decompositions of Time Stamped Documents. DEXA 2005: 514-523 |
97 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly: Structure-Based Resilience Metrics for Service-Oriented Networks. EDCC 2005: 345-362 |
96 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 Record 34(1): 5-12 (2005) |
2004 | ||
95 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Daniel J. Rosenkrantz: On lossy time decompositions of time stamped documents. CIKM 2004: 437-445 |
94 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Daniel J. Rosenkrantz: Constructing Time Decompositions for Analyzing Time-Stamped Documents. SDM 2004 |
93 | ![]() ![]() ![]() ![]() ![]() ![]() | Giri Kumar Tayi, Daniel J. Rosenkrantz, S. S. Ravi: Local base station assignment with time intervals in mobile computing environments. European Journal of Operational Research 157(2): 267-285 (2004) |
2003 | ||
92 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
91 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz: JACM 1986-1990. J. ACM 50(1): 18 (2003) |
90 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
2002 | ||
89 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ||
88 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
87 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
86 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
85 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
84 | ![]() ![]() ![]() ![]() ![]() ![]() | Kenneth A. Ross, Jiawei Han, Nick Koudas, Rajeev Rastogi, Daniel J. Rosenkrantz, Peter Scheuermann, Dan Suciu: Reminiscences on Influential Papers. SIGMOD Record 30(3): 101-104 (2001) |
2000 | ||
83 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III: On Materializations of Array-Valued Temporaries. LCPC 2000: 127-141 |
82 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Giri Kumar Tayi, S. S. Ravi: Algorithms for Path-Based Placement of Inspection Stations on Networks. INFORMS Journal on Computing 12(2): 136-149 (2000) |
81 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
80 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
1999 | ||
79 | ![]() ![]() ![]() ![]() ![]() ![]() | Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi: Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance. International Journal of Parallel Programming 27(4): 289-323 (1999) |
78 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ||
77 | ![]() ![]() ![]() ![]() ![]() ![]() | 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- |
76 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
75 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
74 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
1997 | ||
73 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Daniel J. Rosenkrantz, S. S. Ravi: Multi-site distributed database transactions utilizing deferred update. SAC 1997: 118-122 |
72 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
1996 | ||
71 | ![]() ![]() ![]() ![]() ![]() ![]() | Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz: HORNSAT, Model Checking, Verification and games (Extended Abstract). CAV 1996: 99-110 |
70 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
69 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Daniel J. Rosenkrantz, S. S. Ravi: Deferred Updates and Data Placement in Distributed Databases. ICDE 1996: 469-476 |
68 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
67 | ![]() ![]() ![]() ![]() ![]() ![]() | R. Ravi, Ravi Sundaram, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi: Spanning Trees - Short or Small. SIAM J. Discrete Math. 9(2): 178-200 (1996) |
1995 | ||
66 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
65 | ![]() ![]() ![]() ![]() ![]() ![]() | Parvathi Chundi, Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi: Active Client Primary-Backup Protocols (Abstract). PODC 1995: 264 |
64 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
1994 | ||
63 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
62 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
61 | ![]() ![]() ![]() ![]() ![]() ![]() | R. Ravi, Ravi Sundaram, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi: Spanning Trees Short or Small. SODA 1994: 546-555 |
60 | ![]() ![]() ![]() ![]() ![]() ![]() | Lin Yu, Daniel J. Rosenkrantz: A Linear-Time Scheme for Version Reconstruction. ACM Trans. Program. Lang. Syst. 16(3): 775-797 (1994) |
59 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
58 | ![]() ![]() ![]() ![]() ![]() ![]() | Philip J. Bernhard, Daniel J. Rosenkrantz: Partitioning Message Patterns for Bundled Omega Networks. IEEE Trans. Parallel Distrib. Syst. 5(4): 353-363 (1994) |
1993 | ||
57 | ![]() ![]() ![]() ![]() ![]() ![]() | Venkatesh Radhakrishnan, Sven Oliver Krumke, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi: Compact Location Problems. FSTTCS 1993: 238-247 |
56 | ![]() ![]() ![]() ![]() ![]() ![]() | Ragini Shamsunder, Daniel J. Rosenkrantz, S. S. Ravi: Exploiting Data Flow Information in Algorithm-Based Fault Tolerance. FTCS 1993: 280-289 |
55 | ![]() ![]() ![]() ![]() ![]() ![]() | R. Ravi, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III: Many birds with one stone: multi-objective approximation algorithms. STOC 1993: 438-447 |
54 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, S. S. Ravi: Improved Bounds for Algorithm-Based Fault Tolerance. IEEE Trans. Computers 42(5): 630-635 (1993) |
53 | ![]() ![]() ![]() ![]() ![]() ![]() | Lin Yu, Daniel J. Rosenkrantz: Ancestor Controlled Submodule Inclusion in Design Databases. IEEE Trans. Knowl. Data Eng. 5(2): 352-362 (1993) |
52 | ![]() ![]() ![]() ![]() ![]() ![]() | Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi: Determining Performance Measures of Algorithm-Based Fault Tolerant Systems. J. Parallel Distrib. Comput. 18(1): 56-70 (1993) |
51 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Harry B. Hunt III: The Complexity of Processing Hierarchical Specifications. SIAM J. Comput. 22(3): 627-649 (1993) |
1992 | ||
50 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Harry B. Hunt III: The Complexity of STructural Containment and Equivalence. Theoretical Studies in Computer Science 1992: 101-132 |
49 | ![]() ![]() ![]() ![]() ![]() ![]() | Lin Yu, Daniel J. Rosenkrantz: Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. SIAM J. Comput. 21(5): 824-855 (1992) |
1991 | ||
48 | ![]() ![]() ![]() ![]() ![]() ![]() | Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi: Construction and Analysis of Fault-Secure Multiprocessor Schedules. FTCS 1991: 120-127 |
47 | ![]() ![]() ![]() ![]() ![]() ![]() | Lin Yu, Daniel J. Rosenkrantz: A Linear-Time Scheme for Version Reconstruction (Extended Abstract). WADS 1991: 141-152 |
46 | ![]() ![]() ![]() ![]() ![]() ![]() | S. S. Ravi, Daniel J. Rosenkrantz, Giri Kumar Tayi: Facility Dispersion Problems: Heuristics and Special Cases (Extended Abstract). WADS 1991: 355-366 |
45 | ![]() ![]() ![]() ![]() ![]() ![]() | Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, Hantao Zhang: Sufficient-Completeness, Ground-Reducibility and their Complexity. Acta Inf. 28(4): 311-350 (1991) |
44 | ![]() ![]() ![]() ![]() ![]() ![]() | Philip J. Bernhard, Daniel J. Rosenkrantz: Using the Dual Path Property of Omega Networks to Obtain Conflict-Free Message Routing. IEEE Trans. Parallel Distrib. Syst. 2(4): 503-507 (1991) |
43 | ![]() ![]() ![]() ![]() ![]() ![]() | Philip J. Bernhard, Daniel J. Rosenkrantz: An Efficient Method for Representing and Transmitting Message Patterns on Multiprocessor Interconnection Networks. J. Parallel Distrib. Comput. 11(1): 72-85 (1991) |
42 | ![]() ![]() ![]() ![]() ![]() ![]() | Philip J. Bernhard, Harry B. Hunt III, Daniel J. Rosenkrantz: Compaction of Message Patterns into Succinct Representations for Multiprocessor Interconnection Networks. J. Parallel Distrib. Comput. 12(1): 39-49 (1991) |
1990 | ||
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Lin Yu, Daniel J. Rosenkrantz: Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. PODS 1990: 28-39 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz: Half-Hot State Assignments for Finite State Machines. IEEE Trans. Computers 39(5): 700-702 (1990) |
1989 | ||
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Philip J. Bernhard, Harry B. Hunt III, Daniel J. Rosenkrantz: Compaction of Message Patterns into Space-Efficient Representations for Multiprocessor Interconnection Networks. ICPP (1) 1989: 111-115 |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Lin Yu, Daniel J. Rosenkrantz: Minimizing Time-Space Cost for Database Version Control. Acta Inf. 27(7): 627-663 (1989) |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | Sreejit Chakravarty, Harry B. Hunt III, S. S. Ravi, Daniel J. Rosenkrantz: The Complexity of Generating Minimum Test Sets for PLA's and Monotone Combinational Circuits. IEEE Trans. Computers 38(6): 865-869 (1989) |
1988 | ||
36 | ![]() ![]() ![]() ![]() ![]() ![]() | Lin Yu, Daniel J. Rosenkrantz: Minimizing Time-Space Cost For Database Version Control. PODS 1988: 294-301 |
35 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Harry B. Hunt III: Matrix Multiplication for Finite Algebraic Systems. Inf. Process. Lett. 28(4): 189-192 (1988) |
1987 | ||
34 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Harry B. Hunt III: Efficient Algorithms for Automatic Construction and Compactification of Parsing Grammars. ACM Trans. Program. Lang. Syst. 9(4): 543-566 (1987) |
33 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz, Peter A. Bloniarz: On the Computational Complexity of Algebra on Lattices. SIAM J. Comput. 16(1): 129-148 (1987) |
1986 | ||
32 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze. SIAM J. Comput. 15(3): 831-850 (1986) |
1985 | ||
31 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Harry B. Hunt III: Testing for Grammatical Coverings. Theor. Comput. Sci. 38: 323-341 (1985) |
1984 | ||
30 | ![]() ![]() ![]() ![]() ![]() ![]() | Peter A. Bloniarz, Harry B. Hunt III, Daniel J. Rosenkrantz: Algebraic Structures with Hard Equivalence and Minimization Problems. J. ACM 31(4): 879-904 (1984) |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Monadic Recursion Schemes: Exponential Time Bounds. J. Comput. Syst. Sci. 28(3): 395-419 (1984) |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
1983 | ||
27 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications. Theor. Comput. Sci. 27: 3-38 (1983) |
1981 | ||
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Edwin Stearns, Daniel J. Rosenkrantz: Distributed Database Concurrency Controls Using Before-Values. SIGMOD Conference 1981: 74-83 |
1980 | ||
25 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Recursion Schemes and Recursive Programming Languages (Extended Abstract) FOCS 1980: 152-160 |
24 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: Efficient Algorithms for Structural Similarity of Grammars. POPL 1980: 213-219 |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Harry B. Hunt III: Processing Conjunctive Predicates and Queries. VLDB 1980: 64-72 |
1979 | ||
22 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Testing Predicate Locks. SIGMOD Conference 1979: 127-133 |
1978 | ||
21 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz: Dynamic Database Dumping. SIGMOD Conference 1978: 3-8 |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
19 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: Computational Parallels Between the Regular and Context-Free Languages. SIAM J. Comput. 7(1): 99-114 (1978) |
18 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Harry B. Hunt III: Polynomial Algorithms for Deterministic Pushdown Automata. SIAM J. Comput. 7(4): 405-412 (1978) |
1977 | ||
17 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: A System Level Concurrency Control for Distributed Database Systems. Berkeley Workshop 1977: 132-145 |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: On Equivalence and Containment Problems for Formal Languages. J. ACM 24(3): 387-396 (1977) |
15 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
1976 | ||
14 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz: Concurrency Control for Database Systems FOCS 1976: 19-32 |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz, Thomas G. Szymanski: On the Equivalence, Containment, and Covering Problems for the Regular and Context-Free Languages. J. Comput. Syst. Sci. 12(2): 222-268 (1976) |
12 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz, Thomas G. Szymanski: The Covering Problem for Linear Context-Free Grammars. Theor. Comput. Sci. 2(3): 361-382 (1976) |
1974 | ||
11 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: Approximate Algorithms for the Traveling Salesperson Problem FOCS 1974: 33-42 |
10 | ![]() ![]() ![]() ![]() ![]() ![]() | Harry B. Hunt III, Daniel J. Rosenkrantz: Computational Parallels between the Regular and Context-Free Languages STOC 1974: 64-74 |
9 | ![]() ![]() ![]() ![]() ![]() ![]() | Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations. J. Comput. Syst. Sci. 9(3): 279-307 (1974) |
1973 | ||
8 | ![]() ![]() ![]() ![]() ![]() ![]() | Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns: Attributed Translations STOC 1973: 160-171 |
1970 | ||
7 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Philip M. Lewis II: Deterministic Left Corner Parsing (Extended Abstract) FOCS 1970: 139-152 |
6 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Richard Edwin Stearns: Properties of Deterministic Top-Down Grammars Information and Control 17(3): 226-256 (1970) |
1969 | ||
5 | ![]() ![]() ![]() ![]() ![]() ![]() | Richard Edwin Stearns, Daniel J. Rosenkrantz: Table Machine Simulation FOCS 1969: 118-128 |
4 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz, Richard Edwin Stearns: Properties of Deterministic Top Down Grammars STOC 1969: 165-180 |
3 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz: Programmed Grammars and Classes of Formal Languages. J. ACM 16(1): 107-131 (1969) |
1967 | ||
2 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz: Programmed Grammars: A New Device for Generating Formal Languages FOCS 1967: 14-20 |
1 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel J. Rosenkrantz: Matrix Equations and Normal Forms for Context-Free Grammars. J. ACM 14(3): 501-507 (1967) |