A modelling tool based on mathematical logic T-PROLOG. - Ivan Futó; János Szeredi; K. Szenes (Acta Cybern., 1981)

System Simulation and Cooperative Problem-solving on a Prolog Basis. - Ivan Futó; János Szeredi (Implementations of Prolog, 1984)

System Architecture of a Distributed Expert System for the Management of a National Data Network. - Ioannis P. Vlahavas; Nick Bassiliades; Ilias Sakellariou; Martín Molina; Sascha Ossowski; Ivan Futó; Zoltán Pásztor; János Szeredi; Igor Velbitskiy; Sergey Yershov; Sergey Golub; Igor Netesin (AIMSA, 1998)

CSPCONS: A Communicating Sequential Prolog with Constraints. - Ioannis P. Vlahavas; Ilias Sakellariou; Ivan Futó; Zoltán Pásztor; János Szeredi (SETN, 2002)

ExperNet: An Intelligent Multiagent System for WAN Management. - Ioannis P. Vlahavas; Nick Bassiliades; Ilias Sakellariou; Martín Molina; Sascha Ossowski; Ivan Futó; Zoltán Pásztor; János Szeredi; Igor Velbitskiy; Sergey Yershov; Igor Netesin (IEEE Intell. Syst., 2002)

Communicating sequential processes for distributed constraint satisfaction. - Ilias Sakellariou; Ioannis P. Vlahavas; Ivan Futó; Zoltán Pásztor; János Szeredi (Inf. Sci., 2006)