( en | de | ru )

 

Disambiguation of "Hamza, Jad"

Author of the publication

copydeleteadd this publication to your clipboard
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact).

, , and . Dagstuhl Artifacts Ser., 3 (2): 16:1-16:2 (2017)

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.

Hamza Hamza

Jad Hachem

Jad Nassar

Hamza Aldabbas

Hamza Agli

 

Other publications of authors with the same name

System FR as Foundations for Stainless., , and . CoRR, (2019)Minimal Synthesis of String to String Functions from Examples., and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 48-69. Springer, (2019)On the Complexity of Convex and Reverse Convex Prequadratic Constraints., , and . LPAR, volume 94 of EPiC Series in Computing, page 350-368. EasyChair, (2023)From Verified Scala to STIX File System Embedded Code Using Stainless., , , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 393-410. Springer, (2022)Stainless Verification System Tutorial., and . FMCAD, page 2-7. IEEE, (2021)On the Complexity of Linearizability.. NETYS, volume 9466 of Lecture Notes in Computer Science, page 308-321. Springer, (2015)NP Decision Procedure for Monomial and Linear Integer Constraints., , and . CoRR, (2022)Coming to Terms with Your Choices: An Existential Take on Dependent Types., , , and . CoRR, (2020)