Mapping of bibliographical standards into XML. - Mirjana Jaksic (Softw. Pract. Exp., 2004)

An Approach to the Example-based Consistency Checking of Web Documents. - Mirjana Jaksic (Grundlagen von Datenbanken, 2006)

Logic-based verification of technical documentation. - Christian Schönberg; Franz Weitl; Mirjana Jaksic; Burkhard Freitag (ACM Symposium on Document Engineering, 2009)

Towards the automated verification of semi-structured documents. - Franz Weitl; Mirjana Jaksic; Burkhard Freitag (Data Knowl. Eng., 2009)

Temporal Patterns for Document Verification. - Mirjana Jaksic; Burkhard Freitag (WWV, 2010)