Search the dblp DataBase

Publications of Author

1. Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella
   Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2005, pp:188-207 [Conf]
   
2. Enric Rodríguez-Carbonell, Ashish Tiwari
   Generating Polynomial Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:590-605 [Conf]
   
3. Enric Rodríguez-Carbonell, Deepak Kapur
   Program Verification Using Automatic Generation of Invariants. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:325-340 [Conf]
   
4. Enric Rodríguez-Carbonell, Deepak Kapur
   Automatic generation of polynomial loop. [Citation Graph (0, 0)][DBLP]
   ISSAC, 2004, pp:266-273 [Conf]
   
5. Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella
   Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. [Citation Graph (0, 0)][DBLP]
   SAS, 2005, pp:19-34 [Conf]
   
6. Enric Rodríguez-Carbonell, Deepak Kapur
   An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. [Citation Graph (0, 0)][DBLP]
   SAS, 2004, pp:280-295 [Conf]
   
7. Enric Rodríguez-Carbonell, Deepak Kapur
   Automatic generation of polynomial invariants of bounded degree using abstract interpretation. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2007, v:64, n:1, pp:54-75 [Journal]
   
8. Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
   Challenges in Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
   RTA, 2007, pp:2-18 [Conf]
   
9. Enric Rodríguez-Carbonell, Deepak Kapur
   Generating all polynomial invariants in simple loops. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2007, v:42, n:4, pp:443-476 [Journal]
   
10. 
    Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. [Citation Graph (, )][DBLP]
    
    
11. 
    The Barcelogic SMT Solver. [Citation Graph (, )][DBLP]
    
    
12. 
    A Write-Based Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]
    
    
13. 
    The Max-Atom Problem and Its Relevance. [Citation Graph (, )][DBLP]
    
    
14. 
    Efficient Generation of Unsatisfiability Proofs and Cores in SAT. [Citation Graph (, )][DBLP]
    
    
15. 
    Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. [Citation Graph (, )][DBLP]
    
    
16. 
    SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. [Citation Graph (, )][DBLP]
    
    
17. 
    Cardinality Networks and Their Applications. [Citation Graph (, )][DBLP]
    
    
18. 
    Practical algorithms for unsatisfiability proof and core generation in SAT solvers. [Citation Graph (, )][DBLP]
    
    
19. 
    Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra. [Citation Graph (, )][DBLP]