@article{DBLP:journals/toct/RosenkrantzMRS24,
author = {Daniel J. Rosenkrantz and
Madhav V. Marathe and
S. S. Ravi and
Richard Edwin Stearns},
title = {Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity
and Algorithms},
journal = {{ACM} Trans. Comput. Theory},
volume = {16},
number = {2},
pages = {11:1--11:34},
year = {2024},
url = {https://doi.org/10.1145/3653723},
doi = {10.1145/3653723},
timestamp = {Tue, 08 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toct/RosenkrantzMRS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/QiuAMRRSV24,
author = {Zirou Qiu and
Abhijin Adiga and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Learning the Topology and Behavior of Discrete Dynamical Systems},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {14722--14730},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i13.29390},
doi = {10.1609/AAAI.V38I13.29390},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/QiuAMRRSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/QiuAMRRSV24,
author = {Zirou Qiu and
Abhijin Adiga and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Kumar S. Vullikanti},
title = {Efficient {PAC} Learnability of Dynamical Systems Over Multilayer
Networks},
booktitle = {Forty-first International Conference on Machine Learning, {ICML} 2024,
Vienna, Austria, July 21-27, 2024},
publisher = {OpenReview.net},
year = {2024},
url = {https://openreview.net/forum?id=2PVjIQdq7N},
timestamp = {Mon, 02 Sep 2024 16:45:29 +0200},
biburl = {https://dblp.org/rec/conf/icml/QiuAMRRSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-11686,
author = {Zirou Qiu and
Abhijin Adiga and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
title = {Learning the Topology and Behavior of Discrete Dynamical Systems},
journal = {CoRR},
volume = {abs/2402.11686},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.11686},
doi = {10.48550/ARXIV.2402.11686},
eprinttype = {arXiv},
eprint = {2402.11686},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-11686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-06884,
author = {Zirou Qiu and
Abhijin Adiga and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
title = {Efficient {PAC} Learnability of Dynamical Systems Over Multilayer
Networks},
journal = {CoRR},
volume = {abs/2405.06884},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.06884},
doi = {10.48550/ARXIV.2405.06884},
eprinttype = {arXiv},
eprint = {2405.06884},
timestamp = {Sat, 15 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-06884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/QiuCMRRSV23,
author = {Zirou Qiu and
Chen Chen and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Networked Anti-coordination Games Meet Graphical Dynamical Systems:
Equilibria and Convergence},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {11663--11671},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i10.26378},
doi = {10.1609/AAAI.V37I10.26378},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/QiuCMRRSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TrabelsiAKRR23,
author = {Yohai Trabelsi and
Abhijin Adiga and
Sarit Kraus and
S. S. Ravi and
Daniel J. Rosenkrantz},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Resource Sharing through Multi-Round Matchings},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {11681--11690},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i10.26380},
doi = {10.1609/AAAI.V37I10.26380},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TrabelsiAKRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/QiuYCMRRSV23,
author = {Zirou Qiu and
Andrew Yuan and
Chen Chen and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Assigning Agents to Increase Network-Based Neighborhood Diversity},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {600--608},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598690},
doi = {10.5555/3545946.3598690},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/QiuYCMRRSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02876,
author = {Zirou Qiu and
Andrew Yuan and
Chen Chen and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
title = {Assigning Agents to Increase Network-Based Neighborhood Diversity},
journal = {CoRR},
volume = {abs/2301.02876},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02876},
doi = {10.48550/ARXIV.2301.02876},
eprinttype = {arXiv},
eprint = {2301.02876},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02889,
author = {Zirou Qiu and
Chen Chen and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
title = {Networked Anti-Coordination Games Meet Graphical Dynamical Systems:
Equilibria and Convergence},
journal = {CoRR},
volume = {abs/2301.02889},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02889},
doi = {10.48550/ARXIV.2301.02889},
eprinttype = {arXiv},
eprint = {2301.02889},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-04090,
author = {Zirou Qiu and
Chen Chen and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
title = {Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems},
journal = {CoRR},
volume = {abs/2301.04090},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.04090},
doi = {10.48550/ARXIV.2301.04090},
eprinttype = {arXiv},
eprint = {2301.04090},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-04090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/AdigaKMRRS22,
author = {Abhijin Adiga and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Using Active Queries to Infer Symmetric Node Functions of Graph Dynamical
Systems},
journal = {J. Mach. Learn. Res.},
volume = {23},
pages = {251:1--251:43},
year = {2022},
url = {https://jmlr.org/papers/v23/21-0409.html},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/AdigaKMRRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/netsci/CarscaddenKMRR22,
author = {Henry L. Carscadden and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {Techniques for blocking the propagation of two simultaneous contagions
over networks using a graph dynamical systems framework},
journal = {Netw. Sci.},
volume = {10},
number = {3},
pages = {234--260},
year = {2022},
url = {https://doi.org/10.1017/nws.2022.18},
doi = {10.1017/NWS.2022.18},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/netsci/CarscaddenKMRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/RosenkrantzVRSL22,
author = {Daniel J. Rosenkrantz and
Anil Vullikanti and
S. S. Ravi and
Richard Edwin Stearns and
Simon A. Levin and
H. Vincent Poor and
Madhav V. Marathe},
title = {Fundamental limitations on efficiently forecasting certain epidemic
measures in network models},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {119},
number = {4},
pages = {e2109228119},
year = {2022},
url = {https://doi.org/10.1073/pnas.2109228119},
doi = {10.1073/PNAS.2109228119},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pnas/RosenkrantzVRSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/QiuCMRRSV22,
author = {Zirou Qiu and
Chen Chen and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
title = {Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems:
Complexity, Special Case Algorithms and Heuristics},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9422--9430},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21174},
doi = {10.1609/AAAI.V36I9.21174},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/QiuCMRRSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/RosenkrantzAMQR22,
author = {Daniel J. Rosenkrantz and
Abhijin Adiga and
Madhav V. Marathe and
Zirou Qiu and
S. S. Ravi and
Richard Edwin Stearns and
Anil Vullikanti},
editor = {Kamalika Chaudhuri and
Stefanie Jegelka and
Le Song and
Csaba Szepesv{\'{a}}ri and
Gang Niu and
Sivan Sabato},
title = {Efficiently Learning the Topology and Behavior of a Networked Dynamical
System Via Active Queries},
booktitle = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
2022, Baltimore, Maryland, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {162},
pages = {18796--18808},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v162/rosenkrantz22a.html},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/RosenkrantzAMQR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-17199,
author = {Yohai Trabelsi and
Abhijin Adiga and
Sarit Kraus and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {Resource Sharing Through Multi-Round Matchings},
journal = {CoRR},
volume = {abs/2211.17199},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.17199},
doi = {10.48550/ARXIV.2211.17199},
eprinttype = {arXiv},
eprint = {2211.17199},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-17199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RosenkrantzMRS21,
author = {Daniel J. Rosenkrantz and
Madhav V. Marathe and
S. S. Ravi and
Richard Edwin Stearns},
title = {Synchronous Dynamical Systems on Directed Acyclic Graphs: Complexity
and Algorithms},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11334--11342},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17351},
doi = {10.1609/AAAI.V35I13.17351},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RosenkrantzMRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AdigaKMRRSV20,
author = {Abhijin Adiga and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Anil Vullikanti},
title = {Bounds and Complexity Results for Learning Coalition-Based Interaction
Functions in Networked Social Systems},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {3138--3145},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i04.5710},
doi = {10.1609/AAAI.V34I04.5710},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AdigaKMRRSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexnetworks/CarscaddenKMRR20,
author = {Henry L. Carscadden and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz},
editor = {Rosa M. Benito and
Chantal Cherifi and
Hocine Cherifi and
Esteban Moro and
Luis Mateus Rocha and
Marta Sales{-}Pardo},
title = {Blocking the Propagation of Two Simultaneous Contagions over Networks},
booktitle = {Complex Networks {\&} Their Applications {IX} - Volume 1, Proceedings
of the Ninth International Conference on Complex Networks and Their
Applications, {COMPLEX} {NETWORKS} 2020, 1-3 December 2020, Madrid,
Spain},
series = {Studies in Computational Intelligence},
volume = {943},
pages = {455--468},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65347-7\_38},
doi = {10.1007/978-3-030-65347-7\_38},
timestamp = {Sun, 02 Oct 2022 15:57:51 +0200},
biburl = {https://dblp.org/rec/conf/complexnetworks/CarscaddenKMRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexnetworks/PriestMRRS20,
author = {Joshua D. Priest and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Rosa M. Benito and
Chantal Cherifi and
Hocine Cherifi and
Esteban Moro and
Luis Mateus Rocha and
Marta Sales{-}Pardo},
title = {Evolution of Similar Configurations in Graph Dynamical Systems},
booktitle = {Complex Networks {\&} Their Applications {IX} - Volume 1, Proceedings
of the Ninth International Conference on Complex Networks and Their
Applications, {COMPLEX} {NETWORKS} 2020, 1-3 December 2020, Madrid,
Spain},
series = {Studies in Computational Intelligence},
volume = {943},
pages = {544--555},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65347-7\_45},
doi = {10.1007/978-3-030-65347-7\_45},
timestamp = {Fri, 26 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/complexnetworks/PriestMRRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/RosenkrantzMRS19,
author = {Daniel J. Rosenkrantz and
Madhav V. Marathe and
S. S. Ravi and
Richard Edwin Stearns},
title = {Symmetry Properties of Nested Canalyzing Functions},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {21},
number = {4},
year = {2019},
url = {https://doi.org/10.23638/DMTCS-21-4-19},
doi = {10.23638/DMTCS-21-4-19},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/RosenkrantzMRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/AdigaSVBEKMMRRS19,
author = {Abhijin Adiga and
Samarth Swarup and
Anil Vullikanti and
Christopher L. Barrett and
Stephen G. Eubank and
Chris J. Kuhlman and
Madhav V. Marathe and
Henning S. Mortveit and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Validating Agent-Based Models of Large Networked Systems},
booktitle = {2019 Winter Simulation Conference, {WSC} 2019, National Harbor, MD,
USA, December 8-11, 2019},
pages = {2807--2818},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WSC40007.2019.9004718},
doi = {10.1109/WSC40007.2019.9004718},
timestamp = {Tue, 25 Feb 2020 16:53:39 +0100},
biburl = {https://dblp.org/rec/conf/wsc/AdigaSVBEKMMRRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03752,
author = {Daniel J. Rosenkrantz and
Madhav V. Marathe and
S. S. Ravi and
Richard Edwin Stearns},
title = {Symmetry Properties of Nested Canalyzing Functions},
journal = {CoRR},
volume = {abs/1906.03752},
year = {2019},
url = {http://arxiv.org/abs/1906.03752},
eprinttype = {arXiv},
eprint = {1906.03752},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-03752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/StearnsRRM18,
author = {Richard Edwin Stearns and
Daniel J. Rosenkrantz and
S. S. Ravi and
Madhav V. Marathe},
title = {A characterization of nested canalyzing functions with maximum average
sensitivity},
journal = {Discret. Appl. Math.},
volume = {251},
pages = {5--14},
year = {2018},
url = {https://doi.org/10.1016/j.dam.2018.05.014},
doi = {10.1016/J.DAM.2018.05.014},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/StearnsRRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AdigaKMRRS18,
author = {Abhijin Adiga and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Learning the Behavior of a Dynamical System Via a "20 Questions" Approach},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {4630--4637},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11588},
doi = {10.1609/AAAI.V32I1.11588},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AdigaKMRRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RosenkrantzMRS18,
author = {Daniel J. Rosenkrantz and
Madhav V. Marathe and
S. S. Ravi and
Richard Edwin Stearns},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Testing Phase Space Properties of Synchronous Dynamical Systems with
Nested Canalyzing Local Functions},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1585--1594},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237936},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/RosenkrantzMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/AdigaCKMRRS18,
author = {Abhijin Adiga and
Vanessa Cedeno{-}Mieles and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Alfredo Cuzzocrea and
James Allan and
Norman W. Paton and
Divesh Srivastava and
Rakesh Agrawal and
Andrei Z. Broder and
Mohammed J. Zaki and
K. Sel{\c{c}}uk Candan and
Alexandros Labrinidis and
Assaf Schuster and
Haixun Wang},
title = {Inferring Probabilistic Contagion Models Over Networks Using Active
Queries},
booktitle = {Proceedings of the 27th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2018, Torino, Italy, October 22-26,
2018},
pages = {377--386},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3269206.3271790},
doi = {10.1145/3269206.3271790},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/AdigaCKMRRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexnetworks/AdigaKMRRS18,
author = {Abhijin Adiga and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Luca Maria Aiello and
Chantal Cherifi and
Hocine Cherifi and
Renaud Lambiotte and
Pietro Li{\'{o}} and
Luis M. Rocha},
title = {Using Active Queries to Learn Local Stochastic Behaviors in Social
Networks},
booktitle = {Complex Networks and Their Applications {VII} - Volume 2 Proceedings
The 7th International Conference on Complex Networks and Their Applications
{COMPLEX} {NETWORKS} 2018},
series = {Studies in Computational Intelligence},
volume = {813},
pages = {246--257},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05414-4\_20},
doi = {10.1007/978-3-030-05414-4\_20},
timestamp = {Thu, 07 Jul 2022 13:32:56 +0200},
biburl = {https://dblp.org/rec/conf/complexnetworks/AdigaKMRRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexnetworks/MaratheRRS18,
author = {Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Luca Maria Aiello and
Chantal Cherifi and
Hocine Cherifi and
Renaud Lambiotte and
Pietro Li{\'{o}} and
Luis M. Rocha},
title = {Computational Aspects of Fault Location and Resilience Problems for
Interdependent Infrastructure Networks},
booktitle = {Complex Networks and Their Applications {VII} - Volume 1 Proceedings
The 7th International Conference on Complex Networks and Their Applications
{COMPLEX} {NETWORKS} 2018, Cambridge, UK, December 11-13, 2018},
series = {Studies in Computational Intelligence},
volume = {812},
pages = {879--890},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05411-3\_70},
doi = {10.1007/978-3-030-05411-3\_70},
timestamp = {Thu, 07 Jul 2022 13:32:56 +0200},
biburl = {https://dblp.org/rec/conf/complexnetworks/MaratheRRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/18/RaviRT18,
author = {S. S. Ravi and
Daniel J. Rosenkrantz and
Giri Kumar Tayi},
editor = {Teofilo F. Gonzalez},
title = {Approximation Algorithms for Facility Dispersion},
booktitle = {Handbook of Approximation Algorithms and Metaheuristics, Second Edition,
Volume 2: Contemporary and Emerging Applications},
publisher = {Chapman and Hall/CRC},
year = {2018},
timestamp = {Mon, 28 Oct 2019 16:49:19 +0100},
biburl = {https://dblp.org/rec/books/tf/18/RaviRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AdigaKMRRS17,
author = {Abhijin Adiga and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Inferring local transition functions of discrete dynamical systems
from observations of system behavior},
journal = {Theor. Comput. Sci.},
volume = {679},
pages = {126--144},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.07.008},
doi = {10.1016/J.TCS.2016.07.008},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AdigaKMRRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/KuhlmanKMRR15,
author = {Chris J. Kuhlman and
V. S. Anil Kumar and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {Inhibiting diffusion of complex contagions in social networks: theoretical
and experimental results},
journal = {Data Min. Knowl. Discov.},
volume = {29},
number = {2},
pages = {423--465},
year = {2015},
url = {https://doi.org/10.1007/s10618-014-0351-4},
doi = {10.1007/S10618-014-0351-4},
timestamp = {Wed, 06 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/datamine/KuhlmanKMRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RosenkrantzMHRS15,
author = {Daniel J. Rosenkrantz and
Madhav V. Marathe and
Harry B. Hunt III and
S. S. Ravi and
Richard Edwin Stearns},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Analysis Problems for Graphical Dynamical Systems: {A} Unified Approach
Through Graph Predicates},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1501--1509},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773343},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/RosenkrantzMHRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AdigaKMRRS15,
author = {Abhijin Adiga and
Chris J. Kuhlman and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Frank Drewes},
title = {Complexity of Inferring Local Transition Functions of Discrete Dynamical
Systems},
booktitle = {Implementation and Application of Automata - 20th International Conference,
{CIAA} 2015, Ume{\aa}, Sweden, August 18-21, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9223},
pages = {21--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22360-5\_3},
doi = {10.1007/978-3-319-22360-5\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/AdigaKMRRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/RosenkrantzMSV14,
author = {Daniel J. Rosenkrantz and
Madhav V. Marathe and
Ravi Sundaram and
Anil Vullikanti},
editor = {Nevin L. Zhang and
Jin Tian},
title = {Bayesian Inference in Treewidth-Bounded Graphical Models Without Indegree
Constraints},
booktitle = {Proceedings of the Thirtieth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2014, Quebec City, Quebec, Canada, July 23-27,
2014},
pages = {702--711},
publisher = {{AUAI} Press},
year = {2014},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2506\&\#38;proceeding\_id=30},
timestamp = {Wed, 03 Feb 2021 11:09:27 +0100},
biburl = {https://dblp.org/rec/conf/uai/RosenkrantzMSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rosenkrantz13,
author = {Daniel J. Rosenkrantz},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {Matrix Equations and Normal Forms for Context-Free Grammars},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {3--11},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_1},
doi = {10.1007/978-1-4020-9688-4\_1},
timestamp = {Mon, 16 Sep 2019 15:30:35 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rosenkrantz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LewisRS13,
author = {Philip M. Lewis and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {Attributed Translations},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {13--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_2},
doi = {10.1007/978-1-4020-9688-4\_2},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LewisRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RosenkrantzSL13,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {An analysis of several heuristics for the traveling salesman problem},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {45--69},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_3},
doi = {10.1007/978-1-4020-9688-4\_3},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RosenkrantzSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RosenkrantzSL13a,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {System Level Concurrency Control for Distributed Database Systems},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {71--98},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_4},
doi = {10.1007/978-1-4020-9688-4\_4},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RosenkrantzSL13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RosenkrantzSL13b,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {Consistency and serializability in concurrent database systems},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {99--132},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_5},
doi = {10.1007/978-1-4020-9688-4\_5},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RosenkrantzSL13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BernhardR13,
author = {Philip J. Bernhard and
Daniel J. Rosenkrantz},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {An efficient method for representing and transmitting message patterns
on multiprocessor interconnection networks},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {133--162},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_6},
doi = {10.1007/978-1-4020-9688-4\_6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BernhardR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/YuR13,
author = {Lin Yu and
Daniel J. Rosenkrantz},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {Representability of Design Objects by Ancestor-Controlled Hierarchical
Specifications},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {163--208},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_7},
doi = {10.1007/978-1-4020-9688-4\_7},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/YuR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RosenkrantzH13,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {The Complexity of Processing Hierarchical Specifications},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {209--240},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_8},
doi = {10.1007/978-1-4020-9688-4\_8},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RosenkrantzH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001MRRH13,
author = {R. Ravi and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Harry B. Hunt III},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design
Problems},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {241--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_9},
doi = {10.1007/978-1-4020-9688-4\_9},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001MRRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChundiR13,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz},
editor = {S. S. Ravi and
Sandeep K. Shukla},
title = {Efficient Algorithms for Segmentation of Item-Set Time Series},
booktitle = {Fundamental Problems in Computing, Essays in Honor of Professor Daniel
J. Rosenkrantz},
pages = {267--297},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4020-9688-4\_10},
doi = {10.1007/978-1-4020-9688-4\_10},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChundiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarrettHMRRS11,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Modeling and analyzing social network dynamics using stochastic discrete
graphical dynamical systems},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {30},
pages = {3932--3946},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.027},
doi = {10.1016/J.TCS.2011.02.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarrettHMRRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/KuhlmanKMSTRR11,
author = {Christopher James Kuhlman and
V. S. Anil Kumar and
Madhav V. Marathe and
Samarth Swarup and
Gaurav Tuli and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {Inhibiting the Diffusion of Contagions in Bi-Threshold Systems: Analytical
and Experimental Results},
booktitle = {Complex Adaptive Systems: Energy, Information, and Intelligence, Papers
from the 2011 {AAAI} Fall Symposium, Arlington, Virginia, USA, November
4-6, 2011},
series = {{AAAI} Technical Report},
volume = {{FS-11-03}},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/FSS/FSS11/paper/view/4173},
timestamp = {Wed, 06 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaifs/KuhlmanKMSTRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbp/KuhlmanKMRR11,
author = {Chris J. Kuhlman and
V. S. Anil Kumar and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz},
editor = {John J. Salerno and
Shanchieh Jay Yang and
Dana S. Nau and
Sun{-}Ki Chai},
title = {Effects of Opposition on the Diffusion of Complex Contagions in Social
Networks: An Empirical Study},
booktitle = {Social Computing, Behavioral-Cultural Modeling and Prediction - 4th
International Conference, {SBP} 2011, College Park, MD, USA, March
29-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6589},
pages = {188--196},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19656-0\_28},
doi = {10.1007/978-3-642-19656-0\_28},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/sbp/KuhlmanKMRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/KuhlmanKMMSTRR11,
author = {Chris J. Kuhlman and
V. S. Anil Kumar and
Madhav V. Marathe and
Henning S. Mortveit and
Samarth Swarup and
Gaurav Tuli and
S. S. Ravi and
Daniel J. Rosenkrantz},
editor = {S. Jain and
Roy R. Creasey Jr. and
Jan Himmelspach and
K. Preston White and
Michael C. Fu},
title = {A general-purpose graph dynamical system modeling framework},
booktitle = {Winter Simulation Conference 2011, WSC'11, Phoenix, AZ, USA, December
11-14, 2011},
pages = {296--308},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/WSC.2011.6147758},
doi = {10.1109/WSC.2011.6147758},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/KuhlmanKMMSTRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/KuhlmanKMRR10,
author = {Chris J. Kuhlman and
V. S. Anil Kumar and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz},
editor = {Jos{\'{e}} L. Balc{\'{a}}zar and
Francesco Bonchi and
Aristides Gionis and
Mich{\`{e}}le Sebag},
title = {Finding Critical Nodes for Inhibiting Diffusion of Complex Contagions
in Social Networks},
booktitle = {Machine Learning and Knowledge Discovery in Databases, European Conference,
{ECML} {PKDD} 2010, Barcelona, Spain, September 20-24, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6322},
pages = {111--127},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15883-4\_8},
doi = {10.1007/978-3-642-15883-4\_8},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/KuhlmanKMRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/RosenkrantzGRG09,
author = {Daniel J. Rosenkrantz and
Sanjay Goel and
S. S. Ravi and
Jagdish Gangolly},
title = {Resilience Metrics for Service-Oriented Networks: {A} Service Allocation
Approach},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {2},
number = {3},
pages = {183--196},
year = {2009},
url = {https://doi.org/10.1109/TSC.2009.18},
doi = {10.1109/TSC.2009.18},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/RosenkrantzGRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/dataware/ChundiR09,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz},
editor = {John Wang},
title = {Segmentation of Time Series Data},
booktitle = {Encyclopedia of Data Warehousing and Mining, Second Edition {(4} Volumes)},
pages = {1753--1758},
publisher = {{IGI} Global},
year = {2009},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=11055},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/dataware/ChundiR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/ChundiR08,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz},
title = {Efficient algorithms for segmentation of item-set time series},
journal = {Data Min. Knowl. Discov.},
volume = {17},
number = {3},
pages = {377--401},
year = {2008},
url = {https://doi.org/10.1007/s10618-008-0095-0},
doi = {10.1007/S10618-008-0095-0},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/datamine/ChundiR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/SiyCRS08,
author = {Harvey P. Siy and
Parvathi Chundi and
Daniel J. Rosenkrantz and
Mahadevan Subramaniam},
title = {A segmentation-based approach for temporal analysis of software version
repositories},
journal = {J. Softw. Maintenance Res. Pract.},
volume = {20},
number = {3},
pages = {199--222},
year = {2008},
url = {https://doi.org/10.1002/smr.368},
doi = {10.1002/SMR.368},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/SiyCRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarrettHMRRST08,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Mayur Thakur},
title = {Errata for the paper "Predecessor existence problems for finite discrete
dynamical systems" {[TCS} 386 {(1-2)} {(2007)} 3-37]},
journal = {Theor. Comput. Sci.},
volume = {395},
number = {1},
pages = {132--133},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.11.001},
doi = {10.1016/J.TCS.2007.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarrettHMRRST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-2535,
author = {Harry B. Hunt III and
Lenore R. Mullin and
Daniel J. Rosenkrantz and
James E. Raynolds},
title = {A Transformation--Based Approach for the Design of Parallel/Distributed
Scientific Software: the {FFT}},
journal = {CoRR},
volume = {abs/0811.2535},
year = {2008},
url = {http://arxiv.org/abs/0811.2535},
eprinttype = {arXiv},
eprint = {0811.2535},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-2535.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarrettHMRRST07,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Mayur Thakur},
title = {Predecessor existence problems for finite discrete dynamical systems},
journal = {Theor. Comput. Sci.},
volume = {386},
number = {1-2},
pages = {3--37},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.04.026},
doi = {10.1016/J.TCS.2007.04.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarrettHMRRST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/SiyCRS07,
author = {Harvey P. Siy and
Parvathi Chundi and
Daniel J. Rosenkrantz and
Mahadevan Subramaniam},
title = {Discovering Dynamic Developer Relationships from Software Version
Histories by Time Series Segmentation},
booktitle = {23rd {IEEE} International Conference on Software Maintenance {(ICSM}
2007), October 2-5, 2007, Paris, France},
pages = {415--424},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSM.2007.4362654},
doi = {10.1109/ICSM.2007.4362654},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icsm/SiyCRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BarrettHMRRST07,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Mayur Thakur},
editor = {Manuela M. Veloso},
title = {Computational Aspects of Analyzing Social Network Dynamics},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {2268--2273},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/365.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BarrettHMRRST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/RosenkrantzRT07,
author = {Daniel J. Rosenkrantz and
S. S. Ravi and
Giri Kumar Tayi},
editor = {Teofilo F. Gonzalez},
title = {Approximation Algorithms for Facility Dispersion},
booktitle = {Handbook of Approximation Algorithms and Metaheuristics},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420010749.ch38},
doi = {10.1201/9781420010749.CH38},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/RosenkrantzRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datamine/ChundiR06,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz},
title = {Information Preserving Time Decompositions of Time Stamped Documents\({}^{\mbox{*}}\)},
journal = {Data Min. Knowl. Discov.},
volume = {13},
number = {1},
pages = {41--65},
year = {2006},
url = {https://doi.org/10.1007/s10618-005-0035-1},
doi = {10.1007/S10618-005-0035-1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/datamine/ChundiR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BarrettHMRRS06,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Complexity of reachability problems for finite discrete dynamical
systems},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {8},
pages = {1317--1345},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2006.03.006},
doi = {10.1016/J.JCSS.2006.03.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BarrettHMRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/RosenkrantzTR06,
author = {Daniel J. Rosenkrantz and
Giri Kumar Tayi and
S. S. Ravi},
title = {Obtaining online approximation algorithms for facility dispersion
from offline algorithms},
journal = {Networks},
volume = {47},
number = {4},
pages = {206--217},
year = {2006},
url = {https://doi.org/10.1002/net.20109},
doi = {10.1002/NET.20109},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/RosenkrantzTR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RosenkrantzMH06,
author = {Daniel J. Rosenkrantz and
Lenore M. R. Mullin and
Harry B. Hunt III},
title = {On minimizing materializations of array-valued temporaries},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {28},
number = {6},
pages = {1145--1177},
year = {2006},
url = {https://doi.org/10.1145/1186632.1186637},
doi = {10.1145/1186632.1186637},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RosenkrantzMH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/06/HuntMRS06,
author = {Harry B. Hunt III and
Madhav V. Marathe and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Allon G. Percus and
Gabriel Istrate and
Cristopher Moore},
title = {Towards a Predictive Computational Complexity Theory},
booktitle = {Computational Complexity and Statistical Physics},
series = {Santa Fe Institute Studies in the Sciences of Complexity},
pages = {285},
publisher = {Oxford University Press},
year = {2006},
timestamp = {Fri, 08 Jul 2022 12:53:00 +0200},
biburl = {https://dblp.org/rec/books/ox/06/HuntMRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulHVGHHRUVH05,
author = {Serge Abiteboul and
Richard Hull and
Victor Vianu and
Sheila A. Greibach and
Michael A. Harrison and
Ellis Horowitz and
Daniel J. Rosenkrantz and
Jeffrey D. Ullman and
Moshe Y. Vardi},
title = {In memory of Seymour Ginsburg 1928 - 2004},
journal = {{SIGMOD} Rec.},
volume = {34},
number = {1},
pages = {5--12},
year = {2005},
url = {https://doi.org/10.1145/1058150.1058152},
doi = {10.1145/1058150.1058152},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AbiteboulHVGHHRUVH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/Chundi0R05,
author = {Parvathi Chundi and
Rui Zhang and
Daniel J. Rosenkrantz},
editor = {Kim Viborg Andersen and
John K. Debenham and
Roland R. Wagner},
title = {Efficient Algorithms for Constructing Time Decompositions of Time
Stamped Documents},
booktitle = {Database and Expert Systems Applications, 16th International Conference,
{DEXA} 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3588},
pages = {514--523},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546924\_50},
doi = {10.1007/11546924\_50},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/Chundi0R05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/RosenkrantzGRG05,
author = {Daniel J. Rosenkrantz and
Sanjay Goel and
S. S. Ravi and
Jagdish Gangolly},
editor = {Mario Dal Cin and
Mohamed Ka{\^{a}}niche and
Andr{\'{a}}s Pataricza},
title = {Structure-Based Resilience Metrics for Service-Oriented Networks},
booktitle = {Dependable Computing - EDCC-5, 5th European Dependable Computing Conference,
Budapest, Hungary, April 20-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3463},
pages = {345--362},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11408901\_26},
doi = {10.1007/11408901\_26},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/RosenkrantzGRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/TayiRR04,
author = {Giri Kumar Tayi and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Local base station assignment with time intervals in mobile computing
environments},
journal = {Eur. J. Oper. Res.},
volume = {157},
number = {2},
pages = {267--285},
year = {2004},
url = {https://doi.org/10.1016/S0377-2217(03)00190-5},
doi = {10.1016/S0377-2217(03)00190-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/TayiRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ChundiR04,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz},
editor = {David A. Grossman and
Luis Gravano and
ChengXiang Zhai and
Otthein Herzog and
David A. Evans},
title = {On lossy time decompositions of time stamped documents},
booktitle = {Proceedings of the 2004 {ACM} {CIKM} International Conference on Information
and Knowledge Management, Washington, DC, USA, November 8-13, 2004},
pages = {437--445},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1031171.1031256},
doi = {10.1145/1031171.1031256},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/ChundiR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdm/ChundiR04,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz},
editor = {Michael W. Berry and
Umeshwar Dayal and
Chandrika Kamath and
David B. Skillicorn},
title = {Constructing Time Decompositions for Analyzing Time-Stamped Documents},
booktitle = {Proceedings of the Fourth {SIAM} International Conference on Data
Mining, Lake Buena Vista, Florida, USA, April 22-24, 2004},
pages = {57--68},
publisher = {{SIAM}},
year = {2004},
url = {https://doi.org/10.1137/1.9781611972740.6},
doi = {10.1137/1.9781611972740.6},
timestamp = {Fri, 06 Oct 2023 11:45:43 +0200},
biburl = {https://dblp.org/rec/conf/sdm/ChundiR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Rosenkrantz03,
author = {Daniel J. Rosenkrantz},
title = {{JACM} 1986-1990},
journal = {J. {ACM}},
volume = {50},
number = {1},
pages = {18},
year = {2003},
url = {https://doi.org/10.1145/602382.602392},
doi = {10.1145/602382.602392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Rosenkrantz03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarrettHMRRS03,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Reachability problems for sequential dynamical systems with threshold
functions},
journal = {Theor. Comput. Sci.},
volume = {295},
pages = {41--64},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00395-X},
doi = {10.1016/S0304-3975(02)00395-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarrettHMRRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmcs/BarrettHMRRS03,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Michel Morvan and
Eric R{\'{e}}mila},
title = {Predecessor and Permutation Existence Problems for Sequential Dynamical
Systems},
booktitle = {Discrete Models for Complex Systems, DMCS'03, Lyon, France, June 16-19,
2003},
series = {{DMTCS} Proceedings},
volume = {{AB}},
pages = {69--80},
publisher = {{DMTCS}},
year = {2003},
url = {http://dmtcs.episciences.org/2314},
timestamp = {Wed, 15 Jan 2020 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/dmcs/BarrettHMRRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HuntMRRRS02,
author = {Harry B. Hunt III and
Madhav V. Marathe and
Venkatesh Radhakrishnan and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Parallel Approximation Schemes for a Class of Planar and Near Planar
Combinatorial Optimization Problems},
journal = {Inf. Comput.},
volume = {173},
number = {1},
pages = {40--63},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.2903},
doi = {10.1006/INCO.2002.2903},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HuntMRRRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/RosenkrantzYR01,
author = {Daniel J. Rosenkrantz and
Lin Yu and
S. S. Ravi},
title = {Efficient Construction of Minimum Makespan Schedules for Tasks with
a Fixed Number of Distinct Execution Times},
journal = {Algorithmica},
volume = {30},
number = {1},
pages = {83--100},
year = {2001},
url = {https://doi.org/10.1007/s004530010079},
doi = {10.1007/S004530010079},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/RosenkrantzYR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/RaviMRRH01,
author = {R. Ravi and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Approximation Algorithms for Degree-Constrained Minimum-Cost Network-Design
Problems},
journal = {Algorithmica},
volume = {31},
number = {1},
pages = {58--78},
year = {2001},
url = {https://doi.org/10.1007/s00453-001-0038-2},
doi = {10.1007/S00453-001-0038-2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/RaviMRRH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/RossHKRRSS01,
author = {Kenneth A. Ross and
Jiawei Han and
Nick Koudas and
Rajeev Rastogi and
Daniel J. Rosenkrantz and
Peter Scheuermann and
Dan Suciu},
title = {Reminiscences on Influential Papers},
journal = {{SIGMOD} Rec.},
volume = {30},
number = {3},
pages = {101--104},
year = {2001},
url = {https://doi.org/10.1145/603867.603882},
doi = {10.1145/603867.603882},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/RossHKRRSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmccg/BarrettHMRST01,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Predrag T. Tosic},
editor = {Robert Cori and
Jacques Mazoyer and
Michel Morvan and
R{\'{e}}my Mosseri},
title = {Gardens of Eden and Fixed Points in Sequential Dynamical Systems},
booktitle = {Discrete Models: Combinatorics, Computation, and Geometry, {DM-CCG}
2001},
series = {{DMTCS} Proceedings},
volume = {{AA}},
pages = {95--110},
year = {2001},
url = {http://dmtcs.episciences.org/2294},
timestamp = {Wed, 15 Jan 2020 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/dmccg/BarrettHMRST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BarrettHMRRS01,
author = {Christopher L. Barrett and
Harry B. Hunt III and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Analysis Problems for Sequential Dynamical Systems and Communicating
State Machines},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {159--172},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_15},
doi = {10.1007/3-540-44683-4\_15},
timestamp = {Sat, 19 Oct 2019 20:31:50 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BarrettHMRRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/RosenkrantzTR00,
author = {Daniel J. Rosenkrantz and
Giri Kumar Tayi and
S. S. Ravi},
title = {Algorithms for Path-Based Placement of Inspection Stations on Networks},
journal = {{INFORMS} J. Comput.},
volume = {12},
number = {2},
pages = {136--149},
year = {2000},
url = {https://doi.org/10.1287/ijoc.12.2.136.11895},
doi = {10.1287/IJOC.12.2.136.11895},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/RosenkrantzTR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/RosenkrantzTR00,
author = {Daniel J. Rosenkrantz and
Giri Kumar Tayi and
S. S. Ravi},
title = {Facility Dispersion Problems Under Capacity and Cost Constraints},
journal = {J. Comb. Optim.},
volume = {4},
number = {1},
pages = {7--33},
year = {2000},
url = {https://doi.org/10.1023/A:1009802105661},
doi = {10.1023/A:1009802105661},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/RosenkrantzTR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LakshmananRR00,
author = {K. B. Lakshmanan and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Alarm placement in systems with fault propagation},
journal = {Theor. Comput. Sci.},
volume = {243},
number = {1-2},
pages = {269--288},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)90214-6},
doi = {10.1016/S0304-3975(98)90214-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LakshmananRR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/RosenkrantzMH00,
author = {Daniel J. Rosenkrantz and
Lenore M. R. Mullin and
Harry B. Hunt III},
editor = {Samuel P. Midkiff and
Jos{\'{e}} E. Moreira and
Manish Gupta and
Siddhartha Chatterjee and
Jeanne Ferrante and
Jan F. Prins and
William W. Pugh and
Chau{-}Wen Tseng},
title = {On Materializations of Array-Valued Temporaries},
booktitle = {Languages and Compilers for Parallel Computing, 13th International
Workshop, {LCPC} 2000, Yorktown Heights, NY, USA, August 10-12, 2000,
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2017},
pages = {127--141},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45574-4\_9},
doi = {10.1007/3-540-45574-4\_9},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/RosenkrantzMH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/NarasimhanRR99,
author = {Ragini Narasimhan and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based
Fault Tolerance},
journal = {Int. J. Parallel Program.},
volume = {27},
number = {4},
pages = {289--323},
year = {1999},
url = {https://doi.org/10.1023/A:1018793714426},
doi = {10.1023/A:1018793714426},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/NarasimhanRR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/TayiRR99,
author = {Giri Kumar Tayi and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Path problems in networks with vector-valued edge weights},
journal = {Networks},
volume = {34},
number = {1},
pages = {19--35},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1097-0037(199908)34:1\&\#60;19::AID-NET3\&\#62;3.0.CO;2-6},
doi = {10.1002/(SICI)1097-0037(199908)34:1\&\#60;19::AID-NET3\&\#62;3.0.CO;2-6},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/TayiRR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/HuntMRRRS98,
author = {Harry B. Hunt III and
Madhav V. Marathe and
Venkatesh Radhakrishnan and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {NC-Approximation Schemes for {NP-} and PSPACE-Hard Problems for Geometric
Graphs},
journal = {J. Algorithms},
volume = {26},
number = {2},
pages = {238--274},
year = {1998},
url = {https://doi.org/10.1006/jagm.1997.0903},
doi = {10.1006/JAGM.1997.0903},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/HuntMRRRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/MaratheRSRRH98,
author = {Madhav V. Marathe and
R. Ravi and
Ravi Sundaram and
S. S. Ravi and
Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Bicriteria Network Design Problems},
journal = {J. Algorithms},
volume = {28},
number = {1},
pages = {142--171},
year = {1998},
url = {https://doi.org/10.1006/jagm.1998.0930},
doi = {10.1006/JAGM.1998.0930},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/MaratheRSRRH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/MaratheHRS98,
author = {Madhav V. Marathe and
Harry B. Hunt III and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Theory of Periodically Specified Problems: Complexity and Approximability},
booktitle = {Proceedings of the 13th Annual {IEEE} Conference on Computational
Complexity, Buffalo, New York, USA, June 15-18, 1998},
pages = {106},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CCC.1998.694596},
doi = {10.1109/CCC.1998.694596},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/MaratheHRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-9809103,
author = {Madhav V. Marathe and
R. Ravi and
Ravi Sundaram and
S. S. Ravi and
Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Bicriteria Network Design Problems},
journal = {CoRR},
volume = {cs.CC/9809103},
year = {1998},
url = {https://arxiv.org/abs/cs/9809103},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-9809103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KrumkeMNRRR97,
author = {Sven Oliver Krumke and
Madhav V. Marathe and
Hartmut Noltemeier and
Venkatesh Radhakrishnan and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {Compact Location Problems},
journal = {Theor. Comput. Sci.},
volume = {181},
number = {2},
pages = {379--404},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00304-0},
doi = {10.1016/S0304-3975(96)00304-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KrumkeMNRRR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChundiRR97,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz and
S. S. Ravi},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Dave Oppenheim and
Jim Hightower and
K. M. George},
title = {Multi-site distributed database transactions utilizing deferred update},
booktitle = {Proceedings of the 1997 {ACM} symposium on Applied Computing, SAC'97,
San Jose, CA, USA, February 28 - March 1},
pages = {118--122},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/331697.331723},
doi = {10.1145/331697.331723},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/ChundiRR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/RaviSMRR96,
author = {R. Ravi and
Ravi Sundaram and
Madhav V. Marathe and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Spanning Trees - Short or Small},
journal = {{SIAM} J. Discret. Math.},
volume = {9},
number = {2},
pages = {178--200},
year = {1996},
url = {https://doi.org/10.1137/S0895480194266331},
doi = {10.1137/S0895480194266331},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/RaviSMRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ShuklaHR96,
author = {Sandeep K. Shukla and
Harry B. Hunt III and
Daniel J. Rosenkrantz},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {HORNSAT, Model Checking, Verification and games (Extended Abstract)},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {99--110},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_61},
doi = {10.1007/3-540-61474-5\_61},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ShuklaHR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/ShuklaRR96,
author = {Sandeep K. Shukla and
Daniel J. Rosenkrantz and
S. S. Ravi},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {A simulation and validation tool for self-stabilizing protocols},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {153--164},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/032/11},
doi = {10.1090/DIMACS/032/11},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/ShuklaRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/ShuklaRHS96,
author = {Sandeep K. Shukla and
Daniel J. Rosenkrantz and
Harry B. Hunt III and
Richard Edwin Stearns},
editor = {Ding{-}Zhu Du and
Jun Gu and
Panos M. Pardalos},
title = {The polynomial time decidability of simulation relations for finite
processes: {A} {HORNSAT} based approach},
booktitle = {Satisfiability Problem: Theory and Applications, Proceedings of a
{DIMACS} Workshop, Piscataway, New Jersey, USA, March 11-13, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {35},
pages = {603--641},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/035/17},
doi = {10.1090/DIMACS/035/17},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/ShuklaRHS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ShuklaHRS96,
author = {Sandeep K. Shukla and
Harry B. Hunt III and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {On the Complexity of Relational Problems for Finite State Processes
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {466--477},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_151},
doi = {10.1007/3-540-61440-0\_151},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ShuklaHRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ChundiRR96,
author = {Parvathi Chundi and
Daniel J. Rosenkrantz and
S. S. Ravi},
editor = {Stanley Y. W. Su},
title = {Deferred Updates and Data Placement in Distributed Databases},
booktitle = {Proceedings of the Twelfth International Conference on Data Engineering,
February 26 - March 1, 1996, New Orleans, Louisiana, {USA}},
pages = {469--476},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICDE.1996.492196},
doi = {10.1109/ICDE.1996.492196},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/ChundiRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ShuklaHRRS96,
author = {Sandeep K. Shukla and
Harry B. Hunt III and
Daniel J. Rosenkrantz and
S. S. Ravi and
Richard Edwin Stearns},
editor = {James E. Burns and
Yoram Moses},
title = {{I/O} Automata Based Verification of Finite State Distributed Systems:
Complexity Issues (Abstract)},
booktitle = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
1996},
pages = {122},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/248052.248072},
doi = {10.1145/248052.248072},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/ShuklaHRRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/MaratheBHRR95,
author = {Madhav V. Marathe and
Heinz Breu and
Harry B. Hunt III and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {Simple heuristics for unit disk graphs},
journal = {Networks},
volume = {25},
number = {2},
pages = {59--68},
year = {1995},
url = {https://doi.org/10.1002/net.3230250205},
doi = {10.1002/NET.3230250205},
timestamp = {Sun, 28 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/MaratheBHRR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BreitbartHR95,
author = {Yuri Breitbart and
Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {On the Size of Binary Decision Diagrams Representing Boolean Functions},
journal = {Theor. Comput. Sci.},
volume = {145},
number = {1{\&}2},
pages = {45--69},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00181-H},
doi = {10.1016/0304-3975(94)00181-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BreitbartHR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/NarasimhanRR95,
author = {Ragini Narasimhan and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Efficient algorithms for analyzing and synthesizing fault-tolerant
datapaths},
booktitle = {1995 {IEEE} International Symposium on Defect and Fault Tolerance
in {VLSI} and Nanotechnology Systems, {DFT} 1995, Lafayette, LA, USA,
November 13-15, 1995},
pages = {81--89},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/DFTVS.1995.476940},
doi = {10.1109/DFTVS.1995.476940},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/NarasimhanRR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MaratheRSRRH95,
author = {Madhav V. Marathe and
R. Ravi and
Ravi Sundaram and
S. S. Ravi and
Daniel J. Rosenkrantz and
Harry B. Hunt III},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Bicriteria Network Design Problems},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {487--498},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_99},
doi = {10.1007/3-540-60084-1\_99},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MaratheRSRRH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ChundiNRR95,
author = {Parvathi Chundi and
Ragini Narasimhan and
Daniel J. Rosenkrantz and
S. S. Ravi},
editor = {James H. Anderson},
title = {Active Client Primary-Backup Protocols (Abstract)},
booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
pages = {264},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224964.225002},
doi = {10.1145/224964.225002},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/ChundiNRR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/RaviRT94,
author = {S. S. Ravi and
Daniel J. Rosenkrantz and
Giri Kumar Tayi},
title = {Heuristic and Special Case Algorithms for Dispersion Problems},
journal = {Oper. Res.},
volume = {42},
number = {2},
pages = {299--310},
year = {1994},
url = {https://doi.org/10.1287/opre.42.2.299},
doi = {10.1287/OPRE.42.2.299},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/RaviRT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/GuRR94,
author = {Dechang Gu and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Construction of Check Sets for Algorithm-Based Fault Tolerance},
journal = {{IEEE} Trans. Computers},
volume = {43},
number = {6},
pages = {641--650},
year = {1994},
url = {https://doi.org/10.1109/12.286298},
doi = {10.1109/12.286298},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/GuRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/YuR94,
author = {Lin Yu and
Daniel J. Rosenkrantz},
title = {A Linear-Time Scheme for Version Reconstruction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {775--797},
year = {1994},
url = {https://doi.org/10.1145/177492.177705},
doi = {10.1145/177492.177705},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/YuR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/BernhardR94,
author = {Philip J. Bernhard and
Daniel J. Rosenkrantz},
title = {Partitioning Message Patterns for Bundled Omega Networks},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {5},
number = {4},
pages = {353--363},
year = {1994},
url = {https://doi.org/10.1109/71.273044},
doi = {10.1109/71.273044},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/BernhardR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/HuntMRRRS94,
author = {Harry B. Hunt III and
Madhav V. Marathe and
Venkatesh Radhakrishnan and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Jan van Leeuwen},
title = {A Unified Approach to Approximation Schemes for {NP-} and PSPACE-Hard
Problems for Geometric Graphs},
booktitle = {Algorithms - {ESA} '94, Second Annual European Symposium, Utrecht,
The Netherlands, September 26-28, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {855},
pages = {424--435},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0049428},
doi = {10.1007/BFB0049428},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/esa/HuntMRRRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HuntMRRRS94,
author = {Harry B. Hunt III and
Madhav V. Marathe and
Venkatesh Radhakrishnan and
S. S. Ravi and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {P. S. Thiagarajan},
title = {Approximation Schemes Using L-Reductions},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
pages = {342--353},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_136},
doi = {10.1007/3-540-58715-2\_136},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HuntMRRRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setada/BrunoR94,
author = {Jeanette Bruno and
Daniel J. Rosenkrantz},
editor = {Patricia A. Oberndorf},
title = {Interactive control restructuring},
booktitle = {Proceedings of the Second International Symposium on Environments
and Tools for Ada, {SETA} 1994, Washington, D.C., USA, 1994},
pages = {36--53},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/199189.192852},
doi = {10.1145/199189.192852},
timestamp = {Fri, 13 May 2022 10:43:21 +0200},
biburl = {https://dblp.org/rec/conf/setada/BrunoR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/RaviSMRR94,
author = {R. Ravi and
Ravi Sundaram and
Madhav V. Marathe and
Daniel J. Rosenkrantz and
S. S. Ravi},
editor = {Daniel Dominic Sleator},
title = {Spanning Trees Short or Small},
booktitle = {Proceedings of the Fifth Annual {ACM-SIAM} Symposium on Discrete Algorithms.
23-25 January 1994, Arlington, Virginia, {USA}},
pages = {546--555},
publisher = {{ACM/SIAM}},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=314464.314644},
timestamp = {Thu, 05 Jul 2018 07:29:19 +0200},
biburl = {https://dblp.org/rec/conf/soda/RaviSMRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MaratheBHRR94,
author = {Madhav V. Marathe and
Heinz Breu and
Harry B. Hunt III and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {Geometry based heuristics for unit disk graphs},
journal = {CoRR},
volume = {abs/math/9409226},
year = {1994},
url = {http://arxiv.org/abs/math/9409226},
eprinttype = {arXiv},
eprint = {math/9409226},
timestamp = {Sun, 28 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MaratheBHRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/GuRR93,
author = {Dechang Gu and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Determining Performance Measures of Algorithm-Based Fault Tolerant
Systems},
journal = {J. Parallel Distributed Comput.},
volume = {18},
number = {1},
pages = {56--70},
year = {1993},
url = {https://doi.org/10.1006/jpdc.1993.1044},
doi = {10.1006/JPDC.1993.1044},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/GuRR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/RosenkrantzH93,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {The Complexity of Processing Hierarchical Specifications},
journal = {{SIAM} J. Comput.},
volume = {22},
number = {3},
pages = {627--649},
year = {1993},
url = {https://doi.org/10.1137/0222042},
doi = {10.1137/0222042},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/RosenkrantzH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/RosenkrantzR93,
author = {Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Improved Bounds for Algorithm-Based Fault Tolerance},
journal = {{IEEE} Trans. Computers},
volume = {42},
number = {5},
pages = {630--635},
year = {1993},
url = {https://doi.org/10.1109/12.223684},
doi = {10.1109/12.223684},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/RosenkrantzR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/YuR93,
author = {Lin Yu and
Daniel J. Rosenkrantz},
title = {Ancestor Controlled Submodule Inclusion in Design Databases},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {5},
number = {2},
pages = {352--362},
year = {1993},
url = {https://doi.org/10.1109/69.219741},
doi = {10.1109/69.219741},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/YuR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RadhakrishnanKMRR93,
author = {Venkatesh Radhakrishnan and
Sven Oliver Krumke and
Madhav V. Marathe and
Daniel J. Rosenkrantz and
S. S. Ravi},
editor = {R. K. Shyamasundar},
title = {Compact Location Problems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {238--247},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_57},
doi = {10.1007/3-540-57529-4\_57},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RadhakrishnanKMRR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/ShamsunderRR93,
author = {Ragini Shamsunder and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Exploiting Data Flow Information in Algorithm-Based Fault Tolerance},
booktitle = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
pages = {280--289},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/FTCS.1993.627331},
doi = {10.1109/FTCS.1993.627331},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/ShamsunderRR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/RaviMRRH93,
author = {R. Ravi and
Madhav V. Marathe and
S. S. Ravi and
Daniel J. Rosenkrantz and
Harry B. Hunt III},
editor = {S. Rao Kosaraju and
David S. Johnson and
Alok Aggarwal},
title = {Many birds with one stone: multi-objective approximation algorithms},
booktitle = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Theory of
Computing, May 16-18, 1993, San Diego, CA, {USA}},
pages = {438--447},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/167088.167209},
doi = {10.1145/167088.167209},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/RaviMRRH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/YuR92,
author = {Lin Yu and
Daniel J. Rosenkrantz},
title = {Representability of Design Objects by Ancestor-Controlled Hierarchical
Specifications},
journal = {{SIAM} J. Comput.},
volume = {21},
number = {5},
pages = {824--855},
year = {1992},
url = {https://doi.org/10.1137/0221049},
doi = {10.1137/0221049},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/YuR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RosenkrantzH92,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
editor = {Jeffrey D. Ullman},
title = {The Complexity of STructural Containment and Equivalence},
booktitle = {Theoretical Studies in Computer Science, to Seymour Ginsburg on the
occasion of his 2\({}^{\mbox{6}}\). birthday},
pages = {101--132},
publisher = {Academic Press},
year = {1992},
url = {https://doi.org/10.1016/b978-0-12-708240-0.50009-5},
doi = {10.1016/B978-0-12-708240-0.50009-5},
timestamp = {Mon, 24 Jun 2019 15:47:45 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RosenkrantzH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KapurNRZ91,
author = {Deepak Kapur and
Paliath Narendran and
Daniel J. Rosenkrantz and
Hantao Zhang},
title = {Sufficient-Completeness, Ground-Reducibility and their Complexity},
journal = {Acta Informatica},
volume = {28},
number = {4},
pages = {311--350},
year = {1991},
url = {https://doi.org/10.1007/BF01893885},
doi = {10.1007/BF01893885},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/KapurNRZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BernhardR91,
author = {Philip J. Bernhard and
Daniel J. Rosenkrantz},
title = {An Efficient Method for Representing and Transmitting Message Patterns
on Multiprocessor Interconnection Networks},
journal = {J. Parallel Distributed Comput.},
volume = {11},
number = {1},
pages = {72--85},
year = {1991},
url = {https://doi.org/10.1016/0743-7315(91)90072-H},
doi = {10.1016/0743-7315(91)90072-H},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BernhardR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BernhardHR91,
author = {Philip J. Bernhard and
Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {Compaction of Message Patterns into Succinct Representations for Multiprocessor
Interconnection Networks},
journal = {J. Parallel Distributed Comput.},
volume = {12},
number = {1},
pages = {39--49},
year = {1991},
url = {https://doi.org/10.1016/0743-7315(91)90027-7},
doi = {10.1016/0743-7315(91)90027-7},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BernhardHR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/BernhardR91,
author = {Philip J. Bernhard and
Daniel J. Rosenkrantz},
title = {Using the Dual Path Property of Omega Networks to Obtain Conflict-Free
Message Routing},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {2},
number = {4},
pages = {503--507},
year = {1991},
url = {https://doi.org/10.1109/71.97906},
doi = {10.1109/71.97906},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/BernhardR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/GuRR91,
author = {Dechang Gu and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Construction and Analysis of Fault-Secure Multiprocessor Schedules},
booktitle = {Proceedings of the 1991 International Symposium on Fault-Tolerant
Computing, Montreal, Canada},
pages = {120--127},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/FTCS.1991.146650},
doi = {10.1109/FTCS.1991.146650},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/GuRR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wads/YuR91,
author = {Lin Yu and
Daniel J. Rosenkrantz},
editor = {Frank K. H. A. Dehne and
J{\"{o}}rg{-}R{\"{u}}diger Sack and
Nicola Santoro},
title = {A Linear-Time Scheme for Version Reconstruction (Extended Abstract)},
booktitle = {Algorithms and Data Structures, 2nd Workshop {WADS} '91, Ottawa, Canada,
August 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {519},
pages = {141--152},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0028257},
doi = {10.1007/BFB0028257},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/wads/YuR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wads/RaviRT91,
author = {S. S. Ravi and
Daniel J. Rosenkrantz and
Giri Kumar Tayi},
editor = {Frank K. H. A. Dehne and
J{\"{o}}rg{-}R{\"{u}}diger Sack and
Nicola Santoro},
title = {Facility Dispersion Problems: Heuristics and Special Cases (Extended
Abstract)},
booktitle = {Algorithms and Data Structures, 2nd Workshop {WADS} '91, Ottawa, Canada,
August 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {519},
pages = {355--366},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0028275},
doi = {10.1007/BFB0028275},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wads/RaviRT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/91,
editor = {Daniel J. Rosenkrantz},
title = {Proceedings of the Tenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, May 29-31, 1991, Denver, Colorado,
{USA}},
publisher = {{ACM} Press},
year = {1991},
url = {http://dl.acm.org/citation.cfm?id=113413},
isbn = {0-89791-430-9},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/YuR89,
author = {Lin Yu and
Daniel J. Rosenkrantz},
title = {Minimizing Time-Space Cost for Database Version Control},
journal = {Acta Informatica},
volume = {27},
number = {7},
pages = {627--663},
year = {1990},
url = {https://doi.org/10.1007/BF00259470},
doi = {10.1007/BF00259470},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/YuR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Rosenkrantz90,
author = {Daniel J. Rosenkrantz},
title = {Half-Hot State Assignments for Finite State Machines},
journal = {{IEEE} Trans. Computers},
volume = {39},
number = {5},
pages = {700--702},
year = {1990},
url = {https://doi.org/10.1109/12.53583},
doi = {10.1109/12.53583},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Rosenkrantz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/GuRR90,
author = {Dechang Gu and
Daniel J. Rosenkrantz and
S. S. Ravi},
title = {Design and analysis of test schemes for algorithm-based fault tolerance},
booktitle = {Proceedings of the 20th International Symposium on Fault-Tolerant
Computing, {FTCS} 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990},
pages = {106--113},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/FTCS.1990.89341},
doi = {10.1109/FTCS.1990.89341},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/GuRR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/YuR90,
author = {Lin Yu and
Daniel J. Rosenkrantz},
editor = {Daniel J. Rosenkrantz and
Yehoshua Sagiv},
title = {Representability of Design Objects by Ancestor-Controlled Hierarchical
Specifications},
booktitle = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee,
{USA}},
pages = {28--39},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/298514.298539},
doi = {10.1145/298514.298539},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/YuR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/90,
editor = {Daniel J. Rosenkrantz and
Yehoshua Sagiv},
title = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee,
{USA}},
publisher = {{ACM} Press},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=298514},
isbn = {0-89791-352-3},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChakravartyHRR89,
author = {Sreejit Chakravarty and
Harry B. Hunt III and
S. S. Ravi and
Daniel J. Rosenkrantz},
title = {The Complexity of Generating Minimum Test Sets for PLA's and Monotone
Combinational Circuits},
journal = {{IEEE} Trans. Computers},
volume = {38},
number = {6},
pages = {865--869},
year = {1989},
url = {https://doi.org/10.1109/12.24296},
doi = {10.1109/12.24296},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ChakravartyHRR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/BernhardHR89,
author = {Philip J. Bernhard and
Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {Compaction of Message Patterns into Space-Efficient Representations
for Multiprocessor Interconnection Networks},
booktitle = {Proceedings of the International Conference on Parallel Processing,
{ICPP} '89, The Pennsylvania State University, University Park, PA,
USA, August 1989. Volume 1: Architecture},
pages = {111--115},
publisher = {Pennsylvania State University Press},
year = {1989},
timestamp = {Mon, 28 Jul 2014 17:06:00 +0200},
biburl = {https://dblp.org/rec/conf/icpp/BernhardHR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RosenkrantzH88,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Matrix Multiplication for Finite Algebraic Systems},
journal = {Inf. Process. Lett.},
volume = {28},
number = {4},
pages = {189--192},
year = {1988},
url = {https://doi.org/10.1016/0020-0190(88)90207-4},
doi = {10.1016/0020-0190(88)90207-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/RosenkrantzH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/YuR88,
author = {Lin Yu and
Daniel J. Rosenkrantz},
editor = {Chris Edmondson{-}Yurkanan and
Mihalis Yannakakis},
title = {Minimizing Time-Space Cost For Database Version Control},
booktitle = {Proceedings of the Seventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, March 21-23, 1988, Austin, Texas,
{USA}},
pages = {294--301},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/308386.308460},
doi = {10.1145/308386.308460},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/YuR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/HuntRB87,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz and
Peter A. Bloniarz},
title = {On the Computational Complexity of Algebra on Lattices},
journal = {{SIAM} J. Comput.},
volume = {16},
number = {1},
pages = {129--148},
year = {1987},
url = {https://doi.org/10.1137/0216011},
doi = {10.1137/0216011},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/HuntRB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RosenkrantzH87,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Efficient Algorithms for Automatic Construction and Compactification
of Parsing Grammars},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {9},
number = {4},
pages = {543--566},
year = {1987},
url = {https://doi.org/10.1145/29873.29876},
doi = {10.1145/29873.29876},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RosenkrantzH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/HuntR86,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {Recursion Schemes and Recursive Programs are Exponentially Hard to
Analyze},
journal = {{SIAM} J. Comput.},
volume = {15},
number = {3},
pages = {831--850},
year = {1986},
url = {https://doi.org/10.1137/0215059},
doi = {10.1137/0215059},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/HuntR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RosenkrantzH85,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Testing for Grammatical Coverings},
journal = {Theor. Comput. Sci.},
volume = {38},
pages = {323--341},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90226-9},
doi = {10.1016/0304-3975(85)90226-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RosenkrantzH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BloniarzHR84,
author = {Peter A. Bloniarz and
Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {Algebraic Structures with Hard Equivalence and Minimization Problems},
journal = {J. {ACM}},
volume = {31},
number = {4},
pages = {879--904},
year = {1984},
url = {https://doi.org/10.1145/1634.1639},
doi = {10.1145/1634.1639},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BloniarzHR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HuntR84,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {The Complexity of Monadic Recursion Schemes: Exponential Time Bounds},
journal = {J. Comput. Syst. Sci.},
volume = {28},
number = {3},
pages = {395--419},
year = {1984},
url = {https://doi.org/10.1016/0022-0000(84)90021-7},
doi = {10.1016/0022-0000(84)90021-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HuntR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/RosenkrantzSL84,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis II},
title = {Consistency and Serializability in Concurrent Database Systems},
journal = {{SIAM} J. Comput.},
volume = {13},
number = {3},
pages = {508--530},
year = {1984},
url = {https://doi.org/10.1137/0213032},
doi = {10.1137/0213032},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/RosenkrantzSL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/84,
editor = {Daniel J. Rosenkrantz and
Ronald Fagin},
title = {Proceedings of the Third {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
publisher = {{ACM}},
year = {1984},
url = {http://dl.acm.org/citation.cfm?id=588011},
isbn = {0-89791-128-8},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuntR83,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {The Complexity of Monadic Recursion Schemes: Executability Problems,
Nesting Depth, and Applications},
journal = {Theor. Comput. Sci.},
volume = {27},
pages = {3--38},
year = {1983},
url = {https://doi.org/10.1016/0304-3975(83)90091-9},
doi = {10.1016/0304-3975(83)90091-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HuntR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/StearnsR81,
author = {Richard Edwin Stearns and
Daniel J. Rosenkrantz},
editor = {Y. Edmund Lien},
title = {Distributed Database Concurrency Controls Using Before-Values},
booktitle = {Proceedings of the 1981 {ACM} {SIGMOD} International Conference on
Management of Data, Ann Arbor, Michigan, USA, April 29 - May 1, 1981},
pages = {74--83},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/582318.582330},
doi = {10.1145/582318.582330},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/StearnsR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HuntR80,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {The Complexity of Recursion Schemes and Recursive Programming Languages
(Extended Abstract)},
booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
New York, USA, 13-15 October 1980},
pages = {152--160},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SFCS.1980.45},
doi = {10.1109/SFCS.1980.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HuntR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HuntR80,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Efficient Algorithms for Structural Similarity of Grammars},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {213--219},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567467},
doi = {10.1145/567446.567467},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HuntR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/RosenkrantzH80,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Processing Conjunctive Predicates and Queries},
booktitle = {Sixth International Conference on Very Large Data Bases, October 1-3,
1980, Montreal, Quebec, Canada, Proceedings},
pages = {64--72},
publisher = {{IEEE} Computer Society},
year = {1980},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/RosenkrantzH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/HuntR79,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
editor = {Philip A. Bernstein},
title = {The Complexity of Testing Predicate Locks},
booktitle = {Proceedings of the 1979 {ACM} {SIGMOD} International Conference on
Management of Data, Boston, Massachusetts, USA, May 30 - June 1},
pages = {127--133},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/582095.582115},
doi = {10.1145/582095.582115},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/HuntR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/HuntR78,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {Computational Parallels Between the Regular and Context-Free Languages},
journal = {{SIAM} J. Comput.},
volume = {7},
number = {1},
pages = {99--114},
year = {1978},
url = {https://doi.org/10.1137/0207007},
doi = {10.1137/0207007},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/HuntR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/RosenkrantzH78,
author = {Daniel J. Rosenkrantz and
Harry B. Hunt III},
title = {Polynomial Algorithms for Deterministic Pushdown Automata},
journal = {{SIAM} J. Comput.},
volume = {7},
number = {4},
pages = {405--412},
year = {1978},
url = {https://doi.org/10.1137/0207032},
doi = {10.1137/0207032},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/RosenkrantzH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/RosenkrantzSL78,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis II},
title = {System Level Concurrency Control for Distributed Database Systems},
journal = {{ACM} Trans. Database Syst.},
volume = {3},
number = {2},
pages = {178--198},
year = {1978},
url = {https://doi.org/10.1145/320251.320260},
doi = {10.1145/320251.320260},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/RosenkrantzSL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Rosenkrantz78,
author = {Daniel J. Rosenkrantz},
editor = {Eugene I. Lowenthal and
Nell B. Dale},
title = {Dynamic Database Dumping},
booktitle = {Proceedings of the 1978 {ACM} {SIGMOD} International Conference on
Management of Data, Austin, Texas, USA, May 31 - June 2, 1978},
pages = {3--8},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/509252.509257},
doi = {10.1145/509252.509257},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/Rosenkrantz78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HuntR77,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
title = {On Equivalence and Containment Problems for Formal Languages},
journal = {J. {ACM}},
volume = {24},
number = {3},
pages = {387--396},
year = {1977},
url = {https://doi.org/10.1145/322017.322020},
doi = {10.1145/322017.322020},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HuntR77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/RosenkrantzSL77,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis II},
title = {An Analysis of Several Heuristics for the Traveling Salesman Problem},
journal = {{SIAM} J. Comput.},
volume = {6},
number = {3},
pages = {563--581},
year = {1977},
url = {https://doi.org/10.1137/0206041},
doi = {10.1137/0206041},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/RosenkrantzSL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/berkeley/RosenkrantzSL77,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis II},
title = {A System Level Concurrency Control for Distributed Database Systems},
booktitle = {Proceedings of the Second Berkeley Workshop on Distributed Data Management
and Computer Networks, May 25-27, 1977},
pages = {132--145},
publisher = {Technical Information Department, Lawrence Berkeley Laboratory, University
of California, Berkeley {CA}},
year = {1977},
timestamp = {Sat, 03 Aug 2019 18:08:49 +0200},
biburl = {https://dblp.org/rec/conf/berkeley/RosenkrantzSL77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HuntRS76,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz and
Thomas G. Szymanski},
title = {On the Equivalence, Containment, and Covering Problems for the Regular
and Context-Free Languages},
journal = {J. Comput. Syst. Sci.},
volume = {12},
number = {2},
pages = {222--268},
year = {1976},
url = {https://doi.org/10.1016/S0022-0000(76)80038-4},
doi = {10.1016/S0022-0000(76)80038-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HuntRS76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuntRS76,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz and
Thomas G. Szymanski},
title = {The Covering Problem for Linear Context-Free Grammars},
journal = {Theor. Comput. Sci.},
volume = {2},
number = {3},
pages = {361--382},
year = {1976},
url = {https://doi.org/10.1016/0304-3975(76)90088-8},
doi = {10.1016/0304-3975(76)90088-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HuntRS76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/StearnsLR76,
author = {Richard Edwin Stearns and
Philip M. Lewis II and
Daniel J. Rosenkrantz},
title = {Concurrency Control for Database Systems},
booktitle = {17th Annual Symposium on Foundations of Computer Science, Houston,
Texas, USA, 25-27 October 1976},
pages = {19--32},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {https://doi.org/10.1109/SFCS.1976.12},
doi = {10.1109/SFCS.1976.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/StearnsLR76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LewisRS74,
author = {Philip M. Lewis II and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Attributed Translations},
journal = {J. Comput. Syst. Sci.},
volume = {9},
number = {3},
pages = {279--307},
year = {1974},
url = {https://doi.org/10.1016/S0022-0000(74)80045-0},
doi = {10.1016/S0022-0000(74)80045-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LewisRS74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/RosenkrantzSL74,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns and
Philip M. Lewis II},
title = {Approximate Algorithms for the Traveling Salesperson Problem},
booktitle = {15th Annual Symposium on Switching and Automata Theory, New Orleans,
Louisiana, USA, October 14-16, 1974},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {1974},
url = {https://doi.org/10.1109/SWAT.1974.4},
doi = {10.1109/SWAT.1974.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/RosenkrantzSL74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HuntR74,
author = {Harry B. Hunt III and
Daniel J. Rosenkrantz},
editor = {Robert L. Constable and
Robert W. Ritchie and
Jack W. Carlyle and
Michael A. Harrison},
title = {Computational Parallels between the Regular and Context-Free Languages},
booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1974, Seattle, Washington, {USA}},
pages = {64--74},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800119.803885},
doi = {10.1145/800119.803885},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HuntR74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LewisRS73,
author = {Philip M. Lewis II and
Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Alfred V. Aho and
Allan Borodin and
Robert L. Constable and
Robert W. Floyd and
Michael A. Harrison and
Richard M. Karp and
H. Raymond Strong},
title = {Attributed Translations},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1973, Austin, Texas, {USA}},
pages = {160--171},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800125.804047},
doi = {10.1145/800125.804047},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LewisRS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RosenkrantzS70,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns},
title = {Properties of Deterministic Top-Down Grammars},
journal = {Inf. Control.},
volume = {17},
number = {3},
pages = {226--256},
year = {1970},
url = {https://doi.org/10.1016/S0019-9958(70)90446-8},
doi = {10.1016/S0019-9958(70)90446-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RosenkrantzS70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/RosenkrantzL70,
author = {Daniel J. Rosenkrantz and
Philip M. Lewis II},
title = {Deterministic Left Corner Parsing (Extended Abstract)},
booktitle = {11th Annual Symposium on Switching and Automata Theory, Santa Monica,
California, USA, October 28-30, 1970},
pages = {139--152},
publisher = {{IEEE} Computer Society},
year = {1970},
url = {https://doi.org/10.1109/SWAT.1970.5},
doi = {10.1109/SWAT.1970.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/RosenkrantzL70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Rosenkrantz69,
author = {Daniel J. Rosenkrantz},
title = {Programmed Grammars and Classes of Formal Languages},
journal = {J. {ACM}},
volume = {16},
number = {1},
pages = {107--131},
year = {1969},
url = {https://doi.org/10.1145/321495.321504},
doi = {10.1145/321495.321504},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Rosenkrantz69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/StearnsR69,
author = {Richard Edwin Stearns and
Daniel J. Rosenkrantz},
title = {Table Machine Simulation},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {118--128},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.24},
doi = {10.1109/SWAT.1969.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/StearnsR69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/RosenkrantzS69,
author = {Daniel J. Rosenkrantz and
Richard Edwin Stearns},
editor = {Patrick C. Fischer and
Seymour Ginsburg and
Michael A. Harrison},
title = {Properties of Deterministic Top Down Grammars},
booktitle = {Proceedings of the 1st Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1969, Marina del Rey, CA, {USA}},
pages = {165--180},
publisher = {{ACM}},
year = {1969},
url = {https://doi.org/10.1145/800169.805431},
doi = {10.1145/800169.805431},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/RosenkrantzS69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Rosenkrantz67,
author = {Daniel J. Rosenkrantz},
title = {Matrix Equations and Normal Forms for Context-Free Grammars},
journal = {J. {ACM}},
volume = {14},
number = {3},
pages = {501--507},
year = {1967},
url = {https://doi.org/10.1145/321406.321412},
doi = {10.1145/321406.321412},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Rosenkrantz67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rosenkrantz67,
author = {Daniel J. Rosenkrantz},
title = {Programmed Grammars: {A} New Device for Generating Formal Languages},
booktitle = {8th Annual Symposium on Switching and Automata Theory, Austin, Texas,
USA, October 18-20, 1967},
pages = {14--20},
publisher = {{IEEE} Computer Society},
year = {1967},
url = {https://doi.org/10.1109/FOCS.1967.28},
doi = {10.1109/FOCS.1967.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rosenkrantz67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Rosenkrantz66,
author = {Daniel J. Rosenkrantz},
title = {Synchronizing Sequences for Incompletely Specified Flow Tables},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {15},
number = {1},
pages = {104--105},
year = {1966},
url = {https://doi.org/10.1109/PGEC.1966.264404},
doi = {10.1109/PGEC.1966.264404},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Rosenkrantz66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
