Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Deepak Kapur
@article{DBLP:journals/lmcs/Kapur23,
author = {Deepak Kapur},
title = {Modularity and Combination of Associative Commutative Congruence Closure
Algorithms enriched with Semantic Properties},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:19)2023},
doi = {10.46298/LMCS-19(1:19)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Kapur23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GhilardiGKN23,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur and
Chiara Naso},
title = {Interpolation Results for Arrays with Length and MaxDiff},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {4},
pages = {28:1--28:33},
year = {2023},
url = {https://doi.org/10.1145/3587161},
doi = {10.1145/3587161},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GhilardiGKN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-02183,
author = {Wayne M. Witzel and
Warren D. Craft and
Robert D. Carr and
Deepak Kapur},
title = {Verifying Quantum Phase Estimation {(QPE)} using Prove-It},
journal = {CoRR},
volume = {abs/2304.02183},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.02183},
doi = {10.48550/ARXIV.2304.02183},
eprinttype = {arXiv},
eprint = {2304.02183},
timestamp = {Thu, 20 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-09602,
author = {Deepak Kapur and
Paliath Narendran},
title = {Existence and Construction of a Gr{\"{o}}bner Basis for a Polynomial
Ideal},
journal = {CoRR},
volume = {abs/2306.09602},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.09602},
doi = {10.48550/ARXIV.2306.09602},
eprinttype = {arXiv},
eprint = {2306.09602},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-09602.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaaderK22,
author = {Franz Baader and
Deepak Kapur},
title = {Deciding the Word Problem for Ground and Strongly Shallow Identities
w.r.t. Extensional Symbols},
journal = {J. Autom. Reason.},
volume = {66},
number = {3},
pages = {301--329},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09624-4},
doi = {10.1007/S10817-022-09624-4},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BaaderK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GhilardiGK22,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur},
title = {Uniform Interpolants in {EUF:} Algorithms using DAG-representations},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {2},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(2:2)2022},
doi = {10.46298/LMCS-18(2:2)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GhilardiGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ShangMK22,
author = {Weifeng Shang and
Chenqi Mou and
Deepak Kapur},
editor = {Marc Moreno Maza and
Lihong Zhi},
title = {Algorithms for Testing Membership in Univariate Quadratic Modules
over the Reals},
booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
pages = {429--437},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3476446.3536176},
doi = {10.1145/3476446.3536176},
timestamp = {Wed, 06 Jul 2022 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/issac/ShangMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11771,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur and
Chiara Naso},
title = {General Interpolation and Strong Amalgamation for Contiguous Arrays},
journal = {CoRR},
volume = {abs/2204.11771},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.11771},
doi = {10.48550/ARXIV.2204.11771},
eprinttype = {arXiv},
eprint = {2204.11771},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-11771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KapurLMSW21,
author = {Deepak Kapur and
Dong Lu and
Michael B. Monagan and
Yao Sun and
Dingkang Wang},
title = {Algorithms for computing greatest common divisors of parametric multivariate
polynomials},
journal = {J. Symb. Comput.},
volume = {102},
pages = {3--20},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2019.10.006},
doi = {10.1016/J.JSC.2019.10.006},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurLMSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GhilardiGK21,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Interpolation and Amalgamation for Arrays with MaxDiff},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {268--288},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_14},
doi = {10.1007/978-3-030-71995-1\_14},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GhilardiGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Kapur21,
author = {Deepak Kapur},
editor = {Naoki Kobayashi},
title = {A Modular Associative Commutative {(AC)} Congruence Closure Algorithm},
booktitle = {6th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina
(Virtual Conference)},
series = {LIPIcs},
volume = {195},
pages = {15:1--15:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2021.15},
doi = {10.4230/LIPICS.FSCD.2021.15},
timestamp = {Tue, 06 Jul 2021 15:26:45 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Kapur21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/JooGGK21,
author = {Jos{\'{e}} Abel Castellanos Joo and
Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur},
editor = {Alexander Nadel and
Aina Niemetz},
title = {AXDInterpolator: {A} Tool for Computing Interpolants for Arrays with
MaxDiff},
booktitle = {Proceedings of the 19th International Workshop on Satisfiability Modulo
Theories co-located with 33rd International Conference on Computer
Aided Verification(CAV 2021), Online (initially located in Los Angeles,
USA), July 18-19, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2908},
pages = {40--52},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2908/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/JooGGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04793,
author = {Deepak Kapur},
title = {Modularity and Combination of Associative Commutative Congruence Closure
Algorithms enriched with Semantic Properties},
journal = {CoRR},
volume = {abs/2111.04793},
year = {2021},
url = {https://arxiv.org/abs/2111.04793},
eprinttype = {arXiv},
eprint = {2111.04793},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaaderK20,
author = {Franz Baader and
Deepak Kapur},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Deciding the Word Problem for Ground Identities with Commutative and
Extensional Symbols},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {163--180},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_10},
doi = {10.1007/978-3-030-51074-9\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BaaderK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GhilardiGK20,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Computing Uniform Interpolants for {EUF} via (conditional) DAG-based
Compact Representations},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {67--81},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GhilardiGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09784,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur},
title = {Compactly Representing Uniform Interpolants for {EUF} using (conditional)
{DAGS}},
journal = {CoRR},
volume = {abs/2002.09784},
year = {2020},
url = {https://arxiv.org/abs/2002.09784},
eprinttype = {arXiv},
eprint = {2002.09784},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07957,
author = {Deepak Kapur and
Yiming Yang},
title = {An Algorithm for Computing a Minimal Comprehensive Gr{\"{o}}bner{\textbackslash},
Basis of a Parametric Polynomial System},
journal = {CoRR},
volume = {abs/2003.07957},
year = {2020},
url = {https://arxiv.org/abs/2003.07957},
eprinttype = {arXiv},
eprint = {2003.07957},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07957.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07082,
author = {Silvio Ghilardi and
Alessandro Gianola and
Deepak Kapur},
title = {Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)},
journal = {CoRR},
volume = {abs/2010.07082},
year = {2020},
url = {https://arxiv.org/abs/2010.07082},
eprinttype = {arXiv},
eprint = {2010.07082},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FranzleKWZ19,
author = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Heike Wehrheim and
Naijun Zhan},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {31},
number = {1},
pages = {1},
year = {2019},
url = {https://doi.org/10.1007/s00165-018-00477-6},
doi = {10.1007/S00165-018-00477-6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FranzleKWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/Kapur19,
author = {Deepak Kapur},
title = {Conditional Congruence Closure over Uninterpreted and Interpreted
Symbols},
journal = {J. Syst. Sci. Complex.},
volume = {32},
number = {1},
pages = {317--355},
year = {2019},
url = {https://doi.org/10.1007/s11424-019-8377-8},
doi = {10.1007/S11424-019-8377-8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/Kapur19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChenWAZKZ19,
author = {Mingshuai Chen and
Jian Wang and
Jie An and
Bohua Zhan and
Deepak Kapur and
Naijun Zhan},
editor = {Pascal Fontaine},
title = {{NIL:} Learning Nonlinear Interpolants},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {178--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_11},
doi = {10.1007/978-3-030-29436-6\_11},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChenWAZKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-11765,
author = {ThanhVu Nguyen and
Westley Weimer and
Deepak Kapur and
Stephanie Forrest},
title = {Connecting Program Synthesis and Reachability: Automatic Program Repair
using Test-Input Generation},
journal = {CoRR},
volume = {abs/1903.11765},
year = {2019},
url = {http://arxiv.org/abs/1903.11765},
eprinttype = {arXiv},
eprint = {1903.11765},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-11765.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07463,
author = {ThanhVu Nguyen and
Deepak Kapur and
Westley Weimer and
Stephanie Forrest},
title = {Using Dynamic Analysis to Generate Disjunctive Invariants},
journal = {CoRR},
volume = {abs/1904.07463},
year = {2019},
url = {http://arxiv.org/abs/1904.07463},
eprinttype = {arXiv},
eprint = {1904.07463},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-11625,
author = {Mingshuai Chen and
Jian Wang and
Jie An and
Bohua Zhan and
Deepak Kapur and
Naijun Zhan},
title = {{NIL:} Learning Nonlinear Interpolants},
journal = {CoRR},
volume = {abs/1905.11625},
year = {2019},
url = {http://arxiv.org/abs/1905.11625},
eprinttype = {arXiv},
eprint = {1905.11625},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-11625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurLMSW18,
author = {Deepak Kapur and
Dong Lu and
Michael B. Monagan and
Yao Sun and
Dingkang Wang},
editor = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
title = {An Efficient Algorithm for Computing Parametric Multivariate Polynomial
{GCD}},
booktitle = {Proceedings of the 2018 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2018, New York, NY, USA, July 16-19,
2018},
pages = {239--246},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208976.3208980},
doi = {10.1145/3208976.3208980},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurLMSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DemriKW17,
author = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Preface - Special Issue of Selected Extended Papers of {IJCAR} 2014},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9394-0},
doi = {10.1007/S10817-016-9394-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DemriKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/Kapur17,
author = {Deepak Kapur},
title = {Comprehensive Gr{\"{o}}bner basis theory for a parametric polynomial
ideal and the associated completion algorithm},
journal = {J. Syst. Sci. Complex.},
volume = {30},
number = {1},
pages = {196--233},
year = {2017},
url = {https://doi.org/10.1007/s11424-017-6337-8},
doi = {10.1007/S11424-017-6337-8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/Kapur17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Kapur17,
author = {Deepak Kapur},
editor = {Matthew England and
Vijay Ganesh},
title = {Nonlinear Polynomials, Interpolants and Invariant Generation for System
Analysis},
booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking
and Symbolic Computation co-located with the 42nd International Symposium
on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
Germany, July 29, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1974},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1974/PwP.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/issac/Kapur17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NguyenWKF17,
author = {ThanhVu Nguyen and
Westley Weimer and
Deepak Kapur and
Stephanie Forrest},
editor = {Axel Legay and
Tiziana Margaria},
title = {Connecting Program Synthesis and Reachability: Automatic Program Repair
Using Test-Input Generation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {301--318},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_17},
doi = {10.1007/978-3-662-54577-5\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/NguyenWKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2017,
editor = {Dang Van Hung and
Deepak Kapur},
title = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10580},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67729-3},
doi = {10.1007/978-3-319-67729-3},
isbn = {978-3-319-67728-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GanDXZKC16,
author = {Ting Gan and
Liyun Dai and
Bican Xia and
Naijun Zhan and
Deepak Kapur and
Mingshuai Chen},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination
with {EUF}},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {195--212},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_14},
doi = {10.1007/978-3-319-40229-1\_14},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/GanDXZKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2016,
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3},
doi = {10.1007/978-3-319-47677-3},
isbn = {978-3-319-47676-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GanDXZKC16,
author = {Ting Gan and
Liyun Dai and
Bican Xia and
Naijun Zhan and
Deepak Kapur and
Mingshuai Chen},
title = {Interpolation synthesis for quadratic polynomial inequalities and
combination with {\textbackslash}textit\{EUF\}},
journal = {CoRR},
volume = {abs/1601.04802},
year = {2016},
url = {http://arxiv.org/abs/1601.04802},
eprinttype = {arXiv},
eprint = {1601.04802},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GanDXZKC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/VarmaK15,
author = {Roli Varma and
Deepak Kapur},
title = {Decoding femininity in computer science in India},
journal = {Commun. {ACM}},
volume = {58},
number = {5},
pages = {56--62},
year = {2015},
url = {https://doi.org/10.1145/2663339},
doi = {10.1145/2663339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/VarmaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001K15,
author = {Stephan Falke and
Deepak Kapur},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {When Is a Formula a Loop Invariant?},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {264--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_13},
doi = {10.1007/978-3-319-23165-5\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001K15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ErbaturKMNR15,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Unification and Matching in Hierarchical Combinations of Syntactic
Theories},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {291--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_18},
doi = {10.1007/978-3-319-24246-0\_18},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ErbaturKMNR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurY15,
author = {Deepak Kapur and
Yiming Yang},
editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
title = {An Algorithm to Check Whether a Basis of a Parametric Polynomial System
is a Comprehensive Gr{\"{o}}bner Basis and the Associated Completion
Algorithm},
booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
pages = {243--250},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755996.2756676},
doi = {10.1145/2755996.2756676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/NguyenKWF14,
author = {ThanhVu Nguyen and
Deepak Kapur and
Westley Weimer and
Stephanie Forrest},
title = {{DIG:} {A} Dynamic Invariant Generator for Polynomial and Array Invariants},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {23},
number = {4},
pages = {30:1--30:30},
year = {2014},
url = {https://doi.org/10.1145/2556782},
doi = {10.1145/2556782},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/NguyenKWF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ErbaturKMMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Christophe Ringeissen},
editor = {Anca Muscholl},
title = {On Asymmetric Unification and the Combination Problem in Disjoint
Theories},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {274--288},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_18},
doi = {10.1007/978-3-642-54830-7\_18},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ErbaturKMMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenKWF14,
author = {ThanhVu Nguyen and
Deepak Kapur and
Westley Weimer and
Stephanie Forrest},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Using dynamic analysis to generate disjunctive invariants},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {608--619},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568275},
doi = {10.1145/2568225.2568275},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NguyenKWF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChenLMKW14,
author = {Liqian Chen and
Jiangchao Liu and
Antoine Min{\'{e}} and
Deepak Kapur and
Ji Wang},
editor = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {An Abstract Domain to Infer Octagonal Constraints with Absolute Value},
booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
Germany, September 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8723},
pages = {101--117},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10936-7\_7},
doi = {10.1007/978-3-319-10936-7\_7},
timestamp = {Mon, 07 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChenLMKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturKMMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Catherine Meadows and
Paliath Narendran and
Christophe Ringeissen},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {On Asymmetric Unification and the Combination Problem in Disjoint
Theories (Extended Abstract)},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {33--35},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=38},
timestamp = {Tue, 19 Sep 2023 15:35:06 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturKMMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturKMNR14,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Temur Kutsia and
Christophe Ringeissen},
title = {Hierarchical Combination of Matching Algorithms (Extended Abstract)},
booktitle = {Proceedings of the 28th International Workshop on Unification, {UNIF}
2014, Vienna, Austria, July 13, 2014},
pages = {36--40},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc\_5001/proceedings-UNIF2014.pdf\#page=41},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturKMNR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014,
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6},
doi = {10.1007/978-3-319-08587-6},
isbn = {978-3-319-08586-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/ZhangK13,
author = {Zhihai Zhang and
Deepak Kapur},
title = {On invariant checking},
journal = {J. Syst. Sci. Complex.},
volume = {26},
number = {3},
pages = {470--482},
year = {2013},
url = {https://doi.org/10.1007/s11424-013-1296-1},
doi = {10.1007/S11424-013-1296-1},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/ZhangK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KapurSW13,
author = {Deepak Kapur and
Yao Sun and
Dingkang Wang},
title = {An efficient algorithm for computing a comprehensive Gr{\"{o}}bner
system of a parametric polynomial system},
journal = {J. Symb. Comput.},
volume = {49},
pages = {27--44},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2011.12.015},
doi = {10.1016/J.JSC.2011.12.015},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KapurSW13a,
author = {Deepak Kapur and
Yao Sun and
Dingkang Wang},
title = {An efficient method for computing comprehensive Gr{\"{o}}bner
bases},
journal = {J. Symb. Comput.},
volume = {52},
pages = {124--142},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.05.015},
doi = {10.1016/J.JSC.2012.05.015},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurSW13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KapurNVWW13,
author = {Deepak Kapur and
Robert Nieuwenhuis and
Andrei Voronkov and
Christoph Weidenbach and
Reinhard Wilhelm},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Harald Ganzinger's Legacy: Contributions to Logics and Programming},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {1--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_1},
doi = {10.1007/978-3-642-37651-1\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KapurNVWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KapurZHZLN13,
author = {Deepak Kapur and
Zhihai Zhang and
Matthias Horbach and
Hengjun Zhao and
Qi Lu and
ThanhVu Nguyen},
editor = {Maria Paola Bonacina and
Mark E. Stickel},
title = {Geometric Quantifier Elimination Heuristics for Automatically Generating
Octagonal and Max-plus Invariants},
booktitle = {Automated Reasoning and Mathematics - Essays in Memory of William
W. McCune},
series = {Lecture Notes in Computer Science},
volume = {7788},
pages = {189--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36675-8\_11},
doi = {10.1007/978-3-642-36675-8\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KapurZHZLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kapur13,
author = {Deepak Kapur},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Elimination Techniques for Program Analysis},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {194--215},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_8},
doi = {10.1007/978-3-642-37651-1\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kapur13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZhaoZK13,
author = {Hengjun Zhao and
Naijun Zhan and
Deepak Kapur},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Synthesizing Switching Controllers for Hybrid Systems by Generating
Invariants},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {354--373},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_22},
doi = {10.1007/978-3-642-39698-4\_22},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ZhaoZK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturEKLLMMNSS13,
author = {Serdar Erbatur and
Santiago Escobar and
Deepak Kapur and
Zhiqiang Liu and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Sonia Santiago and
Ralf Sasse},
editor = {Maria Paola Bonacina},
title = {Asymmetric Unification: {A} New Unification Paradigm for Cryptographic
Protocol Analysis},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {231--248},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_16},
doi = {10.1007/978-3-642-38574-2\_16},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturEKLLMMNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturKMNR13,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Maria Paola Bonacina},
title = {Hierarchical Combination},
booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7898},
pages = {249--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38574-2\_17},
doi = {10.1007/978-3-642-38574-2\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ErbaturKMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ErbaturKMNR13,
author = {Serdar Erbatur and
Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran and
Christophe Ringeissen},
editor = {Konstantin Korovin and
Barbara Morawska},
title = {Hierarchical Combination of Unication Algorithms (Extended Abstract)},
booktitle = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
Netherlands, June 26, 2013},
series = {EPiC Series in Computing},
volume = {19},
pages = {30--34},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/vb87},
doi = {10.29007/VB87},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ErbaturKMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-0825,
author = {Deepak Kapur and
Naijun Zhan and
Hengjun Zhao},
title = {Synthesizing Switching Controllers for Hybrid Systems by Continuous
Invariant Generation},
journal = {CoRR},
volume = {abs/1304.0825},
year = {2013},
url = {http://arxiv.org/abs/1304.0825},
eprinttype = {arXiv},
eprint = {1304.0825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-0825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GaoK12,
author = {Xiao{-}Shan Gao and
Deepak Kapur},
title = {Preface},
journal = {J. Symb. Comput.},
volume = {47},
number = {6},
pages = {583--585},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.020},
doi = {10.1016/J.JSC.2011.12.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GaoK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GaoK12a,
author = {Xiao{-}Shan Gao and
Deepak Kapur},
title = {A brief introduction to Wen-Tsun Wu's academic career},
journal = {J. Symb. Comput.},
volume = {47},
number = {6},
pages = {586--588},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.021},
doi = {10.1016/J.JSC.2011.12.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GaoK12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FalkeK12,
author = {Stephan Falke and
Deepak Kapur},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Rewriting Induction + Linear Arithmetic = Decision Procedure},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {241--255},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_20},
doi = {10.1007/978-3-642-31365-3\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/FalkeK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/ErbaturEKLLMMNSS12,
author = {Serdar Erbatur and
Santiago Escobar and
Deepak Kapur and
Zhiqiang Liu and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Sonia Santiago and
Ralf Sasse},
editor = {Sara Foresti and
Moti Yung and
Fabio Martinelli},
title = {Effective Symbolic Protocol Analysis via Equational Irreducibility
Conditions},
booktitle = {Computer Security - {ESORICS} 2012 - 17th European Symposium on Research
in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7459},
pages = {73--90},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33167-1\_5},
doi = {10.1007/978-3-642-33167-1\_5},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/ErbaturEKLLMMNSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZhaoZKL12,
author = {Hengjun Zhao and
Naijun Zhan and
Deepak Kapur and
Kim G. Larsen},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {A "Hybrid" Approach for Synthesizing Optimal Controllers
of Hybrid Systems: {A} Case Study of the Oil Pump Industrial Example},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {471--485},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_38},
doi = {10.1007/978-3-642-32759-9\_38},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ZhaoZKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenKWF12,
author = {ThanhVu Nguyen and
Deepak Kapur and
Westley Weimer and
Stephanie Forrest},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Using dynamic analysis to discover polynomial and array invariants},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {683--693},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227149},
doi = {10.1109/ICSE.2012.6227149},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NguyenKWF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Kapur12,
author = {Deepak Kapur},
editor = {Manindra Agrawal and
S. Barry Cooper and
Angsheng Li},
title = {Program Analysis Using Quantifier-Elimination Heuristics - (Extended
Abstract)},
booktitle = {Theory and Applications of Models of Computation - 9th Annual Conference,
{TAMC} 2012, Beijing, China, May 16-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7287},
pages = {94--108},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29952-0\_15},
doi = {10.1007/978-3-642-29952-0\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Kapur12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FalkeKS12,
author = {Stephan Falke and
Deepak Kapur and
Carsten Sinz},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Termination Analysis of Imperative Programs Using Bitvector Arithmetic},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {261--277},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_21},
doi = {10.1007/978-3-642-27705-4\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/FalkeKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6025,
author = {Hengjun Zhao and
Naijun Zhan and
Deepak Kapur and
Kim G. Larsen},
title = {A "Hybrid" Approach for Synthesizing Optimal Controllers
of Hybrid Systems: {A} Case Study of the Oil Pump Industrial Example},
journal = {CoRR},
volume = {abs/1203.6025},
year = {2012},
url = {http://arxiv.org/abs/1203.6025},
eprinttype = {arXiv},
eprint = {1203.6025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/ErbaturMKN11,
author = {Serdar Erbatur and
Andrew M. Marshall and
Deepak Kapur and
Paliath Narendran},
title = {Unification over Distributive Exponentiation (Sub)Theories},
journal = {J. Autom. Lang. Comb.},
volume = {16},
number = {2-4},
pages = {109--140},
year = {2011},
url = {https://doi.org/10.25596/jalc-2011-109},
doi = {10.25596/JALC-2011-109},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/ErbaturMKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurSW11,
author = {Deepak Kapur and
Yao Sun and
Dingkang Wang},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Computing comprehensive Gr{\"{o}}bner systems and comprehensive
Gr{\"{o}}bner bases simultaneously},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {193--200},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993918},
doi = {10.1145/1993886.1993918},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/EscobarKLMMNS11,
author = {Santiago Escobar and
Deepak Kapur and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Ralf Sasse},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {Protocol analysis in Maude-NPA using unification modulo homomorphic
encryption},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {65--76},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003488},
doi = {10.1145/2003476.2003488},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/EscobarKLMMNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FalkeKS11,
author = {Stephan Falke and
Deepak Kapur and
Carsten Sinz},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Termination Analysis of {C} Programs Using Compiler Intermediate Languages},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {41--50},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.41},
doi = {10.4230/LIPICS.RTA.2011.41},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/FalkeKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/ErbaturEKLLMMNS11,
author = {Serdar Erbatur and
Santiago Escobar and
Deepak Kapur and
Zhiqiang Liu and
Christopher Lynch and
Catherine Meadows and
Jos{\'{e}} Meseguer and
Paliath Narendran and
Ralf Sasse},
editor = {Franz Baader and
Barbara Morawska and
Jan Otop},
title = {Asymmetric Unification: {A} New Unification Paradigm for Cryptographic
Protocol Analysis},
booktitle = {Proceedings of the 25th International Workshop on Unification, {UNIF}
2011, Wroclaw, Poland, July 31, 2011},
pages = {59--64},
year = {2011},
url = {https://www.irif.fr/\%7Etreinen/unif/past/unif11/unif11-proceedings.pdf\#page=65},
timestamp = {Mon, 23 Oct 2023 15:28:12 +0200},
biburl = {https://dblp.org/rec/conf/unif/ErbaturEKLLMMNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kapur10,
author = {Deepak Kapur},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Induction, Invariants, and Abstraction},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {353},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_30},
doi = {10.1007/978-3-642-14203-1\_30},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kapur10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurSW10,
author = {Deepak Kapur and
Yao Sun and
Dingkang Wang},
editor = {Wolfram Koepf},
title = {A new algorithm for computing comprehensive Gr{\"{o}}bner systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {29--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837946},
doi = {10.1145/1837934.1837946},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/HendrixKM10,
author = {Joe Hendrix and
Deepak Kapur and
Jos{\'{e}} Meseguer},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {Coverset Induction with Partiality and Subsorts: {A} Powerlist Case
Study},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {275--290},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_20},
doi = {10.1007/978-3-642-14052-5\_20},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/HendrixKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/EnsafiPKC10,
author = {Roya Ensafi and
Jong Chun Park and
Deepak Kapur and
Jedidiah R. Crandall},
title = {Idle Port Scanning and Non-interference Analysis of Network Protocol
Stacks Using Model Checking},
booktitle = {19th {USENIX} Security Symposium, Washington, DC, USA, August 11-13,
2010, Proceedings},
pages = {257--272},
publisher = {{USENIX} Association},
year = {2010},
url = {http://www.usenix.org/events/sec10/tech/full\_papers/Ensafi.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/EnsafiPKC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MarronMSK10,
author = {Mark Marron and
Rupak Majumdar and
Darko Stefanovic and
Deepak Kapur},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Shape Analysis with Reference Set Relations},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {247--262},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_19},
doi = {10.1007/978-3-642-11319-2\_19},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MarronMSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4891,
author = {Deepak Kapur and
Andrew M. Marshall and
Paliath Narendran},
editor = {Maribel Fern{\'{a}}ndez},
title = {Unification modulo a partial theory of exponentiation},
booktitle = {Proceedings 24th International Workshop on Unification, {UNIF} 2010,
Edinburgh, United Kingdom, 14th July 2010},
series = {{EPTCS}},
volume = {42},
pages = {12--23},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.42.2},
doi = {10.4204/EPTCS.42.2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChtcherbaKM09,
author = {Arthur D. Chtcherba and
Deepak Kapur and
Manfred Minimair},
title = {Cayley-Dixon projection operator for multi-univariate composed polynomials},
journal = {J. Symb. Comput.},
volume = {44},
number = {8},
pages = {972--999},
year = {2009},
url = {https://doi.org/10.1016/j.jsc.2008.07.007},
doi = {10.1016/J.JSC.2008.07.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChtcherbaKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/KapurC09,
author = {Deepak Kapur and
Yongyang Cai},
title = {An Algorithm for Computing a Gr{\"{o}}bner Basis of a Polynomial
Ideal over a Ring with Zero Divisors},
journal = {Math. Comput. Sci.},
volume = {2},
number = {4},
pages = {601--634},
year = {2009},
url = {https://doi.org/10.1007/s11786-009-0072-z},
doi = {10.1007/S11786-009-0072-Z},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/KapurC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FalkeK09,
author = {Stephan Falke and
Deepak Kapur},
editor = {Renate A. Schmidt},
title = {A Term Rewriting Approach to the Automated Termination Analysis of
Imperative Programs},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {277--293},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_22},
doi = {10.1007/978-3-642-02959-2\_22},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/FalkeK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/MarronKH09,
author = {Mark Marron and
Deepak Kapur and
Manuel V. Hermenegildo},
editor = {Hillel Kolodner and
Guy L. Steele Jr.},
title = {Identification of logically related heap regions},
booktitle = {Proceedings of the 8th International Symposium on Memory Management,
{ISMM} 2009, Dublin, Ireland, June 19-20, 2009},
pages = {89--98},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542431.1542445},
doi = {10.1145/1542431.1542445},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/MarronKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/FalkeK09,
author = {Stephan Falke and
Deepak Kapur},
editor = {Santiago Escobar},
title = {Termination of Context-Sensitive Rewriting with Built-In Numbers and
Collection Data Structures},
booktitle = {Functional and Constraint Logic Programming, 18th International Workshop,
{WFLP} 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5979},
pages = {44--61},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11999-6\_4},
doi = {10.1007/978-3-642-11999-6\_4},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/FalkeK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/KapurM08,
author = {Deepak Kapur and
Manfred Minimair},
editor = {Thomas Sturm and
Christoph Zengler},
title = {Multivariate Resultants in Bernstein Basis},
booktitle = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
2008, Shanghai, China, September 22-24, 2008. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6301},
pages = {60--85},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-21046-4\_4},
doi = {10.1007/978-3-642-21046-4\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/adg/KapurM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MarronHKS08,
author = {Mark Marron and
Manuel V. Hermenegildo and
Deepak Kapur and
Darko Stefanovic},
editor = {Laurie J. Hendren},
title = {Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models},
booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4959},
pages = {245--259},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78791-4\_17},
doi = {10.1007/978-3-540-78791-4\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/MarronHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/MarronSKH08,
author = {Mark Marron and
Darko Stefanovic and
Deepak Kapur and
Manuel V. Hermenegildo},
editor = {Jos{\'{e}} Nelson Amaral},
title = {Identification of Heap-Carried Data Dependence Via Explicit Store
Heap Models},
booktitle = {Languages and Compilers for Parallel Computing, 21th International
Workshop, {LCPC} 2008, Edmonton, Canada, July 31 - August 2, 2008,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5335},
pages = {94--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89740-8\_7},
doi = {10.1007/978-3-540-89740-8\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/MarronSKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MarronMHSK08,
author = {Mark Marron and
Mario M{\'{e}}ndez{-}Lojo and
Manuel V. Hermenegildo and
Darko Stefanovic and
Deepak Kapur},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Sharing analysis of arrays, collections, and recursive structures},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {43--49},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512485},
doi = {10.1145/1512475.1512485},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MarronMHSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/FalkeK08,
author = {Stephan Falke and
Deepak Kapur},
editor = {Andrei Voronkov},
title = {Dependency Pairs for Rewriting with Built-In Numbers and Semantic
Data Structures},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {94--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_7},
doi = {10.1007/978-3-540-70590-1\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/FalkeK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FalkeK09,
author = {Stephan Falke and
Deepak Kapur},
editor = {Aart Middeldorp},
title = {Operational Termination of Conditional Rewriting with Built-in Numbers
and Semantic Data Structures},
booktitle = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {75--90},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.036},
doi = {10.1016/J.ENTCS.2009.03.036},
timestamp = {Thu, 09 Mar 2023 13:23:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FalkeK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ascm/2007,
editor = {Deepak Kapur},
title = {Computer Mathematics, 8th Asian Symposium, {ASCM} 2007, Singapore,
December 15-17, 2007. Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5081},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87827-8},
doi = {10.1007/978-3-540-87827-8},
isbn = {978-3-540-87826-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ascm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Rodriguez-CarbonellK07,
author = {Enric Rodr{\'{\i}}guez{-}Carbonell and
Deepak Kapur},
title = {Generating all polynomial invariants in simple loops},
journal = {J. Symb. Comput.},
volume = {42},
number = {4},
pages = {443--476},
year = {2007},
url = {https://doi.org/10.1016/j.jsc.2007.01.002},
doi = {10.1016/J.JSC.2007.01.002},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Rodriguez-CarbonellK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Rodriguez-CarbonellK07,
author = {Enric Rodr{\'{\i}}guez{-}Carbonell and
Deepak Kapur},
title = {Automatic generation of polynomial invariants of bounded degree using
abstract interpretation},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {54--75},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.003},
doi = {10.1016/J.SCICO.2006.03.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Rodriguez-CarbonellK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FalkeK07,
author = {Stephan Falke and
Deepak Kapur},
editor = {Frank Pfenning},
title = {Dependency Pairs for Rewriting with Non-free Constructors},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {426--442},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_32},
doi = {10.1007/978-3-540-73595-3\_32},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/FalkeK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MarronSHK07,
author = {Mark Marron and
Darko Stefanovic and
Manuel V. Hermenegildo and
Deepak Kapur},
editor = {Manuvir Das and
Dan Grossman},
title = {Heap analysis in the presence of collection libraries},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {31--36},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251541},
doi = {10.1145/1251535.1251541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MarronSHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GieslK06,
author = {J{\"{u}}rgen Giesl and
Deepak Kapur},
title = {Third Special Issue on Techniques for Automated Termination Proofs},
journal = {J. Autom. Reason.},
volume = {37},
number = {3},
pages = {153--154},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9052-z},
doi = {10.1007/S10817-006-9052-Z},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/Kapur06,
author = {Deepak Kapur},
title = {A Quantifier-Elimination Based Heuristic for Automatically Generating
Inductive Assertions for Programs},
journal = {J. Syst. Sci. Complex.},
volume = {19},
number = {3},
pages = {307--330},
year = {2006},
url = {https://doi.org/10.1007/s11424-006-0307-x},
doi = {10.1007/S11424-006-0307-X},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jossac/Kapur06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HongKPWR06,
author = {Hoon Hong and
Deepak Kapur and
Peter Paule and
Franz Winkler},
title = {Bruno Buchberger - {A} life devoted to symbolic computation},
journal = {J. Symb. Comput.},
volume = {41},
number = {3-4},
pages = {255--258},
year = {2006},
url = {https://doi.org/10.1016/j.jsc.2005.09.005},
doi = {10.1016/J.JSC.2005.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/HongKPWR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kapur06,
author = {Deepak Kapur},
title = {Preface on the contributed papers},
journal = {J. Symb. Comput.},
volume = {41},
number = {3-4},
pages = {259--260},
year = {2006},
url = {https://doi.org/10.1016/j.jsc.2005.09.006},
doi = {10.1016/J.JSC.2005.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kapur06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChtcherbaK06,
author = {Arthur D. Chtcherba and
Deepak Kapur},
editor = {Barry M. Trager},
title = {Conditions for determinantal formula for resultant of a polynomial
system},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2006, Genoa, Italy, July 9-12, 2006, Proceedings},
pages = {55--62},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1145768.1145784},
doi = {10.1145/1145768.1145784},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChtcherbaK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/MarronKSH06,
author = {Mark Marron and
Deepak Kapur and
Darko Stefanovic and
Manuel V. Hermenegildo},
editor = {George Alm{\'{a}}si and
Calin Cascaval and
Peng Wu},
title = {A Static Heap Analysis for Shape and Connectivity: Unified Memory
Analysis: The Base Framework},
booktitle = {Languages and Compilers for Parallel Computing, 19th International
Workshop, {LCPC} 2006, New Orleans, LA, USA, November 2-4, 2006. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {4382},
pages = {345--363},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-72521-3\_25},
doi = {10.1007/978-3-540-72521-3\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/MarronKSH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FalkeK06,
author = {Stephan Falke and
Deepak Kapur},
editor = {Miki Hermann and
Andrei Voronkov},
title = {Inductive Decidability Using Implicit Induction},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {45--59},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_4},
doi = {10.1007/11916277\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FalkeK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KapurMZ06,
author = {Deepak Kapur and
Rupak Majumdar and
Calogero G. Zarba},
editor = {Michal Young and
Premkumar T. Devanbu},
title = {Interpolation for data structures},
booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
USA, November 5-11, 2006},
pages = {105--116},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181775.1181789},
doi = {10.1145/1181775.1181789},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KapurMZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GieslK05,
author = {J{\"{u}}rgen Giesl and
Deepak Kapur},
title = {Preface},
journal = {J. Autom. Reason.},
volume = {34},
number = {2},
pages = {103--104},
year = {2005},
url = {https://doi.org/10.1007/s10817-006-7237-0},
doi = {10.1007/S10817-006-7237-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GieslK05a,
author = {J{\"{u}}rgen Giesl and
Deepak Kapur},
title = {Preface},
journal = {J. Autom. Reason.},
volume = {34},
number = {4},
pages = {323},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9021-y},
doi = {10.1007/S10817-005-9021-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GieslK05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KapurNW05,
author = {Deepak Kapur and
Paliath Narendran and
Lida Wang},
editor = {Dieter Hutter and
Werner Stephan},
title = {A Unification Algorithm for Analysis of Protocols with Blinded Signatures},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {433--451},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_25},
doi = {10.1007/978-3-540-32254-2\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KapurNW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChtcherbaKM05,
author = {Arthur D. Chtcherba and
Deepak Kapur and
Manfred Minimair},
editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
title = {Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials},
booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop,
{CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3718},
pages = {125--137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11555964\_11},
doi = {10.1007/11555964\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/casc/ChtcherbaKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/WinterK05,
author = {Victor L. Winter and
Deepak Kapur},
editor = {Fabrice Kordon and
Janos Sztipanovits},
title = {Towards Dynamic Partitioning of Reactive System Behavior: {A} Train
Controller Case Study},
booktitle = {Reliable Systems on Unreliable Networked Platforms - 12th Monterey
Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4322},
pages = {47--69},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-71156-8\_3},
doi = {10.1007/978-3-540-71156-8\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/WinterK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Kapur05,
author = {Deepak Kapur},
editor = {Franz Baader and
Peter Baumgartner and
Robert Nieuwenhuis and
Andrei Voronkov},
title = {Automatically Generating Loop Invariants Using Quantifier Elimination},
booktitle = {Deduction and Applications, 23.-28. October 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05431},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/511},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Kapur05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Kapur04,
author = {Deepak Kapur},
title = {Preface},
journal = {J. Autom. Reason.},
volume = {32},
number = {1},
pages = {1--2},
year = {2004},
url = {https://doi.org/10.1023/B:JARS.0000022020.08299.5b},
doi = {10.1023/B:JARS.0000022020.08299.5B},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Kapur04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Kapur04a,
author = {Deepak Kapur},
title = {Preface},
journal = {J. Autom. Reason.},
volume = {32},
number = {3},
pages = {185--186},
year = {2004},
url = {https://doi.org/10.1023/B:JARS.0000044948.61098.6c},
doi = {10.1023/B:JARS.0000044948.61098.6C},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Kapur04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KapurV04,
author = {Deepak Kapur and
Laurent Vigneron},
title = {Preface},
journal = {J. Autom. Reason.},
volume = {33},
number = {3-4},
pages = {219--220},
year = {2004},
url = {https://doi.org/10.1007/s10817-004-6240-6},
doi = {10.1007/S10817-004-6240-6},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KapurV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChtcherbaK04,
author = {Arthur D. Chtcherba and
Deepak Kapur},
title = {Constructing Sylvester-type resultant matrices using the Dixon formulation},
journal = {J. Symb. Comput.},
volume = {38},
number = {1},
pages = {777--814},
year = {2004},
url = {https://doi.org/10.1016/j.jsc.2003.11.003},
doi = {10.1016/J.JSC.2003.11.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChtcherbaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChtcherbaK04a,
author = {Arthur D. Chtcherba and
Deepak Kapur},
title = {Resultants for unmixed bivariate polynomial systems produced using
the Dixon formulation},
journal = {J. Symb. Comput.},
volume = {38},
number = {2},
pages = {915--958},
year = {2004},
url = {https://doi.org/10.1016/j.jsc.2003.12.001},
doi = {10.1016/J.JSC.2003.12.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChtcherbaK04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Rodriguez-CarbonellK04,
author = {Enric Rodr{\'{\i}}guez{-}Carbonell and
Deepak Kapur},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Program Verification Using Automatic Generation of Invariants},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {325--340},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_24},
doi = {10.1007/978-3-540-31862-0\_24},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Rodriguez-CarbonellK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChtcherbaK04,
author = {Arthur D. Chtcherba and
Deepak Kapur},
editor = {Jaime Gutierrez},
title = {Support hull: relating the cayley-dixon resultant constructions to
the support of a polynomial system},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2004, Santander, Spain, July 4-7, 2004, Proceedings},
pages = {95--102},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1005285.1005301},
doi = {10.1145/1005285.1005301},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChtcherbaK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Rodriguez-CarbonellK04,
author = {Enric Rodr{\'{\i}}guez{-}Carbonell and
Deepak Kapur},
editor = {Jaime Gutierrez},
title = {Automatic generation of polynomial loop},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2004, Santander, Spain, July 4-7, 2004, Proceedings},
pages = {266--273},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1005285.1005324},
doi = {10.1145/1005285.1005324},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Rodriguez-CarbonellK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Rodriguez-CarbonellK04,
author = {Enric Rodr{\'{\i}}guez{-}Carbonell and
Deepak Kapur},
editor = {Roberto Giacobazzi},
title = {An Abstract Interpretation Approach for Automatic Generation of Polynomial
Invariants},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {280--295},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_21},
doi = {10.1007/978-3-540-27864-1\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/Rodriguez-CarbonellK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/kl/04/WinterKF04,
author = {Victor L. Winter and
Deepak Kapur and
G. Fuehrer},
editor = {Fabrice Kordon and
Michel Lemoine},
title = {Formal Specifcation and Refinement of a Safe Train Control Function},
booktitle = {Formal Methods for Embedded Distributed Systems - How to Master the
Complexity},
pages = {25--64},
publisher = {Kluwer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-7997-4\_2},
doi = {10.1007/1-4020-7997-4\_2},
timestamp = {Mon, 18 May 2020 15:38:59 +0200},
biburl = {https://dblp.org/rec/books/kl/04/WinterKF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/ChtcherbaK03,
author = {Arthur D. Chtcherba and
Deepak Kapur},
title = {On the relationship between the Dixon-based resultant construction
and the supports of polynomial systems},
journal = {{SIGSAM} Bull.},
volume = {37},
number = {3},
pages = {66--67},
year = {2003},
url = {https://doi.org/10.1145/990353.990358},
doi = {10.1145/990353.990358},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/ChtcherbaK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Kapur03,
author = {Deepak Kapur},
title = {Announcement},
journal = {J. Autom. Reason.},
volume = {31},
number = {2},
pages = {105--105},
year = {2003},
url = {https://doi.org/10.1023/B:JARS.0000009622.67092.8d},
doi = {10.1023/B:JARS.0000009622.67092.8D},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Kapur03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChtcherbaK03,
author = {Arthur D. Chtcherba and
Deepak Kapur},
title = {Exact resultants for corner-cut unmixed multivariate polynomial systems
using the Dixon formulation},
journal = {J. Symb. Comput.},
volume = {36},
number = {3-4},
pages = {289--315},
year = {2003},
url = {https://doi.org/10.1016/S0747-7171(03)00084-1},
doi = {10.1016/S0747-7171(03)00084-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChtcherbaK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KapurS03,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {Vijay A. Saraswat},
title = {Automatic Generation of Simple Lemmas from Recursive Definitions Using
Decision Procedures - Preliminary Report},
booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
and Distributed Computation, 8th Asian Computing Science Conference,
Mumbai, India, December 10-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2896},
pages = {125--145},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40965-6\_9},
doi = {10.1007/978-3-540-40965-6\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/KapurS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GieslK03,
author = {J{\"{u}}rgen Giesl and
Deepak Kapur},
editor = {Franz Baader},
title = {Deciding Inductive Validity of Equations},
booktitle = {Automated Deduction - CADE-19, 19th International Conference on Automated
Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2741},
pages = {17--31},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45085-6\_3},
doi = {10.1007/978-3-540-45085-6\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GieslK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/CochranKS03,
author = {John Cochran and
Deepak Kapur and
Darko Stefanovic},
editor = {Peter Y. K. Cheung and
George A. Constantinides and
Jos{\'{e}} T. de Sousa},
title = {Model Checking Reconfigurable Processor Configurations for Safety
Properties},
booktitle = {Field Programmable Logic and Application, 13th International Conference,
{FPL} 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2778},
pages = {996--999},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45234-8\_104},
doi = {10.1007/978-3-540-45234-8\_104},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/fpl/CochranKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KapurNW03,
author = {Deepak Kapur and
Paliath Narendran and
Lida Wang},
editor = {Robert Nieuwenhuis},
title = {An E-unification Algorithm for Analyzing Protocols That Use Modular
Exponentiation},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {165--179},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_13},
doi = {10.1007/3-540-44881-0\_13},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/KapurNW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KapurS03,
author = {Deepak Kapur and
Nikita A. Sakhanenko},
editor = {David A. Basin and
Burkhart Wolff},
title = {Automatic Generation of Generalization Lemmas for Proving Properties
of Tail-Recursive Definitions},
booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference,
TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2758},
pages = {136--154},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/10930755\_9},
doi = {10.1007/10930755\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/KapurS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Kapur02,
author = {Deepak Kapur},
editor = {Alessandro Armando},
title = {A Rewrite Rule Based Framework for Combining Decision Procedures},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {87--102},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_8},
doi = {10.1007/3-540-45988-X\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Kapur02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChtcherbaK02,
author = {Arthur D. Chtcherba and
Deepak Kapur},
editor = {Teo Mora},
title = {On the efficiency and optimality of Dixon-based resultant methods},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2002, Lille, France, July 7-10, 2002, Proceedings},
pages = {29--36},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/780506.780511},
doi = {10.1145/780506.780511},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChtcherbaK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GieslK01,
author = {J{\"{u}}rgen Giesl and
Deepak Kapur},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Decidable Classes of Inductive Theorems},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {469--484},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_41},
doi = {10.1007/3-540-45744-5\_41},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GieslK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GrootHKPVLGWK01,
author = {Adriaan de Groot and
Jozef Hooman and
Fabrice Kordon and
Emmanuel Paviot{-}Adet and
Isabelle Vernier{-}Mounier and
Michel Lemoine and
Gervais Gaudi{\'{e}}re and
Victor L. Winter and
Deepak Kapur},
title = {A Survey: Applying Formal Methods to a Software Intensive System},
booktitle = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
2001, Albuquerque, NM, USA, Proceedings},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HASE.2001.966807},
doi = {10.1109/HASE.2001.966807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/GrootHKPVLGWK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GieslK01,
author = {J{\"{u}}rgen Giesl and
Deepak Kapur},
editor = {Aart Middeldorp},
title = {Dependency Pairs for Equational Rewriting},
booktitle = {Rewriting Techniques and Applications, 12th International Conference,
{RTA} 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2051},
pages = {93--108},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45127-7\_9},
doi = {10.1007/3-540-45127-7\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/GieslK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KapurWB01,
author = {Deepak Kapur and
Victor L. Winter and
Raymond Berg},
editor = {Christos D. Zaroliagis},
title = {Designing a Controller for a Multi-Train Multi-Track System},
booktitle = {Workshop on Algorithmic MeThods and Models for Optimization of RailwayS,
{ATMOS} 2001, Satellite Workshop of {ICALP} 2001, Crete, Greece, July
13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {1},
pages = {65--79},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00166-5},
doi = {10.1016/S1571-0661(04)00166-5},
timestamp = {Thu, 01 Dec 2022 11:30:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KapurWB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/alefeld01/Kapur01,
author = {Deepak Kapur},
editor = {G{\"{o}}tz Alefeld and
Jiri Rohn and
Siegfried M. Rump and
Tetsuro Yamamoto},
title = {Rewriting, Induction and Decision Procedures: {A} Case Study of Presburger
Arithmetic},
booktitle = {Symbolic Algebraic Methods and Verification Methods},
pages = {129--144},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-3-7091-6280-4\_13},
doi = {10.1007/978-3-7091-6280-4\_13},
timestamp = {Thu, 27 Jun 2019 15:50:12 +0200},
biburl = {https://dblp.org/rec/books/sp/alefeld01/Kapur01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KapurS00,
author = {Deepak Kapur and
Mahadevan Subramaniam},
title = {Using an induction prover for verifying arithmetic circuits},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {1},
pages = {32--65},
year = {2000},
url = {https://doi.org/10.1007/PL00010808},
doi = {10.1007/PL00010808},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KapurS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurS00,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {David A. McAllester},
title = {Extending Decision Procedures with Induction Schemes},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {324--345},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_26},
doi = {10.1007/10721959\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KapurS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChtcherbaK00,
author = {Arthur D. Chtcherba and
Deepak Kapur},
editor = {Carlo Traverso},
title = {Conditions for exact resultants using the Dixon formulation},
booktitle = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10,
2000},
pages = {62--70},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/345542.345583},
doi = {10.1145/345542.345583},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChtcherbaK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cviu/MichelNSK98,
author = {Jonathan D. Michel and
Nagaraj Nandhakumar and
Tushar Saxena and
Deepak Kapur},
title = {Geometric, Algebraic, and Thermophysical Techniques for Object Recognition
in {IR} Imagery},
journal = {Comput. Vis. Image Underst.},
volume = {72},
number = {1},
pages = {84--97},
year = {1998},
url = {https://doi.org/10.1006/cviu.1997.0669},
doi = {10.1006/CVIU.1997.0669},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cviu/MichelNSK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KapurS98,
author = {Deepak Kapur and
Mahadevan Subramaniam},
title = {Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory},
journal = {Formal Methods Syst. Des.},
volume = {13},
number = {2},
pages = {127--158},
year = {1998},
url = {https://doi.org/10.1023/A:1008610818519},
doi = {10.1023/A:1008610818519},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KapurS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RaoKS98,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
title = {Transformational Methodology for Proving Termination of Logic Programs},
journal = {J. Log. Program.},
volume = {34},
number = {1},
pages = {1--41},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)00028-9},
doi = {10.1016/S0743-1066(97)00028-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RaoKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KapurS98,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {Jieh Hsiang and
Atsushi Ohori},
title = {Mechanizing Reasoning about Large Finite Tables in a Rewrite Based
Theorem Prover},
booktitle = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1538},
pages = {22--42},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49366-2\_3},
doi = {10.1007/3-540-49366-2\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/KapurS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coots/ViswanadhaK98,
author = {Sreenivasa Viswanadha and
Deepak Kapur},
title = {{IBDL:} {A} Language for Interface Behavior Specification and Testing},
booktitle = {4th {USENIX} Conference on Object-Oriented Technologies and Systems
(COOTS), April 27-30, 1998, Eldorado Hotel, Santa Fe, New Mexico,
{USA}},
pages = {235--248},
publisher = {{USENIX}},
year = {1998},
url = {http://www.usenix.org/publications/library/proceedings/coots98/viswanadha.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coots/ViswanadhaK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/KapurS98,
author = {Deepak Kapur and
G. Sivakumar},
editor = {Ricardo Caferra and
Gernot Salzer},
title = {Proving Associative-Communicative Termination Using RPO-Compatible
Orderings},
booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1761},
pages = {39--61},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-46508-1\_3},
doi = {10.1007/3-540-46508-1\_3},
timestamp = {Mon, 05 Feb 2024 20:35:45 +0100},
biburl = {https://dblp.org/rec/conf/ftp/KapurS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/RaoKS97,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
title = {Proving Termination of {GHC} Programs},
journal = {New Gener. Comput.},
volume = {15},
number = {3},
pages = {293--338},
year = {1997},
url = {https://doi.org/10.1007/BF03037949},
doi = {10.1007/BF03037949},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/RaoKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurS97,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {S. Ramesh and
G. Sivakumar},
title = {Mechanizing Verification of Arithmetic Circuits: {SRT} Division},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1346},
pages = {103--122},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0058026},
doi = {10.1007/BFB0058026},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KapurS97,
author = {Deepak Kapur and
R. K. Shyamasundar},
editor = {Oded Maler},
title = {Synthesizing Controllers for Hybrid Systems},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {361--375},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014738},
doi = {10.1007/BFB0014738},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KapurS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurS97,
author = {Deepak Kapur and
Tushar Saxena},
editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
title = {Extraneous Factors in the Dixon Resultant Formulation},
booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 1997, Maui, Hawaii, USA, July 21-23, 1997},
pages = {141--148},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258726.258768},
doi = {10.1145/258726.258768},
timestamp = {Mon, 30 May 2022 14:18:14 +0200},
biburl = {https://dblp.org/rec/conf/issac/KapurS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kapur97,
author = {Deepak Kapur},
editor = {Hubert Comon},
title = {Shostak's Congruence Closure as Completion},
booktitle = {Rewriting Techniques and Applications, 8th International Conference,
RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1232},
pages = {23--37},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62950-5\_59},
doi = {10.1007/3-540-62950-5\_59},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Kapur97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KapurS97,
author = {Deepak Kapur and
G. Sivakumar},
editor = {Hubert Comon},
title = {A Total, Ground path Ordering for Proving Termination of AC-Rewrite
Systems},
booktitle = {Rewriting Techniques and Applications, 8th International Conference,
RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1232},
pages = {142--156},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62950-5\_67},
doi = {10.1007/3-540-62950-5\_67},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/KapurS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Kapur97,
author = {Deepak Kapur},
editor = {Elsa L. Gunter and
Amy P. Felty},
title = {Rewriting, Decision Procedures and Lemma Speculation for Automated
Hardware Verification},
booktitle = {Theorem Proving in Higher Order Logics, 10th International Conference,
TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1275},
pages = {171--182},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028393},
doi = {10.1007/BFB0028393},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Kapur97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KapurS96,
author = {Deepak Kapur and
Mahadevan Subramaniam},
title = {New Uses of Linear Arithmetic in Automated Theorem Proving by Induction},
journal = {J. Autom. Reason.},
volume = {16},
number = {1-2},
pages = {39--78},
year = {1996},
url = {https://doi.org/10.1007/BF00244459},
doi = {10.1007/BF00244459},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KapurS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MichelNSK96,
author = {Jonathan D. Michel and
Nagaraj Nandhakumar and
Tushar Saxena and
Deepak Kapur},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Using Elimination Methods to Compute Thermophysical Algebraic Invariants
from Infrared Imagery},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {1110--1115},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-165.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MichelNSK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Kapur96,
author = {Deepak Kapur},
editor = {Dongming Wang},
title = {Automated Geometric Reasoning: Dixon Resultants, Gr{\"{o}}bner
Bases, and Characteristic Sets},
booktitle = {Automated Deduction in Geometry, International Workshop on Automated
Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1360},
pages = {1--36},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0022716},
doi = {10.1007/BFB0022716},
timestamp = {Tue, 19 Nov 2019 15:07:32 +0100},
biburl = {https://dblp.org/rec/conf/adg/Kapur96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KapurS96,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Automating Induction over Mutually Recursive Functions},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {117--131},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014311},
doi = {10.1007/BFB0014311},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/KapurS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurS96,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Lemma Discovery in Automated Induction},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {538--552},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_112},
doi = {10.1007/3-540-61511-3\_112},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KapurS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KapurS96,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Mechanically Verifying a Family of Multiplier Circuits},
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 = {135--146},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_64},
doi = {10.1007/3-540-61474-5\_64},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KapurS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/VandevoordeK96,
author = {Mark T. Vandevoorde and
Deepak Kapur},
title = {Parallel User Interfaces for Parallel Applications},
booktitle = {Proceedings of the 5th International Symposium on High Performance
Distributed Computing {(HPDC} '96), Syracuse, NY, USA, August 6-9,
1996},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HPDC.1996.546185},
doi = {10.1109/HPDC.1996.546185},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/VandevoordeK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/BertossiPSKS96,
author = {Leopoldo E. Bertossi and
Javier Pinto and
Pablo S{\'{a}}ez and
Deepak Kapur and
Mahadevan Subramaniam},
editor = {Zbigniew W. Ras and
Maciej Michalewicz},
title = {Automating Proofs of Integrity Constraints in Situation Calculus},
booktitle = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS}
'96, Zakopane, Poland, June 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1079},
pages = {212--222},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61286-6\_146},
doi = {10.1007/3-540-61286-6\_146},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/BertossiPSKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kapur96,
author = {Deepak Kapur},
editor = {Harald Ganzinger},
title = {Rewrite-Based Automated Reasoning: Challenges Ahead},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {1--2},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_38},
doi = {10.1007/3-540-61464-8\_38},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Kapur96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/VandevoordeK96,
author = {Mark T. Vandevoorde and
Deepak Kapur},
editor = {Harald Ganzinger},
title = {Distributed Larch Prover {(DLP):} An Experiment in Parallelizing a
Rewrite-Rule Based Prover},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {420--423},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_71},
doi = {10.1007/3-540-61464-8\_71},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/VandevoordeK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KapurS96,
author = {Deepak Kapur and
Tushar Saxena},
editor = {Gary L. Miller},
title = {Sparsity Considerations in Dixon Resultants},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM} Symposium on the Theory
of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996},
pages = {184--191},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/237814.237862},
doi = {10.1145/237814.237862},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KapurS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KapurSZ95,
author = {Deepak Kapur and
G. Sivakumar and
Hantao Zhang},
title = {A Path Ordering for Proving Termination of {AC} Rewrite Systems},
journal = {J. Autom. Reason.},
volume = {14},
number = {2},
pages = {293--316},
year = {1995},
url = {https://doi.org/10.1007/BF00881859},
doi = {10.1007/BF00881859},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/KapurSZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KapurS95,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Automated Reasoning About Parallel Algorithms Using Powerlists},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {416--430},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_68},
doi = {10.1007/3-540-60043-4\_68},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/KapurS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurS95,
author = {Deepak Kapur and
G. Sivakumar},
editor = {P. S. Thiagarajan},
title = {Maximal Extensions os Simplification Orderings},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
pages = {225--239},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0\_51},
doi = {10.1007/3-540-60692-0\_51},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurS95,
author = {Deepak Kapur and
Tushar Saxena},
editor = {A. H. M. Levelt},
title = {Comparison of Various Multivariate Resultant Formulations},
booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '95, Montreal, Canada, July 10-12, 1995},
pages = {187--194},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/220346.220370},
doi = {10.1145/220346.220370},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurNM94,
author = {Deepak Kapur and
Xumin Nie and
David R. Musser},
title = {An Overview of the Tecton Proof System},
journal = {Theor. Comput. Sci.},
volume = {133},
number = {2},
pages = {307--339},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90192-9},
doi = {10.1016/0304-3975(94)90192-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurNM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurS94,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {P. S. Thiagarajan},
title = {Using Linear Arithmetic Procedure for Generating Induction Schemes},
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 = {438--449},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_144},
doi = {10.1007/3-540-58715-2\_144},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurSY94,
author = {Deepak Kapur and
Tushar Saxena and
Lu Yang},
editor = {Malcolm A. H. MacCallum},
title = {Algebraic and Geometric Reasoning Using Dixon Resultants},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '94, Oxford, UK, July 20-22, 1994},
pages = {99--107},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/190347.190372},
doi = {10.1145/190347.190372},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurSY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Kapur94,
author = {Deepak Kapur},
editor = {Thomas J. Ostrand},
title = {An Automated Tool for Analyzing Completeness of Equational Specifications},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {28--43},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.186496},
doi = {10.1145/186258.186496},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/Kapur94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RaoKS93,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
editor = {David Scott Warren},
title = {Proving Termination of {GHC} Programs},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {720--736},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RaoKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KapurN92,
author = {Deepak Kapur and
Paliath Narendran},
title = {Complexity of Unification Problems with Associative-Commutative Operators},
journal = {J. Autom. Reason.},
volume = {9},
number = {2},
pages = {261--288},
year = {1992},
url = {https://doi.org/10.1007/BF00245463},
doi = {10.1007/BF00245463},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KapurN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/ShyamasundarRK92,
author = {R. K. Shyamasundar and
M. R. K. Krishna Rao and
Deepak Kapur},
editor = {Krysia Broda},
title = {Rewriting Concepts in the Study of Termination of Logic Programs},
booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
London, 30 March - 1 April 1992},
series = {Workshops in Computing},
pages = {3--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3421-3\_1},
doi = {10.1007/978-1-4471-3421-3\_1},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/alpuk/ShyamasundarRK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/KapurMN92,
author = {Deepak Kapur and
David R. Musser and
Xumin Nie},
editor = {Vangalur S. Alagar and
Laks V. S. Lakshmanan and
Fereidoon Sadri},
title = {The Tecton Proof System},
booktitle = {Formal Methods in Databases and Software Engineering, Proceedings
of the Workshop on Formal Methods in Databases and Software Engineering,
Montreal, Canada, 15-16 May 1992},
series = {Workshops in Computing},
pages = {54--79},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 20 Feb 2003 15:10:07 +0100},
biburl = {https://dblp.org/rec/conf/db-workshops/KapurMN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KapurN92,
author = {Deepak Kapur and
Paliath Narendran},
title = {Double-exponential Complexity of Computing a Complete Set of AC-Unifiers},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {11--21},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185515},
doi = {10.1109/LICS.1992.185515},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KapurN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1992,
editor = {Deepak Kapur},
title = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8},
doi = {10.1007/3-540-55602-8},
isbn = {3-540-55602-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/1992.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/jsc/KapurNZ91,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
title = {Automating Inductionless Induction Using Test Sets},
journal = {J. Symb. Comput.},
volume = {11},
number = {1/2},
pages = {81--111},
year = {1991},
url = {https://doi.org/10.1016/S0747-7171(08)80133-2},
doi = {10.1016/S0747-7171(08)80133-2},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurNZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurMNS91,
author = {Deepak Kapur and
David R. Musser and
Paliath Narendran and
Jonathan Stillman},
title = {Semi-Unification},
journal = {Theor. Comput. Sci.},
volume = {81},
number = {2},
pages = {169--187},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90189-9},
doi = {10.1016/0304-3975(91)90189-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurMNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KapurZ91,
author = {Deepak Kapur and
Hantao Zhang},
editor = {Jean{-}Louis Lassez and
Gordon D. Plotkin},
title = {A Case Study of the Completion Procedure: Proving Ring Commutativity
Problems},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
pages = {360--394},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KapurZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RaoKS91,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {A Transformational Methodology for Proving Termination of Logic Programs},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {213--226},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023769},
doi = {10.1007/BFB0023769},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/RaoKS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/NguyenMK91,
author = {Van{-}Duc Nguyen and
Joseph L. Mundy and
Deepak Kapur},
title = {Modeling generic polyhedral objects with constraints},
booktitle = {{IEEE} Computer Society Conference on Computer Vision and Pattern
Recognition, {CVPR} 1991, 3-6 June, 1991, Lahaina, Maui, Hawaii, {USA}},
pages = {479--485},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CVPR.1991.139739},
doi = {10.1109/CVPR.1991.139739},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/NguyenMK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AgarwalMKN91,
author = {Raj Agarwal and
David R. Musser and
Deepak Kapur and
Xumin Nie},
editor = {Ronald V. Book},
title = {The Tecton Proof System},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {442--444},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_119},
doi = {10.1007/3-540-53904-2\_119},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/AgarwalMKN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KapurNO90,
author = {Deepak Kapur and
Paliath Narendran and
Friedrich Otto},
title = {On Ground-Confluence of Term Rewriting Systems},
journal = {Inf. Comput.},
volume = {86},
number = {1},
pages = {14--31},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90023-B},
doi = {10.1016/0890-5401(90)90023-B},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KapurNO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MohanSK90,
author = {Chilukuri K. Mohan and
Mandayam K. Srivas and
Deepak Kapur},
title = {Inference Rules and Proof Procedures for Inequations},
journal = {J. Log. Program.},
volume = {9},
number = {1},
pages = {75--104},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90034-3},
doi = {10.1016/0743-1066(90)90034-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MohanSK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZhangK90,
author = {Hantao Zhang and
Deepak Kapur},
title = {Unnecessary Inferences in Associative-Commutative Completion Procedures},
journal = {Math. Syst. Theory},
volume = {23},
number = {3},
pages = {175--206},
year = {1990},
url = {https://doi.org/10.1007/BF02090774},
doi = {10.1007/BF02090774},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/ZhangK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurSZ90,
author = {Deepak Kapur and
G. Sivakumar and
Hantao Zhang},
editor = {Kesav V. Nori and
C. E. Veni Madhavan},
title = {A New Method for Proving Termination of AC-Rewrite Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {472},
pages = {133--148},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53487-3\_40},
doi = {10.1007/3-540-53487-3\_40},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurSZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurW90,
author = {Deepak Kapur and
H. K. Wan},
editor = {Shunro Watanabe and
Morio Nagata},
title = {Refutational Proofs of Geometry Theorems via Characteristic Set Computation},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
pages = {277--284},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/96877.96949},
doi = {10.1145/96877.96949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/KapurM89,
author = {Deepak Kapur and
Klaus Madlener},
editor = {Erich L. Kaltofen and
Stephen M. Watt},
title = {A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra},
booktitle = {Computers and Mathematics, Third Computers and Mathematics Conference,
MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
pages = {1--11},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4613-9647-5\_1},
doi = {10.1007/978-1-4613-9647-5\_1},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/cm/KapurM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ZhangK89,
author = {Hantao Zhang and
Deepak Kapur},
editor = {Nachum Dershowitz},
title = {Consider Only General Superpositions in Completion Procedures},
booktitle = {Rewriting Techniques and Applications, 3rd International Conference,
RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {355},
pages = {513--527},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51081-8\_129},
doi = {10.1007/3-540-51081-8\_129},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/ZhangK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KapurZ89,
author = {Deepak Kapur and
Hantao Zhang},
editor = {Nachum Dershowitz},
title = {An Overview of Rewrite Rule Laboratory {(RRL)}},
booktitle = {Rewriting Techniques and Applications, 3rd International Conference,
RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {355},
pages = {559--563},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51081-8\_138},
doi = {10.1007/3-540-51081-8\_138},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/KapurZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KapurM88,
author = {Deepak Kapur and
Joseph L. Mundy},
title = {Geometric Reasoning and Artificial Intelligence: Introduction to the
Special Volume},
journal = {Artif. Intell.},
volume = {37},
number = {1-3},
pages = {1--11},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90047-1},
doi = {10.1016/0004-3702(88)90047-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/KapurM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KapurM88a,
author = {Deepak Kapur and
Joseph L. Mundy},
title = {Wu's Method and its Application to Perspective Viewing},
journal = {Artif. Intell.},
volume = {37},
number = {1-3},
pages = {15--36},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90048-3},
doi = {10.1016/0004-3702(88)90048-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/KapurM88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Kapur88,
author = {Deepak Kapur},
title = {A Refutational Approach to Geometry Theorem Proving},
journal = {Artif. Intell.},
volume = {37},
number = {1-3},
pages = {61--93},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90050-1},
doi = {10.1016/0004-3702(88)90050-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Kapur88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BarryCKMN88,
author = {Michele Barry and
David Cyrluk and
Deepak Kapur and
Joseph L. Mundy and
Van{-}Duc Nguyen},
title = {A Multi-Level Geometric Reasoning System for Vision},
journal = {Artif. Intell.},
volume = {37},
number = {1-3},
pages = {291--332},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90058-6},
doi = {10.1016/0004-3702(88)90058-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BarryCKMN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KapurZ88,
author = {Deepak Kapur and
Hantao Zhang},
title = {Proving Equivalence of Different Axiomatizations of Free Groups},
journal = {J. Autom. Reason.},
volume = {4},
number = {3},
pages = {331--352},
year = {1988},
url = {https://doi.org/10.1007/BF00244946},
doi = {10.1007/BF00244946},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/KapurZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BurckertHKSSTZ88,
author = {Hans{-}J{\"{u}}rgen B{\"{u}}rckert and
Alexander Herold and
Deepak Kapur and
J{\"{o}}rg H. Siekmann and
Mark E. Stickel and
Michael Tepp and
Hantao Zhang},
title = {Opening the AC-Unification Race},
journal = {J. Autom. Reason.},
volume = {4},
number = {4},
pages = {465--474},
year = {1988},
url = {https://doi.org/10.1007/BF00297251},
doi = {10.1007/BF00297251},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BurckertHKSSTZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KapurMN88,
author = {Deepak Kapur and
David R. Musser and
Paliath Narendran},
title = {Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion
Procedure},
journal = {J. Symb. Comput.},
volume = {6},
number = {1},
pages = {19--36},
year = {1988},
url = {https://doi.org/10.1016/S0747-7171(88)80019-1},
doi = {10.1016/S0747-7171(88)80019-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KapurMN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kandri-RodyK88,
author = {Abdelilah Kandri{-}Rody and
Deepak Kapur},
title = {Computing a Gr{\"{o}}bner Basis of a Polynomial Ideal over a
Euclidean Domain},
journal = {J. Symb. Comput.},
volume = {6},
number = {1},
pages = {37--57},
year = {1988},
url = {https://doi.org/10.1016/S0747-7171(88)80020-8},
doi = {10.1016/S0747-7171(88)80020-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kandri-RodyK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KapurS88,
author = {Deepak Kapur and
Mandayam K. Srivas},
title = {Computability and Implementability Issues in Abstract Data Types},
journal = {Sci. Comput. Program.},
volume = {10},
number = {1},
pages = {33--63},
year = {1988},
url = {https://doi.org/10.1016/0167-6423(88)90015-9},
doi = {10.1016/0167-6423(88)90015-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KapurS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZhangK88,
author = {Hantao Zhang and
Deepak Kapur},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {First-Order Theorem Proving Using Conditional Rewrite Rules},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {1--20},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012820},
doi = {10.1007/BFB0012820},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ZhangK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZhangKK88,
author = {Hantao Zhang and
Deepak Kapur and
Mukkai S. Krishnamoorthy},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {A Mechanizable Induction Principle for Equational Specifications},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {162--181},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012831},
doi = {10.1007/BFB0012831},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ZhangKK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurZ88,
author = {Deepak Kapur and
Hantao Zhang},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {{RRL:} {A} Rewrite Rule Laboratory},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {768--769},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012889},
doi = {10.1007/BFB0012889},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KapurZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CyrlukHK88,
author = {David Cyrluk and
Richard M. Harris and
Deepak Kapur},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {{GEOMETER:} {A} Theorem Prover for Algebraic Geometry},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {770--771},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012890},
doi = {10.1007/BFB0012890},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CyrlukHK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurMNS88,
author = {Deepak Kapur and
David R. Musser and
Paliath Narendran and
Jonathan Stillman},
editor = {Kesav V. Nori and
Sanjeev Kumar},
title = {Semi-Unification},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {338},
pages = {435--454},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50517-2\_95},
doi = {10.1007/3-540-50517-2\_95},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurMNS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KapurNZ87,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
title = {On Sufficient-Completeness and Related Properties of Term Rewriting
Systems},
journal = {Acta Informatica},
volume = {24},
number = {4},
pages = {395--415},
year = {1987},
url = {https://doi.org/10.1007/BF00292110},
doi = {10.1007/BF00292110},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/KapurNZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KapurM87,
author = {Deepak Kapur and
David R. Musser},
title = {Proof by Consistency},
journal = {Artif. Intell.},
volume = {31},
number = {2},
pages = {125--157},
year = {1987},
url = {https://doi.org/10.1016/0004-3702(87)90017-8},
doi = {10.1016/0004-3702(87)90017-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/KapurM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/KapurN87,
author = {Deepak Kapur and
Paliath Narendran},
title = {Matching, unification and complexity},
journal = {{SIGSAM} Bull.},
volume = {21},
number = {4},
pages = {6--9},
year = {1987},
url = {https://doi.org/10.1145/36330.36332},
doi = {10.1145/36330.36332},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/KapurN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BenanavKN87,
author = {Dan Benanav and
Deepak Kapur and
Paliath Narendran},
title = {Complexity of Matching Problems},
journal = {J. Symb. Comput.},
volume = {3},
number = {1/2},
pages = {203--216},
year = {1987},
url = {https://doi.org/10.1016/S0747-7171(87)80027-5},
doi = {10.1016/S0747-7171(87)80027-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BenanavKN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MohanSK87,
author = {Chilukuri K. Mohan and
Mandayam K. Srivas and
Deepak Kapur},
editor = {Kesav V. Nori},
title = {Reasoning in Systems of Equations and Inequations},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {287},
pages = {305--325},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18625-5\_57},
doi = {10.1007/3-540-18625-5\_57},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MohanSK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kapur86,
author = {Deepak Kapur},
title = {Using Gr{\"{o}}bner Bases to Reason About Geometry Problems},
journal = {J. Symb. Comput.},
volume = {2},
number = {4},
pages = {399--408},
year = {1986},
url = {https://doi.org/10.1016/S0747-7171(86)80007-4},
doi = {10.1016/S0747-7171(86)80007-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kapur86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurNZ86,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
editor = {J{\"{o}}rg H. Siekmann},
title = {Proof by Induction Using Test Sets},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {99--117},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_83},
doi = {10.1007/3-540-16780-3\_83},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KapurNZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurN86,
author = {Deepak Kapur and
Paliath Narendran},
editor = {J{\"{o}}rg H. Siekmann},
title = {NP-Completeness of the Set Unification and Matching Problems},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {489--495},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_113},
doi = {10.1007/3-540-16780-3\_113},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KapurN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurSZ86,
author = {Deepak Kapur and
G. Sivakumar and
Hantao Zhang},
editor = {J{\"{o}}rg H. Siekmann},
title = {{RRL:} {A} Rewrite Rule Laboratory},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {691--692},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_140},
doi = {10.1007/3-540-16780-3\_140},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KapurSZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KapurNZ86,
author = {Deepak Kapur and
Paliath Narendran and
Hantao Zhang},
editor = {Kesav V. Nori},
title = {Complexity of Sufficient-Completeness},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {241},
pages = {426--442},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17179-7\_26},
doi = {10.1007/3-540-17179-7\_26},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KapurNZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Kapur86,
author = {Deepak Kapur},
editor = {Bruce W. Char},
title = {Geometry theorem proving using Hilbert's Nullstellensatz},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {202--208},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32479},
doi = {10.1145/32439.32479},
timestamp = {Mon, 21 Mar 2022 21:50:23 +0100},
biburl = {https://dblp.org/rec/conf/issac/Kapur86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KapurM86,
author = {Deepak Kapur and
David R. Musser},
title = {Inductive Reasoning with Incomplete Specifications (Preliminary Report)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {367--377},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KapurM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KapurK85,
author = {Deepak Kapur and
Mukkai S. Krishnamoorthy},
title = {Worst-Case Choice for the Stable Marriage Problem},
journal = {Inf. Process. Lett.},
volume = {21},
number = {1},
pages = {27--30},
year = {1985},
url = {https://doi.org/10.1016/0020-0190(85)90104-8},
doi = {10.1016/0020-0190(85)90104-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KapurK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
title = {The Knuth-Bendix Completion Procedure and Thue Systems},
journal = {{SIAM} J. Comput.},
volume = {14},
number = {4},
pages = {1052--1072},
year = {1985},
url = {https://doi.org/10.1137/0214073},
doi = {10.1137/0214073},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
title = {An equational approach to theorem proving in first-order predicate
calculus},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {10},
number = {4},
pages = {63--66},
year = {1985},
url = {https://doi.org/10.1145/1012497.1012521},
doi = {10.1145/1012497.1012521},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KapurS85,
author = {Deepak Kapur and
G. Sivakumar},
title = {{RRL:} theorem proving environment based on rewriting techniques},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {10},
number = {4},
pages = {67--68},
year = {1985},
url = {https://doi.org/10.1145/1012497.1012522},
doi = {10.1145/1012497.1012522},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/KapurS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurKMN85,
author = {Deepak Kapur and
Mukkai S. Krishnamoorthy and
Robert McNaughton and
Paliath Narendran},
title = {An O({\(\vert\)}T{\(\vert\)}3) Algorithm for Testing the Church-Rosser
Property of Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {35},
pages = {109--114},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90008-8},
doi = {10.1016/0304-3975(85)90008-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurKMN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
title = {A Finite Thue System with Decidable Word Problem and without Equivalent
Finite Canonical System},
journal = {Theor. Comput. Sci.},
volume = {35},
pages = {337--344},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90023-4},
doi = {10.1016/0304-3975(85)90023-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KapurNKM85,
author = {Deepak Kapur and
Paliath Narendran and
Mukkai S. Krishnamoorthy and
Robert McNaughton},
title = {The Church-Rosser Property and Special Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {39},
pages = {123--133},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90134-3},
doi = {10.1016/0304-3975(85)90134-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KapurNKM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KapurMMN85,
author = {Deepak Kapur and
Joseph L. Mundy and
David R. Musser and
Paliath Narendran},
title = {Reasoning about three dimensional space},
booktitle = {Proceedings of the 1985 {IEEE} International Conference on Robotics
and Automation, St. Louis, Missouri, USA, March 25-28, 1985},
pages = {405--410},
publisher = {{IEEE}},
year = {1985},
url = {https://doi.org/10.1109/ROBOT.1985.1087257},
doi = {10.1109/ROBOT.1985.1087257},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/KapurMMN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KapurN85,
author = {Deepak Kapur and
Paliath Narendran},
editor = {Aravind K. Joshi},
title = {An Equational Approach to Theorem Proving in First-Order Predicate
Calculus},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {1146--1153},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-2/Papers/097.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KapurN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kandri-RodyKN85,
author = {Abdelilah Kandri{-}Rody and
Deepak Kapur and
Paliath Narendran},
editor = {Jean{-}Pierre Jouannaud},
title = {An Ideal-Theoretic Approach to Work Problems and Unification Problems
over Finitely Presented Commutative Algebras},
booktitle = {Rewriting Techniques and Applications, First International Conference,
RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {345--364},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15976-2\_17},
doi = {10.1007/3-540-15976-2\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Kandri-RodyKN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BenanavKN85,
author = {Dan Benanav and
Deepak Kapur and
Paliath Narendran},
editor = {Jean{-}Pierre Jouannaud},
title = {Complexity of Matching Problems},
booktitle = {Rewriting Techniques and Applications, First International Conference,
RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {417--429},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15976-2\_22},
doi = {10.1007/3-540-15976-2\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BenanavKN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KapurNS85,
author = {Deepak Kapur and
Paliath Narendran and
G. Sivakumar},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {A Path Ordering for Proving Termination of Term Rewriting Systems},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {173--187},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_11},
doi = {10.1007/3-540-15198-2\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KapurNS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KapurS85,
author = {Deepak Kapur and
Mandayam K. Srivas},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {A Rewrite Rule Based Approach for Synthesizing Abstract Data Types},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {188--207},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_12},
doi = {10.1007/3-540-15198-2\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KapurS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KapurK84,
author = {Deepak Kapur and
Balakrishnan Krishnamurthy},
editor = {Robert E. Shostak},
title = {A Natural Proof System Based on rewriting Techniques},
booktitle = {7th International Conference on Automated Deduction, Napa, California,
USA, May 14-16, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {170},
pages = {53--64},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-0-387-34768-4\_3},
doi = {10.1007/978-0-387-34768-4\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KapurK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/Kandri-RodyK84,
author = {Abdelilah Kandri{-}Rody and
Deepak Kapur},
editor = {John P. Fitch},
title = {Algorithms for Computing Groebner Bases of Polynomial Ideals over
Various Euclidean Rings},
booktitle = {{EUROSAM} 84, International Symposium on Symbolic and Algebraic Computation,
Cambridge, England, UK, July 9-11, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {174},
number = {Computation},
pages = {195--206},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0032842},
doi = {10.1007/BFB0032842},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurosam/Kandri-RodyK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GuttagKM83,
author = {John V. Guttag and
Deepak Kapur and
David R. Musser},
title = {On Proving Uniform Termination and Restricted Termination of Rewriting
Systems},
journal = {{SIAM} J. Comput.},
volume = {12},
number = {1},
pages = {189--214},
year = {1983},
url = {https://doi.org/10.1137/0212012},
doi = {10.1137/0212012},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GuttagKM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MusserK82,
author = {David R. Musser and
Deepak Kapur},
editor = {Jacques Calmet},
title = {Rewrite Rule Theory and Abstract Data Type Analysis},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {77--90},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_10},
doi = {10.1007/3-540-11607-9\_10},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MusserK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GuttagKM82,
author = {John V. Guttag and
Deepak Kapur and
David R. Musser},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for
Analyzing Term rewriting Systems},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {300--312},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012778},
doi = {10.1007/BFB0012778},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GuttagKM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KapurMS81,
author = {Deepak Kapur and
David R. Musser and
Alexander A. Stepanov},
editor = {J{\o}rgen Staunstrup},
title = {Tecton: {A} Language for Manipulating Generic Objects},
booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark,
August 1981},
series = {Lecture Notes in Computer Science},
volume = {134},
pages = {402--414},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-11490-4\_24},
doi = {10.1007/3-540-11490-4\_24},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KapurMS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/KapurMS81,
author = {Deepak Kapur and
David R. Musser and
Alexander A. Stepanov},
editor = {Arvind and
Jack B. Dennis},
title = {Operators and algebraic structures},
booktitle = {Proceedings of the 1981 conference on Functional programming languages
and computer architecture, {FPCA} 1981, Wentworth, New Hampshire,
USA, October 1981},
pages = {59--64},
publisher = {{ACM}},
year = {1981},
url = {https://doi.org/10.1145/800223.806763},
doi = {10.1145/800223.806763},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpca/KapurMS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KapurM80,
author = {Deepak Kapur and
Mandayam K. Srivas},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Expressiveness of the Operation Set of a Data Abstraction},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {139--153},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567460},
doi = {10.1145/567446.567460},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KapurM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Kapur79,
author = {Deepak Kapur},
title = {Specifications of Majster's traversable stack and Veloso's traversable
stack},
journal = {{ACM} {SIGPLAN} Notices},
volume = {14},
number = {5},
pages = {46--53},
year = {1979},
url = {https://doi.org/10.1145/988090.988096},
doi = {10.1145/988090.988096},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Kapur79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
