Alain Giorgetti

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

13h-index536citations114works0.92yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(32), Software Testing and Debugging Techniques(26), Formal Methods in Verification(25), Model-Driven Software Engineering Techniques(10), Software Engineering Research(9)

Publications114 total

An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs
Journal of Mathematical Physics·2025
A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals
Journal of Physics A Mathematical and Theoretical·2025· 1 citedOpen Access
Generation of state-independent contextuality proofs from hypergraphs
SPIRE - Sciences Po Institutional REpository·2025
Hexagons govern three-qubit contextuality
Quantum·2025· 1 citedOpen Access
An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs
arXiv (Cornell University)·2024Open Access
A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals
arXiv (Cornell University)·2024Open Access
New and improved bounds on the contextuality degree of multi-qubit configurations
Mathematical Structures in Computer Science·2024· 4 citedOpen Access
Hexagons govern three-qubit contextuality
arXiv (Cornell University)·2023Open Access
Calcul du degré de contextualité de diverses géométries finies quantiques
SPIRE - Sciences Po Institutional REpository·2023
Disclosing Quantum Contextuality: A Geometric Approach to N-Qubit Configurations
HAL (Le Centre pour la Communication Scientifique Directe)·2023
New and improved bounds on the contextuality degree of multi-qubit configurations
arXiv (Cornell University)·2023Open Access
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2023Open Access
A Gentle Introduction to Verification of Parameterized Reactive Systems
Lecture notes in computer science·2023Open Access
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families
arXiv (Cornell University)·2022Open Access
Contextuality degree of quadrics in multi-qubit symplectic polar spaces
Journal of Physics A Mathematical and Theoretical·2022· 11 citedOpen Access
Computer-assisted enumeration and classification of multi-qubit doilies
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
Computer-assisted enumeration of finite geometries related to quantum contextuality
HAL (Le Centre pour la Communication Scientifique Directe)·2022
Multi-qubit doilies: Enumeration for all ranks and classification for ranks four and five
Journal of Computational Science·2022Open Access
Towards random and enumerative testing for OCaml and WhyML properties
Software Quality Journal·2022Open Access
Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank
Mathematics·2021· 10 citedOpen Access
page 1 of 6Next →

Frequent Co-authors

Jacques Julliand(8), Nikolaï Kosmatov(7), Olga Kouchnarenko(7), Frédéric Dadeau(6), Walid Belkhir(6), Elena Tushkanova(6), Fabrice Bouquet(5), Guillaume Petiot(5), Jean-François Couchot(4), Michel Lenczner(4), Frédéric Holweck(4), Метод Санига(4), Timothy R. Walsh(4), Ivan Enderlin(4), Omar Chebaro(3), Henri de Boutray(3), Christophe Ringeissen(3), Catherine Dubois(3), Didier Arquès(2), Bernard Botella(2)