Detecting XML Functional Dependencies through Formal Concept Analysis. - Katalin Tunde Janosi-Rancz; Viorica Varga; Timea Nagy (ADBIS, 2010)

Developing railway interlocking systems with session types and Event-B. - Tibor Kiss; Katalin Tunde Janosi-Rancz (SACI, 2016)

Linking Formal and Informal Structures based on Members' E-mail Communication Patterns. - Katalin Tunde Janosi-Rancz; Zoltán Kátai; David Iclanzan (Aust. J. Intell. Inf. Process. Syst., 2019)