The numerical system of residual classes in mathematical machines. - Antonín Svoboda (IFIP Congress, 1959)

An Algorithm for Solving Boolean Equations. - Antonín Svoboda (IEEE Trans. Electron. Comput., 1963)

Synthesis of Logical Systems of Given Activity. - Antonín Svoboda (IEEE Trans. Electron. Comput., 1963)

Ordering of Implicants. - Antonín Svoboda (IEEE Trans. Electron. Comput., 1967)

Boolean Analyzer. - Antonín Svoboda (IFIP Congress (2), 1968)

Decimal Adder with Signed Digit Arithmetic. - Antonín Svoboda (IEEE Trans. Computers, 1969)

Adder With Distributed Control. - Antonín Svoboda (IEEE Trans. Computers, 1970)

Parallel Processing in Boolean Algebra. - Antonín Svoboda (IEEE Trans. Computers, 1973)

Self-checking adder for large scale integration. - Antonín Svoboda (IEEE Symposium on Computer Arithmetic, 1975)

The Concept of Term Exclusiveness and Its Effect on the Theory of Boolean Functions. - Antonín Svoboda (J. ACM, 1975)

Multiple Output Optimization with Mosaics of Boolean Functions. - Ronald C. de Vries; Antonín Svoboda (IEEE Trans. Computers, 1975)

Arithmetic circuit fault detection by modular encoding. - Antonín Svoboda (IEEE Symposium on Computer Arithmetic, 1978)

Mechanical Medical Device for Generating Vibration and Stimulation of the Neuron Pathways. - Antonín Svoboda; Milan Chalupa; Tatána Srámková (Symmetry, 2021)