Publications

Journal Articles

[SWF11]

Christian Schönberg, Franz Weitl, and Burkhard Freitag:

Verifying the Consistency of Web-based Technical Documentations.

In: Journal of Symbolic Computation, Special Issue on Automated Specification and Verification of Web Systems, 2011.

PDF (Elsevier), Bibtex

Conference Articles

[FSBW18]

Julia Fischer, Christian Schönberg, Thomas Breisig, and Andreas Winter:

Agilität in nicht-agilen Unternehmen.

In: Mikusz, Martin; Volland, Alexander; Engstler, Martin; Fazal-Baqaie, Masud; Hanser, Eckhart; Linssen, Oliver (eds): Projektmanagement und Vorgehensmodelle (PVM 2018). Der Einfluss der Digitalisierung auf Projektmanagementmethoden und Entwicklungsprozesse, vol. P286, Lecture Notes in Informatics, 195-200, Bonn, GI, 2018.

PDF, Bibtex

[KWS18]

Dilshodbek Kuryazov, Andreas Winter, and Christian Schönberg:

Towards Collaborative Smart City Modeling.

In: vol. 5, no. 5, International Scientific-Practical and Spiritual-educational Conference to explore the importance of information and communication technologies in the innovative development of real sectors of the economy, TUIT, Tashkent, 2018.

PDF, Bibtex

[SPF10]

Christian Schönberg, Helmuth Pree, and Burkhard Freitag:

Rich Ontology Extraction and Wikipedia Expansion Using Language Resources.

In: Proceedings of the 11th International Conference on Web-Age Information Management (WAIM'10), Jiuzhaigou, China, 2010. LNCS, volume 6184.

PDF, Bibtex

[SWJF09]

Christian Schönberg, Franz Weitl, Mirjana Jaksić, and Burkhard Freitag:

Logic-Based Verification of Technical Documentation.

In: DocEng 09: Proceedings of the 9th ACM Symposium on Document Engineering, Munich, 2009. ACM, 251-252.

PDF (ACM), Bibtex

[SJWF09a]

Christian Schönberg, Mirjana Jaksić, Franz Weitl, and Burkhard Freitag:

Verification of Web Content: A Case Study on Technical Documentation.

In: Proceedings of the 5th International Workshop on Automated Specification and Verification of Web Systems (WWV 09), Linz, Austria, 2009. RISC-Linz, 53-67.

PDF, Bibtex

Technical Reports

[SF09b]

Christian Schönberg and Burkhard Freitag:

Extracting and Storing Document Metadata.

Technical report MIP-0907, University of Passau, 2009.

PDF, Bibtex

[SJWF09b]

Christian Schönberg, Mirjana Jaksić, Franz Weitl, and Burkhard Freitag:

Verification of Web-Content: A Case Study on Technical Documentation.

Technical report MIP-0904, University of Passau, 2009.

PDF, Bibtex

[SF09a]

Christian Schönberg and Burkhard Freitag:

Evaluating RDF Querying Frameworks for Document Metadata.

Technical report MIP-0903, University of Passau, 2009.

PDF, Bibtex

Miscellaneous

[Sch14]

Christian Schönberg:

Semantic Processing of Digital Documents.

PhD Thesis, University of Passau, 2014.

PDF, Bibtex

[Sch06]

Christian Schönberg:

Model Checking with Temporal Description Logics.

Diploma Thesis, University of Passau, 2006.

PDF, Bibtex