| Publication | Date of Publication | Type |
|---|
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families
| 2024-11-26 | Paper |
New and improved bounds on the contextuality degree of multi-qubit configurations
Mathematical Structures in Computer Science | 2024-10-16 | Paper |
Classically-embedded split Cayley hexagons rule three-qubit contextuality with three-element contexts
| 2023-12-12 | Paper |
New and improved bounds on the contextuality degree of multi-qubit configurations
| 2023-05-17 | Paper |
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and quantum Fourier transform
Quantum Information Processing | 2023-03-01 | Paper |
Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five
| 2022-06-07 | Paper |
Contextuality degree of quadrics in multi-qubit symplectic polar spaces
| 2021-05-28 | Paper |
Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank
| 2021-05-08 | Paper |
Enumeration of hypermaps of a given genus
Ars Mathematica Contemporanea | 2019-02-01 | Paper |
How testing helps to diagnose proof failures
Formal Aspects of Computing | 2018-11-16 | Paper |
Tests and proofs for custom data generators
Formal Aspects of Computing | 2018-11-16 | Paper |
Automatic decidability: a schematic calculus for theories with counting operators
| 2017-02-01 | Paper |
Tests and Proofs for Enumerative Combinatorics
Tests and Proofs | 2016-10-19 | Paper |
Rooted planar maps modulo some patterns
Discrete Mathematics | 2016-01-21 | Paper |
Quantum contextual finite geometries from dessins d'enfants
International Journal of Geometric Methods in Modern Physics | 2015-12-30 | Paper |
A correspondence between rooted planar maps and normal planar lambda terms
Logical Methods in Computer Science | 2015-10-29 | Paper |
Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices
Ars Mathematica Contemporanea | 2015-01-26 | Paper |
Constructing large tables of numbers of maps by orientable genus
| 2014-05-03 | Paper |
A symbolic transformation language and its application to a multiscale method
Journal of Symbolic Computation | 2014-04-28 | Paper |
A rule-based framework for building superposition-based decision procedures
Rewriting Logic and Its Applications | 2012-10-16 | Paper |
Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices
Discrete Mathematics | 2012-08-10 | Paper |
Enumeration of genus-four maps by number of edges
Ars Mathematica Contemporanea | 2012-03-22 | Paper |
Simulations over two-dimensional on-line tessellation automata
Developments in Language Theory | 2011-07-29 | Paper |
An asymptotic study for path reversal.
Theoretical Computer Science | 2003-05-25 | Paper |
A geometric bijection between a family of hypermaps and a family of polygons enumerated by the series of Schröder
Discrete Mathematics | 2001-04-16 | Paper |
Counting rooted maps on a surface
Theoretical Computer Science | 2000-08-21 | Paper |
Counting rooted maps on an orientable surface of any genus by a function of the numbers of vertices and faces
Journal of Combinatorial Theory. Series B | 2000-06-25 | Paper |
