( en | de | ru )

 

Disambiguierung von "Rodríguez-Carbonell, Enric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.

, , und . ICATPN, Volume 3536 von Lecture Notes in Computer Science, Seite 188-207. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pere Carbonell

Daniel Rodríguez

Carlos Rodríguez

Agustín Rodríguez

Jerónimo Rodríguez

 

Weitere Publikationen von Autoren mit dem selben Namen

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