( en | de | ru )

 

Disambiguation of "Mora, Federico"

Author of the publication

copydeleteadd this publication to your clipboard
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.

, , and . CoRR, (2023)

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.

Izidor Carlos Mora Mora

Erwin Mora

Pawel Mora

Ahmed Mora

Alejandro Mora

 

Other publications of authors with the same name

Pollen Classification Based on Geometrical, Descriptors and Colour Features Using Decorrelation Stretching Method., , , , , , and . EANN/AIAI (2), volume 364 of IFIP Advances in Information and Communication Technology, page 342-349. Springer, (2011)Integrating Web-based and Corpus-based Techniques for Question Answering., , , , , , , , and . TREC, volume 500-255 of NIST Special Publication, page 426-435. National Institute of Standards and Technology (NIST), (2003)Z3str4: A Multi-armed String Solver., , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 389-406. Springer, (2021)Verification by Gambling on Program Slices., , , , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 266-282. Springer, (2021)Message Chains for Distributed System Verification., , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 2224-2250 (October 2023)MedleySolver: Online SMT Algorithm Selection., , , and . SAT, volume 12831 of Lecture Notes in Computer Science, page 453-470. Springer, (2021)StringFuzz: A Fuzzer for String Solvers., , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning., , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 103-121. Springer, (2021)An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes., , and . AAAI, page 8099-8107. AAAI Press, (2024)UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis., , , , , , , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 538-551. Springer, (2022)