| Publication | Date of Publication | Type |
|---|
Quantum clustering with \(k\)-means: a hybrid approach
Theoretical Computer Science | 2024-03-05 | Paper |
Literal Selection in Switching Lattice Design
Advanced Boolean Techniques | 2024-01-23 | Paper |
Computing preimages and ancestors in reaction systems
Theory and Practice of Natural Computing | 2023-10-16 | Paper |
Integrating topological proofs with model checking to instrument iterative design
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
Characterization and computation of ancestors in reaction systems
Soft Computing | 2022-07-21 | Paper |
Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis
IEEE Transactions on Computers | 2022-03-24 | Paper |
TOrPEDO : witnessing model correctness with topological proofs
Formal Aspects of Computing | 2022-01-11 | Paper |
From Model Checking to a Temporal Proof for Partial Models
Software Engineering and Formal Methods | 2019-09-16 | Paper |
Boolean Minimization of Projected Sums of Products via Boolean Relations
IEEE Transactions on Computers | 2019-08-13 | Paper |
Autosymmetric and dimension reducible multiple-valued functions
| 2018-09-03 | Paper |
Spectral analysis of Boolean functions as a graph eigenvalue problem
IEEE Transactions on Computers | 2018-07-09 | Paper |
A characterization of bent functions in terms of strongly regular graphs
IEEE Transactions on Computers | 2018-07-09 | Paper |
Using Flexibility in P-Circuits by Boolean Relations
IEEE Transactions on Computers | 2017-05-16 | Paper |
On the error resilience of ordered binary decision diagrams
Theoretical Computer Science | 2015-07-24 | Paper |
A note on the polynomial representation of Boolean functions over \(\mathrm{GF}(2)\)
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
Zero-suppressed binary decision diagrams resilient to index faults
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Compact DSOP and partial DSOP forms
Theory of Computing Systems | 2013-12-02 | Paper |
Application of synchrotron radiation micro-CT to local morphological and numerical characterization of short fibre reinforced polymer composites
PU.M.A. Pure Mathematics and Applications | 2012-09-18 | Paper |
On formal descriptions for knitting recursive patterns
Journal of Mathematics and the Arts | 2008-11-25 | Paper |
Quantum Networks on Cubelike Graphs
| 2008-08-04 | Paper |
Synthesis of autosymmetric functions in a new three-level form
Theory of Computing Systems | 2008-06-06 | Paper |
Knitting for Fun: A Recursive Sweater
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Exploiting regularities for Boolean function synthesis
Theory of Computing Systems | 2006-10-25 | Paper |
Room allocation: a polynomial subcase of the quadratic assignment problem
Discrete Applied Mathematics | 2005-02-23 | Paper |
Complexity of some arithmetic problems for binary polynomials
Computational Complexity | 2004-12-13 | Paper |
The average sensitivity of square-freeness
Computational Complexity | 2003-06-09 | Paper |
Hilbert function and complexity lower bounds for symmetric Boolean functions
Information and Computation | 2003-01-14 | Paper |
Circuit and decision tree complexity of some number theoretic problems
Information and Computation | 2003-01-14 | Paper |
On a hierarchy of Boolean functions hard to compute in constant depth
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2001-05-13 | Paper |
scientific article; zbMATH DE number 1453451 (Why is no real title available?)
| 2000-05-28 | Paper |
scientific article; zbMATH DE number 1453452 (Why is no real title available?)
| 2000-05-28 | Paper |
On the Average Sensitivity of Testing Square-Free Numbers
Lecture Notes in Computer Science | 2000-04-03 | Paper |
How fast can one compute the permanent of circulant matrices?
Linear Algebra and its Applications | 1999-11-29 | Paper |
scientific article; zbMATH DE number 1304311 (Why is no real title available?)
| 1999-01-01 | Paper |
scientific article; zbMATH DE number 1222848 (Why is no real title available?)
| 1998-11-11 | Paper |
Spectral properties of some matrices close to the Toeplitz triangular form
Computers & Mathematics with Applications | 1994-11-17 | Paper |
