Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Deepak
    Last name: Kapur
    DBLP: k/DeepakKapur
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 195  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Stéphane Demri, Deepak Kapur, Christoph Weidenbach.
    Preface - Special Issue of Selected Extended Papers of IJCAR 2014.
    J. Autom. Reasoning 2017, Volume 58 (0) 2017
    Journal article
    Deepak Kapur.
    Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm.
    J. Systems Science Complexity 2017, Volume 30 (0) 2017
    Conference paper
    ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest.
    Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation.
    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, 2017 (0) 2017
    Conference paper
    Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen.
    Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen.
    Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.
    Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Roli Varma, Deepak Kapur.
    Decoding femininity in computer science in India.
    Commun. ACM 2015, Volume 58 (0) 2015
    Conference paper
    Deepak Kapur, Yiming Yang.
    An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm.
    Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015 2015 (0) 2015
    Conference paper
    Stephan Falke 0001, Deepak Kapur.
    When Is a Formula a Loop Invariant?
    Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Unification and Matching in Hierarchical Combinations of Syntactic Theories.
    Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Christophe Ringeissen.
    On Asymmetric Unification and the Combination Problem in Disjoint Theories.
    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 2014 (0) 2014
    Conference paper
    ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest.
    Using dynamic analysis to generate disjunctive invariants.
    36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014 2014 (0) 2014
    Conference paper
    ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest.
    DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants.
    ACM Trans. Softw. Eng. Methodol. 2014, Volume 23 (0) 2014
    Conference paper
    Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang.
    An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
    Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings 2014 (0) 2014
    Journal article
    Deepak Kapur, Yao Sun, Dingkang Wang.
    An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system.
    J. Symb. Comput. 2013, Volume 49 (0) 2013
    Journal article
    Deepak Kapur, Yao Sun, Dingkang Wang.
    An efficient method for computing comprehensive Gröbner bases.
    J. Symb. Comput. 2013, Volume 52 (0) 2013
    Journal article
    Deepak Kapur, Naijun Zhan, Hengjun Zhao.
    Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Deepak Kapur.
    Elimination Techniques for Program Analysis.
    Programming Logics - Essays in Memory of Harald Ganzinger 2013 (0) 2013
    Conference paper
    Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm.
    Harald Ganzinger's Legacy: Contributions to Logics and Programming.
    Programming Logics - Essays in Memory of Harald Ganzinger 2013 (0) 2013
    Conference paper
    Hengjun Zhao, Naijun Zhan, Deepak Kapur.
    Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.
    Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (0) 2013
    Conference paper
    Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen.
    Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.
    Automated Reasoning and Mathematics - Essays in Memory of William W. McCune 2013 (0) 2013
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination of Unication Algorithms (Extended Abstract).
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Zhihai Zhang, Deepak Kapur.
    On invariant checking.
    J. Systems Science Complexity 2013, Volume 26 (0) 2013
    Conference paper
    Stephan Falke, Deepak Kapur, Carsten Sinz.
    Termination Analysis of Imperative Programs Using Bitvector Arithmetic.
    Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings 2012 (0) 2012
    Show item 1 to 25 of 195  

    Your query returned 195 matches in the database.