Author of the publication

A Program Slicer for Java (Tool Paper).

, , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 146-151. Springer, (2022)

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

Slicing Petri Nets to Reduce Their Complexity - Abstract., , , and . ATAED/PN4TT@Petri Nets, volume 3424 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Locally recoverable codes from the matrix-product construction., , , and . CoRR, (2023)Context-sensitive analysis of data interference for concurrent programs., , , and . PNSE@Petri Nets, volume 3430 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Classical and Quantum Evaluation Codes at the Trace Roots., , and . IEEE Trans. Inf. Theory, 65 (4): 2593-2602 (2019)ReverCSP: Time-Travelling in CSP Computations., , , and . RC, volume 12227 of Lecture Notes in Computer Science, page 239-245. Springer, (2020)Program slicing of Java programs., , and . J. Log. Algebraic Methods Program., (2023)Improved evaluation codes defined by plane valuations., , and . Finite Fields Their Appl., 16 (4): 265-276 (2010)A Program Slicer for Java (Tool Paper)., , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 146-151. Springer, (2022)Optimal (r,δ )-LRCs from monomial-Cartesian codes and their subfield-subcodes., , and . Des. Codes Cryptogr., 92 (9): 2549-2586 (September 2024)Thermographic quantitative variables for diabetic foot assessment: preliminary results., , , , , , , , , and 2 other author(s). Comput. methods Biomech. Biomed. Eng. Imaging Vis., 7 (5-6): 660-666 (2019)