- Rich Ontology Extraction and Wikipedia Expansion Using Language Resources
- Incremental Construction of Counterexamples in Model Checking Web Documents
- Structured Counterexamples for the Temporal Description Logic ALCCTL Franz Weitl, Shin Nakajima
- Designing a metamodel-based recommender system
- Supporting interoperability of distributed digital archives using authority-controlled ontologies
- Weighted Boolean Conditions for Ranking Matthias Beck #1, Burkhard Freitag #2
- Ranking von Produktempfehlungen mit prferenz-annotiertem SQL
- Designing an E-Learning Platform for Reading Comprehension Jan Ehrlich, Sven Radde
- Generating Recommendation Dialogues from Product Models Sven Radde and Matthias Beck and Burkhard Freitag
- An Approach to the Example-based Consistency Checking of Web Documents
- Current Developments in Technology-Assisted Education (2006) 1 FORMATEX 2006
- Themenkatalog des Digitalen Monumentalbau-Archivs
- Incremental Construction of Counterexamples in Model Checking Web Documents
- Temporal Patterns for Document Verification
- Verdikt Workshop, Passau Change Management for Formal Methods ?
- Spezifikationsmuster fr Web DokumenteSpezifikationsmuster fr Web Dokumente M. Sc. Mirjana Jaksi
- Using Answer Set Programming for the Automatic Compilation of Assessment Tests
- Dissertation Document Verification with Temporal
- Checking Semantic Integrity Constraints on Integrated Web Documents
- Verification of Web-Content: A Case Study on Technical Documentation
- Towards the automated verification of semi-structured documents Franz Weitl *, Mirjana Jaksic, Burkhard Freitag
- Temporal Patterns for Document Verification
- Verification of Web Content: A Case Study on Technical Documentation
- A UML Profile for Modeling Schema Mappings Stefan Kurz, Michael Guppenberger, and Burkhard Freitag
- Verification of Web-Content: A Case Study on Technical Documentation
- Semantic Matchmaking using Ranked Instance Matthias Beck and Burkhard Freitag
- Evaluating RDF Querying Frameworks for Document Metadata
- L. Kovcs, N. Fuhr, and C. Meghini (Eds.): ECDL 2007, LNCS 4675, pp. 223234, 2007. Springer-Verlag Berlin Heidelberg 2007
- Langzeitarchivierung im Digitalen Monumentalbau-Archiv
- Dokumentverifikation mit temporalenp Beschreibungslogiken
- Extracting and Storing Document Metadata Christian Schonberg and Burkhard Freitag
- Datenqualitat durch inhaltsbezogene Referenzierung Franz Weitl, Burkhard Freitag
- A Model-Based Customer Inference Engine Sven Radde and Andreas Kaiser and Burkhard Freitag1
- Evaluation eines Ansatzes zur Muster-basierten Spezifikation
- Metadatenmodellierung fr Dokumente M. Sc. Mirjana Jaksic
- Dissertation Document Verification with Temporal
- Dokumentverifikation mit Temporaler Beschreibungslogik Franz Weitl
