( en | de | ru )

 

Disambiguation of "Marqués, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
Consistency Verification of Deductive Database Schemes.

, and . DAISD, volume LSI/93-25-R of Report de recerca, page 287-307. Universitat Politecnica de Catalunya (UPC), (1993)

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.

José-Luis Marqués-López

António Marques

Ricardo Marques

Miguel Marques

Nicolas Marques

 

Other publications of authors with the same name

A Derivation Path Recording Method for Integrity Checking in Deductive Databases., , , , and . DAISD, volume LSI/91-30 of Report de recerca, page 185-203. Universitat Politecnica de Catalunya (UPC), (1991)Consistency Verification of Deductive Database Schemes., and . DAISD, volume LSI/93-25-R of Report de recerca, page 287-307. Universitat Politecnica de Catalunya (UPC), (1993)A Mechanism for Verification of Knowledge Base Scheme Specifications., , and . EUROVAV, page 103-115. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.Deep Learning Applied to Automatic Reclosers Detection in Power Grid., , , , , and . COMPSAC, page 1861-1866. IEEE, (2021)Online self-reconfigurable robot navigation in heterogeneous environments., , , , , and . ISIE, page 1-6. IEEE, (2013)An Autonomous Mobile Robot Navigation Architecture for Dynamic Intralogistics., , , , , , and . INDIN, page 1-6. IEEE, (2021)"Interrupting" the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA)., , , and . IEEE Access, (2024)An iterative oversampling approach for ordinal classification., , , , , and . SAC, page 771-774. ACM, (2019)Holistic RISC-V Virtualization: CVA6-based SoC., , , , and . CF, page 389-390. ACM, (2023)On the Design of a Robotic System Composed of an Unmanned Surface Vehicle and a Piggybacked VTOL., , , , , and . DoCEIS, volume 423 of IFIP Advances in Information and Communication Technology, page 193-200. Springer, (2014)