| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiao-Shan Gao, Deepak Kapur |
A brief introduction to Wen-Tsun Wu's academic career.  |
J. Symb. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao-Shan Gao, Deepak Kapur |
Preface. |
J. Symb. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Deepak Kapur |
Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract). |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke, Deepak Kapur, Carsten Sinz |
Termination Analysis of Imperative Programs Using Bitvector Arithmetic. |
VSTTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke, Deepak Kapur, Carsten Sinz |
Termination Analysis of C Programs Using Compiler Intermediate Languages. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Yao Sun, Dingkang Wang |
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Andrew M. Marshall, Paliath Narendran |
Unification modulo a partial theory of exponentiation |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Induction, Invariants, and Abstraction. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Hendrix, Deepak Kapur, José Meseguer |
Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidiah R. Crandall |
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. |
USENIX Security Symposium |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur |
Shape Analysis with Reference Set Relations. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Yao Sun, Dingkang Wang |
A new algorithm for computing comprehensive Gröbner systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair |
Cayley-Dixon projection operator for multi-univariate composed polynomials. |
J. Symb. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke, Deepak Kapur |
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephan Falke, Deepak Kapur |
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Deepak Kapur, Manuel V. Hermenegildo |
Identification of logically related heap regions. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
region analysis, shape analysis |
| 1 | Stephan Falke, Deepak Kapur |
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures. |
WFLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Manfred Minimair |
Multivariate Resultants in Bernstein Basis. |
Automated Deduction in Geometry |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke, Deepak Kapur |
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur |
Sharing analysis of arrays, collections, and recursive structures. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
shared structures, parallelism, shape analysis |
| 1 | Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic |
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo |
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur (eds.) |
Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers |
ASCM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Enric Rodríguez-Carbonell, Deepak Kapur |
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric Rodríguez-Carbonell, Deepak Kapur |
Generating all polynomial invariants in simple loops. |
J. Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke, Deepak Kapur |
Dependency Pairs for Rewriting with Non-free Constructors. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur |
Heap analysis in the presence of collection libraries. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
collection library, static analysis, shape analysis |
| 1 | Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler |
Bruno Buchberger - A life devoted to symbolic computation. |
J. Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Preface on the contributed papers. |
J. Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Giesl, Deepak Kapur |
Third Special Issue on Techniques for Automated Termination Proofs. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke, Deepak Kapur |
Inductive Decidability Using Implicit Induction. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo |
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. |
LCPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Rupak Majumdar, Calogero G. Zarba |
Interpolation for data structures. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
CEGAR, data structure verification, interpolation |
| 1 | Arthur D. Chtcherba, Deepak Kapur |
Conditions for determinantal formula for resultant of a polynomial system. |
ISSAC |
2006 |
DBLP DOI BibTeX RDF |
Bézoutian, Dixon, dialytic, rank submatrix construction, resultant matrix, resultant |
| 1 | Jürgen Giesl, Deepak Kapur |
Preface. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Giesl, Deepak Kapur |
Preface. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Automatically Generating Loop Invariants Using Quantifier Elimination. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
| 1 | Deepak Kapur, Paliath Narendran, Lida Wang |
A Unification Algorithm for Analysis of Protocols with Blinded Signatures. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Deepak Kapur |
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair |
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. |
CASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur D. Chtcherba, Deepak Kapur |
Constructing Sylvester-type resultant matrices using the Dixon formulation. |
J. Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur D. Chtcherba, Deepak Kapur |
Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation. |
J. Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Preface. |
J. Autom. Reasoning |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Laurent Vigneron |
Preface. |
J. Autom. Reasoning |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Preface. |
J. Autom. Reasoning |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric Rodríguez-Carbonell, Deepak Kapur |
Program Verification Using Automatic Generation of Invariants. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric Rodríguez-Carbonell, Deepak Kapur |
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur D. Chtcherba, Deepak Kapur |
Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
dialytic method, dixon resultant formulation, support hull, support-hull interior point, sylvester-type matrices, support, resultant, variable ordering |
| 1 | Enric Rodríguez-Carbonell, Deepak Kapur |
Automatic generation of polynomial loop. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
ideal, loop invariant, groebner basis |
| 1 | Arthur D. Chtcherba, Deepak Kapur |
Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation. |
J. Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Announcement. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Cochran, Deepak Kapur, Darko Stefanovic |
Model Checking Reconfigurable Processor Configurations for Safety Properties. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Giesl, Deepak Kapur |
Deciding Inductive Validity of Equations. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Paliath Narendran, Lida Wang |
An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Nikita A. Sakhanenko |
Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
A Rewrite Rule Based Framework for Combining Decision Procedures. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur D. Chtcherba, Deepak Kapur |
On the efficiency and optimality of Dixon-based resultant methods. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
BKK bound, Bezoutians, Dixon method, Sylvester-type matrices, dialytic method, extraneous factor, multiplier matrices, support, resultant |
| 1 | Deepak Kapur, Victor L. Winter, Raymond Berg |
Designing a Controller for a Multi-Train Multi-Track System. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic. |
Symbolic Algebraic Methods and Verification Methods |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Giesl, Deepak Kapur |
Decidable Classes of Inductive Theorems. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur |
A Survey: Applying Formal Methods to a Software Intensive System. |
HASE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Giesl, Deepak Kapur |
Dependency Pairs for Equational Rewriting. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Using an induction prover for verifying arithmetic circuits. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Induction, Automated reasoning, Decision procedures, Rewriting, Arithmetic circuits, Hardware verification |
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Extending Decision Procedures with Induction Schemes. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur D. Chtcherba, Deepak Kapur |
Conditions for exact resultants using the Dixon formulation. |
ISSAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Transformational Methodology for Proving Termination of Logic Programs. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan D. Michel, Nagaraj Nandhakumar, Tushar Saxena, Deepak Kapur |
Geometric, Algebraic, and Thermophysical Techniques for Object Recognition in IR Imagery. |
Computer Vision and Image Understanding |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. |
Formal Methods in System Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, G. Sivakumar |
Proving Associative-Communicative Termination Using RPO-Compatible Orderings. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sreenivasa Viswanadha, Deepak Kapur |
IBDL: A Language for Interface Behavior Specification and Testing. |
COOTS |
1998 |
DBLP BibTeX RDF |
|
| 1 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Proving Termination of GHC Programs. |
New Generation Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, G. Sivakumar |
A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Shostak's Congruence Closure as Completion. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Rewriting, Decision Procedures and Lemma Speculation for Automated Hardware Verification. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, R. K. Shyamasundar |
Synthesizing Controllers for Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Tushar Saxena |
Extraneous Factors in the Dixon Resultant Formulation. |
ISSAC |
1997 |
DBLP BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanizing Verification of Arithmetic Circuits: SRT Division. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. |
J. Autom. Reasoning |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark T. Vandevoorde, Deepak Kapur |
Parallel User Interfaces for Parallel Applications. (PDF / PS) |
HPDC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Lemma Discovery in Automated Induction. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam |
Automating Proofs of Integrity Constraints in Situation Calculus. |
ISMIS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Automating Induction over Mutually Recursive Functions. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets. |
Automated Deduction in Geometry |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Rewrite-Based Automated Reasoning: Challenges Ahead. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark T. Vandevoorde, Deepak Kapur |
Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanically Verifying a Family of Multiplier Circuits. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Tushar Saxena |
Sparsity Considerations in Dixon Resultants. |
STOC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan D. Michel, Nagaraj Nandhakumar, Tushar Saxena, Deepak Kapur |
Using Elimination Methods to Compute Thermophysical Algebraic Invariants from Infrared Imagery. |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Deepak Kapur, G. Sivakumar, Hantao Zhang |
A Path Ordering for Proving Termination of AC Rewrite Systems. |
J. Autom. Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Automated Reasoning About Parallel Algorithms Using Powerlists. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Tushar Saxena |
Comparison of Various Multivariate Resultant Formulations. |
ISSAC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, G. Sivakumar |
Maximal Extensions os Simplification Orderings. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Xumin Nie, David R. Musser |
An Overview of the Tecton Proof System. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
An Automated Tool for Analyzing Completeness of Equational Specifications. |
ISSTA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Tushar Saxena, Lu Yang |
Algebraic and Geometric Reasoning Using Dixon Resultants. |
ISSAC |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")