Human-Centric AI to Mitigate AI Biases

Toward Scalable Hybrid Stores

Invisible Glue: Scalable Self-Tuning Multi-Stores

PROCLAIM: An Unsupervised Approach to Discover Domain-Specific Attribute Matchings from Heterogeneous Sources

A Graph Partitioning Algorithm for Edge or Vertex Balance

Emittance tuning of the FCC-ee High Energy Booster ring

B-GRAP: Balanced GRAph Partitioning Algorithm for Large Graphs

A multi-source graph database to showcase a recommender system for dyslexic students

Smart Crawling: A New Approach toward Focus Crawling from Twitter

A Hierarchical Deep Learning Approach for Minority Instrument Detection

A Formal Analysis of Quantum Algorithms

A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)

Programmer un ordinateur quantique

A lambda calculus for quantum computation with classical control

Programming the quantum future

Toward analytic rewriting theory

Generating reversible circuits from higher-order functional programs

Toward certified quantum programming

The vectorial λ-calculus

Synthesizing Quantum Circuits via Numerical Optimization

A time synchronization protocol for A664-P7

On the Semantics of Polychronous Polytimed Specifications

From Symmetric Pattern-Matching to Quantum Control

Reuse method for quantum circuit synthesis

Realizability in the Unitary Sphere

Concrete Resource Analysis of the Quantum Linear System Algorithm used to Compute the Electromagnetic Scattering Cross Section of a 2D Target

The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects

Quantum circuits synthesis using Householder transformations

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Semantics for a Higher Order Functional Programming Language for Quantum Computation

Parallelism and Synchronization in an Infinitary Context

Proceedings 20th International Conference on Quantum Physics and Logic

Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures

Semantics of quantum programming languages: Classical control, quantum control

Towards a formal semantics of the TESL specification language

Non-deterministic, probabilistic, and quantum effects through the lens of event structures

Proceedings 17th International Conference on Quantum Physics and Logic

Equivalence of algebraic λ-calculi

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Toward a Curry-Howard Equivalence for Linear, Reversible Computation

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

Categorical Semantics of Reversible Pattern-Matching

Towards a Curry-Howard Correspondence for Linear, Reversible Computation

Geometry of Interaction for ZX-Diagrams

Strong Simulation of Linear Optical Processes

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types

Geometry of Interaction for ZX-Diagrams

A Curry-Howard Correspondence for Linear, Reversible Computation

A Rewriting Theory for Quantum λ-Calculus