A Generalization of the Method of Finite Differences. - D. Holnapy; Miklós Szöts; A. Botár (Inf. Process. Lett., 1973)

On the incompleteness of proving partial correctness. - Tamás Gergely; Miklós Szöts (Acta Cybern., 1978)

A method for program synthesis. - Miklós Szöts; Sándor Csizmazia (Symposium on Programming, 1982)

A Comparison of two Logic Programming Languages: A Case Study. - Miklós Szöts (ICLP, 1984)

Cuttable Formulas for Logic Programming. - Tamás Gergely; Miklós Szöts (SLP, 1984)

How to Represent Meanings in an Ontology. - Miklós Szöts; Tamás Gröbler; András Simonyi (Acta Cybern., 2007)

An Ontology Segmentation Tool. - András Simonyi; Miklós Szöts (Acta Cybern., 2010)

Semantics driven intelligent front-end. - Tamás Gergely; Edit Halmay; Miklós Szöts; George Suciu; Romulus Cheveresan (SpeD, 2017)