Mirjana Jaksic

According to our database, Mirjana Jaksic authored at least 5 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Temporal Patterns for Document Verification.

Mirjana Jaksic, Burkhard Freitag

Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

2009

Towards the automated verification of semi-structured documents.

Franz Weitl, Mirjana Jaksic, Burkhard Freitag

Data Knowl. Eng., 2009

Logic-based verification of technical documentation.

Christian Schönberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag

Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

2006

An Approach to the Example-based Consistency Checking of Web Documents.

Mirjana Jaksic

Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

2004

Mapping of bibliographical standards into XML.

Mirjana Jaksic

Softw. Pract. Exp., 2004