Hierarchical agglomerative clustering procedure. - Alena Lukasová (Pattern Recognit., 1979)

Reasoning with Semantic Tableau Binary Trees in Description Logic. - Alena Lukasová (Description Logics, 2005)

Reasoning in RDFgraphic formal system with quantifiers . - Alena Lukasová; Marek Vajgl; Martin Zácek (IMCSIT, 2010)

Building a Non-monotonic Default Theory in GCFL Graph-Version of RDF. - Alena Lukasová; Martin Zácek; Marek Vajgl (CSOC, 2014)

Reasoning in Formal Systems of Extended RDF Networks. - Alena Lukasová; Martin Zácek; Marek Vajgl (ACIIDS (2), 2017)

Ontology Languages for Semantic Web from a Bit Higher Level of Generality. - Martin Zácek; Alena Lukasová; Marek Vajgl (ACIIDS (2), 2018)

Semantic Web Languages: Expressivity of SWL. - Martin Zácek; Alena Lukasová; Marek Vajgl; Zdenka Telnarová (ACIIDS (Extended Posters), 2019)