Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. - Benedek Nagy; Sándor Vályi (VLL, 2007)

Interval-valued computations and their connection with PSPACE. - Benedek Nagy; Sándor Vályi (Theor. Comput. Sci., 2008)

Computing discrete logarithm by interval-valued paradigm. - Benedek Nagy; Sándor Vályi (DCM, 2012)

A Characterization of NP Within Interval-Valued Computing. - Benedek Nagy; Sándor Vályi (MCU, 2015)

On the axiomatizability of some first-order spatio-temporal theories. - Sándor Vályi (Synth., 2015)

A Shift-free Characterization of NP within Interval-valued Computing. - Benedek Nagy; Sándor Vályi (Fundam. Informaticae, 2017)

An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines. - Benedek Nagy; Sándor Vályi (MCU, 2018)

Circular Interval-valued Computers and Simulation of (Red-green) Turing Machines. - Benedek Nagy; Sándor Vályi (Fundam. Informaticae, 2021)