Article count: 12
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 (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)
A linear linear lambda-calculus. Díaz-Caro A.; Dowek G.. (2024)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software and Quantum Programming Languages
Application domains:
Fusion Data on Fuzzy Modality: From Algebraic Interpretations to Quantum Simulations via Qiskit Platform. Buss, Juliano; Novack, Bruna; Botelho, Cecilia; Santos, Helida; Lucca, Giancarlo; Cruz, Anderson; Yamin, Adenauer; Reiser, Renata. (2024)
Countries (from iberoamerica): Brasil
Groups:
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)
A new connective in natural deduction, and its application to quantum computing. Díaz-Caro, Alejandro and Dowek, Gilles. (2023)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software
Application domains:
High-Level Design and Specification (4), 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)
A Note on Confluence in Typed Probabilistic Lambda Calculi. Romero, Rafael and Díaz-Caro, Alejandro. (2022)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software
Application domains:
Linear Lambda-Calculus is Linear. Díaz-Caro, Alejandro and Dowek, Gilles. (2022)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software and Quantum Programming Languages
Application domains:
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model. Díaz-Caro, Alejandro and Malherbe, Octavio. (2022)
Countries (from iberoamerica): Argentina and Uruguay
Groups:
Topics: Formal Specification for Quantum Software
Application domains:
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. Díaz-Caro, Alejandro. (2022)
Countries (from iberoamerica): Argentina
Groups:
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)
A Categorical Construction for the Computational Definition of Vector Spaces. Díaz-Caro, Alejandro and Malherbe, Octavio. (2020)
Countries (from iberoamerica): Argentina and Uruguay
Groups:
Topics: Formal Specification for Quantum Software
Application domains:
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)
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:
Confluence in Probabilistic Rewriting. Díaz-Caro, Alejandro and Martínez, Guido. (2018)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software and Quantum Programming Languages
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)
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. Díaz-Caro, Alejandro. (2017)
Countries (from iberoamerica): Argentina
Groups:
Topics: Formal Specification for Quantum Software
Application domains: