research
∙
03/27/2023
Some Initial Guidelines for Building Reusable Quantum Oracles
The evolution of quantum hardware is highlighting the need for advances ...
share
research
∙
03/13/2023
Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification
Grover's algorithm is a well-known contribution to quantum computing. It...
research
∙
06/27/2022
A Model-Based Approach for Specifying Changes in Replications of Empirical Studies in Computer Science
Context: The need of replicating empirical studies in Computer Science (...
research
∙
03/11/2021
Bluejay: A Cross-Tooling Audit Framework For Agile Software Teams
Agile software teams are expected to follow a number of specific Team Pr...
research
∙
05/07/2020
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs
Web services often impose inter-parameter dependencies that restrict the...
research
∙
04/30/2018