1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CC2022
Quantum invariants for the graph isomorphism problem
Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual +4
Graph Isomorphism is such an important problem in computer science, that it has been widely studied over the last decades. It is well known that it belongs to NP class, but is not…
cs.FL2012★ 1 cited
Conformance Verification of Normative Specifications using C-O Diagrams
Gregorio Díaz, Luis Llana, Valentín Valero +1
C-O Diagrams have been introduced as a means to have a visual representation of normative texts and electronic contracts, where it is possible to represent the obligations, permiss…
cs.SE2012
Proceedings 2nd Workshop on Formal Methods in the Development of Software
César Andrés, Luis Llana
This volume contains the proceedings of the 2nd WorkShop on Formal Methods in the Development of Software (WS-FMDS 2012). The workshop was held in Paris, France on August 30th, 201…