Enric Rodríguez-Carbonell

2008
14	EE	Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: The Barcelogic SMT Solver. CAV 2008: 294-298
13	EE	Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR 2008: 16-30
12	EE	Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell: The Max-Atom Problem and Its Relevance. LPAR 2008: 47-61
11	EE	Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. SAT 2008: 77-90
10	EE	Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell: Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Discrete Applied Mathematics 156(18): 3506-3509 (2008)
2007
9	EE	Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: Challenges in Satisfiability Modulo Theories. RTA 2007: 2-18
8	EE	Enric Rodríguez-Carbonell, Deepak Kapur: Generating all polynomial invariants in simple loops. J. Symb. Comput. 42(4): 443-476 (2007)
7	EE	Enric Rodríguez-Carbonell, Deepak Kapur: Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64(1): 54-75 (2007)
2005
6	EE	Enric Rodríguez-Carbonell, Ashish Tiwari: Generating Polynomial Invariants for Hybrid Systems. HSCC 2005: 590-605
5	EE	Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella: Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN 2005: 188-207
4	EE	Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34
2004
3	EE	Enric Rodríguez-Carbonell, Deepak Kapur: Program Verification Using Automatic Generation of Invariants. ICTAC 2004: 325-340
2	EE	Enric Rodríguez-Carbonell, Deepak Kapur: Automatic generation of polynomial loop. ISSAC 2004: 266-273
1	EE	Enric Rodríguez-Carbonell, Deepak Kapur: An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. SAS 2004: 280-295

Coauthor Index

1	Roberto Asín	[13]
2	Roberto Bagnara	[4]
3	Marc Bezem	[10] [12]
4	Miquel Bofill	[14]
5	Robert Clarisó	[5]
6	Jordi Cortadella	[5]
7	Germain Faure	[11]
8	Deepak Kapur	[1] [2] [3] [7] [8]
9	Robert Nieuwenhuis	[9] [10] [11] [12] [13] [14]
10	Albert Oliveras	[9] [11] [13] [14]
11	Albert Rubio	[9] [14]
12	Ashish Tiwari	[6]
13	Enea Zaffanella	[4]

Colors in the list of coauthors