Publicaciones en colaboración con investigadores/as de Universidad Nebrija (243)

2022

  1. A new radiation-hardened architecture for holographic memory address calculation

    Alexandria Engineering Journal, Vol. 61, Núm. 8, pp. 6181-6190

  2. ACME-2: Improving the Extraction of Essential Bits in Xilinx SRAM-Based FPGAs

    IEEE Transactions on Circuits and Systems II: Express Briefs, Vol. 69, Núm. 3, pp. 1577-1581

  3. An analysis of FPGA configuration memory SEU accumulation and a preventative scrubbing technique

    Microprocessors and Microsystems, Vol. 90

  4. Design and implementation of efficient QCA full-adders using fault-tolerant majority gates

    Journal of Supercomputing, Vol. 78, Núm. 6, pp. 8056-8080

  5. Flexible and area-efficient Galois field Arithmetic Logic Unit for soft-core processors

    Computers and Electrical Engineering, Vol. 99

  6. Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

    Mathematics in Computer Science, Vol. 16, Núm. 4

  7. Reducing the Impact of Defects in Quantum-Dot Cellular Automata (QCA) Approximate Adders at Nano Scale

    IEEE Transactions on Emerging Topics in Computing, Vol. 10, Núm. 2, pp. 635-647

  8. Towards an ecosystem for computer-supported geometric reasoning

    International Journal of Mathematical Education in Science and Technology, Vol. 53, Núm. 7, pp. 1701-1710

  9. Towards an error-free 3-D memory for space applications

    Advances in Space Research, Vol. 70, Núm. 7, pp. 1917-1924

2021

  1. Automated reasoning tools in GeoGebra discovery

    ACM Communications in Computer Algebra, Vol. 55, Núm. 2, pp. 39-43

  2. Combined Symbol Error Correction and Spare Through-Silicon Vias for 3D Memories

    IEEE Transactions on Emerging Topics in Computing, Vol. 9, Núm. 4, pp. 2139-2145

  3. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

  4. Decoding Algorithm for Quadruple-Error-Correcting Reed-Solomon Codes and Its Derived Architectures

    IEEE Transactions on Circuits and Systems II: Express Briefs, Vol. 68, Núm. 4, pp. 1438-1442

  5. Fault injection emulation for systems in FPGAs: Tools, techniques and methodology, a tutorial

    Sensors (Switzerland), Vol. 21, Núm. 4, pp. 1-23

  6. GeoGebra Discovery in Context

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  7. Inventing theorems with GeoGebra: a new altitude theorem

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 111, pp. 8-28

  8. Low delay non-binary error correction codes based on Orthogonal Latin Squares

    Integration, Vol. 76, pp. 55-60