Teaching and Research Unit Programming and Modelling Languages
print

Language Selection

Breadcrumb Navigation


Content

Publications: Research Papers, Dissertations, Course Material, Master/Diploma Theses, Bachelor/Project Theses

Copyright Notice

The documents distributed here have been provided by the contributing authors as a means to ensure timely dissemination of technical and scholarly work on a noncommercial basis.

Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically.

It is understood that all persons copying documents distributed here will adhere to the terms and constraints implied by the applicable copyrights. A document distributed here may not be redistributed -- in particular may not be electronically reposted -- without the explicit permission of the copyright holders.

The material made available here is exclusively for private use. No part of it may be distributed in classes or in publications, reproduced, stored in a retrieval system, or published, in any form or by means electronic, mechanical, photocopying, or otherwise, without prior written permission of the authors and of the copyright holders.

Research Papers (2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993)

2018
7 Niels Heller, Sebastian Mader, François Bry
Backstage: A Versatile Platform Supporting Learning and Teaching Format Composition
In: Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 22-25 November 2018, Koli (Finland).
Complete Text [ .pdf ]
6 Niels Heller, François Bry
Peer Teaching in Tertiary STEM Education: A Case Study
In: The Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018), 25-28 September 2018, Kos (Greece).
Complete Text [ .pdf ]
5 Sebastian Mader, François Bry
Gaming the Lecture Hall: Using Social Gamification to Enhance Student Motivation and Participation
In: The Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018), 25-28 September 2018, Kos (Greece).
Complete Text [ .pdf ]
4 Niels Heller, François Bry
Predicting Learners' Behaviours to Get it Wrong
In: Proceedings of the 8th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL), 20-22 June 2018, Toledo (Spain).
Complete Text [ .pdf ]
3 Sebastian Mader, François Bry
Blending Classroom, Collaborative, and Individual Learning using Backstage 2
In: Proceedings of the 8th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL), 20-22 June 2018, Toledo (Spain).
Complete Text [ .pdf ]
2 François Bry
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming
Research Report PMS-FB-2018-2, Institute for Informatics, Ludwig-Maximilian University of Munich, 2018
Complete Text [ .pdf ]
1 François Bry, Clemens Schefels, and Christoph Wieser
Editorial of a special issue on Human Computation
Journal it - Information Technology, Volume 60, Issue: 1, pp.1-2, 2018
Complete Text [ .pdf ]
2017
2 Martin Bogner, François Bry, Niels Heller, Stephan Leutenmayr, Sebastian Mader, Alexander Pohl, Yingding Wang, Christoph Wieser, and Clemens Schefels,
Human Collaboration Reshaped: Applications and Perspectives.
In Book "50 Jahre Universitäts-Informatik in München", Arndt Bode, Manfred Broy, Hans-Joachim Bungartz and Florian Matthes editors, chapter 3, pages 47-73, Springer-Verlag, 2017
Complete Text [ .pdf ]
1 François Bry and Alexander Pohl
Large class teaching with Backstage
Journal of Applied Research in Higher Education (Special issue on reviewing the performance and impact of social media tools in higher education), Vol. 9 Issue: 1, pp.105-128, 2017
Complete Text [ .pdf ]
2016
6 François Bry and Clemens Schefels
An Analysis of the ARTigo Gaming Ecosystem With a Purpose.
Research Report, Institute for Informatics, Ludwig-Maximilian University of Munich.
Complete Text [ .pdf ]
5 Clemens Schefels
Eine offene Universität für eine offene Gesellschaft

Complete Text [ .pdf ]
Complete Text [ online ]
4 Lisa Pettibone, Katrin Vohland, Aletta Bonn, Anett Richter, Wilhelm Bauhus, Birgit Behrisch, Rainer Borcherding, Miriam Brandt, François Bry, Daniel Dörler, Ingrid Elbertse, Falko Glöckler, Claudia Göbel, Susanne Hecker, Florian Heigl, Michael Herdick, Sarah Kiefer, Thekla Kluttig, Elisabeth Kühn, Katarina Kühn, Silke Oldorff, Kristin Oswald, Oliver Röller, Clemens Schefels, Anne Schierenberg, Willi Scholz, Anke Schumann, Andrea Sieber, René Smolarski, Klaus Tochtermann, Wolfgang Wende, David Ziegler
Citizen Science für alle -- Eine Handreichung für Citizen Science-Beteiligte.

Complete Text [ .pdf ]
3 François Bry and Alexander Pohl
Large-Class Teaching with Backstage.
To appear in a special issue on Social Media in Higher Education of the Journal of applied Research in Higher Education, 2016

Complete Text [ .pdf ]
2 Hans Jürgen Ohlbach, Norbert Eisinger
Design Patterns für mathematische Beweise — Ein Leitfaden insbesondere für Informatiker. Teil II: Transfinite Ordinalzahlen und transfinite Induktion.
Erste Auflage. (Nur im Institut für Informatik der LMU zugänglich)
Book version in LN_beweise-2017

Complete Text [ .pdf ]
1 Hans Jürgen Ohlbach, Norbert Eisinger
Design Patterns für mathematische Beweise — Ein Leitfaden insbesondere für Informatiker. Teil I: Einfache und komplexe Beweismuster.
Erste Auflage. (Nur im Institut für Informatik der LMU zugänglich)
Book version in LN_beweise-2017

Complete Text [ .pdf ]
2015
2 Alexander Pohl and François Bry
Das Audience Response System Backstage
In: Forum Neue Medien Austria 4/2014, pp. 14-19

Complete Text [ .pdf ]
1 François Bry, Corina Schemainda, and Clemens Schefels
A Gaming Ecosystem Crowdsourcing Deep Semantic Annotations.
Research Report, Institute for Informatics, Ludwig-Maximilian University of Munich.

Complete Text [ .pdf ]
2014
3 Vera Gehlen-Baum, Armin Weinberger, Alexander Pohl, François Bry
Technology use in lectures to enhance student's attention.
In: Proceedings of the 9th International Conference on Technology Enhanced Learning (EC-TEL), 16-19 September 2014, Graz (Austria).

2 François Bry, Alexander Pohl
Backstage: A Social Medium for Large Classes.
Frank Keuper, Heinrich Arnold (eds.), Campus Transformation -- Education, Qualification and Digitalization, Logos Verlag, Berlin, pp. 255-280.

1 Sebastian Mader, Christoph Wieser, François Bry, and Clemens Schefels
BibPad as a Library Service or Crowdsourcing a Library Search Engine.
In: Book of Abstracts of the 6th International Conference on Qualitative and Quantitative Methods in Libraries, Istanbul, Turkey, (27th--30th May 2014).

Complete Text [ .pdf ]
2013
12 Stephan Leutenmayr, Fabian Kneissl, Sven Ziemer and François Bry
Gameful Markets for Collaboration and Learning.
In: Proceedings of Disco 2013, Workshop on Human Computation and Machine Learning in Games at HComp, Palm Springs, CA, USA (6th - 9th November 2013)

Complete Text [ .pdf ]
11 Stephan Leutenmayr, Sven Ziemer and François Bry
Decision Markets for Continuously Reflected Collective Decisions.
In: Proceedings of the 3rd International Conference on Social Eco-Informatics (SOTICS), Lisbon, Portugal, (17th - 22nd November 2013)

Complete Text [ .pdf ]
10 Fabian Kneissl and François Bry
Fostering Concept Maps Awareness as a Means to Learning.
In: Proceedings of the Third International Conference on Social Computing and Its Applications (SCA) , Karlsruhe, Germany (30th September - 2nd October, 2013)

Complete Text [ .pdf, 162KB ]
9 Steffen Hausmann, Simon Brodt, François Bry, and Marco Bettelini
Dynamic Emergency Management.
In: Fachzeitschrift für Information Management & Consulting

Complete Text [ .pdf ]
8 Steffen Hausmann and François Bry
Towards Complex Actions for Complex Event Processing (Extended Version with Appendix).
extended version of PMS-FB-2013-7.

Complete Text [ .pdf ]
7 Steffen Hausmann and François Bry
Towards Complex Actions for Complex Event Processing.
In: Proceedings of 7th ACM International Conference on Distributed Event-Based Systems, Arlington, Texas, USA (June 29 - July 3, 2013)

Complete Text [ .pdf ]
6 François Bry
Human Computation-Enabled Network Analysis for a Systemic Credit Risk Rating.
In: Handbook of Human Computation, Pietro Michelucci, editor.
Springer-Verlag, 2013
© Springer-Verlag

Complete Text [ .pdf, 195KB ]
5 Simon Brodt, and François Bry
Analysing Temporal Relations - Beyond Windows, Frames and Predicates.
Technical Report

Complete Text [ .pdf ]
4 François Bry, Fabian Kneissl, Thomas Krefeld, Stephan Lücke, and Christoph Wieser
Crowdsourcing for a Geographical and Social Mapping of Italian Dialects.
In: Proceedings of 2nd International Workshop on Social Media for Crowdsourcing and Human Computation (SoHuman 2013) , Paris, France (1st May 2013)

Complete Text [ .pdf, 2.3MB ]
3 Christoph Wieser, François Bry, Alexandre Bérard, and Richard Lagrange
ARTigo: Building an Artwork Search Engine With Games and Higher-Order Latent Semantic Analysis.
In: Proceedings of Disco 2013, Workshop on Human Computation and Machine Learning in Games at HComp, Palm Springs, CA, USA (6th - 9th November 2013)

Complete Text [ .pdf, 211KB ]
2 François Bry, Fabian Kneissl, Thomas Krefeld, Stephan Lücke, and Christoph Wieser
A Crowdsourcing Platform for Italian Linguistic Field Research.

Complete Text [ .pdf, 2.1MB ]
Screencast (Vimeo)
1 Philipp Langhans, Christoph Wieser, and François Bry
Crowdsourcing MapReduce: JSMapReduce.
In: Proceedings of 2013 International Conference on the World Wide Web (WWW2013), Rio de Janeiro, Brazil (13th - 17th May 2013)

Complete Text [ .pdf, 468KB ]
Screencast (YouTube)
2012
17 Klara Weiand, Andreas Hartl, Steffen Hausmann, Tim Furche, and François Bry
Keyword-Based Search over Semantic Data.
In: Semantic Search over the Web

Complete Text [ .pdf, 420KB ]
16 Simon Brodt, Steffen Hausmann and François Bry
Refinement of the implementation of event processing and ECA Rules for SITE.
EMILI Deliverable 4.7

Complete Text [ .pdf, 884KB ]
15 Steffen Hausmann, Simon Brodt, and François Bry
Modularization Mechanisms for ECA rules.
EMILI Deliverable 4.6

Complete Text [ .pdf, 341KB ]
14 Fabian Kneissl and François Bry
MetropolItalia: A Crowdsourcing Platform for Linguistic Field Research.
In: Proceedings of the IADIS International Conference WWW/Internet 2012, Madrid, Spain (18th-21st October 2012)

Complete Text [ .pdf, 193KB ]
13 Philipp Shah, Christoph Wieser, and François Bry
Parallel Higher-Order SVD for Tag-Recommendations.
In: Proceedings of the IADIS International Conference WWW/Internet 2012, Madrid, Spain (18th-21st October 2012)

Complete Text [ .pdf, 345KB ]
12 Alexander Pohl, François Bry, Jeannette Schwarz, and Marlene Gottstein
Sensing the Classroom: Improving Awareness and Self-Awareness of Students with Backstage
In: Proceedings of the International Conference on Interactive and Collaborative Learning (ICL), Villach, Austria (26-28 September 2012)

Complete Text [ .pdf, 1.2MB ]
11 Vera Gehlen-Baum, Alexander Pohl, Armin Weinberger, and François Bry
Backstage - Designing a Backchannel for Large Lectures (Demo Paper)
The demo received a TEL Demo Shootout Special Recognition of the 7th European Conference on Technology Enhanced Learning ( .pdf, 260KB)
In: Proceedings of the European Conference on Technology Enhanced Learning (EC-TEL), Saarbrücken, Germany (18-21 September 2012)

Complete Text [ .pdf, 278KB ]
10 François Bry and Christoph Wieser
Squaring and Scripting the ESP Game: Trimming a GWAP to Deep Semantics.
In: Proceedings of the International Conf. on Serious Games Development and Applications (SGDA), Bremen, Germany (26-29 September 2012)

Complete Text [ .pdf, 4.0MB ]
9 Julia Hadersberger, Alexander Pohl, and François Bry
Discerning Actuality in Backstage -- Comprehensible Contextual Aging
In: Proceedings of the European Conference on Technology Enhanced Learning (EC-TEL), Saarbrücken, Germany (18-21 September 2012)

Complete Text [ .pdf, 236KB ]
8 Fabian Kneissl and François Bry
Speculation and Bluff for Linguistic Field Research - Social Software and Media for Data Gathering.
In: Proceedings of 5. Workshop Digitale Soziale Netze im Rahmen der 42. Jahrestagung der Gesellschaft für Informatik (GI) , Braunschweig, Germany (16th - 21st September 2012)
Best Paper Award

Complete Text [ .pdf, 1.1MB ]
7 Simon Brodt and François Bry
Temporal Stream Algebra.

Complete Text [ .pdf, 441KB ]
6 Steffen Hausmann, Maximilian Scherr, and François Bry
Complex Actions for Event Processing

Complete Text [ .pdf, 294KB ]
5 François Bry and Christoph Wieser
Squaring and Scripting the ESP Game.
In: Proceedings of the 4th Human Computation Workshop (HCOMP), Toronto, Canada (23rd July 2012)

Complete Text [ .pdf, 74KB ]
4 Fabian Kneissl and François Bry
Borsa Parole - A Market for Linguistic Speculation.

Complete Text [ .pdf, 2.7MB ]
3 François Bry
Human Computation and Economics.

Complete Text [ .pdf, 169KB ]
2 Hans Jürgen Ohlbach
Java2OWL: A System for Synchronising Java and OWL.
Version 1.0

Complete Text [ .pdf, 530KB ]
1 Alexander Pohl, Vera Gehlen-Baum, and François Bry
<

Dissertations (2015, 2014, 2011, 2010, 2009, 2008, 2006, 2005, 2004, 2003, 2000, 1998)

2015
Alexander Pohl
Fostering Awareness and Collaboration in Large-Class Lectures — Principles and Evaluation of the Backchannel Backstage
PhD Thesis, Institute for Informatics, Ludwig-Maximilians-Universität in Munich, 2015

Complete Text [ .pdf (11 MB) ]
Stephan Leutenmayr
Liquid Decision Making: Applying the Market Metaphor to Collective Decision Making.
PhD Thesis, Institute for Informatics, University of Munich, 2015

2014
Steffen Hausmann
The Language Dura: A Declarative Event Query Language for Reactive Event Processing.
PhD Thesis, Institute for Informatics, University of Munich, 2014

Complete Text [ .pdf ]
Christoph Wieser
Building a Semantic Search Engine with Games and Crowdsourcing.
PhD Thesis, Institute for Informatics, University of Munich, 2014

Complete Text [ .pdf ]
Fabian Kneißl
Crowdsourcing for Linguistic Field Research and E-Learning.
PhD Thesis, Institute for Informatics, University of Munich, 2014

Complete Text [ .pdf ]
2011
Jakub Kotowski
Constructive Reasoning for Semantic Wikis
PhD Thesis, Institute for Informatics, University of Munich, 2011

Complete Text [ .pdf ]
Klara Weiand
Keyword-Based Querying for the Social Semantic Web: The KWQL Language: Concept, Algorithm and System.
PhD Thesis, Institute for Informatics, University of Munich, 2011

Complete Text [ .pdf ]
2010
Benedikt Linse
Data Integration on the (Semantic) Web with Rules and Rich Unification.
PhD Thesis, Institute for Informatics, University of Munich, 2010

Complete Text [ .pdf ]
2009
Edgar-Philipp Stoffel
Hierarchical Graphs as Organisational Principle and Spatial Model Applied to Pedestrian Indoor Navigation.
PhD Thesis, Institute for Informatics, University of Munich, 2009

Complete Text [ .pdf ]
Alex Kohn
Professional Search in Pharmaceutical Research.
PhD Thesis, Institute for Informatics, University of Munich, 2009

Complete Text [ .pdf, 2.2MB ]
2008
Michael Eckert
Complex Event Processing with XChangeEQ: Language Design, Formal Semantics and Incremental Evaluation for Querying Events.
PhD Thesis, Institute for Informatics, University of Munich, 2008

Complete Text [ .pdf, 1.8MB ]
Tim Furche
Implementation of Web Query Language Reconsidered: Beyond Tree and Single-Language Algebras at (Almost) No Costs.
PhD Thesis, Institute for Informatics, University of Munich, 2008

Sacha Berger
Regular Rooted Graph Grammars - A Web Type and Schema Language.
PhD Thesis, Institute for Informatics, University of Munich, 2008

Complete Text [ .pdf, 4.0MB ]
2006
Bernhard Lorenz
Multi-Paradigm Spatial Information Processing.
PhD Thesis, Institute for Informatics, University of Munich, 2006

Complete Text [ .pdf, 3.2MB ]
Felix Weigel
Structural Summaries as a Core Technology for Efficient XML Retrieval.

Complete Text [ .pdf, 7.1MB ]
2005
Stephanie Spranger
Calendars as Types -- Data Modeling, Constraint Reasoning, and Type Checking with Calendars.
PhD Thesis, Institute for Informatics, University of Munich, 2005
Herbert Utz Verlag, Munich, ISBN 3-8316-0564-5

Complete Text [ .pdf, 3.0MB ]
Paula-Lavinia Pătrânjan
The Language XChange: A Declarative Approach to Reactivity on the Web.
PhD Thesis, Institute for Informatics, University of Munich, 2005

Complete Text [ .pdf, 1.6MB ]
University Library (Electronic Dissertation Service) [ .html ]
Dan Olteanu
Evaluation of XPath Queries against XML Streams.
PhD Thesis, Institute for Informatics, University of Munich, 2005

Complete Text [ .pdf, 1.5MB ]
University Library (Electronic Dissertation Service) [ .html ]
2004
Sebastian Schaffert
Xcerpt: A Rule-Based Query and Transformation Language for the Web.
PhD Thesis, Institute for Informatics, University of Munich, 2004

Complete Text [ .pdf, 2.3MB ]
University Library (Electronic Dissertation Service) [ .html ]
2003
Michael Marte
Models and Algorithms for School Timetabling - A Constraint-Programming Approach.

Complete Text [ .ps.gz, 265KB / .pdf, 602KB ]
2000
Holger Meuss
Logical Tree Matching with Complete Answer Aggregates for Retrieving Structured Documents.
Joint work with CIS, http://www.cis.uni-muenchen.de/

Complete Text [ .pdf, 1.2MB ]
1998
Sunna Torge
Überprüfung der Erfüllbarkeit im Endlichen: Ein Verfahren und seine Anwendung.

Complete Text [ .pdf, 1.9MB ]
Slim Abdennadher
Analyse von regelbasierten Constraintlösern.

Complete Text [ .ps.gz, 515KB ]
abstract [ German / French ]

Course Material (2017, 2009, 2005, 2004, 2003, 2002, 2001, 1999, 1998)

2017
Hans Jürgen Ohlbach and Norbert Eisinger
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker.
ISBN 978-3-6625-5651-1, Springer Vieweg, 2017.
Book version of PMS-FB-2016-1 and PMS-FB-2016-2.

Complete Text [ Springer download page ]
2009
François Bry
Wie Google Webseiten bewertet.
Vorlesungsfolien im "Probestudium Informatik", Oktober 2009

Complete Text [ .pdf, 84KB / .pptx, 79KB ]
François Bry
Implementierung einer (einfachen) Programmiersprache.
Vorlesungsfolien im "Probestudium Informatik", April 2009

Complete Text [ .pdf, 65KB ]
Vorlesungsnotizen [ .pdf, 55KB ]
2005
François Bry
Techniken der Logikprogrammierung in PROLOG.
revised version of LN_technikenlp-1998

Complete Text [ .html ]
François Bry and Norbert Eisinger
Einführung in die Logik für Informatiker.
revised version of LN_logik-2003
revised version of LN_logik-1999

Complete Text [ .ps, 2.1MB ]
François Bry
Einführung in Algorithmen und in die Programmierung.
Skriptum der Vorlesung Informatik I, 2001, 2002, 2004
revised version of LN_info1-2002

Complete Text [ .ps.gz, 685KB / .html / .pdf, 1.4MB ]
slides [ .ps.gz, 1.2MB / .pdf, 1.7MB ]
2004
François Bry and Sebastian Schaffert
XML and Databases.

Complete Text [ .html ]
François Bry and Norbert Eisinger
Übersetzerbau -- Abstrakte Maschinen.
revised version of LN_uebersetzerbau-2001

Complete Text [ .ps, 1.9MB / .pdf, 735KB ]
2003
François Bry and Norbert Eisinger
Einführung in die Logik für Informatiker.
revised version in LN_logik-2005

Complete Text [ .ps, 2.0MB ]
2002
François Bry
Einführung in Algorithmen und in die Programmierung.
Skriptum der Vorlesung Informatik I, 2001, 2002
revised version in LN_info1-2005

Complete Text [ .ps.gz, 703KB / .html / .pdf, 1.5MB ]
slides [ .ps.gz, 558KB / .pdf, 1.7MB ]
2001
François Bry and Hans Jürgen Ohlbach
Selbsttest zur Prüfung der Eignung zum Studium der Informatik.

Complete Text [ .html ]
François Bry
Übersetzerbau -- Abstrakte Maschinen.
revised version in LN_uebersetzerbau-2004

Complete Text [ .ps, 1.1MB / .pdf, 674KB ]
1999
François Bry and Norbert Eisinger
Einführung in die Logik für Informatiker.
revised version in LN_logik-2005

Complete Text [ .ps, 1.8MB ]
1998
François Bry
Techniken der Logikprogrammierung in PROLOG.
revised version in LN_technikenlp-2005

Complete Text [ .html ]

Master/Diploma Theses (2018, 2017, 2016, 2015, 2013, 2012, 2011, 2010, 2009, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995)

2018
Felix Wanie
Enhancing Motivation in Text Entity Evaluation.

Complete Text [ .pdf ]
Eugenia Schneider
Interaction System for a MOOC Search Engine -- Design, implementation and summative empirical evaluation of the User Interface.

Complete Text [ .pdf ]
Slides Initial Presentation [ .pdf ]
Slides Final Presentation [ .pdf ]
2017
Christof Ferdinand Schramm
RECOGNITION OF CODE PATTERNS FROM STACKOVERFLOW ANSWERS IN COMPUTER PROGRAMS.

Complete Text [ .pdf ]
Tobias Tänzel
Measuring Similarity of Artworks Using Multidimensional Data

Complete Text [ .pdf ]
Maximilian Schwarzfischer
Ein graphischer Editor zur Strukturierung multimedialer Dokumente

Complete Text [ .pdf ]
Patrik Hagen
Eustress and Distress Detection from Physiological Data using Supervised Machine Learning.

Complete Text [ .pdf ]
2016
Sebastian Mader
An Annotation Framework for a Collaborative Learning Platform.

Complete Text [ .pdf ]
Marco Hoffmann
Simulation-Based Evaluation of Reputation Algorithms for Technology Enhanced Learning Platforms.

Complete Text [ .pdf ]
Martin Bogner
Conception and Implementation of a Collaborative Data Science Platform.

Complete Text [ .pdf ]
Anke Regner
ARTime -- spielend Kunstwerke datieren.


2015
Michael Weisbein
Implementierung einer Auswertungsplattform für Reputationsalgorithmen

Complete Text [ .pdf, 1.8MB ]
2013
Niels Becker
Ranking on Multipartite Graphs.

Complete Text [ .pdf, 2.3MB ]
2012
Julia Hadersberger
Backstage Mobile -- Merging Usability Guidelines with Educational Requirements

Complete Text [ .pdf ]
Sebastian Steuer
Methods for Polygonalization of a Constructive Solid Geometry Description in Web-based Rendering Environments.

Complete Text [ .pdf ]
Christian Mueller
Monitoring energietechnischer Referenzanlagen.

Complete Text [ .pdf ]
2011
Nicolai Roth
A Testbed and Experimental Evaluation for Accessing Interval-Compressed Graph Data.

Complete Text [ .pdf ]
Maximilian Scherr
Desugaring Dura - Compiling a High-Level Event Processing Language.

Complete Text [ .pdf ]
Daniel Baumgart
Backstage 2.0 -- Integration von Präsentationsfolien zur Verbesserung der Benutzerführung in Backstage

Complete Text [ .pdf, 2.3MB ]
Julien Oster
A Social Platform for Bipartite Student-Lecturer Ranking

Complete Text [ .pdf ]
Andreas Lodde
Toolgestützte Templategenerierung zur dynamischen Meldungserzeugung.

Complete Text [ .pdf ]
Bartholomäus Steinmayr
Designing Image Labeling Games For More Informative Tags.

Complete Text [ .pdf ]
Slides Final Presentation [.pdf ]
2010
Fabian Kneißl
Term-Propagation over Structured Data using Eigenvector Computation.

Complete Text [ .pdf ]
Slides Final Presentation [ .pdf ]
Georg Klein
Ranking for Social Semantic Media.

Complete Text [ .pdf, 6.5MB ]
Philipp Shah
Towards Efficient Algorithms for Higher-Order Singular Value Decomposition.

Complete Text [ .pdf, 608KB ] (Access Restricted)
Harald Zauner
RPL ready to use: An embeddable and expressive, yet efficient RDF Path Language.

Complete Text [ .pdf ]
2009
Simon Brodt
Efficient and Practical Access to Any Graph Data: Data Structures for Continuous Image Graphs and Beyond.

Complete Text [ .pdf, 844KB ]
Andreas Hartl
A Visual Rendering of a Semantic Wiki Query Language.

Complete Text [ .pdf ]
Antonius Weinzierl
Interval-Based Graph Representations for Efficient Web Querying.

Complete Text [ .pdf, 642KB ]
Andreas Attenberger
Collecting and Enriching Medical Information Through Human Computation.

Complete Text [ .pdf, 1.4MB ]
Thorsten Witt
Conception and Implemention of a Visual Editor for Topic Maps.

Complete Text [ .pdf, 6.7MB ]
Olga Poppe
Subsumption-Based Resolution for Rule Languages with Rich Unification.

Complete Text [ .pdf, 2.4MB / .ps.gz, 4.8MB ]
Hai-Lam Bui
Survey and Comparison of Event Query Languages Using Practical Examples.

Complete Text [ .pdf, 728KB ]
2007
Fatih Coşkun
Pattern-Based Updates for the Web.

Complete Text [ .pdf, 3.2MB ]
Slides Initial Presentation [ .pdf, 117 KB ]
Slides Final Presentation [ .pdf, 277 KB ]
Michael Buschmann
Analyse und Entwurf von Business Rules auf Basis einer Implementierung für die eBusiness-Platform hybris.

Complete Text [ .pdf, 1.8MB ]
Roman Flammer
Testbed Development and Prototypical Implementation of the Multi-Paradigm Location Language MPLL.

Complete Text [ .pdf, 1.1MB ]
Vanessa Klaas
Who's Who in the World Wide Web: Approaches to Name Disambiguation.

Complete Text [ .pdf, 1.2MB ]
Stephan Leutenmayr
Selected Languages for Web Services Composition: Survey, Challenges, Outlook.

Complete Text [ .pdf, 1.8MB ]
2006
Christian Bode
An Ontology-based Repository for Web Services.

Complete Text [ .pdf, 1.3MB ]
Clemens Schefels
Serving Xcerpt to the Web.

Complete Text [ .pdf, 1.1MB ]
Andreas Heindel
Nutzung von Indoor-Positionierungsdaten zur mobilen Wegeplanung.

Complete Text [ .pdf, 2.1MB ]
Hinnerk Feldwisch
Entwurf und Implementierung einer Software-Umgebung zur Analyse der Vorhersage epileptischer Anfälle aus Langzeit-EEG-Daten.

Complete Text [ .pdf, 2.6MB ]
Christoph Wieser
CSS-NG: An Extension of the Cascading Styles Sheets Language (CSS) with Dynamic Document Rendering Features.

Complete Text [ .pdf, 3.0MB ]
Julius Benkert
Integration of the CTTN system in Java.

Complete Text [ .pdf, 302KB ]
Benedikt Linse
Automatic Translation Between XQuery and Xcerpt.

Complete Text [ .pdf, 726KB ]
Inna Romanenko
Use Cases for Reactivity on the Web: Using ECA Rules for Business Process Modeling.

Complete Text [ .pdf, 1.5MB ]
2005
Andreas Schröder
An Algebra and Optimization Techniques for Simulation Unification.

Complete Text [ .pdf, 673KB ]
Thomas Robert Hey
Entwicklung einer XML-basierten Authentifizierungsmethode für mobile Netze der vierten Generation.

Complete Text [ .pdf, 1.5MB ]
Bernhard Epple
Development and Implementation of a Pointing, Acquisition and Tracking System for Optical Free-Space Communication Systems on High Altitude Platforms.

Complete Text [ .pdf, 1.2MB ]
Michael Eckert
Reactivity on the Web: Event Queries and Composite Event Detection in XChange.

Complete Text [ .pdf, 728KB ]
Oliver Bolzer
Towards Data-Integration on the Semantic Web: Querying RDF with Xcerpt.

Complete Text [ .pdf, 804KB ]
Edgar-Philipp Stoffel
A Research Framework for Graph Theory in Routing Applications.

Complete Text [ .pdf, 3.3MB ]
2004
Frank Ipfelkofer
Basisontologie und Anwendungs-Framework für Visualisierung und Geospatial Reasoning.

Complete Text [ .pdf, 3.1MB / .ps.gz, 1.1MB ]
Pinar Oezden
An Ontology of Socio-Cultural Time Expressions.

Complete Text [ .pdf, 2.9MB ]
Sebastian Kraus
Use Cases für Xcerpt: Eine positionelle Anfrage- und Transformationssprache für das Web.

Complete Text [ .pdf, 651KB ]
2003
Tim Furche
Optimizing Multiple Queries against XML Streams.

Complete Text [ .ps.gz, 8.8MB / .pdf, 3.9MB ]
Project Home Page [ .html ]
Galina Stancheva
Interaktive Visualisierung von Algorithmen für Polygonzerlegungen.

Complete Text [ .ps.gz, 1.3MB / .pdf, 4.9M ]
Jan Duennweber
Aktive Temporale Datenbanken.

Complete Text [ .pdf, 1.4MB ]
Felix Weigel
Content-Aware DataGuides for Indexing Semi-Structured Data.

Complete Text [ .ps.gz, 1.4MB / .pdf, 4.9M / .pdf.gz, 3.6M ]
Sacha Berger
Conception of a Graphical Interface for Querying XML.

Complete Text [ .pdf, 1.7MB ]
Project Home Page [ .html ]
Holger Wagner
Towards an Integrated Approach to Collaborative Web Usage.

Complete Text [ .html, 524KB / GIF instead of SVG, .html, 523KB ]
tools/software [ Simple Report Format (SRF), .html / Project Home Page, .html ]
for printing [ .pdf, 3.6MB / .pdf in .zip, 2.7MB ]
2002
Marcus Schilling
A Graphical Query Language for XML based on Complete Answer Aggregates.

Complete Text [ .ps.gz, 240KB ]
user guide [ .ps.gz, 350KB ]
Software and Resources [ .html ]
Stephanie Spranger
Representation of Temporal Knowledge for Web-Based Applications.

Complete Text [ .ps.gz, 416KB / .pdf, 807KB ]
literature [ .html, 807KB ]
Georg Schneemayer
Contextual Web Services for Teaching.

Complete Text [ .pdf, 680KB ]
Tobias Kiesling
Towards a Streamed XPath Evaluation.

Complete Text [ .ps.gz, 272KB / .pdf, 728KB ]
Bernhard Lorenz
Bewegungsplanung für nicht-holonome Vehikel.

Complete Text [ .ps.gz, 7.3MB / .pdf, 3.5B ]
Ulf Müller-Heinemann
Präsentation von XML-Daten - ein generischer Ansatz zur Layout-Spezifikation.

Complete Text [ .ps.gz, 200KB / .pdf, 450KB ]
Ulrich Rückert
Machine Learning in the Phase Transition Framework.

Complete Text [ .ps.gz, 1402KB / .pdf, 663KB ]
2001
Sebastian Schaffert
Grouping Constructs for Semistructured Data: Enhancing Data Modelling and Data Retrieval.

Complete Text [ .ps.gz, 300KB / .pdf, 780KB ]
Peer Kröger
Molecular Biology Data: Database Overview, Modelling Issues, and Perspectives.

Complete Text [ .ps.gz, 19.0MB / .pdf, 4.4MB ]
2000
Michael Kraus
A Toolkit for Advanced XML Browsing Functionalities.

Complete Text [ .ps.gz, 300KB / .pdf, 620KB ]
1999
Matthias Schmauß
A Constraint Library for Java.

Complete Text [ .ps.gz, 185KB ]
David Sacher
Systematische Herleitung einer abstrakten Maschine für Curry.

Complete Text [ .ps.gz, 500KB ]
Programs [ .tar.gz, 75KB ]
1998
Michael Marte
Constraint-Based Grammar School Timetabling - A Case Study.

Complete Text [ .ps.gz, 115KB ]
Matthias Nickles
Verarbeitung und Darstellung indefiniter Daten in einer applikativen Sprache.

Complete Text [ .ps.gz, 1.1MB ]
Programs [ .tar.gz, 150KB ]
Angelika Blauth
Graphische Kettenmodelle.

Complete Text [ .ps.gz, 580KB ]
Programs [ .zip, 305KB ]
1997
Hans Schlenker
Ein Constraint-basierter Dienstplaner für Krankenstationen.

Complete Text [ .ps.gz, 690KB ]
WWW-Seite zu INTERDIP [ .html ]
Mathias Kettner
Ein System zur Konstruktion, Modifikation und Untersuchung von PUHR-Tableaux.

Complete Text [ .ps.gz ]
WWW-Seite zu Snarks [ .html ]
1996
Gerhard Hingerl
Eine deduktive Datenbank für die Linguistik.

Complete Text [ .ps.gz, 190KB ]
Holger Meuss
Konfluenz von Constraint Handling Rules-Programmen.

Complete Text [ .ps.gz, 210KB ]
1995
Samsamoddin Rajaei
Modellelimination mit Techniken der Logikprogrammierung.

Complete Text [ .ps.gz, 210KB ]

Bachelor/Project Theses (2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 1999, 1998, 1997, 1996, 1995, 1994)

2018
Anna Hubert
A User-Centered Responsive User Interface for Fostering Stress Awareness -- Implementation and Evaluation of the Web Portal Stila.

Complete Text [ .pdf ]
Slides Initial Presentation [ .pdf ]
Slides Final Presentation [ .pdf ]
Louis Mbuyu
Comparison of categorical properties offered by multiple MOOC platforms -- Using a Web Scraper in Python with Scrapy.

Complete Text [ .pdf ]
Slides Initial Presentation [ .pdf ]
Slides Final Presentation [ .pdf ]
2017
Joseph Birkner
Unsupervised Learning of Joint Neural Embedding Spaces for Queries and Documents.

Complete Text [ .pdf ]
Slides Initial Presentation [ .pdf ]
Martin Gross
Collective Peer Evaluation of Quiz Answers in Large Classes through Pairwise Matching

Complete Text [ .pdf ]
Christian Mergenthaler
Konzeption, Implementierung und Evaluation eines Dashboards für Backstage

Complete Text [ .pdf ]
Daniel Bauersachs
Interactive Association Rule Exploration.

Complete Text [ .pdf ]
Luis Wankmueller
Style Recognition in Paintings using Deep Learning.

Complete Text [ .pdf ]
Matthias Moosburger
Colour Labelling of Art Images Using Colour Palette Recognition.

Complete Text (high comression) [ .pdf ] (2.5MB)
Complete Text (low compression) [ .pdf ] (21MB)
Iris Teske
Crossover- eine (spielende) Einführung in die ARTigo Spiele.

Complete Text [ .pdf ]
Giuliana Dehn
Designing an Interface for Citizen Science Platforms Ensuring a Good User Experience.

Complete Text [ .pdf ]
2016
Kai-Henning Wilker
Multidimensional Clustering of MOOC Offers -- Applying unsupervised learning algorithms FCM and SOM to text descriptions.

Complete Text [ .pdf ]
Slides Initial Presentation [ .pdf ]
Slides Final Presentation [ .pdf ]
Sebastian Rühl
Event Detection in ARTigo Data.

Complete Text [ .pdf ]
Tien Duc Nguyen
Explorative Cluster analysis of artworks for the ARTigo Analytics Center.

Complete Text [ .pdf ]
Frederic Sautter
Association Rule Generation and Evaluation of Interestingness Measures for Artwork Tags.

Complete Text [ .pdf ]
Alexander Fischer-Brandies
Explaining Outliers in ARTigo

Complete Text [ .pdf ]
Marcel Heil
Conception and Implementation of a Mobile Application with Fitness Trackers as Supportive Tools for Computed Stress Detection

Complete Text [ .pdf ]
Slides Final Presentation [ .pdf ]
Njomza Avdijaj
Translingua - ein Spiel zum Vokabellernen.

Complete Text [ .pdf ]
2015
Franz Siglmüller
Advanced User Interface for Artwork Search Result Presentation.

Complete Text [ .pdf ]
Stefan Fassrainer
Marking Semantically Relevant Regions on Slides in Backstage

Complete Text [ .pdf, 2.6 MB ]
Presentation Slides [ .pdf, 1.9 MB ]
2014
Corina Schemainda
Qualitative Analysis of the ARTigo Gaming Ecosystem.

Complete Text [ .pdf ]
Presentation [ .pdf ]
Survey Screenshots [ Group 1: .pdf | Group 2: .pdf]
Used Artworks [ Overview ]
Florian Hoidn
The Analytics Center: Devising a Citizen Science Data Mining Tool for the ARTigo Image Tagging Project.

Complete Text [ .pdf ]
Werner Hoffmann
Entwicklung eines stochastischen Verfahrens zur Nachverfolgung studentischer Quizleistungen in Backstage

Complete Text [ .pdf, 1 MB ]
Presentation [ .pdf, 3 MB ]
Marco Hoffmann
Team Formation in E-Learning

Complete Text [ .pdf, 1.5 MB ]
2013
Daniel Unverricht
Taming Complexity in Javascript-based RIAs: Case Study Backstage

Complete Text [ .pdf, 790kb ]
Sebastian Mader
BibPad - Digital Annotation of Physical Media.

Complete Text [ .pdf ]
Evgeny Novoseltsev
Garbage Collection for Temporal Stream Algebra (TSA) and Event-Mill.

Complete Text [ .pdf ]
Slides [ .pdf ]
Matthias Benkard
Implementation of a PROLOG-like Logic Programming Language Based on B&D Search.

Complete Text [ .pdf ]
Mislav Boras
Integration des e-learning GWAPs Termina in das digitale Backchannel Backstage.

Complete Text [ .pdf, 1.5MB ]
2012
Sebastian Straub
Cartography in a Gameful Context.

Complete Text [ .pdf, 3.5MB ]
Matthias Maiterth
Parallel Datalog on Pregel.

Complete Text [ .pdf, 669KB ]
Romy Buchschmid
Development and Evaluation of a User Interface for an E-Learning Game.

Complete Text [ .pdf, 1.9MB ]
Florian Störkle
Combino - A GWAP for Generating Combined Tags.

Complete Text [ .pdf, 3.6MB ]
Florian Nass
Media Streaming in Backstage - Improving awareness of the audience outside the classroom

Complete Text [ .pdf, 7.8MB ]
Diego Havenstein
Towards MapReduce Algorithms for the Higher Order-Singular Value Decomposition.

Complete Text [ .pdf, 867KB ]
Philipp Langhans
JSMapReduce - Distributed Computing with Web Clients and LAMP.

Complete Text [ .pdf, 2.6MB ]
Jeannette Schwarz
Increasing Social Awareness and Social Presence on Backstage, a Backchannel for Large Class Lectures

Complete Text [ .pdf, 1.3MB ]
Max Kleucker
Making the Backchannel Backstage Failure-Resistant -- Towards Better Scalability

Complete Text [ .pdf, 494KB ]
Marlene Gottstein
Increasing Social Awareness of the Lecturer on the Backchannel Backstage

Complete Text [ .pdf, 2.8MB ]
Christian Müller
Dynamische Visualisierung von Messdaten mithilfe von aktuellen Webframeworks.

Complete Text [ .pdf, 901KB ]
Julia Hadersberger
Processing Relevance Feedback in Backstage

Complete Text [ .pdf, 760KB ]
Johann Kratzer
RESTful Backstage

Complete Text [ .pdf, 1.1MB ]
2011
Maija Heckel
Visual Editor for CEP.

Complete Text [ .pdf ]
Juliane Keller
Untersuchung von HTML5 im Unternehmenseinsatz anhand einer Aufgaben-Management-Applikation.

Complete Text [ .pdf ]
ThanhSon Dang
Propagation of ESCL Cardinality Constraints with Respect to CEP Queries.

Complete Text [ .pdf ]
Katharina Krug
Entwicklung und Evaluierung eines E-Learning Game With A Purpose.

Complete Text [ .pdf, 5.9MB]
Michal Bednar
Scripting Students' Interactions on Backstage -- Visualizing Scripts on the User Interface

Complete Text [ .pdf, 1.3MB ]
Sandro Giessl
Instantiating Hierarchical Timed Automata.

Complete Text [ .pdf, 1.2MB ]
2010
Barry Norman
Entwurf und Implementierung eines Microblog-basierten Backchannels für den Einsatz in der universitären Lehre

Complete Text [ .pdf, 514KB ]
Oliver Schnuck
Tag Analysis with Higher-Order SVD.

Complete Text [ .pdf, 440KB ]
2009
Maximilian Kwapil
KWRL - an RDF based rule language for annotations.

Complete Text [ .pdf, 940KB ]
Simon Brodt
Baumsuche, Partielle Ordnungen und eine neue Familie uninformierter Algorithmen.
English version in PMS-FB-2009-7

Complete Text [ .pdf, 651KB ]
Presentation slides [ .pdf, 827KB ]
2008
Olga Estekhina
Well-Founded Semantics and Local-Stratification for XCerpt.

Complete Text [ .pdf, 740KB ]
2007
Bo Quan
Erweiterung des OTN2SVG Systems um kartografische und TMC-Daten.

Complete Text [ .pdf, 1.0MB ]
2006
Christian Hänsel
Projektarbeit TMC-GoogleEarth.

Complete Text [ .pdf, 1.7MB ]
Hendrik Grallert
Propagation of updates in distributed Web data. A use case for the language XChange.

Complete Text [ .pdf, 1.7MB ]
Markus Krieser, Michael Buschmann
Protokollierung und statistische Auswertung von RDS/TMC Datenströmen.

Complete Text [ .pdf, 939KB ]
Alexander Pohl
Modelling Examination Regulations in OWL.

Complete Text [ .pdf, 613KB ]
Presentation slides (Anfangsvortrag) [ .pdf, 95KB ]
Presentation slides (Abschlussvortrag) [ .pdf, 95KB ]
Hatice Serap Durmaz
Implementation of an XPath-Rewriter and Visualizer.

Complete Text [ .pdf, 1.3MB ]
Fatih Coşkun
Design and Implementation of a New SPEX Version.

Complete Text [ .pdf, 2.1MB ]
2005
Jörg Schmidl
Erstellung und strukturelle Aufbereitung des Informatik II Repositorys.

Complete Text [ .pdf, 418KB ]
Amelia Schultheis
Logical representation of XML based on relations.

Complete Text [ .pdf, 183KB / .ps, 372KB ]
Michael Brade
Towards an Abstract Machine for Xcerpt's Simulation Unification.

Complete Text [ .pdf, 709KB / .ps, 1.9MB ]
Clemens Ley
A Robust Parser for the Web Query Language Xcerpt.

Complete Text [ .pdf, 244KB ]
Christoph Wieser
Toward Extending Stylesheet Languages with Dynamic Document Rendering Features.

Complete Text [ .ps.gz, 1,5MB / .pdf, 559KB ]
Thomas Schaaf
Strukturelle Überarbeitung und Erweiterung des Aufgabenfundus der Vorlesung Informatik III.

Complete Text [ .ps.gz, 214KB / .pdf, 254KB ]
Erich Schubert
Stucture-Preserving Difference Search in Semistructured Data.

Complete Text [ .ps, 192KB / .pdf, 382KB ]
2004
Vanessa Klaas
An Incremental Approach to Knowledge Assimilation.

Complete Text [ .ps, 417KB / .pdf, 177KB ]
Frank Ipfelkofer
Visualisierung einer Straßenkarte mit Hilfe von SVG.

Complete Text [ .ps, 473KB ]
Michael Eckert
Processing Hypertext Links after XLink.

Complete Text [ .ps, 820KB / .pdf, 880KB ]
Andreas Schröder
An Approach to Backward Chaining in Xcerpt.

Complete Text [ .ps, 210KB / .pdf, 334KB ]
2003
Dominik Schwald
Approximate Streamed Evaluation of XPath under Memory Constraints.

Complete Text [ .ps.gz, 299KKB / .pdf, 642KB ]
Markus Spannagel
SPEX Viewer: A Graphical User Interface for SPEX.

Complete Text [ .html ]
2002
Anna Vishnevska
Hyperlinks in der DatenModellierung -- Enzyklopädie.

Complete Text [ .html ]
Sebastian Kraus
Tamino Experience Report: Advantages and Pitfalls of an XML Database Management System.

Complete Text [ .ps.gz, 454KB / .pdf, 572KB ]
Felix Weigel
A Survey of Indexing Techniques for Semistructured Documents.

Complete Text [ .ps.gz, 1.3MB / .pdf, 4.8MB / .pdf.gz, 3.7MB ]
Martin Kluger and Kalliopi Sidiropoulou
Dokumentsichten und Hyperlinks für die Datenmodellierung -- Vorlesungsskriptum "Techniken der Logikprogrammierung".

Complete Text [ .xhtml ]
Beschreibung der technischen Voraussetzungen [ .txt ]
Bericht über die Vorgehensweise [ .pdf, 71KB ]
Claudia Plant and Alije Ristemi
Dokumentsichten und Hyperlinks für die Datenmodellierung -- Vorlesungsskriptum "Einführung in die Logik für Informatiker".

Complete Text [ .xhtml (Inhalt nicht auf Korrektheit überprüft!) ]
Beschreibung der technischen Voraussetzungen [ .txt ]
Sacha Berger
Evolving Association Index.

Complete Text [ .ps.gz, 367KB / .pdf, 479KB ]
Vortrag [ .xhtml ]
Holger Wagner
Tracking the Navigation Behavior of Web Communities.

Complete Text [ .shtml ]
2001
Ulf Müller-Heinemann
XML-Modellierung für Online-Dienste -- Lehrangebot.

Complete Text [ .ps.gz, 300KB ]
Presentation slides [ .pdf, 250KB ]
Schema (Hilfsstrukturen) [ .xsd ]
Schema (Hauptteil) [ .xsd ]
Beispieldaten [ .xml ]
Tobias Kiesling
Building an XML Information System.

Complete Text [ .ps.gz, 305KB ]
slides [ .ps.gz, 175KB ]
Stephanie Spranger
Modularization with XML Schema: Means, Limits, and Suggestion for Information Hiding.

Complete Text [ .html ]
Georg Schneemayer
Einsatz elektronischer Medien für den Übungsbetrieb.

Complete Text [ .ps.gz, 320KB ]
Jens Abraham
LayLa -- Eine Layout-Beschreibungssprache für robuste Layouts zur Unterstützung von mentalen Modellen.

Complete Text [ .ps.gz, 320KB ]
1999
Matthias Saft
Entwurf und Implementierung einer graphischen Benutzeroberfläche für die Hörsaalvergabe.

Complete Text [ .ps.gz, 2.45MB ]
Axel Rauschmayer
The Curry Interpreter Harry.

Complete Text [ .ps.gz ]
slides [ .ps.gz ]
programs [ .tar.gz ]
Christian Braun
Anforderungsanalyse für ein generisches Visualisierungssystem für verschiedene Deduktionsverfahren.

Complete Text [ .ps.gz, 110KB ]
slides [ .ps.gz, 70KB ]
1998
Alexander von Drach and David Sacher
SatAM -- An Abstract Machine for Model Generation with PUHR Tableaux.

Complete Text [ .ps.gz, 220KB ]
SatAM [ .ps.gz ]
WLP '98 paper [ .ps.gz ]
WLP '98 system description [ .ps.gz ]
Bertram Steppich
Termindexstrukturen in Haskell.

Martin Okrslar
Implementation eines Theorembeweisers in Java.

Complete Text [ .ps.gz, 80KB ]
Implementation eines Theorembeweisers in Java [ .ps.gz ]
Programs [ .tar.gz, 160KB ]
Rupert Rockinger and Matthias Schmauß
Rechnerunterstützte Regelinduktionsexperimente.

Complete Text [ .html ]
Programs [ source, .tar.gz / binary, .tar.gz ]
1997
Matthias Nickles
Ein Werkzeug zur interaktiven Bearbeitung von Und-Oder-Bäumen.

Complete Text [ .html ]
Angelika Blauth
Visualisierung von Benchmark-Ergebnissen über eine WWW-Schnittstelle.

Complete Text [ .ps.gz / .html ]
Programs [ .tar.gz / Starten von VisBenchmark ]
Robert Reiner and Thomas Traber
Strukturerkennung in formatierten Texten.

Complete Text [ .ps.gz ]
Programs [ .tar.gz ]
1996
Michael Marte
Implemetation eines Konfluenz-Tests für Constraint Handling Rules-Programme.

Complete Text [ .ps.gz ]
Programs [ .tar.gz ]
Peter Blenninger
Der Münchener Mietspiegel im World Wide Web.

Complete Text [ .ps.gz ]
WWW-Seite zum Münchner Mietspiegel [ .html ]
Mathias Kettner
Ein Regelinterpretierer zur Vorbereitung eines Programmierpraktikums.

Complete Text [ .ps.gz ]
Programs [ .tar.gz ]
1995
Gerhard Hingerl and Jörg Sander
Implementierung von Anfrageauswertungsverfahren für Datalog-Programme in Prolog.

Complete Text [ .ps.gz ]
1994
Samsamoddin Rajaei
Ein Prolog-Werkzeugkasten zur Manipulation logischer Formeln.

Complete Text [ .ps.gz ]
Programs [ tar.gz ]