Author of the publication

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.

 

Other publications of authors with the same name

A Heuristic Approach to the Design of Optimal Cross-Docking Boxes., , and . IEEE Access, (2021)Jutge.org: Characteristics and Experiences., , , , , , , , , and 2 other author(s). IEEE Trans. Learn. Technol., 11 (3): 321-333 (2018)Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra., , and . Discret. Appl. Math., 156 (18): 3506-3509 (2008)Decision levels are stable: towards better SAT heuristics., , , and . LPAR, volume 73 of EPiC Series in Computing, page 1-11. EasyChair, (2020)Cardinality Networks and Their Applications., , , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 167-180. Springer, (2009)BDDs for Pseudo-Boolean Constraints - Revisited., , , and . SAT, volume 6695 of Lecture Notes in Computer Science, page 61-75. Springer, (2011)A Write-Based Solver for SAT Modulo the Theory of Arrays., , , , and . FMCAD, page 1-8. IEEE, (2008)Proving termination of imperative programs using Max-SMT., , , and . FMCAD, page 218-225. IEEE, (2013)To Encode or to Propagate? The Best Choice for Each Constraint in SAT., , , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 97-106. Springer, (2013)Compositional Safety Verification with Max-SMT., , , , and . FMCAD, page 33-40. IEEE, (2015)