( en | de | ru )

 

Disambiguation of "Mora, Federico"

Author of the publication

copydeleteadd this publication to your clipboard
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.

, , , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 289-312. Springer, (2021)

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)UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis., , , , , , , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 538-551. Springer, (2022)BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers., , and . VSTTE, volume 12549 of Lecture Notes in Computer Science, page 68-86. Springer, (2020)Scaling Client-Specific Equivalence Checking via Impact Boundary Search., , , and . ASE, page 734-745. IEEE, (2020)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)