( en | de | ru )

 

Disambiguation of "Sapiña, Julia"

Author of the publication

copydeleteadd this publication to your clipboard
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.

, , , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 121-124. Springer, (2013)

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.

Igor Sapina

Guenter Julian

Otto Julian

Ernst Julian

Klaus Julian

 

Other publications of authors with the same name

Assertion-based Analysis via Slicing with ABETS (System Description)., , , and . CoRR, (2016)Inspecting Maude variants with GLINTS., , , and . Theory Pract. Log. Program., 17 (5-6): 689-707 (2017)Optimization of rewrite theories by equational partial evaluation., , , and . J. Log. Algebraic Methods Program., (2022)Symbolic Specialization of Rewriting Logic Theories with Presto., , , and . Theory Pract. Log. Program., 22 (3): 444-495 (2022)Most General Variant Unifiers., and . ICLP Technical Communications, volume 306 of EPTCS, page 154-167. (2019)Symbolic Analysis of Maude Theories with Narval., , , and . Theory Pract. Log. Program., 19 (5-6): 874-890 (2019)An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis., , and . J. Log. Algebraic Methods Program., (October 2023)Exploring conditional rewriting logic computations., , , and . J. Symb. Comput., (2015)Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System., , and . Math. Comput. Sci., 14 (3): 591-606 (2020)Variant-Based Equational Anti-unification., , , and . LOPSTR, volume 13474 of Lecture Notes in Computer Science, page 44-60. Springer, (2022)