Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

The Many-Worlds Calculus

Formal Methods for Quantum Algorithms

Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus

On Quantum Programming Languages

A Complete Equational Theory for Quantum Circuits

A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

A Curry-Howard Correspondence for Linear, Reversible Computation

Reducing the depth of linear reversible quantum circuits

Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits

A Complete Equational Theory for Quantum Circuits

Addressable quantum gates

Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem

Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing

LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits

Simulation of Linear Optical Interferometers (Extended Abstract)

Intermolecular rovibrational bound states of H2O H2 dimer from a MultiConfiguration Time Dependent Hartree approach

An automated deductive verification framework for circuit-building quantum programs

The effect of the condensed-phase environment on the vibrational frequency shift of a hydrogen molecule inside clathrate hydrates

Applying quantitative semantics to higher-order quantum computing

Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems

A general algorithm for pattern diagnosability of distributed discrete event systems

SMT-based Diagnosability Analysis of Real-Time Systems

New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems

Diagnosability analysis for self-observed distributed discrete event systems

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures

A Probabilistic Analysis of Predictability in Discrete Event Systems

A general algorithm for pattern diagnosability of distributed discrete event systems

Probabilistic Analysis of Predictability in Discrete Event Systems

An Approximation-based Incremental SMT Approach for Diagnosability Analysis of Real-Time Systems

Debugging Process Algebra Specifications

Diagnosability for Patterns in Distributed Discrete Event Systems

Automatisation du codage des récits de rêve : une approche basée sur la génération de paraphrases

An Optimized Algorithm for Diagnosability of Component-based Systems

Abstractions refinement for hybrid systems diagnosability analysis

Automating Abstraction Computations of Hybrid Systems

Stability of Asynchronously Communicating Systems

Predictability in probabilistic discrete event systems

About Decisiveness of Dynamic Probabilistic Models

How to be Sure a Faulty System Does not Always Appear Healthy?

Diagnosability Analysis of Discrete Event Systems with Autonomous Components

Diagnosability Planning for Controllable Discrete Event Systems

Détection de l'émotion à partir de ses composantes dans des récits émotionnels

Diagnosability Planning for Controllable Discrete Event Systems

Quantifying the Parallelism in BPMN Processes using Model Checking

VerChor: A Framework for the Design and Verification of Choreographies

Analysis of recurrent neural networks via property-directed verification of surrogate models

A Coloured Petri Nets Based Attack Tolerance Framework

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Fault Manifestability Verification for Discrete Event Systems