M. Hoffmann.
Technischer Bericht zum Brückenkurs Mathematik im Wintersemester 2009/10 im
Rahmen des MINTMentoring-Projektes.
Technical Report MIP-1001, Fakultät für Informatik und Mathematik,
Universität Passau, 2010.
(PDF)
M. Hoffmann.
Ergebnisse der studierendenbefragung im wintersemester 2008/09 im rahmen des
mintmentoring-projektes.
Technical Report MIP-0910, Fakultät für Informatik und Mathematik,
Universität Passau, 2009.
(PDF)
Alfons Ruch, Alexander
Stenzer, and Burkhard Freitag.
Erfassung der Anforderungen an das Digitale Monumentalbau-Archiv
MonArch.
Technical Report MIP-0915, Universität Passau, Germany, 2009.
in German.
(PDF)
Christian
Schönberg and Burkhard Freitag.
Evaluating RDF Querying Frameworks for Document Metadata.
Technical Report MIP-0903, University of Passau, Germany, 2009.
(PDF)
Christian
Schönberg and Burkhard Freitag.
Extracting and Storing Document Metadata.
Technical Report MIP-0907, University of Passau, Germany, 2009.
(PDF)
Christian Schönberg,
Mirjana Jaksic, Franz Weitl, and Burkhard Freitag.
Verification of Web-Content: A Case Study on Technical
Documentation.
Technical Report MIP-0904, University of Passau, Germany, 2009.
(PDF)
Mirjana Jaksic and
Burkhard Freitag.
Temporal Patterns for Document Verification.
Technical Report MIP-0805, University of Passau, Germany, 2008.
(PDF)
Alfred Fent, Herbert
Reiter, and Burkhard Freitag.
Design for Change: Evolving Workflow Specifications in ULTRAflow.
Technical Report MIP-0104, University of Passau (FIM), Germany, 2001.
(PDF)
Christian Süß and
Burkhard Freitag.
Passau Knowledge Management System PaKMaS.
IFIS Report 2001/02, Universität Passau (FMI), 2001.
in German.
(PDF)
Carl-Alexander Wichert,
Alfred Fent, and Burkhard Freitag.
A Logical Framework for the Specification of Transactions (Extended
Version).
Technical Report MIP-0102, Universität Passau (FMI), Germany, 2001.
(PDF)
Carl-Alexander Wichert,
Alfred Fent, and Burkhard Freitag.
On the compositionality and transactional execution of electronic services.
IFIS Report MIP-0010, Universität Passau (FMI), 2000.
(PDF)
Carl-Alexander
Wichert, Burkhard Freitag, and Alfred Fent.
A logical framework for the specification of transactions.
IFIS Report MIP-0002, Universität Passau (FIM), 2000.
(PDF)