Work

Formalising the incremental execution of static quantum circuits

Year: 2026

Type: article

Source: Journal of Logical and Algebraic Methods in Programming

DOI: 10.1016/j.jlamp.2026.101174

Authors: Alessandro Bocci, Giuseppe Bisicchia, Ernesto Pimentel, Antonio Brogi

Institutions: University of Pisa, Universidad de Málaga

Language: English

Topic: Quantum Computing Algorithms and Architecture

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Ministerio de Ciencia, Innovación y Universidades, Ministerio de Ciencia e Innovación

Award: G6482838024

OpenAlex ID: W7213251901

FWCI:

Cites: 21

Cited by:

Related to: 10