( en | de | ru )

 

Disambiguation of "Rodríguez-Carbonell, Enric"

Author of the publication

copydeleteadd this publication to your clipboard
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.

, , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 188-207. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pere Carbonell

Daniel Rodríguez

Carlos Rodríguez

Agustín Rodríguez

Jerónimo Rodríguez

 

Other publications of authors with the same name

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions., , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 333-350. Springer, (2014)Speeding up the Constraint-Based Method in Difference Logic., , , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 284-301. Springer, (2016)Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation., , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 188-207. Springer, (2005)Automatic generation of polynomial loop., and . ISSAC, page 266-273. ACM, (2004)SMT-Based Array Invariant Generation., , and . VMCAI, volume 7737 of Lecture Notes in Computer Science, page 169-188. Springer, (2013)Speeding up Pseudo-Boolean Propagation., , , and . SAT, volume 305 of LIPIcs, page 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Program Verification Using Automatic Generation of Invariants., and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 325-340. Springer, (2004)Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic., , , , and . CADE, volume 5663 of Lecture Notes in Computer Science, page 294-305. Springer, (2009)Proving Termination Through Conditional Termination., , , , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 99-117. (2017)Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra., , and . SAS, volume 3672 of Lecture Notes in Computer Science, page 19-34. Springer, (2005)