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 100 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
    Journal article
    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
    Conference paper
    Xiao-Shan Gao, Deepak Kapur.
    A brief introduction to Wen-Tsun Wu's academic career.
    J. Symb. Comput. 2012, Volume 47 (0) 2012
    Conference paper
    Xiao-Shan Gao, Deepak Kapur.
    Preface.
    J. Symb. Comput. 2012, Volume 47 (0) 2012
    Conference paper
    Deepak Kapur.
    Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract).
    Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Stephan Falke, Deepak Kapur.
    Rewriting Induction + Linear Arithmetic = Decision Procedure.
    Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest.
    Using dynamic analysis to discover polynomial and array invariants.
    34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland 2012 (0) 2012
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.
    Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen.
    A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example.
    FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen.
    A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Stephan Falke, Deepak Kapur, Carsten Sinz.
    Termination Analysis of C Programs Using Compiler Intermediate Languages.
    Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia 2011 (0) 2011
    Conference paper
    Deepak Kapur, Yao Sun, Dingkang Wang.
    Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously.
    Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings 2011 (0) 2011
    Conference paper
    Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse.
    Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.
    Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011 (0) 2011
    Journal article
    Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran.
    Unification over Distributive Exponentiation (Sub)Theories.
    Journal of Automata, Languages and Combinatorics 2011, Volume 16 (0) 2011
    Conference paper
    Joe Hendrix, Deepak Kapur, José Meseguer.
    Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.
    Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Deepak Kapur.
    Induction, Invariants, and Abstraction.
    Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidiah R. Crandall.
    Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking.
    19th USENIX Security Symposium, Washington, DC, USA, August 11-13, 2010, Proceedings 2010 (0) 2010
    Journal article
    Deepak Kapur, Andrew Marshall, Paliath Narendran.
    Unification modulo a partial theory of exponentiation
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Deepak Kapur, Yao Sun, Dingkang Wang.
    A new algorithm for computing comprehensive Gröbner systems.
    Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings 2010 (0) 2010
    Conference paper
    Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur.
    Shape Analysis with Reference Set Relations.
    Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Deepak Kapur, Yongyang Cai.
    An Algorithm for Computing a Gröbner Basis of a Polynomial Ideal over a Ring with Zero Divisors.
    Mathematics in Computer Science 2008, Volume 2 (0) 2009
    Conference paper
    Stephan Falke, Deepak Kapur.
    A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs.
    Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Mark Marron, Deepak Kapur, Manuel V. Hermenegildo.
    Identification of logically related heap regions.
    Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009 2009 (0) 2009
    Conference paper
    Stephan Falke, Deepak Kapur.
    Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 237 (0) 2009
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair.
    Cayley-Dixon projection operator for multi-univariate composed polynomials.
    J. Symb. Comput. 2009, Volume 44 (0) 2009
    Conference paper
    Stephan Falke, Deepak Kapur.
    Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.
    Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    Deepak Kapur, Manfred Minimair.
    Multivariate Resultants in Bernstein Basis.
    Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers 2011 (0) 2008
    Conference paper
    Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic.
    Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.
    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 2008 (0) 2008
    Conference paper
    Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo.
    Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.
    Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers 2008 (0) 2008
    Conference paper
    Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur.
    Sharing analysis of arrays, collections, and recursive structures.
    Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008 2008 (0) 2008
    Conference paper
    Stephan Falke, Deepak Kapur.
    Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures.
    Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Stephan Falke, Deepak Kapur.
    Dependency Pairs for Rewriting with Non-free Constructors.
    Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur.
    Heap analysis in the presence of collection libraries.
    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 2007 (0) 2007
    Conference paper
    Enric Rodríguez-Carbonell, Deepak Kapur.
    Generating all polynomial invariants in simple loops.
    J. Symb. Comput. 2007, Volume 42 (0) 2007
    Conference paper
    Enric Rodríguez-Carbonell, Deepak Kapur.
    Automatic generation of polynomial invariants of bounded degree using abstract interpretation.
    Sci. Comput. Program. 2007, Volume 64 (0) 2007
    Journal article
    Deepak Kapur.
    A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs.
    J. Systems Science Complexity 2006, Volume 19 (0) 2006
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur.
    Conditions for determinantal formula for resultant of a polynomial system.
    Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo.
    A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.
    Languages and Compilers for Parallel Computing, 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers 2007 (0) 2006
    Conference paper
    Stephan Falke, Deepak Kapur.
    Inductive Decidability Using Implicit Induction.
    Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Deepak Kapur, Rupak Majumdar, Calogero G. Zarba.
    Interpolation for data structures.
    Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006 2006 (0) 2006
    Conference paper
    Jürgen Giesl, Deepak Kapur.
    Third Special Issue on Techniques for Automated Termination Proofs.
    J. Autom. Reasoning 2006, Volume 37 (0) 2006
    Conference paper
    Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler.
    Bruno Buchberger - A life devoted to symbolic computation.
    J. Symb. Comput. 2006, Volume 41 (0) 2006
    Conference paper
    Deepak Kapur.
    Preface on the contributed papers.
    J. Symb. Comput. 2006, Volume 41 (0) 2006
    Conference paper
    Victor L. Winter, Deepak Kapur.
    Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.
    Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers 2007 (0) 2005
    Conference paper
    Deepak Kapur, Paliath Narendran, Lida Wang.
    A Unification Algorithm for Analysis of Protocols with Blinded Signatures.
    Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005 (0) 2005
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair.
    Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials.
    Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Deepak Kapur.
    Automatically Generating Loop Invariants Using Quantifier Elimination.
    Deduction and Applications, 23.-28. October 2005 2006 (0) 2005
    Conference paper
    Jürgen Giesl, Deepak Kapur.
    Preface.
    J. Autom. Reasoning 2005, Volume 34 (0) 2005
    Conference paper
    Jürgen Giesl, Deepak Kapur.
    Preface.
    J. Autom. Reasoning 2005, Volume 34 (0) 2005
    Conference paper
    Enric Rodríguez-Carbonell, Deepak Kapur.
    Program Verification Using Automatic Generation of Invariants.
    Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur.
    Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system.
    Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Enric Rodríguez-Carbonell, Deepak Kapur.
    Automatic generation of polynomial loop.
    Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Enric Rodríguez-Carbonell, Deepak Kapur.
    An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.
    Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Deepak Kapur.
    Preface.
    J. Autom. Reasoning 2004, Volume 32 (0) 2004
    Conference paper
    Deepak Kapur.
    Preface.
    J. Autom. Reasoning 2004, Volume 32 (0) 2004
    Conference paper
    Deepak Kapur, Laurent Vigneron.
    Preface.
    J. Autom. Reasoning 2004, Volume 33 (0) 2004
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur.
    Constructing Sylvester-type resultant matrices using the Dixon formulation.
    J. Symb. Comput. 2004, Volume 38 (0) 2004
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur.
    Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation.
    J. Symb. Comput. 2004, Volume 38 (0) 2004
    Journal article
    Arthur D. Chtcherba, Deepak Kapur.
    On the relationship between the Dixon-based resultant construction and the supports of polynomial systems.
    ACM SIGSAM Bulletin 2003, Volume 37 (0) 2003
    Conference paper
    Deepak Kapur, Mahadevan Subramaniam.
    Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.
    Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Jürgen Giesl, Deepak Kapur.
    Deciding Inductive Validity of Equations.
    Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings 2003 (0) 2003
    Conference paper
    John Cochran, Deepak Kapur, Darko Stefanovic.
    Model Checking Reconfigurable Processor Configurations for Safety Properties.
    Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Deepak Kapur, Paliath Narendran, Lida Wang.
    An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation.
    Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Deepak Kapur, Nikita A. Sakhanenko.
    Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions.
    Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Deepak Kapur.
    Announcement.
    J. Autom. Reasoning 2003, Volume 31 (0) 2003
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur.
    Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation.
    J. Symb. Comput. 2003, Volume 36 (0) 2003
    Conference paper
    Deepak Kapur.
    A Rewrite Rule Based Framework for Combining Decision Procedures.
    Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur.
    On the efficiency and optimality of Dixon-based resultant methods.
    Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings 2002 (0) 2002
    Book chapter
    Deepak Kapur.
    Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic.
    Symbolic Algebraic Methods and Verification Methods 2001 (0) 2001
    Conference paper
    Jürgen Giesl, Deepak Kapur.
    Decidable Classes of Inductive Theorems.
    Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur.
    A Survey: Applying Formal Methods to a Software Intensive System.
    6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings 2001 (0) 2001
    Conference paper
    Jürgen Giesl, Deepak Kapur.
    Dependency Pairs for Equational Rewriting.
    Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Deepak Kapur, Victor L. Winter, Raymond Berg.
    Designing a Controller for a Multi-Train Multi-Track System.
    Electr. Notes Theor. Comput. Sci. 2001, Volume 50 (0) 2001
    Conference paper
    Deepak Kapur, Mahadevan Subramaniam.
    Extending Decision Procedures with Induction Schemes.
    Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Arthur D. Chtcherba, Deepak Kapur.
    Conditions for exact resultants using the Dixon formulation.
    ISSAC 2000 (0) 2000
    Conference paper
    Deepak Kapur, Mahadevan Subramaniam.
    Using an induction prover for verifying arithmetic circuits.
    STTT 2000, Volume 3 (0) 2000
    Conference paper
    Deepak Kapur, Mahadevan Subramaniam.
    Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.
    Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings 1998 (0) 1998
    Show item 1 to 100 of 195  

    Your query returned 195 matches in the database.