Katalin Tunde Janosi-Rancz

Affiliations:

According to our database¹, Katalin Tunde Janosi-Rancz authored at least 3 papers between 2010 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Linking Formal and Informal Structures based on Members' E-mail Communication Patterns.

[BibT_eX]

[DOI]

Aust. J. Intell. Inf. Process. Syst., 2019

2016

Developing railway interlocking systems with session types and Event-B.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2016

2010

Detecting XML Functional Dependencies through Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2010