Article count: 21
High-Level Design and Specification (11), Implementation (9), Education and Training (2), Tooling and Infrastructure (2), Problem Analysis and Requirements Engineering (2), Process and Methodologies (1), Project Management (0), Maintenance (0), Quality Assurance (0) and Testing (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
Tooling and Infrastructure (1), Implementation (1), Education and Training (1), High-Level Design and Specification (1), Project Management (0), Quality Assurance (0), Testing (0), Problem Analysis and Requirements Engineering (0), Process and Methodologies (0) and Maintenance (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:
Tools for Quantum Programming: A Review. Marrero, Luciano and Olsowy, Verena and Sosa, Juan Fernández and Tesone, Fernando and Corbalán, Leonardo and Thomas, Pablo and Pesado, Patricia. (2025)
Countries (from iberoamerica): Argentina
Groups:
Topics: Quantum Programming Languages, Quantum Execution Backends and Pedagogical Tools for QSE
Application domains:
Problem Analysis and Requirements Engineering (2), Process and Methodologies (1), Tooling and Infrastructure (1), Education and Training (1), Implementation (1), High-Level Design and Specification (1), Project Management (0), Quality Assurance (0), Testing (0) and Maintenance (0)
Trends in High Performance Computing and Quantum Computing. Pousa A.; Sanz V.; Naiouf M.; De Giusti A.. (2024)
Countries (from iberoamerica): Argentina
Groups:
Topics: Hybrid Quantum-HPC Infrastructure
Application domains:
An overview of quantum software engineering in Latin America. Aparicio-Morales Á.M.; Moguel E.; Bibbo L.M.; Fernandez A.; Garcia-Alonso J.; Murillo J.M.. (2024)
Countries (from iberoamerica): Argentina
Groups: LIFIA (Argentina) and SpiLab (España)
Topics: Process and Methodologies and Education and Training
Application domains:
Current and Future Panorama of Quantum and Post-Quantum Cryptography. Claudio M.; Fernando F.. (2024)
Countries (from iberoamerica): Argentina
Groups:
Topics: Applicability and aplications
Application domains: Quantum-Safe Cryptography
Systematic Review on Requirements Engineering in Quantum Computing: Insights and Future Directions. Sepúlveda S.; Cravero A.; Fonseca G.; Antonelli L.. (2024)
Countries (from iberoamerica): Argentina and Chile
Groups:
Topics: Hybrid System Requirements
Application domains:
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:
Implementation (2), High-Level Design and Specification (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)
Theory of overparametrization in quantum neural networks. Larocca, Martín and Ju, Nathan and García-Martín, Diego and Coles, Patrick J. and Cerezo, Marco. (2023)
Countries (from iberoamerica): Argentina
Groups:
Topics: Variational and Hybrid Algorithms
Application domains: Quantum Machine Learning and Neural Models
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:
Quantum-inspired algorithm for direct multi-class classification. Giuntini, Roberto and Holik, Federico and Park, Daniel K. and Freytes, Hector and Blank, Carsten and Sergioli, Giuseppe. (2023)
Countries (from iberoamerica): Argentina
Groups:
Topics: Quantum-Inspired Classical Algorithms
Application domains: Quantum Machine Learning and Neural Models
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:
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)
A proposal of quantum data representation to improve the discrimination power. Sousa, Rosilda B. de and Pereira, Emeson J. S. and Cipolletti, Marina P. and Ferreira, Tiago A. E.. (2019)
Countries (from iberoamerica): Argentina and Brasil
Groups:
Topics: Quantum Data Encoding and Embeddings
Application domains:
Implementation (3), High-Level Design and Specification (2), 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)
On an explicit representation of the Łukasiewicz sum as a quantum operation. Freytes, H. and Holik, F. and Bosyk, G. M. and Sergioli, G.. (2018)
Countries (from iberoamerica): Argentina
Groups:
Topics: Quantum Algorithm Design
Application domains:
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:
On an explicit representation of the Łukasiewicz sum as a quantum operation. Freytes, H. and Holik, F. and Bosyk, G. M. and Sergioli, G.. (2018)
Countries (from iberoamerica): Argentina
Groups:
Topics: Quantum Algorithm Design
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: