( en | de | ru )

 

Disambiguation of "Palomo-Lozano, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
Conformance Relations for Fuzzy Automata.

, , , and . IWANN (1), volume 11506 of Lecture Notes in Computer Science, page 753-765. Springer, (2019)

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.

Enrique Lozano

Enrique Lozano

Juan Lozano

Armand Lozano

Enrique Lozano

 

Other publications of authors with the same name

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions., , , , and . ICTSS, volume 8763 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)A verified Common Lisp implementation of Buchberger's algorithm in ACL2., , and . J. Symb. Comput., 45 (1): 96-123 (2010)Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions., , and . ICST Workshops, page 142-150. IEEE Computer Society, (2010)Conformance Relations for Fuzzy Automata., , , and . IWANN (1), volume 11506 of Lecture Notes in Computer Science, page 753-765. Springer, (2019)A Certified Polynomial-Based Decision Procedure for Propositional Logic., , and . TPHOLs, volume 2152 of Lecture Notes in Computer Science, page 297-312. Springer, (2001)Verified Computer Algebra in Acl2. Gröbner Bases Computation., , , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 171-184. Springer, (2004)Virtual Savant as a generic learning approach applied to the basic independent Next Release Problem., , , and . Appl. Soft Comput., (2021)Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm., , , and . GECCO, page 1200-1207. ACM, (2017)Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection., , , and . GECCO (Companion), page 95-96. ACM, (2016)Test suite minimization for mutation testing of WS-BPEL compositions., , , and . GECCO, page 1427-1434. ACM, (2018)