Article count: 3
High-Level Design and Specification (2), Implementation (1), Quality Assurance (0), Project Management (0), Maintenance (0), Tooling and Infrastructure (0), Testing (0), Education and Training (0), Process and Methodologies (0) and Problem Analysis and Requirements Engineering (0)
Problem Analysis and Requirements Engineering, Applicability and aplications, Non-functional Requirements for Quantum Systems, Hybrid System Requirements, High-Level Design and Specification, Quantum-Classical Co-Design, Quantum Software Modeling Languages, Formal Specification for Quantum Software, Implementation, Quantum Programming Languages, Hybrid Microservices and APIs, Benchmarking of Quantum Algorithms, Quantum Algorithm Design, Variational and Hybrid Algorithms, Adiabatic and Annealing-based Algorithms, Quantum-Inspired Classical Algorithms, Quantum State Preparation, Quantum Walk-based Algorithms, Quantum Data Encoding and Embeddings, Transpilation and Circuit Optimization, Testing, Quantum Software Testing Strategies, Test Oracle and Correctness Criteria, Simulation and Emulation-based Testing, Maintenance, Quantum Software Reengineering, Hardware-Aware Portability, Reverse Engineering and Code Analysis, Process and Methodologies, Quantum-Aware Software Development Processes, Quantum Software Methodologies, Tooling and Infrastructure, Quantum Execution Backends, CI/CD for Quantum Software, Hybrid Quantum-HPC Infrastructure, Quantum Simulation Frameworks and Strategies, Quantum Development Tools, Quality Assurance, Fault Models for Quantum Software, Metrics and Benchmarks, Quantum Error Correction and Error Mitigation, Project Management, Collaboration in Hybrid Teams, Documentation and Versioning, Education and Training, Pedagogical Tools for QSE, Curriculum Design
High-Level Design and Specification (1), Quality Assurance (0), Project Management (0), Maintenance (0), Tooling and Infrastructure (0), Process and Methodologies (0), Implementation (0), Testing (0), Education and Training (0) and Problem Analysis and Requirements Engineering (0)
Classically time-controlled quantum automata: definition and properties. Díaz-Caro A.; Villagra M.. (2025)
Countries (from iberoamerica): Argentina and Paraguay
Groups: UBA (Argentina) and UNA (Paraguay)
Topics: Formal Specification for Quantum Software
Application domains:
High-Level Design and Specification (1), Quality Assurance (0), Project Management (0), Maintenance (0), Tooling and Infrastructure (0), Process and Methodologies (0), Implementation (0), Testing (0), Education and Training (0) and Problem Analysis and Requirements Engineering (0)
Classically Time-Controlled Quantum Automata. Díaz-Caro, Alejandro and Villagra, Marcos. (2018)
Countries (from iberoamerica): Argentina and Paraguay
Groups:
Topics: Formal Specification for Quantum Software
Application domains:
Implementation (1), Quality Assurance (0), Tooling and Infrastructure (0), Maintenance (0), Project Management (0), Process and Methodologies (0), High-Level Design and Specification (0), Testing (0), Education and Training (0) and Problem Analysis and Requirements Engineering (0)
Comparison of two types of quantum oracles based on Grover's adaptative search algorithm for multiobjective optimization problems. Fogel G.G.; Baran B.; Villagra M.. (2017)
Countries (from iberoamerica): Paraguay
Groups:
Topics: Quantum Algorithm Design
Application domains: