Teaching and Research Unit Programming and Modelling Languages
print

Language Selection

These are the archived web pages of the Teaching and Research Unit Programming and Modelling Languages (PMS). The pages of the Teaching and Research Unit for Programming Languages and AI (PLAI) can be found at https://www.plai.ifi.lmu.de.


Breadcrumb Navigation


Content

Publications: Research Papers, Columns, 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 (2022, 2021, 2020,2019, 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)

2022
1 Sven Strickroth and François Bry
The Future of Higher Education Is Social and Personalized! Experience Report and Perspectives. In Proceedings of the 14th International Conference on Computer Supported Education - Volume 1: CSEDU, 389-396, 2022
Article (pay wall) [ Complete Text ]
2021
5 Felix Weitkämper
An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
In: Theory and Practice of Logic Programming 21(6):802-17
Manuscript [ .pdf ]
4 Felix Weitkämper, Beatrice Sarbu, Kailin Sun
Modelling infectious disease dynamics with probabilistic logic programming
In: ICLP 2021 Workshop Proceedings: 8th Workshop on Probabilistic Logic Programming (PLP 2021). CEUR-WS 2021
Manuscript [ .pdf ]
3 Kilian Rückschloß, Felix Weitkämper
Reasoning about Independence in Open Universe Probabilistic Logic Programs
In: ICLP 2021 Workshop Proceedings: 8th Workshop on Probabilistic Logic Programming (PLP 2021). CEUR-WS 2021
Manuscript [ .pdf ]
2 François Bry
Informing a Financial Market
In: Decision Economics: Minds, Machines, and their Society. Proceedings of the 2nd International Conference on Decision Economics (DECON 2020), pp. 238-247
© Springer-Verlag
1 Felix Weitkämper
Axiomatizing Boolean Differentiation
In: Recent Findings in Boolean Techniques. Selected Papers from the 14th International Workshop on Boolean Problems
© Springer-Verlag Manuscript [ .pdf ]
2020
7 François Bry
Coinduction Plain and Simple
arXiv:2007.09909 [cs.PL] Complete Text [ .pdf ]
6 François Bry und Bernd Krysmanski
Vier Gedanken zur digitalen Kunstgeschichte
In: Von analogen und digitalen Zugängen zur Kunst – Festschrift für Hubertus Kohle zum 60. Geburtstag, Maria Effinger, Stephan Hoppe, Harald Klinke und Bernd Krysmanski (Herausgeber), Heidelberg: arthistoricum.net 2019
Complete Text [ .pdf ]
5 Thomas Prokosch
A Low-Level Index for Distributed Logic Programming
In: Proceedings 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy.
Complete Text [ .pdf ]
4 Konrad Fischer, Sarah Vaupel, Niels Heller, Sebastian Mader, François Bry
Effects of Competitive Coding Games on Novice Programmers
In: Educating Engineers for Future Industrial Revolutions - Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020).
3 Niels Heller, François Bry
Human Computation for Learning and Teaching or Collaborative Tracking of Learners' Misconceptions
In: Intelligent Systems and Learning Data Analytics in Online Education.
2 Thomas Prokosch, François Bry
Give Reasoning a Trie
In: Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR 2020), 30 June 2020, Paris.
Complete Text [ .pdf ]
1 Thomas Prokosch, François Bry
Unification on the Run
In: Proceedings of the 34th International Workshop on Unification (UNIF 2020), 29 June 2020, Paris.
Complete Text [ .pdf ]
2019
12 Niels Heller, François Bry
Organizing Peer Correction in Tertiary STEM Education: An Approach and its Evaluation
In: International Journal of Engineering Pedagogy (iJEP), 9-4 2019.
Complete Text [ .pdf ]
11 Korbinian Staudacher, Sebastian Mader, François Bry
Automated Scaffolding and Feedback for Proof Construction: A Case Study
In: Proceedings of the 18th European Conference on e-Learning (ECEL 2019), 7-8 November 2019, Copenhagen.
Complete Text [ .pdf ]
10 Sebastian Mader, Niels Heller, François Bry
Adding Narrative to Gamification and Educational Games With Generic Templates
In: Proceedings of the 18th European Conference on e-Learning (ECEL 2019), 7-8 November 2019, Copenhagen.
Complete Text [ .pdf ]
9 Sebastian Mader, François Bry
Audience Response Systems Reimagined
In: Advances in Web-Based Learning – ICWL 2019, 23-25 September 2019, Magdeburg.
8 Niels Heller, François Bry
Learning by Fiddling: Patterns of Behaviour in Formal Language Learning
In: Proceedings of the 9th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL), 26-28 June 2019, Ávila (Spain).
7 Sebastian Mader, François Bry
Towards an Annotation System for Collaborative Peer Review
In: Proceedings of the 9th International Conference in Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL), 26-28 June 2019, Ávila (Spain).
6 Niels Heller, François Bry
Collaborative Correction in Mass Education as a Social Media Application
In: Proceedings of the 6th European Conference on Social Media (ECSM 2019), 13-14 June 2019, Brighton (UK).
Complete Text [ .pdf ]
5 Yingding Wang, Nikolai Fischer, and François Bry
Pervasive Persuasion for Stress Self-Regulation.
In: Proceedings of the 2019 IEEE International Conference on PervasiveComputing and Communications Workshops (PerCom Workshops), 11-15 March 2019, Kyoto (Japan).
Complete Text : accepted submission [ .pdf ], published article
4 Sebastian Mader, François Bry
Fun and Engagement in Lecture Halls through Social Gamification
In: International Journal of Engineering Pedagogy 9 (2).
Complete Text [ .pdf ]
3 Niels Heller, François Bry
Nudging by Predicting: A Case Study
In: Proceedings of the 8th International Conference on Computer Supported Education, 2-4 May 2019, Heraklion (Crete, Greece).
Complete Text [ .pdf ]
2 Sebastian Mader, François Bry
Phased Classroom Instruction: A Case Study on Teaching Programming Languages
In: Proceedings of the 8th International Conference on Computer Supported Education, 2-4 May 2019, Heraklion (Crete, Greece).
Complete Text [ .pdf ]
1 Niels Heller, Sebastian Mader, François Bry
More than the Sum of its Parts: Designing Learning Formats from Core Components
In: Proceedings of the 34th ACM/SIGAPP Symposium On Applied Computing, 8-12 April 2019, Limassol (Cyprus).
Complete Text [ .pdf ]
2018
9 Christof Schramm, Yingding Wang, and François Bry
CodeKōan: A Source Code Pattern Search Engine Extracting Crowd Knowledge.
In: Proceedings of the 5th International Workshop on Crowd Sourcing in Software Engineering (CSE-SE '18), 27 May 2018, Gothenburg (Sweden).
Complete Text [ .pdf ]
8 François Bry, Clemens Schefels, Corina Schemainda
Eine qualitative Analyse der ARTigo-Annotationen
In: Piotr Kuroczyński, Peter Bell, Lisa Dieckmann (Herausgeber): Computing Art Reader: Einführung in die digitale Kunstgeschichte, Heidelberg: arthistoricum.net, 2018
Complete Text [ .pdf ]
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, Clemens Schefels, Yingding Wang, and Christoph Wieser
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
Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study

Complete Text [ .pdf, 569KB ]
2011
17 François Bry
Anfragesprachen neu erdacht.
In: Journal KI - Künstliche Intelligenz, Volume 26, Issue 1, February 2012
© Springer-Verlag

Complete Text [ .pdf ]
16 Simon Brodt,
Exploiting Database Technology for Expressive and Efficient Complex Event Processing.
Ph.D. Workshop paper at the Fifth International Conference on Distributed Event-Based Systems (DEBS2011), New York, USA, 2011

Complete Text [ .pdf 273KB ]
15 Stephan Leutenmayr and François Bry
Liquid Decision Making: An Exploratory Study.
In: Proceedings of 13th International Conference on Information Integration and Web-based Applications & Services, Ho Chi Minh City, Vietnam, (5-7 December 2011)

Complete Text [ .pdf, 560KB ]
14 Simon Brodt, Steffen Hausmann, and François Bry
Implementation.
EMILI Deliverable 4.5

Complete Text [ .pdf 525KB ]
13 Olga Poppe
A Method for Semantic Optimization of Complex Event Processing.

Complete Text [ .pdf, 2.0MB ]
12 Vera Gehlen-Baum, Alexander Pohl and François Bry
Assessing Backstage - A Backchannel for Collaborative Learning in Large Classes
Proceedings of the 14th International Conference on Interactive Collaborative Learning (ICL 2011)

Complete Text [ .pdf, 262KB ]
11 Daniel Baumgart, Alexander Pohl, Vera Gehlen-Baum, and François Bry
Providing Guidance on Backstage, a Novel Digital Backchannel for Large Class Teaching
Education in a Technological World: Communicating Current and Emerging Research and Technological Efforts

Complete Text [ .pdf, 400KB ]
10 Alexander Pohl, Vera Gehlen-Baum, and François Bry
Introducing Backstage - A Digital Backchannel for Large Class Lectures
Emerald Journal: Interactive Technology and Smart Education (ITSE), Volume 8, Issue 3

Emerald Journal ITSE [ link ]
9 Jakub Kotowski, François Bry, and Norbert Eisinger
A Pot Pourri of Reason Maintenance Methods - Incremental View Maintenance Reconsidered.

Complete Text [ .pdf, 571KB ]
8 Stephan Leutenmayr, François Bry, Tom Schiebler and Felix Brodbeck
Work in Progress: Do They Really Mean It? Assessing Decision Market Outcomes.
In: Proceedings of 4. Workshop Digitale Soziale Netze im Rahmen der 41. Jahrestagung der Gesellschaft für Informatik (GI), Berlin, Germany (4th - 7th October 2011)

Complete Text [ .pdf, 362KB ]
7 Klara Weiand, Fabian Kneißl, Wojciech Łobacz, Tim Furche, and François Bry
PEST: Fast Approximate Keyword Search in Semantic Data using Eigenvector-based Term Propagation.
Information Systems Journal 37 (4), June 2012.

Complete Text [ .pdf, 405KB ]
6 François Bry, Fabian Kneißl, Klara Weiand, and Tim Furche
Term-Specific Eigenvector-Centrality in Multi-Relation Networks.
International Journal of Social Network Mining 1 (2), 2012.

Complete Text [ .pdf, 368KB ]
5 Jakub Kotowski, François Bry, and Simon Brodt
Reasoning as Axioms Change - Incremental View Maintenance Reconsidered.
In: Proceedings of the 5th International Conference on Web Reasoning and Rule Systems, Galway, Ireland (23rd - 24th August 2011)

Complete Text [ .pdf, 619KB ]
4 Bartholomäus Steinmayr, Christoph Wieser, Fabian Kneißl, and François Bry
Karido: A GWAP for Telling Artworks Apart.
In: Proceedings of 16th International Conference on Computer Games (CGAMES2011), Louisville, KY, USA (27th - 30th July 2011)
Best Paper Award

Complete Text [ .pdf, 2.6MB ]
3 François Bry, Fabian Kneißl, and Christoph Wieser
Field Research for Humanities with Social Media: Crowdsourcing and Algorithmic Data Analysis.
In: Proceedings of 4. Workshop Digitale Soziale Netze im Rahmen der 41. Jahrestagung der Gesellschaft für Informatik (GI), Berlin, Germany (4th - 7th October 2011)

Complete Text [ .pdf, 1.2MB ]
2 François Bry, Vera Gehlen-Baum, and Alexander Pohl
Promoting Awareness and Participation in Large Class Lectures: The Digital Backchannel Backstage.
In: Proceedings of the IADIS Int. Conf. e-society, Avila, Spain (10th - 13th March 2011)

Complete Text [ .pdf, 144KB ]
1 Steffen Hausmann, Simon Brodt, and François Bry
Dura - Concepts and Examples.
EMILI Deliverable 4.3

Complete Text [ .pdf, 1.3MB ]
2010
16 Marco Bettelini, Nikolaus Seifert, and François Bry
Innovatives Sicherheitssystem für U-Bahn-Stationen
Fachzeitschrift für Information Management & Consulting, Volume 4/2010. published in www.im-fachzeitschrift.de

Complete Text [ .pdf, 423KB ]
15 Harald Zauner, Benedikt Linse, Tim Furche, and François Bry
A RPL through RDF: Expressive Navigation in RDF Graphs.
In: Proceedings of Fourth International Conference on Web Reasoning and Rule Systems (RR2010), Bressanone/Brixen, Italy (22nd - 24th September 2010)

Complete Text [ .pdf, 449KB ]
14 Simon Brodt, Steffen Hausmann, and François Bry
Reactive Rules for Emergency Management.
EMILI Deliverable 4.2

Complete Text [ .pdf, 565KB ]
13 Simon Brodt, Steffen Hausmann, François Bry, Olga Poppe, and Michael Eckert
A Survey on IT-Techniques for a Dynamic Emergency Management in Large Infrastructures.
EMILI Deliverable 4.1

Complete Text [ .pdf, 419KB ]
12 Franziska von dem Bussche, Klara Weiand, Benedikt Linse, Tim Furche, and François Bry
Not So Creepy Crawler: Crawling the Web with XQuery.
In: Proceedings of 3rd Future Internet Symposium (FIS2010), Berlin, Germany (20th - 22nd September 2010)

Complete Text [ .pdf, 258KB ]
11 Andreas Hartl, Klara Weiand, and François Bry
visKWQL, Visual Keyword Queries for Semantic Data.
In: Proceedings of 3rd Future Internet Symposium (FIS2010), Berlin, Germany (20th - 22nd September 2010)

Complete Text [ .pdf, 136KB ]
10 Klara Weiand, Steffen Hausmann, Tim Furche, and François Bry
KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge.
In: Proceedings of Fourth International Conference on Web Reasoning and Rule Systems (RR2010), Bressanone/Brixen, Italy (22nd - 24th September 2010)

Complete Text [ .pdf, 261KB ]
9 Michael Eckert, François Bry, Simon Brodt, Olga Poppe, and Steffen Hausmann
Two Semantics for CEP, no Double Talk: Complex Event Relational Algebra (CERA) and its Application to XChange^EQ.
In: Reasoning in Event-based Distributed Systems, Sven Helmer, Alex Poulovassilis, and Fatos Xhafa (editor/s)
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 235KB ]
8 Michael Eckert, François Bry, Simon Brodt, Olga Poppe, and Steffen Hausmann
A CEP Babelfish: Languages for Complex Event Processing and Querying Surveyed.
In: Reasoning in Event-based Distributed Systems, Sven Helmer, Alex Poulovassilis, and Fatos Xhafa (editor/s)
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 194KB ]
7 François Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert
Dagstuhl Manifesto: Digital Social Media.
Perspectives Workshop: Digital Social Networks (http://drops.dagstuhl.de/opus/volltexte/2010/2521)
In: Proceedings of Perspectives Workshop: Digital Social Networks , Dagstuhl, Germany (24th - 29th January 2010), Dagstuhl Seminar Proceedings (1041), 2010
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany

Complete Text [ .pdf, 420KB ]
6 Klara Weiand, Fabian Kneißl, Tim Furche, and François Bry
PEST: Term-Propagation over Wiki-Structures as Eigenvector Computation.
In: Proceedings of 5th Semantic Wiki Workshop (SemWiki 2010), Heraklion, Crete, Greece (31st May 2010)

Complete Text [ .pdf, 447KB ]
5 Jakub Kotowski and François Bry
A Perfect Match for Reasoning, Explanation and Reason Maintenance: OWL 2 RL and Semantic Wikis.
In: Proceedings of 5th Semantic Wiki Workshop (SemWiki2010), Hersonissos, Crete, Greece (31st May 2010)

Complete Text [ .pdf, 136KB ]
4 Franziska von dem Bussche, Klara Weiand, Benedikt Linse, Tim Furche, and François Bry
Not So Creepy Crawler: Easy Crawler Generation with Standard XML Queries.
In: Proceedings of 2010 International Conference on the World Wide Web (WWW2010), Raleigh, North Carolina, USA (26th - 30th April 2010)

Complete Text [ .pdf, 1016KB ]
3 Andreas Hartl, Klara Weiand, and François Bry
visKWQL, a Visual Renderer for a Semantic Web Query Language.
In: Proceedings of 2010 International Conference on the World Wide Web (WWW2010), Raleigh, North Carolina, USA (26th - 30th April 2010)

Complete Text [ .pdf, 208KB ]
2 François Bry and Jakub Kotowski
A Social Vision of Knowledge Representation and Reasoning.
In: Proceedings of SOFSEM 2010: 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2010), Špindlerův Mlýn, Czech Republic (23rd - 29th January 2010)

Complete Text [ .pdf, 387KB ]
1 François Bry and Klara Weiand
Flavours of KWQL, a Keyword Query Language for a Semantic Wiki.
In: Proceedings of SOFSEM 2010: 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2010), Špindlerův Mlýn, Czech Republic (23rd - 29th January 2010)

Complete Text [ .pdf, 129KB ]
Slides [ .pdf, 422 KB ]
2009
17 François Bry, Jakub Kotowski
Reason Maintenance - Conceptual Framework
KiWi Deliverable

Complete Text [ .pdf, 696KB ]
16 François Bry, Tim Furche, Bruno Marnette, Clemens Ley, Benedikt Linse, and Olga Poppe
SPARQLog: SPARQL with Rules and Quantification.
In: Semantic Web Information Management: A Model-based Perspective, R. De Virgilio, F. Giunchiglia, and L. Tanca (editor/s), ISBN 3642043283
© Springer-Verlag

Complete Text [ .pdf, 538KB ]
15 Tim Furche, François Bry, and Antonius Weinzierl
Labeling RDF Graphs for Linear Time and Space Querying.
In: Semantic Web Information Management: A Model-based Perspective, R. De Virgilio, F. Giunchiglia, and L. Tanca (editor/s), ISBN 3642043283
© Springer-Verlag

Complete Text [ .pdf, 279KB ]
14 James Bailey, François Bry, Tim Furche, and Sebastian Schaffert
Semantic Web Query Languages.
In: Encyclopedia of Database Systems, M. T. Özsu and L. Liu (editor/s)
© Springer-Verlag

Complete Text [ .pdf, 64KB ]
13 Simon Brodt, François Bry, and Norbert Eisinger
Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered.
In: Web Reasoning and Rule Systems, Proceedings of Third International Conference on Web Reasoning and Rule Systems (RR2009), Chantilly, Virginia, USA (25th - 26th October 2009), LNCS 5837, 71-86, ISBN 978-3-642-05081-7
© Springer-Verlag
The original publication is available at www.springerlink.com ( http://www.springerlink.com/content/079518j5163061l6/ )

Complete Text [ .pdf, 332KB ]
Slides [ .pdf, 1,4 MB ]
12 François Bry, Tim Furche, and Klara Weiand
Web Queries: From a Web of Data to a Semantic Web.
In: Web Information Systems Engineering - WISE 2009, Proceedings of 10th International Conference on Web Systems Engineering (WISE2009), Pozan, Poland (5th - 7th October 2009), LNCS 5802, ISBN 978-3-642-04408-3

Complete Text [ .pdf, 112KB ]
Slides [ .pdf, 12,3 MB ]
11 François Bry and Klara Weiand
KWQL, Querying for Social Semantic Software.
(Poster)
In: Proceedings of Reasoning Web, Fifth International Summer School 2009 (RW2009), Bressaone, Italy (30th August - 4th September 2009)

Complete Text [ .pdf, 562KB ]
10 François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, and Olga Yestekhina
Four Lessons in Versality or How Query Languages Adapt to the Web.
In: Semantic Techniques for the Web, The Rewerse Perspective, François Bry and Jan Maluszynski (editor/s), LNCS
© Springer-Verlag

Complete Text [ .pdf, 988KB ]
9 François Bry, Tim Furche, and Benedikt Linse
The Perfect Match: RPL and RDF Rule Languages.

Complete Text [ .pdf, 246KB ]
8 François Bry, Tim Furche, and Benedikt Linse
Model Theory and Entailment Rules for RDF Containers, Collections and Reification.

Complete Text [ .pdf, 196KB ]
7 Simon Brodt
Tree-search, Partial Orderings, and a New Family of Uninformed Algorithms.
English version of PA_Simon.Brodt

Complete Text [ .pdf, 653KB ]
6 Michael Eckert and François Bry
Complex Event Processing (CEP).
English version of PMS-FB-2009-5

Complete Text [ .pdf, 146KB ]
5 Michael Eckert and François Bry
Aktuelles Schlagwort: Complex Event Processing (CEP).
English version in PMS-FB-2009-6
In: Informatik Spektrum 32 (2), 163-167, 2009
© Springer-Verlag

Complete Text [ .pdf, 156KB ]
4 Jakub Kotowski, Stephanie Stroka, François Bry, and Sebastian Schaffert
Dependency Updates and Reasoning for KiWi.
(Poster)

Complete Text [ .pdf, 85KB ]
3 François Bry, Jakub Kotowski, and Klara Weiand
Querying and reasoning for Social Semantic software.
(Poster)
In: Proceedings of 6th European Semantic Web Conference (ESWC2009), Heraklion, Greece (31st May - 4th June 2009)

Complete Text [ .pdf, 48KB ]
2 François Bry, Michael Eckert, Jakub Kotowski, and Klara Weiand
What The User Interacts With: Reflections On Conceptual Models For Sematic Wikis.
In: Proceedings of 6th European Semantic Web Conference (ESWC2009), Heraklion, Greece (31st May - 4th June 2009)

Complete Text [ .pdf, 118KB ]
1 Sebastian Schaffert, François Bry, Joachim Baumeister, and Malte Kiesel
Semantische Wikis.
In: Social Semantic Web · Web 2.0 - Was nun?, Andreas Blumauer and Tassilo Pellegrini (editor/s), 245-258, ISBN 978-3-540-72215-1
© Springer-Verlag

Complete Text [ .pdf, 1.0MB / .doc, 1.0 MB ]
2008
18 François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, and Marc Weinberger
The Facility Control Markup Language FCML.
In: Proceedings of Second International Conference on the Digital Society, Sainte Luce, Martinique, French Caribbean (10th - 15th February 2008)

Complete Text [ .pdf, 1.4MB ]
17 François Bry and Jakub Kotowski
Reason Maintenance- State of the Art.
KIWI Deliverable

Complete Text [ .pdf, 796KB ]
16 Christian Hänsel, Hans Jürgen Ohlbach, and Edgar-Philipp Stoffel
L-DSMS - A Local Data Stream Management System.
Additional Information: https://www.pms.ifi.lmu.de/rewerse-wga1/ldsms/publications/index.htm
In: Software Architecture, Proceedings of Second European Conference on Software Architecture (ECSA 2008), Paphos, Cyprus (29th September - 1st October 2008), LNCS 5292, 298-305, ISBN 978-3-540-88029-5
© Springer-Verlag

Complete Text [ .pdf, 310KB ]
15 Alex Kohn, François Bry, and Alexander Manta
Professional Search: Requirements, Prototype and Preliminary Experience Report.
short version in PMS-FB-2008-14
In: Proceedings of Iadis International Conference WWW/Internet, Freiburg, Germany (13th - 15th October 2008), Organization: IADIS

14 Alex Kohn, François Bry, and Alexander Manta
Exploiting a Company's Knowledge: The Adaptive Search Agent YASE.
short version of PMS-FB-2008-15
In: Proceedings of International Conference on Semantic Systems (I-Semantics '08), Graz, Austria (3rd - 5th September 2008), 166-169

Complete Text [ .pdf, 118KB ]
Poster [ .pdf, 540KB ]
13 François Bry and Michael Eckert
On Static Determination of Temporal Relevance for Incremental Evaluation of Complex Event Queries.
In: Distributed event-based systems, Proceedings of 2nd International Conference on Distributed Event-Based Systems (DEBS2008), Rome, Italy (1st - 4th July 2008), Organization: ACM 332, 289-300, ISBN 978-1-60558-090-6

Complete Text [ .pdf, 215KB / .ps, 400 KB ]
12 François Bry and Michael Eckert
Rules for Making Sense of Events: Design Issues for High-Level Event Query and Reasoning Languages.
In: AI Meets Business Rules and Process Management, Proceedings of AAAI 2008 Spring Symposium, Stanford University/Palo Alto, California, USA (26th March 2008), Organization: AAAI, ISBN 978-1-57735-357-7

Complete Text [ .pdf, 105KB / .ps, 86 KB ]
11 Klara Weiand, François Bry, and Tim Furche
Reasoning and Querying -- State of the Art.
KIWI Deliverable

Complete Text [ .pdf, 1.3MB ]
10 François Bry, Tim Furche, Benedikt Linse, and Alexander Pohl
XcerptRDF: A Pattern-based Answer to the Versatile Web Challenge.
In: Proceedings of 22nd Workshop on (Constraint) Logic Programming (WLP), Dresden, Germany (30th September - 1st October 2008), 27-36

Complete Text [ .pdf, 177KB ]
9 François Bry, Tim Furche, Clemens Ley, Benedikt Linse, and Bruno Marnette
Taming Existence in RDF Querying.
In: Web Reasoning and Rule Systems, Proceedings of International Conference on Web Reasoning and Rule Systems (RR2008), Karlsruhe, Germany (31st October - 1st November 2008), LNCS, ISBN 978-3-540-88736-2
© Springer-Verlag

Complete Text [ .pdf, 68KB ]
8 François Bry, Tim Furche, and Benedikt Linse
Simulation Subsumption or Déjà vu on the Web.
In: Web Reasoning and Rule Systems, Proceedings of International Conference on Web Reasoning and Rule Systems (RR2008), Karlsruhe, Germany (31st October - 1st November 2008), LCNS, ISBN 978-3-540-88736-2
© Springer-Verlag

Complete Text [ .pdf, 248KB ]
7 Klara Weiand, Tim Furche, and François Bry
Quo Vadis, Web Queries.
In: Proceedings of International Workshop on Semantic Web Technologies (Web4Web), Belgrade, Serbia (29th - 30th September 2008)

Complete Text [ .pdf, 1.3MB ]
6 Edgar-Philipp Stoffel, Korbinian Schoder, and Hans Jürgen Ohlbach
Applying Hierarchical Graphs to Pedestrian Indoor Navigation.
In: Proceedings of 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS 2008), Irvine, California (5th - 7th November 2008), Organization: ACM, LNCS, ISBN 978-1-60558-323-5
© Springer-Verlag

Complete Text [ .pdf, 334KB ]
5 Sebastian Mieth, Florian Fuchs, Edgar-Philipp Stoffel, and Diana Weiß
Reasoning on Geo-Referenced Sensor Data in Physical Infrastructures.
In: Proceedings of the Workshop "Semantic Web meets Geospatial Applications" at the 11th AGILE International Conferende om Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE
© Springer-Verlag

Complete Text [ .pdf, 817KB ]
4 Edgar-Philipp Stoffel and Hans Jürgen Ohlbach
Versatile Route Descriptions for Pedestrian Guidance in Buildings - Conceptual Model and Systematic Method.
In: The European Information Society, Proceedings of 11th AGILE International Conferende om Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE, LNGC, ISBN 978-3-540-78945-1
© Springer-Verlag

Complete Text [ .pdf, 225KB ]
3 François Bry and Jana Herwig
Kreidetafel und Lounge 2.0 -- Der Einzug sozialer Medien in Technik und Wissenschaft.
In: IM -- Fachzeitschrift für Information Management und Consulting, 2008

Complete Text [ .doc, 108KB / .pdf, 94 KB ]
Slides [ .pdf, 118 KB ]
2 François Bry and Jakub Kotowski
Towards Reasoning and Explanations for Social Tagging.
In: Explanation-aware Computing 2008, Thomas R. Roth-Berghofer, Stefan Schulz, Daniel Bahls, David B. Leake (editor/s), Proceedings of 3rd International Workshop on Explanation-aware Computing (ExaCt 2008), Patras, Greece (21st - 22nd July 2008), ISBN 1613-0073

Complete Text [ .pdf, 194KB ]
Poster [ .pdf, 382KB ]
1 François Bry, Tim Furche, Clemens Ley, Benedikt Linse, and Bruno Marnette
RDFLog: It's like Datalog for RDF.
In: Proceedings of 22nd Workshop on (Constraint) Logic Programming (WLP 2008), Dresden (30th September - 1st October 2008)

Complete Text [ .pdf, 250KB ]
2007
23 François Bry and Michael Eckert
Twelve Theses on Reactive Rules for the Web.
short version of PMS-FB-2006-4
In: Event Processing, Mani Chandy, Opher Etzion and Rainer von Ammon (editor/s), Proceedings of Dagstuhl Seminar 07191: Event Processing, Dagstuhl Castle, Germany (6th - 11th May 2007), Dagstuhl Seminar Proceedings (07191)

Complete Text [ .pdf, 72KB / .ps 205 KB ]
22 François Bry, Tim Furche, Alina Hang, and Benedikt Linse
GRDDLing with Xcerpt: Learn one, get one free!.
In: Proceedings of 4th European Semantic Web Conference (ESWC), Innsbruck, Austria (3rd - 7th June 2007), Organization: ESSI

Complete Text [ .pdf, 116KB ]
21 François Bry, Tim Furche, Liviu Badea, Christoph Koch, Sebastian Schaffert, and Sacha Berger
Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.
extended version of PMS-FB-2005-3
In: Semantic Web-Based Information Systems: State-of-the-Art Applications, Amit Sheth and Miltiadis D. Lytras (editor/s), Chapter 8, 190-213, ISBN 978-1599044262

20 Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, and Jendrik Johannes
Modular Web Queries --- From Rules to Stores.
In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Proceedings of International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS), Vilamoura, Algarve, Portugal (25th - 30th November 2007), LCNS 4805/2007, ISBN 978-3-540-76887-6
© Springer-Verlag

Complete Text [ .pdf, 194KB / .ps, 7.8 MB ]
19 Sebastian Schaffert, François Bry, Joachim Baumeister, and Malte Kiesel
Aktuelles Schlagwort: Semantic Wiki.
In: Informatik Spektrum 30 (6), 434-439, 2007
Also in: Informatik-Lexikon der GI
© Springer-Verlag

Complete Text [ .pdf, 319KB ]
18 Alex Kohn, François Bry, Stefan Klostermann, and Alexander Manta
Concepts for an Intelligent Information Portal in Pharmaceutical Research.
In: Proceedings of 3rd International Conference on Semantic Technologies (I-Semantics'07), Graz, Austria (5th - 7th September 2007)

Complete Text [ .pdf, 105KB / .doc, 61KB ]
17 Michael Marte
Towards Constraint-Based School Timetabling. extended version of PMS-FB-2004-37
In: Annals of Operations Research, Special Issue on Personnel Scheduling and Planning 155 (1), 207-225, 2007

16 Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, and Paula-Lavinia Pătrânjan
A Generic Module System for Web Rule Languages: Divide and Rule.
In: Advances in Rule Interchange and Applications, Proceedings of International RuleML Symposium on Rule Interchange and Applications (RuleML 2007), Orlando, Florida, USA (25th - 26th October 2007), LNCS 4824, 63-77, ISBN 978-3-540-75974-4
© Springer-Verlag

Complete Text [ .pdf, 505KB ]
15 François Bry and Michael Eckert
Towards Formal Foundations of Event Queries and Rules.
In: Proceedings of the Second Int. Workshop on Event-Driven Architecture, Processing and Systems, Proceedings of 33rd International Conference on Very Large Data Bases (VLDB 2007), Vienna, Austria (23rd - 27th September 2007), 2007

Complete Text [ .pdf, 195KB / .ps,352KB ]
14 Edgar-Philipp Stoffel, Bernhard Lorenz, and Hans Jürgen Ohlbach
Towards a Semantic Spatial Model for Pedestrian Indoor Navigation.
In: Advances in Conceptual Modeling-Foundations and Applications, Proceedings of 26th International Conference on Conceptual Modeling (26.ER 2007), Auckland, New Zealand (5th - 9th November 2007), LNCS 4802, 328-337, 2007, ISBN 978-3-540-76291-1
© Springer-Verlag

Complete Text [ .pdf, 2.7MB ]
13 Sacha Berger, François Bry, Tim Furche, and Christoph Wieser
Visual Languages: A Matter of Style.
In: Proceedings of Workshop on Visual Languages and Logic (VLL), Coeur d'Alène, Idaho, USA (23rd September 2007), 2007
© Elsevier Science B. V.

Complete Text [ .pdf, 286KB ]
12 François Bry
Die Informatik oder eine Neuerfindung der Sprache.
In: Der Mensch -- ein ,,animal symbolicum''?, Heinrich Schmidinger und Clemens Sedmak (editor/s), pp.163-177, 2007, ISBN 978-534-17504-8
Wissenschaftliche Buchgesellschaft (WBG)

Complete Text [ .pdf, 89KB ]
11 François Bry and Michael Eckert
Temporal Order Optimizations of Incremental Joins for Composite Event Detection.
In: Proceedings of Inaugural Int. Conference on Distributed Event-Based Systems (DEBS 2007), Toronto, Canada (20th - 22nd June 2007), 2007
ACM
© ACM 2007
This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in DEBS 2007, ACM 978-1-59593-665-3/07/03.

Complete Text [ .pdf, 115KB ]
10 Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, and Robert Tolksdorf
Reasoning Web, Third International Summer School 2007. LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

9 Harold Boley, Michael Kifer, Paula-Lavinia Pătrânjan, and Axel Polleres
Rule Interchange on the Web.
In: Reasoning Web, Third International Summer School 2007, Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, Robert Tolksdorf (editor/s), LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 360KB ]
8 Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan
Reactive Rules on the Web.
In: Reasoning Web, Third International Summer School 2007, Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, Robert Tolksdorf (editor/s), LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 481KB ]
7 François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, and Fang Wei
Foundations of Rule-Based Query Answering.
In: Reasoning Web, Third International Summer School 2007, Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, Robert Tolksdorf (editor/s), LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 1.1MB ]
Slides [ .pdf, 4.3MB ]
6 François Bry and Uta Schwertel
Internet intelligenter - Das Europäische Projekt REWERSE entwickelt regelbasierte Technologien für das Semantische Netz. In: IM - Fachzeitschrift für Information Management & Consulting 22 (1), 85-94, 2007

5 François Bry and Michael Eckert
Rule-Based Composite Event Queries: The Language XChangeEQ and its Semantics (Extended Version with Appendix).
contains appendix with proofs
short version in PMS-FB-2007-4

Complete Text [ .pdf, 246KB ]
4 François Bry and Michael Eckert
Rule-Based Composite Event Queries: The Language XChangeEQ and its Semantics.
short version of PMS-FB-2007-5
In: Proceedings of First International Conference on Web Reasoning and Rule Systems (RR 2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 2007
© Springer-Verlag

Complete Text [ .pdf, 199KB ]
Slides, 2/page [ .pdf, 180KB ]
Slides, 1/page [ .pdf, 356KB ]
3 François Bry, Michael Eckert, Hendrik Grallert, and Paula-Lavinia Pătrânjan
Evolution of Distributed Web Data: An Application of the Reactive Language XChange.
In: Proceedings of IEEE 23rd International Conference on Data Engeneering (ICDE 2007), Istanbul, Turkey (15th - 20th April 2007)

Complete Text [ .pdf, 141KB ]
2 François Bry, Tim Furche, Clemens Ley, and Benedikt Linse
RDFLOG---Taming Existence: A Logic-based Query Language for RDF.
(Poster)
In: Proceedings of Deduktionstreffen der GI-Fachgruppe Deduktionssysteme, Koblenz, Germany (26th - 27th March 2007)

Complete Text [ .pdf, 5.7MB ]
1 Sacha Berger, François Bry, Tim Furche, and A. J. Häusler
Completing Queries: Rewriting of Incomplete Web Queries under Schema Constraints.
(Short paper)
In: Proceedings of First International Conference on Web Reasoning and Rule Systems (RR 2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 2007
© Springer-Verlag

Complete Text [ .pdf, 151KB ]
2006
34 Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, and Ulrike Sattler
Reasoning Web, Second International Summer School 2006. LNCS 4126, 2006
Springer-Verlag
© Springer-Verlag

33 Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, and Georg Gottlob
RDF Querying: Language Constructs and Evaluation Methods Compared.
In: Reasoning Web, Second International Summer School 2006, Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (editor/s), LNCS 4126, 2006
© Springer

Complete Text [ .pdf, 642KB ]
Slides [ .html, 111KB ]
32 François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder
Efficient Evaluation of n-ary Conjunctive Queries over Trees and Graphs.
revision of PMS-FB-2006-20
In: Proceedings of 8th International Workshop on Web Information and Data Mining (WIDM 2006), Arlington, Virginia, USA (10th November 2006)
© ACM 2006
This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in WIDM 2006, ACM 1-59593-X/06/0011.

Complete Text [ .pdf, 794KB ]
31 Loïc Royer, Benedict Linse, Thomas Wächter, François Bry, and Michael Schroeder
Querying the semantic web: A case study.
© Springer

Complete Text [ .pdf, 1.8MB ]
30 François Bry, Michael Eckert, Hendrik Grallert, and Paula-Lavinia Pătrânjan
Evolution of Distributed Web Data: An Application of the Reactive Language XChange.

Complete Text [ .pdf, 76KB ]
29 François Bry and Michael Eckert
A High-Level Query Language for Events.
In: Proceedings of The First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS'06) at the 2006 IEEE International Conference on Web Services (ICWS 2006), Chicago, IL, USA (18th September 2006), Organization: IEEE, 31-38, ISBN 0-7695-2681-0

Complete Text [ .pdf, 110KB ]
28 Frank Ipfelkofer, Bernhard Lorenz, and Hans Jürgen Ohlbach
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming.
short version of PMS-FB-2006-5
In: Information Visualization, Proceedings of 10th International Conference on Information Visualisation (IV06), London, Great Britain (5th - 7th July 2006), 424-429, 2006, ISBN 0-7695-2602-0

Complete Text [ .pdf, 193KB ]
27 Bernhard Lorenz and Hans Jürgen Ohlbach
A Hybrid Model for Indoor Spatial Reasoning.
In: Proceedings of First International Workshop on Mobile Geospatial Augmented Reality, Banff, Alberta, Canada (29th - 30th May 2006), ISBN 978-3-540-76291-1

Complete Text [ .pdf, 138KB ]
26 Hans Jürgen Ohlbach
Relations Between Fuzzy Time Intervals.

Complete Text [ .pdf, 234KB ]
25 François Bry
Thesen über Regelsprachen für das semantische Web.
In: Proceedings of 18. Workshop Grundlagen von Datenbanken 2006, Wittenberg, Deutschland (6th - 9th June 2006)

Complete Text [ .pdf, 53KB ]
24 Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder
Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web.
In: Proceedings of 18. Workshop Grundlagen von Datenbanken 2006, Wittenberg, Germany (6th - 9th June 2006)

Complete Text [ .pdf, 50KB ]
23 François Bry
Footprints in Cyberspace -- Research and Researchers' Visibility in the Google Age.

Complete Text [ .html, 56KB ]
22 François Bry, Michael Eckert, Paula-Lavinia Pătrânjan, and Inna Romanenko
Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits.
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS, 2006
© Springer-Verlag

Complete Text [ .pdf, 189KB ]
21 Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder
Beyond XML and RDF: The Versatile Web Query Language Xcerpt.
Poster Paper
In: Proceedings of 15th Int'l World Wide Web Conference (WWW), Edinburgh, Scotland (23rd - 26th May 2006), 1053-1054, ISBN 1-59593-323-9

Complete Text [ .pdf, 620KB ]
20 François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder
Efficient Evaluation of n-ary Conjunctive Queries over Trees and Graphs.
revision in PMS-FB-2006-32

Complete Text [ .pdf, 1.7MB ]
19 François Bry, Tim Furche, and Benedikt Linse
Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS 4187, 2006
© Springer-Verlag

Complete Text [ .pdf, 221KB ]
18 François Bry, Tim Furche, and Benedikt Linse
AMaχoS - Abstract Machine for Xcerpt: Architecture and Principles.
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS 4187, 2006
© Springer-Verlag

Complete Text [ .pdf, 3.6MB ]
17 Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder
Efficient and Effective Data Access in the Versatile Web Query Language Xcerpt.

Complete Text [ .pdf, 643KB ]
16 Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Sebastian Schaffert
The Web and Semantic Web Query Language Xcerpt.
In: AIS SIGSEMIS and OSR Semantic Web Fact Book 2005

Complete Text [ .pdf, 1.2MB ]
15 François Bry, Tim Furche, and Benedikt Linse
Let's Mix It: Versatile Access to Web Data in Xcerpt.
In: Proceedings of 3rd Workshop on Information Integration on the Web (IIWEB), Edinburgh, Scotland (22nd May 2006)

Complete Text [ .pdf, 234KB ]
14 James Bailey, François Bry, Tim Furche, Benedikt Linse, Paula-Lavinia Pătrânjan, and Sebastian Schaffert
Rich Clients need Rich Interfaces: Query Languages for XML and RDF Access on the Web.
In: Proceedings of 4th German XML-Tage (XMLT 2006), Berlin, Germany (25th - 27th May 2006), ISBN 3-938863-76-5

Complete Text [ .pdf, 112KB ]
13 Bernhard Lorenz, Hans Jürgen Ohlbach, and Edgar-Philipp Stoffel
A Hybrid Model for Representing Indoor Environments.
In: Proceedings of 6th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2006), Hong Kong, China (4th - 5th December 2006), LNCS, 102-112, 2006, ISBN 978-3-540-49466-9
© Springer-Verlag

Complete Text [ .pdf, 402KB ]
12 Hans Jürgen Ohlbach
GeTS - A Specification Language for Geo-Temporal Notions.
short version of PMS-FB-2005-28
In: Proceedings of 29th Annual German Conference on Artificial Intelligence (KI 2006), Bremen, Germany (14th - 19th June 2006), 214-228, ISBN 978-3-540-69911-8

Complete Text [ .pdf, 169KB ]
11 Hans Jürgen Ohlbach
Periodic Temporal Notions as 'Tree Partitionings'.

Complete Text [ .pdf, 155KB ]
10 Hans Jürgen Ohlbach
Fuzzy Time Intervals - System Description of the FuTI-Library.
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS 4187, 257-261, 2006

Complete Text [ .pdf, 74KB ]
9 François Bry and Christoph Wieser
Web Queries with Style: Rendering Xcerpt Programs with CSS-NG.
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006)

Complete Text [ .pdf, 364KB ]
8 Stephanie Spranger and François Bry
Multi-Calendar Appointment Scheduling: Calendar Modeling and Constraint Reasoning.
In: Proceedings of 6th International Conference on the Practice and Theory of Automates Timetabling (PATAT '06), Brno, Czech Republic (30th August - 1st September 2006), 496-501, ISBN 80-210-37261

Complete Text [ .pdf, 227KB ]
7 Stephanie Spranger and François Bry
Temporal Data Modeling and Reasoning for Information Systems.

Complete Text [ .pdf, 297KB ]
6 François Bry and Massimo Marchiori
Towards a Rule Interchange Language for the Web.

Complete Text [ .pdf, 183KB ]
5 Frank Ipfelkofer, Bernhard Lorenz, and Hans Jürgen Ohlbach
Ontology Driven Visualisation of Maps with SVG -- An Example for Semantic Programming.
short version in PMS-FB-2006-28

Complete Text [ .pdf, 854KB ]
4 François Bry and Michael Eckert
Twelve Theses on Reactive Rules for the Web.
short version in PMS-FB-2007-23
In: Proceedings of Workshop "Reactivity on the Web" at the International Conference on Extending Database Technology (EDBT), Munich, Germany (31st March 2006), LNCS, 2006
© Springer-Verlag

Complete Text [ .pdf, 144KB / .ps,300 KB ]
3 François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan
Reactivity on the Web: Paradigms and Applications of the Language XChange.
In: Journal of Web Engineering 5 (1), 3-24, March 2006
Rinton Press

Complete Text [ .pdf, 289KB / .ps, 587KB ]
2 François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan
Querying Composite Events for Reactivity on the Web.
In: Proceedings of International Workshop on XML Research and Applications (XRA) 15 Jan 2006, in conjunction with Asia-Pacific Web Conference (APWeb 2006), Harbin, China (16th - 18th January 2006), LNCS 3842
© Springer-Verlag

Complete Text [ .pdf, 139KB ]
1 Sacha Berger, François Bry, and Tim Furche
Xcerpt and visXcerpt: Integrating Web Querying.
In: Proceedings of Programming Language Technologies for XML (PLAN-X), Charleston, South Carolina (14th January 2006)

Complete Text [ .pdf, 19KB ]
2005
45 François Bry and Rainer Manthey
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo.

Complete Text [ .pdf, 127KB ]
44 François Bry, François Fages, Massimo Marchiori, and Hans Jürgen Ohlbach (eds.)
Abstracts Collection of the Workshop and Dagstuhl Seminar 05371 "Principles and Practices of Semantic Web Reasoning (PPSWR 2005)".
In: François Fages, Sylvain Soliman (editor/s), Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl Castle, Germany (11th - 16th September 2005) LNCS 3703, ISBN 978-3-540-28793-3
© Springer-Verlag

Complete Text [ .pdf, 185KB ]
43 François Bry and Massimo Marchiori
Ten Theses on Logic Languages for the Semantic Web.
In: François Fages, Sylvain Soliman (editor/s), Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl Castle, Germany (11th - 16th September 2005) LNCS 3703
© Springer-Verlag

Complete Text [ .pdf, 150KB ]
42 Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, and Andreas Herzig
Position Paper: Paraconsistent Reasoning for the Semantic Web.
In: Uncertainty Reasoning for the Semantic Web, Paulo Cesar G. da Costa, Kathryn B. Laskey, Kennth J. Laskey, Michael Pool (editor/s), Proceedings of Workshop Uncertainty Reasoning for the semantic Web at the International Semantic Web (ISWC-URSW 2005), Galway, Ireland (7th November 2005), 104-105

Complete Text [ .pdf, 33KB ]
41 François Bry and Massimo Marchioni
Reasoning on the Web: Beyond Ontology Languages and Reasoners.
In: Proceedings of European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology (EWIMT 2005), London, U.K (30th November - 1st December 2005), Organization: The Institution of Electrical Engineers, IEE, 317-321, ISBN 0-86341-595-4

Complete Text [ .pdf, 126KB ]
40 James Bailey, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan
Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.
short version of PMS-FB-2005-37
In: Proceedings of International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2005), Galway, Ireland (10th - 12th November 2005)

Complete Text [ .pdf, 76KB / .ps.gz, 101 KB ]
39 Sacha Berger, Emmanuel Coquery, Włodzimierz Drabent, and Artur Wilk
Descriptive Typing Rules for Xcerpt.
In: Proceedings of Third Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl, Germany (11th - 16th September 2005), Organization: REWERSE

38 Tim Furche, François Bry, and Oliver Bolzer
Marriages of Convenience: Triples and Graphs, RDF and XML.
In: Proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning 2005, François Fages, Sylvain Soliman (editor/s), Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl Castle, Germany (11th - 16th September 2005) LNCS 3703
© Springer-Verlag

37 James Bailey, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan
Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.
short version in PMS-FB-2005-40

Complete Text [ .pdf, 179KB ]
36 Sebastian Schaffert, François Bry, and Tim Furche
Initial draft of a possible declarative semantics for the language.
REWERSE Deliverable

Complete Text [ .pdf, 350KB ]
35 François Bry and Paula-Lavinia Pătrânjan
Reactivity on the Web: Paradigms and Applications of the Language XCHANGE.
In: Proceedings of ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA (13th - 17th March 2005), 1645-1649, ISBN 1-58113-964-0

Complete Text [ .pdf, 194KB ]
34 James Bailey, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan
Reactivity on the Web: Event Queries in XChange.

Complete Text [ .pdf, 225KB ]
33 Jan Maluszynski, Jörg Diederich, Norbert Eisinger, and Artur Wilk
REWERSE graduate courses: a preliminary list.
REWERSE Deliverable

Complete Text [ .pdf, 178KB ]
32 José Júlio Alferes, Mikael Berndtsson, François Bry, Michael Eckert, Nicola Henze, Wolfgang May, Paula-Lavinia Pătrânjan, and Michael Schroeder
Use-cases on evolution.
REWERSE Deliverable

Complete Text [ .pdf, 570KB ]
31 François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, and Mike Rosner
A Geospatial World Model for the Semantic Web.
In: Proceedings of Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany (11th - 16th September 2005), Organization: INRIA

Complete Text [ .pdf, 233KB ]
30 François Bry, Francois-Marie Colonna, and Bernhard Lorenz
Multi-Paradigm Reasoning for Access to Heterogeneous GIS.

Complete Text [ .pdf, 305KB ]
29 Hans Jürgen Ohlbach
Computational Treatment of Temporal Notions The CTTN-System.
In: Proceedings of Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany (11th - 16th September 2005), Organization: INRIA

Complete Text [ .pdf, 96KB ]
28 Hans Jürgen Ohlbach
GeTS - A Specification Language for Geo-Temporal Notions.
In: KI 2006: Advances in Artificial Intelligence, Christian Freksa, Michael Kohlhase, Kerstin Schill (editor/s), Proceedings of 29th Annual German Conference on AI (KI 2006), Bremen, Germany (14th - 17th June 2006), Lecture Notes in Artificial Intelligence 4314, 214-228, 2006, ISBN 978-3-540-699118

Complete Text [ .pdf, 315KB ]
27 Hans Jürgen Ohlbach
Modelling Periodic Temporal Notions by Labelled Partitionings of the Real Numbers - The PartLib Library.
In: We Will Show Them: Essays in Honour of Dov Gabbay, Sergei N. Artemov, Howard Barringer, Artur d'Avila Garcez,Louís C. Lamb, John Woods (editor/s) 2, 453-498, 2005, ISBN 1-904987-12-5

Complete Text [ .pdf, 291KB ]
26 Hans Jürgen Ohlbach
Fuzzy Time Intervals - The FuTI-Library.

Complete Text [ .pdf, 304KB ]
25 Norbert Eisinger and Jan Maluszynski
Reasoning Web, First International Summer School 2005. LNCS 3564, 2005, ISBN 978-3540278283
Springer-Verlag
© Springer-Verlag

24 José Júlio Alferes, Mikael Berndtsson, François Bry, Michael Eckert, Nicola Henze, Wolfgang May, Paula-Lavinia Pătrânjan, and Michael Schroeder
Use-cases on reactivity.
REWERSE Deliverable

Complete Text [ .pdf, 99KB ]
23 Oliver Bolzer, François Bry, Tim Furche, Sebastian Kraus, and Sebastian Schaffert
Development of Use Cases, Part I.
REWERSE Deliverable

Complete Text [ .pdf, 1023KB ]
22 François Bry and Michael Eckert
Processing Link Structures and Linkbases in the Web`s Open World Linking.
In: Proceedings of Sixteenth ACM Conference on Hypertext and Hypermedia (HT 2005), Salzburg, Austria (6th - 9th September 2005), 135-144, ISBN 1-59593-168-6

Complete Text [ .pdf, 129,3KB / .ps, 389,5 KB ]
21 François Bry, Frank-André Rieß, and Stephanie Spranger
A Type Language for Calendars.
short version of PMS-FB-2005-20

Complete Text [ .pdf, 158,8KB ]
20 François Bry, Frank-André Rieß, and Stephanie Spranger
A Type Language for Calendars.
short version in PMS-FB-2005-21

Complete Text [ .pdf, 189KB ]
19 François Bry, Bernhard Lorenz, and Stephanie Spranger
Calendars and Topologies as Types - A Programming Language Approach to Modelling Mobile Applications.
In: Proceedings of 9th International Conference on Knowledge-Based Intelligent Information & Engineering System (KES2005), Melbourne, Australia (14th - 16th September 2005)
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 524KB / .pdf, 159 KB ]
18 François Bry, Frank-André Rieß, and Stephanie Spranger
A Reasoner for Calendric and Temporal Data.
short version of PMS-FB-2005-17

Complete Text [ .pdf, 157KB ]
17 François Bry, Frank-André Rieß, and Stephanie Spranger
A Reasoner for Calendric and Temporal Data.
short version in PMS-FB-2005-18

Complete Text [ .pdf, 205KB ]
16 Sacha Berger, François Bry, Oliver Bolzer, Tim Furche, Sebastian Schaffert, and Christoph Wieser
Querying the standard and Semantic Web using Xcerpt and visXcerpt.
In: Proceedings of European Semantic Web Conference (ESWC'05), Heraklion, Crete, Greece (29th May - 1st June 2005), ISBN 3-540-26124-9

Complete Text [ .pdf, 55KB ]
15 Andreas Doms, Tim Furche, Albert Burger, and Michael Schroeder
How to Query the GeneOntology.
In: Proceedings of Symposium on Knowledge Representation in Bioinformatics (KRBIO'05), Espoo, Finland (17th June 2005), 47-50

Complete Text [ .pdf, 330KB ]
14 James Bailey, François Bry, Tim Furche, and Sebastian Schaffert
Web and Semantic Web Query Languages: A Survey.
In: Reasoning Web, First International Summer School 2005, Norbert Eisinger, Jan Maluszynski (editor/s), LNCS 3564, 2005
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 870KB ]
Slides [ .html, 183KB ]
13 Tim Furche, François Bry, and Oliver Bolzer
XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web.
In: Proceedings of 17. Workshop über Grundlagen von Datenbanken (GvB2005), Wörlitz, Germany (17th - 20th May 2005), Organization: GI, 43-47

Complete Text [ .pdf, 172KB ]
12 Sacha Berger and François Bry
Towards static type checking of Web query language.
In: Proceedings of 17. Workshop über Grundlagen von Datenbanken (GvB2005), Wörlitz, Germany (17th - 20th May 2005), Organization: GI, 28-32

Complete Text [ .pdf, 143KB ]
11 Erich Schubert, Sebastian Schaffert, and François Bry
Structure-Preserving Difference Search for XML Documents.
In: Proceedings of Extreme Markup Languages 2005, Montréal, Québec, Canada (1st - 5th August 2005)

Complete Text [ .pdf, 229KB / .html, 85 KB ]
10 François Bry, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome, Christoph Wieser, and Tatsumi Yamada
Context Modeling in OWL for Smart Building Services.
In: Proceedings of 17. Workshop über Grundlagen von Datenbanken (GvB2005), Wörlitz, Germany (17th - 20th May 2005), Organization: GI, 38-42

Complete Text [ .ps, 181KB / .pdf, 101 KB ]
9 François Bry and Michael Eckert
Processing Link Structures and Linkbases on the Web.
short version of PMS-FB-2004-25
In: Proceedings of 14th International World Wide Web Conference (WWW2005), Chiba, Japan (10th - 14th May 2005), Organization: W3C, 1030-1031, ISBN 1-59593-051-5

Complete Text [ .ps, 182KB / .pdf, 65 KB ]
8 James Bailey, François Bry, and Paula-Lavinia Pătrânjan
Composite Event Queries for Reactivity on the Web.
In: Proceedings of 14th International World Wide Web Conference (WWW2005), Chiba, Japan (10th - 14th May 2005), Organization: W3C

Complete Text [ .pdf, 58KB ]
7 François Bry and Massimo Marchiori
Ten Theses on Logic Languages for the Semantic Web.
In: Proceedings of W3C Workshop on Rule Languages for Interoperability, Washington D.C., USA (27th - 28th April 2005), Organization: W3C

Complete Text [ .pdf, 156KB ]
slides [ .pdf, 160KB ]
6 François Bry and Nicola Henze
Personalisierung.
In: Informatik Spektrum 28 (3), June 2005
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 54KB ]
5 François Bry, Frank-André Rieß, and Stephanie Spranger
CaTTS: Calendar Types and Constraints for Web Applications.
In: Proceedings of 14th International World Wide Web Conference (WWW2005), Chiba, Japan (10th - 14th May 2005), Organization: W3C, 702-711, ISBN 1-59593-046-9

Complete Text [ .ps, 191KB / .pdf, 394KB ]
4 François Bry, Jutta Haußer, Frank-André Rieß, and Stephanie Spranger
Cultural Calendars for Programming and Querying.
In: Proceedings of 1st Forum on the Promotion of European and Japanese Culture in Cyber-Societies and Virtual Reality, Laval, France (18th - 19th April 2005)

Complete Text [ .pdf, 420KB ]
3 François Bry, Tim Furche, Liviu Badea, Christoph Koch, Sebastian Schaffert, and Sacha Berger
Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.
extended version in PMS-FB-2007-21
In: Journal of Semantic Web and Information Systems (IJSWIS) 1 (2), April-June 2005
© Idea Group Inc.

Complete Text [ .pdf, 280KB ]
2 François Bry and Paula-Lavinia Pătrânjan
Reactivity on the Web: Paradigms and Applications of the Language XChange.
In: Proceedings of 20th Annual ACM Symposium on Applied Computing (SAC'2005), Santa Fe (New Mexico), USA (13th - 17th March 2005), Organization: ACM

Complete Text [ .pdf, 89KB ]
1 François Bry, Fatih Coşkun, Serap Durmaz, Tim Furche, Dan Olteanu, and Markus Spannagel
The XML Stream Query Processor SPEX.
In: Proceedings of 21st International Conference on Data Engineering (ICDE'2005), Tokyo, Japan (5th - 8th April 2005), Organization: IEEE, 1120-1121

Complete Text [ .ps.gz, 540KB / .pdf, 129 KB ]
2004
37 Michael Marte
Towards Constraint-Based School Timetabling.
extended version in PMS-FB-2007-17
In: Proceedings of the Workshop on Modelling and Solving Problems with Constraints, Brahim Hnich (editor/s), Proceedings of 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain (22nd - 27th August 2004), 140-156

36 Hans Jürgen Ohlbach, Klaus Schulz, and Felix Weigel
Geotemporal Reasoning: Basic Theory.
REWERSE Deliverable

Complete Text [ .pdf, 914KB ]
35 Hans Jürgen Ohlbach and Sebastian Schaffert
Principles and Practice of Semantic Web Reasoning.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE, LNCS 3208, 2004
Springer-Verlag
© Springer-Verlag

34 Hans Jürgen Ohlbach
Calendrical calculations with time partitionings and fuzzy time intervals.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE, LNCS 3208, 2004, ISBN 978-3-540-22961-2
Springer-Verlag
© Springer-Verlag

33 Hans Jürgen Ohlbach
Relations between fuzzy time intervals.
In: Proceedings of 11th International Symposium on TEMPORAL REPRESENTATION AND REASONING, Tatihoui, Normandie, France (1st - 3rd July 2004), Organization: greyc, 44-51

Complete Text [ .pdf, 234KB ]
32 Hans Jürgen Ohlbach
The role of labelled partitionings for modelling periodic temporal notions.
In: Proceedings of 11th International Symposium on TEMPORAL REPRESENTATION AND REASONING, Tatihoui, Normandie, France (1st - 3rd July 2004), Organization: greyc, 60-63

31 Norbert Eisinger and Jan Maluszynski
Spring or Summer School I.
REWERSE Deliverable

Complete Text [ .pdf, 160KB ]
30 Tim Furche, François Bry, Sebastian Schaffert, Renzo Orsini, Ian Horrocks, Michael Krauss, and Oliver Bolzer
Survey over Existing Query and Transformation Languages.
REWERSE Deliverable

Complete Text [ .pdf, 935KB ]
29 José Júlio Alferes, James Bailey, Mikael Berndtsson, François Bry, Jens Dietrich, Alexander Kozlenkov, Wolfgang May, Paula-Lavinia Pătrânjan, Alexandre Pinto, Michael Schroeder, and Gerd Wagner
State-of-the-art on evolution and reactivity.
REWERSE Deliverable

Complete Text [ .pdf, 620KB ]
28 François Bry, Tim Furche, Liviu Badea, Christoph Koch, Sebastian Schaffert, and Sacha Berger
Identification of Design Principles.
REWERSE Deliverable

Complete Text [ .pdf, 231KB ]
27 Grigoris Antoniou, Matteo Baldoni, Cristina Baroglio, Robert Baumgartner, François Bry, Thomas Eiter, Nicola Henze, Marcus Herzog, Wolfgang May, Viviana Patti, Roman Schindlauer, Hans Tompits, and Sebastian Schaffert
Reasoning Methods for Personalization on the Semantic Web.
In: Annals of Mathematics, Computing & Teleinformatics 2 (1), 1-24, 2004
ACMT
© ACMT

26 James Bailey, François Bry, and Paula-Lavinia Pătrânjan
Composite Event Queries for Reactivity on the Web.
In: Proceedings of 14th International World Wide Web Conference (WWW2005), Chiba, Japan (11th - 14th May 2005), Organization: W3C

Complete Text [ .ps.gz, 119KB / .pdf, 135KB ]
25 François Bry and Michael Eckert
Processing Link Structures and Linkbases on the Web and its Relevance to the Semantic Web.
short version in PMS-FB-2005-9

Complete Text [ .pdf, 187KB / .ps, 174KB ]
24 François Bry, Frank-André Rieß, and Stephanie Spranger
CaTTS: Calendar Types and Constraints for Web Applications.
In: Proceedings of 14th International World Wide Web Conference (WWW2005), Chiba, Japan (11th - 14th May 2005), Organization: W3C

Complete Text [ .ps, 190KB / .pdf, 192KB ]
23 Sacha Berger, François Bry, Oliver Bolzer, Tim Furche, Sebastian Schaffert, and Christoph Wieser
Xcerpt and visXcerpt: Twin Query Languages for the Semantic Web.
In: Proceedings of 3rd International Semantic Web Conference (ISWC2004), Hiroshima, Japan (7th - 11th November 2004), ISBN 978-3-540-23798-3

Complete Text [ .pdf, 183KB ]
Publication in Online-Proceedings [ .html ]
22 François Bry, Wolfgang E. Nagel, and Michael Schroeder
Grid-Computing.
In: Informatik Spektrum 27 (6), December 2004
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 85KB ]
21 Rolf Backofen, Mike Badea, Pedro Barahona, Liviu Badea, François Bry, Gihan Dawelbait, Andreas Doms, François Fages, Carole Goble, Andreas Henschel, Anca Hotaran, Bingding Huang, Ludwig Krippahl, Patrick Lambrix, Werner Nutt, Michael Schroeder, Sylvain Soliman, and Sebastian Will
Poster: Towards a semantic web for bioinformatics.
In: Proceedings of Bioinformatics 2004, Linköping, Sweden (3rd - 6th June 2004), Organization: SocBIN - Society for Bioinformatics in the Nordic countries

20 François Bry and Uta Schwertel
REWERSE - Reasoning on the Web.
In: AgentLink News (15), September 2004

Complete Text [ .pdf, 3.3MB ]
19 Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Pătrânjan, Sebastian Schaffert, Uta Schwertel, and Stephanie Spranger
Reasoning on the Web: Language Prototypes and Perspectives.
In: Proceedings of European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology (EWIMT 2004), London, U.K (25th - 26th November 2004), Organization: The Institution of Electrical Engineers, IEE, 157-164

Complete Text [ .ps, 72KB / .pdf, 55KB ]
18 Hans Jürgen Ohlbach and Sebastian Schaffert
Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE.
Springer-Verlag
© Springer-Verlag

17 Sacha Berger, François Bry, and Christoph Wieser
Visual Querying for the Semantic Web.
In: Proceedings of 23rd International Conference on Conceptual Modeling (ER'2004), Shanghai, China (8th - 12th November 2004)
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 74KB ]
16 François Bry, Włodzimierz Drabent, and Jan Maluszynski
On Subtyping of Tree-structured Data A Polynomial Approach.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 178KB ]
15 Wolfgang May, José Júlio Alferes, and François Bry
Towards generic query, update, and event languages for the Semantic Web.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps, 191KB / .pdf, 236 KB ]
14 François Bry and Stephanie Spranger
Towards a Multi-Calendar Temporal Type System for (Semantic) Web Query Languages.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 159KB ]
13 François Bry, Tim Furche, Paula-Lavinia Pătrânjan, and Sebastian Schaffert
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 294KB ]
12 Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi, and François Bry
Visual Exploration and Retrieval of XML Document Collections with the Generic System X².
In: Journal on Digital Libraries, Special Issue on "Information Visualization Interfaces for Retrieval and Analysis" 4, 2004
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 398KB ]
11 François Bry, Paula-Lavinia Pătrânjan, and Sebastian Schaffert
Xcerpt and XChange: Logic Programming Languages for Querying and Evolution on the Web.
In: Proceedings of 19th International Conference on Logic Programming (ICLP'04), St. Malo, France (6th - 10th September 2004), LNCS
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 78KB ]
poster [ .pdf, 232KB ]
10 François Bry, Sebastian Schaffert, and Paula-Lavinia Pătrânjan
Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web.
In: Proceedings of Workshop on Semantic Web Services and Dynamic Networks (SWSDN2004), Ulm, Germany (22nd - 24th September 2004), Organization: GI
Gesellschaft für Informatik (GI)
© Gesellschaft für Informatik (GI)

Complete Text [ .pdf, 32KB ]
9 Sacha Berger, François Bry, and Sebastian Schaffert
Xcerpt et visXcerpt : Langages déductifs d'interrogation du Web.
In: Proceedings of Treiziemes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'2004), Angers, France (21st - 23rd June 2004), Organization: INRIA, 183 ff

Complete Text [ .pdf, 181KB ]
8 Sacha Berger, François Bry, and Sebastian Schaffert
Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web.
In: Proceedings of 16. Workshop Grundlagen von Datenbanken, Monheim am Rhein, Germany (1st - 4th June 2004), Organization: GI

Complete Text [ .pdf, 181KB ]
7 Sebastian Schaffert and François Bry
Querying the Web Reconsidered: A Practical Introduction to Xcerpt.
In: Proceedings of Extreme Markup Languages 2004, Montreal, Quebec, Canada (2nd - 6th August 2004)

Complete Text [ .pdf, 185KB ]
Publication in Online-Proceedings [ .html ]
6 Felix Weigel, Holger Meuss, Klaus U. Schulz, and François Bry
Content and Structure in Indexing and Ranking XML.
In: Proceedings of Seventh International Workshop on the Web and Databases (WebDB 2004), Paris, France (17th - 18th June 2004)

Complete Text [ .ps.gz, 197KB / .pdf, 237KB ]
5 François Bry, Sebastian Schaffert, and Andreas Schröder
A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language.
revised version of PMS-FB-2004-3
In: Applications of Declarative Programming and Knowledge Management, Proceedings of 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming (INAP/WLP), Potsdam, Germany (14th - 16th March 2004), Organization: GLP, GI 3392, 258-268, ISBN 3-540-25560-5

Complete Text [ .ps.gz, 236KB / .pdf, 224KB ]
4 Hans Jürgen Ohlbach
Fuzzy Time Intervals and Relations - The FuTIRe Library.

Complete Text [ .ps.gz, 355KB / .pdf, 445KB ]
3 François Bry, Sebastian Schaffert, and Andreas Schröder
A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language.
revision in PMS-FB-2004-5

Complete Text [ .pdf, 160KB ]
2 François Bry, Tim Furche, and Dan Olteanu
Datenströme.
In: Informatik Spektrum 27 (2), 168-171, April 2004
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 101KB / .pdf, 465KB ]
1 Dan Olteanu, Tim Furche, and François Bry
An Efficient Single-Pass Query Evaluator for XML Data Streams.
In: Data Streams Track, Proceedings of 19th Annual ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus (14th - 17th March 2004), Organization: ACM

Complete Text [ .ps.gz, 673KB / .pdf, 191KB ]
2003
17 François Bry and Peer Kröger
Bioinformatics Databases: State of the Art and Research Perspectives.
In: Proceedings of 7th East European Conference on Advances in Databases and Information Systems (ADBIS 03), Dresden, Germany (3rd - 6th September 2003), LNCS 2798, ISBN 3-540-20047-9
© Springer-Verlag

Complete Text [ .pdf, 22KB ]
16 François Bry, Nicola Henze, and Jan Maluszynski
Principles and Practice of Semantic Web Reasoning.
LNCS 2901, 2003, ISBN 978-3-540-20582-1
Springer-Verlag
© Springer-Verlag

publisher's presentation [ .html ]
15 Dan Olteanu, Tim Furche, and François Bry
Evaluating Complex Queries against XML streams with Polynomial Combined Complexity.
In: Proceedings of 21st Annual British National Conference on Databases (BNCOD21), Edinburgh, United Kingdom (7th - 9th July 2004)

Complete Text [ .ps.gz, 505KB / .pdf, 313KB ]
14 Felix Weigel, Holger Meuss, François Bry, and Klaus U. Schulz
Content-Aware DataGuides for Indexing Large Collections of XML Documents.

Complete Text [ .ps.gz, 246KB / .pdf, 875KB ]
13 Felix Weigel, Holger Meuss, François Bry, and Klaus U. Schulz
Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data.
In: Proceedings of European Conference on Information Retrieval Research (ECIR), Sunderland, U.K. (5th - 7th April 2004)
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 569KB / .pdf, 834KB ]
12 François Bry and Holger Wagner
Collaborative Categorization on the Web: Approach, Prototype, and Experience Report.

Complete Text [ .ps.gz, 2.4MB / .pdf, 264KB ]
11 Michael Kraus, François Bry, and Kazuhiro Kitagawa
XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (ICLP03), Mumbai, India (9th - 13th December 2003), LNCS 2901, 2003, ISBN 3-540-20582-9
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 216KB / .pdf, 176KB ]
10 François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, and Stephanie Spranger
On Reasoning on Time and Location on the Web.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (ICLP03), Mumbai, India (9th - 13th December 2003), LNCS 2901, 2003, ISBN 3-540-20582-9
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 155KB / .pdf, 149KB ]
Slides [ .ps.gz, 71K / .pdf, 68K ]
9 François Bry, Carsten Lutz, Ulrike Sattler, and Mareike Schoop
Proceedings of 10th International Workshop on `Knowledge Representation meets Databases' (KRDB2003).

Complete Text [ .html ]
8 Slim Abdennadher and Thom Frühwirth
Automatic Generation of CHR Constraint Solvers.
In: Special Issue of Theory and Practice of Logic Programming on Constraint Handling Rules, 2003

Complete Text [ .ps.gz, 99KB / .pdf, 248KB ]
7 Slim Abdennadher and Thom Frühwirth
Integration and Optimization of Rule-based Constraint Solvers.
In: Proceedings of International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), Uppsala, Sweden (25th August 2003 - 27th August 2002)

Complete Text [ .ps.gz, 77KB / .pdf, 226KB ]
6 Sacha Berger, François Bry, and Sebastian Schaffert
A Visual Language for Web Querying and Reasoning.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (ICLP03), Mumbai, India (9th - 13th December 2003), LNCS 2901, 2003, ISBN 3-540-20582-9
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 320KB ]
5 François Bry and Sebastian Schaffert
An Entailment Relation for Reasoning on the Web.
In: Proceedings of Rules and Rule Markup Languages for the Semantic Web (RuleML'03), Sanibel Island (Florida), USA (20th October 2003), LNCS
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 270KB ]
4 François Bry, Norbert Eisinger, and Georg Schneemayer
Web Services for Teaching: A Case Study.
In: Proceedings of First International Conference on Web Services (ICWS'03), Las Vegas, USA (23rd - 26th June 2003), ISBN 1-892512-49-1
© C.S.R.E.A. Press

Complete Text [ .ps.gz, 97KB / .pdf, 150KB ]
3 François Bry and Stephanie Spranger
Temporal Constructs for a Web Language.
In: Proceedings of 4th Workshop on Interval Temporal Logics and Duration Calculi (ESSLLI'03), Vienna, Austria (25th - 29th August 2003)

Complete Text [ .ps.gz, 164KB / .pdf, 174KB ]
2 Sacha Berger, François Bry, Sebastian Schaffert, and Christoph Wieser
Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data.
In: Proceedings of 29th International Conference on Very Large Data Bases (VLDB03), Berlin, Germany (9th - 12th September 2003), ISBN 0-12-722442-4

Complete Text [ .pdf, 176KB ]
1 Sacha Berger, François Bry, and Sebastian Schaffert
Pattern Queries for XML and Semistructured Data.
revised version of PMS-FB-2004-3
In: Proceedings of 17. Workshop Logische Programmierung (WLP), Dresden, Germany (11th - 13th December 2002), Organization: GLP, GI

Complete Text [ .ps.gz, 541KB / .pdf, 318KB ]
slides [ .pdf, 166KB ]
2002
19 François Bry and Sebastian Schaffert
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.
short version of PMS-FB-2002-2
In: Proceedings of International Conference on Logic Programming (ICLP), Copenhagen, Denmark (29th July - 1st August 2002), LNCS 2401
Springer-Verlag
© Springer-Verlag
Test of Time (10 years) Award of the Association for Logic Programming, 2012
Test of Time (20 years) Award of the Association for Logic Programming, 2022

Complete Text [ .ps.gz, 180KB / .pdf, 185KB ]
slides [ .pdf, 274KB ]
18 François Bry and Michael Kraus
Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors.
short version of PMS-FB-2002-1
In: Proceedings of 2nd Int. Conf. on Adaptive Hypermedia and Adaptive Web Based Systems (AH2002), Malaga, Spain (29th - 31st May 2002), 427-475, ISBN 978-3-540-43737-6

Complete Text [ .ps.gz, 85KB / .pdf, 84KB ]
poster [ .ps.gz, 44KB / .pdf, 28KB ]
17 Ulrich Rückert, Stefan Kramer, and Luc De Raedt
Phase Transitions and Stochastic Local Search in k-Term DNF Learning.
In: Proceedings of 13th European Conference on Machine Learning (ECML'02), Helsinki, Finland (19th - 23rd August 2002), LNCS 2430, 43-63, ISBN 978-3-540-44036-4
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 390KB / .pdf, 496KB ]
16 Holger Meuss, Klaus U. Schulz, and François Bry
Visual Querying and Exploration of Large Answers in XML Databases with X²: A Demonstration.
In: Proceedings of 19th International Conference on Data Engineering (ICDE), Bangalore, India (5th - 8th March 2003), Organization: IEEE, 777-779, ISBN 0-7803-7665-X

Complete Text [ .ps.gz, 77KB / .pdf, 77KB ]
15 Slim Abdennadher and Christophe Rigotti
Automatic Generation of Rule-Based Constraint Solvers over Finite Domains.
to appear
In: ACM Transactions on Computational Logic (TOCL)

Complete Text [ .ps.gz, 133KB / .pdf, 384KB ]
14 François Bry and Peer Kröger
Aktuelles Schlagwort: Datenbanken in der Bioinformatik.
In: Informatik Spektrum 25 (5), 359-362, October 2002
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 77KB / .pdf, 244KB ]
13 Slim Abdennadher and Christophe Rigotti
Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints.
In: International Journal on Artificial Intelligence Tools 11 (2), 283-302, 2002

Complete Text [ .ps.gz, 90KB / .pdf, 225KB ]
12 Dan Olteanu, Tobias Kiesling, and François Bry
An Evaluation of Regular Path Expressions with Qualifiers against XML Streams.
In: Proceedings of 19th International Conference on Data Engineering (ICDE), Bangalore, India (5th - 8th March 2003), Organization: IEEE, 702-704, ISBN 0-7803-7665-X

Complete Text [ .ps.gz, 940KB / .pdf, 480KB ]
11 François Bry and Sebastian Schaffert
A Gentle Introduction into Xcerpt, a Rule-based Query and Transformation Language for XML.
In: Proceedings of International Workshop on Rule Markup Languages for Business Rules on the Semantic Web (RuleML 2002), Sardinia, Italy (14th June 2002)

Complete Text [ .ps.gz, 196KB / .pdf, 231KB ]
10 Slim Abdennadher and Thom Frühwirth
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers.
In: Proceedings of Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Nice, France (27th - 29th May 2002), Organization: INRIA, 257-271, ISBN 2-7462-0477-0

Complete Text [ .ps.gz, 163KB / .pdf, 132KB ]
9 Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss
JACK: A Java Constraint Kit.
In: Electronic Notes in Theoretical Computer Science 64, 1-17, 2002

Complete Text [ .ps.gz, 176KB / .pdf, 657KB ]
8 François Bry and Peer Kröger
A Computational Biology Database Digest: Data, Data Analysis, and Data Management.
revised version of PMS-FB-2001-3
In: Distributed and Parallel Databases 13 (1), 7-42, Jan 2003

7 François Bry and Sebastian Schaffert
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics.
In: Web, Web-Services, and Database Systems, Proceedings of 2nd Annual International Workshop "Web and Databases", Erfurt, Germany (9th - 10th October 2002), Organization: German Informatics Society (GI), LNCS 2593, ISBN 3-540-00745-8
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 180KB / .pdf, 196KB ]
slides [ .pdf, 250KB ]
6 François Bry and Michael Kraus
Perspectives for Electronic Books in the World Wide Web Age.
In: The Electronic Library 20 (4), 2002

Complete Text [ .ps.gz, 61KB / .pdf, 104KB ]
5 François Bry and Sebastian Schaffert
Pattern Queries for XML and Semistructured Data.
revised version in PMS-FB-2003-1

Complete Text [ .ps.gz, 138KB / .pdf, 167KB ]
slides [ .pdf, 166KB ]
4 Dan Olteanu, Holger Meuss, Tim Furche, and François Bry
XPath: Looking Forward.
short version of PMS-FB-2001-17
In: Proceedings of Workshop on XML-Based Data Management at EDBT 2002 (XMLDM), Prague, Czech Republic (24th - 28th March 2002), LNCS 2490
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 109KB / .pdf, 280KB ]
3 François Bry and Michael Kraus
Position Paper: Style Sheets for Context Adaptation.
In: Proceedings of W3C Workshop on Delivery Context, Sophia-Antipolis, France (4th - 5th March 2002), Organization: W3C/INRIA

Complete Text [ .html, 26KB ]
2 François Bry and Sebastian Schaffert
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.
short version in PMS-FB-2002-19

Complete Text [ .ps.gz, 195KB / .pdf, 225KB ]
slides [ .pdf, 274KB ]
1 François Bry and Michael Kraus
Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors.
short version in PMS-FB-2002-18

Complete Text [ .ps.gz, 203KB / .pdf, 127KB ]
2001
1 Slim Abdennadher
Rule-based Constraint Programming: Theory and Practice.
Habilitation Thesis, Insitute for Informatics, University of Munich

Complete Text [ .ps.gz, 420KB / .pdf, 1.5MB ]
18 Michael Marte
A Modular Approach To Proving Confluence.

Complete Text [ .pdf, 200KB ]
17 Dan Olteanu, Holger Meuss, Tim Furche, and François Bry
XPath: Looking Forward.
short version in PMS-FB-2002-4
revised version of PMS-FB-2001-16

Complete Text [ .ps.gz, 180KB / .pdf, 380KB ]
16 Dan Olteanu, Holger Meuss, Tim Furche, and François Bry
Symmetry in XPath.
revision in PMS-FB-2001-17
In: Proceedings of Seminar on Rule Markup Techniques, no. 02061, Schloss Dagstuhl, Germany (7th February 2002)

Complete Text [ .ps.gz, 180KB / .pdf, 380KB ]
slides [ .pdf, 180KB ]
15 Slim Abdennadher and Christophe Rigotti
Towards Inductive Constraint Solving.
In: Proceedings of Seventh International Conference on Principles and Practice of Constraint Programming (CP'2001), Paphos, Cyprus (26th November - 1st December 2001)

Complete Text [ .ps.gz, 83KB / .pdf, 212KB ]
14 Slim Abdennadher and Christophe Rigotti
Generation of Propagation Rules for Intentionally Defined Constraints.
In: Proceedings of Thirteenth IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2001), Dallas, Texas (7th - 9th November 2001)

Complete Text [ .ps.gz, 45KB / .pdf, 90KB ]
13 Michael Marte
A Global Constraint for Parallelizing the Execution of Task Sets.

Complete Text [ .pdf, 376KB ]
12 Miguel Penabad, Nieves Brisaboa, José Paramá, and Hendrick Decker
A General Procedure to Test Containment of Conjunctive Queries.

Complete Text [ .ps.gz, 90KB / .pdf, 210KB ]
11 François Bry and Michael Kraus
Advanced Modeling and Browsing of Technical Documents.
In: Track on Electronic Books for Teaching and Learning, Proceedings of 17th ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain (10th - 14th March 2002)

Complete Text [ .ps.gz, 40KB / .pdf, 92KB ]
10 Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss
JACK: A Java Constraint Kit.
In: Proceedings of International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, Germany (13th - 15th September 2001)

Complete Text [ .ps.gz, 143KB / .pdf, 225KB ]
9 François Bry, Michael Kraus, Dan Olteanu, and Sebastian Schaffert
Aktuelles Schlagwort: Semistrukturierte Daten.
In: Informatik Spektrum 24 (4), 230-233, August 2001
Also in: Informatik-Lexikon der GI
© Springer-Verlag

Complete Text [ .ps.gz, 50KB / .pdf, 110KB ]
8 Slim Abdennadher and Christophe Rigotti
Using Confluence to Generate Rule-based Constraint Solvers.
In: Proceedings of Third International Conference on Principles and Practice of Declarative Programming (PPDP01), Florence, Italy (5th - 7th September 2001), Organization: ACM

Complete Text [ .ps.gz, 72KB / .pdf, 157KB ]
7 François Bry, Dan Olteanu, and Sebastian Schaffert
Grouping Constructs for Semistructured Data.
In: Proceedings of Workshop at Dexa'01 (WebH2001), Munich, Germany (3rd September 2001)

Complete Text [ .ps.gz, 80KB / .pdf, 200KB ]
WebH2001 slides [ .pdf, 250KB / printable .ps, 2.0MB ]
6 François Bry
An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning.
In: Proceedings of Paraconsistent Computational Logic, Workshop of the Federated Logic Conference FLOC 2002 (PCL 2002), Copenhagen, Denmark (27th July 2002)

Complete Text [ .ps.gz, 114KB / .pdf, 236KB ]
slides [ .pdf, 110KB ]
5 Reinhard Kahle and Thomas Studer
Formalizing Non-Termination of Recursive Programs.
In: Journal of Logic and Algebraic Programming 49 (1-2), 1-14

Complete Text [ .ps.gz, 96KB / .pdf, 196KB ]
4 Reinhard Kahle
Truth in Applicative Theories.
In: Studia Logica 68 (1), 103-128, 2001

Complete Text [ .ps.gz, 110KB / .pdf, 231KB ]
3 François Bry and Peer Kröger
A Molecular Biology Database Digest.
revised version in PMS-FB-2002-8

Complete Text [ .pdf, 1.1MB ]
2 Slim Abdennadher and Matthias Saft
A Visualization Tool for Constraint Handling Rules.
In: Proceedings of 11th Workshop on Logic Programming Environments (PACLP99), Paphos, Cyprus (1st December 2001)

Complete Text [ .ps.gz, 216KB / .pdf, 251KB ]
1 Hans Jürgen Ohlbach
Set Description Languages and Reasoning about Numerical Features of Sets.

Complete Text [ .ps.gz, 211KB / .pdf, 372KB ]
2000
15 Holger Meuss, Klaus U. Schulz, and François Bry
Towards Aggregated Answers for Semistructured Data.
Joint work with CIS, http://www.cis.uni-muenchen.de/
conference version of PMS-FB-2000-7
In: Proceedings of 8th International Conference on Database Theory (ICDT 2001), London, United Kingdom (4th - 6th January 2001)

Complete Text [ .ps.gz, 118KB ]
14 Slim Abdennadher, Ulrich Geske, and Dietmar Seipel
Proceedings of 15th Workshop on Logic Programming and Constraint Systems (WLP 2000), Berlin, Germany (25th - 27th August 2000). GMD Report 110, August 2000

13 Reinhard Kahle
Proof-Theoretic Notions for Software Maintenance.

Complete Text [ .ps.gz, 80KB / .pdf, 158KB ]
12 Reinhard Kahle and Thomas Studer
A Theory of Explicit Mathematics Equivalent to ID_1.
EUR 60.00
In: Lecture Notes in Computer Science Logic (CSL), Peter Clote, Helmut Schwichtenberg (editor/s), Proceedings of 14th International Workshop of Annual Conference of the EACSL (CSL 2000), Fischbachau, Germany (21st - 26th August 2000), LNCS 1862, 356-370, ISBN 3-540-67895-6
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 102KB / .pdf, 243KB ]
11 Michael Marte
Towards Constraint-Based Grammar School Timetabling.
In: Burke, E. and Erben, W. (editor/s), Proceedings of 3rd International Conference on the Practice and Theory of Automated Timetabling (PATAT 2000), Constance, Germany (16th - 18th August 2000), 222-224, 2000

Complete Text [ .ps.gz, 12KB / .pdf, 51KB ]
10 Angelika Blauth, Iris Pigeot, and François Bry
Interactive Analysis of High-Dimensional Association Structures with Graphical Models. revised version of statistik-kettenmodelle
In: Metrika 51 (1), 53-65, 2000

9 François Bry and Norbert Eisinger
Data Modeling with Markup Languages: A Logic Programming Perspective.
In: Proceedings of 15th Workshop on Logic Programming and Constraint Systems (WLP 2000), Berlin, Germany (25th - 27th August 2000)

Complete Text [ .ps.gz, 137KB ]
slides [ .ps.gz, 24KB ]
8 François Bry and Adnan Yahya
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.
revision of PMS-FB-1997-8
In: Journal of Automated Reasoning 25 (1), 35-82, July 2000

Complete Text [ .ps.gz, 184KB ]
7 Holger Meuss, Klaus U. Schulz, and François Bry
Towards Aggregated Answers for Semistructured Data.
Joint work with CIS, http://www.cis.uni-muenchen.de/
conference version in PMS-FB-2000-15
short version of PMS-FB-2000-6

Complete Text [ .ps.gz, 136KB / .pdf, 691KB ]
6 Holger Meuss, Klaus U. Schulz, and François Bry
Towards Aggregated Answers for Semistructured Data.
Joint work with CIS, http://www.cis.uni-muenchen.de/
short version in PMS-FB-2000-7

Complete Text [ .ps.gz, 221KB / .pdf, 382KB ]
5 Slim Abdennadher and Henning Christiansen
An Experimental CLP Platform for Integrity Constraints and Abduction.
In: Proceedings of Fourth International Conference on Flexible Query Answering Systems (FQAS 2000), Warsaw, Poland (25th - 28th October 2000)

4 Slim Abdennadher and Christophe Rigotti
Automatic Generation of Propagation Rules for Finite Domains.
In: Proceedings of Sixth International Conference on Principles and Practice of Constraint Programming (CP'2000), Singapore (18th - 22nd September 2000)

3 Thom Frühwirth and Slim Abdennadher
The Munich Rent Advisor: A success for Logic Programming on the Internet.
In: Journal of Theory and Practice of Logic Programming, Special Issue on Logic Programming and the Internet, M. Hermenegildo, L. Naish and L. Sterling (editor/s), 2000

2 Slim Abdennadher and Michael Marte
University Course Timetabling using Constraint Handling Rules.
In: Journal of Applied Artificial Intelligence, Special Issue on Constraint Handling Rules 14 (4), 311-326, 2000

Complete Text [ .ps.gz, 56KB / .pdf, 163KB ]
1 Slim Abdennadher, Matthias Saft, and Sebastian Will
Classroom Assignment using Constraint Logic Programming.
In: Proceedings of Second International Conference and Exhibition on The Practical Application of Constraint Technology and Logic Programming (PACLP 2000), Manchester, United Kingdom (10th - 12th April 2000)

Complete Text [ .ps.gz, 167KB / .pdf, 286KB ]
1999
12 Norbert E. Fuchs, Uta Schwertel, and Sunna Torge
Controlled Natural Language Can Replace First-Order Language.
short version of PMS-FB-1999-5
In: Proceedings of 14th Int. Conf. on Automated Software Engineering, Cocoa Beach (Florida), United States (12th - 15th October 1999)

11 Rolf Backofen, François Bry, Peter Clote, Hans-Peter Kriegel, Thomas Seidl, and Klaus Schulz
Aktuelles Schlagwort: Bioinformatik.
In: Informatik Spektrum 22 (9), 376-378, October 1999
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

Complete Text [ .html, 15KB ]
10 Rolf Backofen, August Böck, François Bry, Andreas Buckenmaier, Peter Clote, Wilfried Gabriel, Rudolf Grosschedl, Heinz-Gerd Hegering, Reinhold G. Hermann, Hans-Peter Kriegel, Regine Kahmann, Fred Kröger, Claudia Linnhoff-Popien, Hans-Werner Mewes, Elisabeth Weiß, and Martin Wirsing
Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München.

Complete Text [ .html, 36KB ]
abstract [ .html ]
9 Slim Abdennadher and Thom Frühwirth
Operational Equivalence of CHR Programs And Constraints.
In: Proceedings of Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandria (Virginia), United States (16th October 1999)

Complete Text [ .ps.gz, 111KB / .pdf, 254KB ]
8 Slim Abdennadher
Constraint Handling Rules: Applications and Extensions.
Invited Talk
In: Proceedings of 2nd International Workshop on Optimization and Simulation of Complex Industrial Systems. Extensions and Applications of Constraint-Logic Programming and 7th International Workshop on Deductive Databases and Logic Programming in conjunction with the 12th International Conference on Applications of Prolog, INAP'99, Tokyo, Japan (1999)

Complete Text [ .ps.gz, 81KB / .pdf, 153KB ]
7 Slim Abdennadher and Hans Schlenker
Nurse Scheduling using Constraint Logic Programming.
In: Proceedings of Eleventh Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-99), Orlando (Florida), United States (18th - 22nd July 1999)

Complete Text [ .ps.gz, 89KB / .pdf, 220KB ]
6 Slim Abdennadher, Tim Geisler, and Sven Panne
The Functional Rent Advisor.
In: Proceedings of 8th International Workshop on Functional and Logic Programming (WFLP'99), Grenoble, France (28th - 30th June 1999)

Complete Text [ .ps.gz, 124KB / .pdf, 303KB ]
5 Norbert E. Fuchs, Uta Schwertel, and Sunna Torge
A Natural Language Front-End to Automatic Verification and Validation of Specifications.
short version in PMS-FB-1999-12

Complete Text [ .ps.gz, 121KB / .pdf, 248KB ]
4 Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach
A Confluent Connection Calculus.
short version of Koblenz-RR-23-9
In: Proceedings of 16th Int. Conf. on Automated Deduction (CADE) (1999), LNCS 1632
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 104KB / .pdf, 244KB ]
3 François Bry and Sunna Torge
Solving Database Satisfiability Problems.
In: Proceedings of 11. Workshop "Grundlagen von Datenbanken", Luisenthal (Thüringen), Germany (25th - 28th May 1999)

Complete Text [ .ps.gz, 63KB / .pdf, 147KB ]
2 Slim Abdennadher and Hans Schlenker
INTERDIP - An Interactive Constraint Based Nurse Scheduler.
In: Proceedings of First International Conference and Exhibition on The Practical Application of Constraint Technology and Logic Programming (PACLP99), London, United Kingdom (1999)

Complete Text [ .ps.gz, 110KB / .pdf, 277KB ]
1 Slim Abdennadher and Michael Marte
Constraint-Based Heuristics for Grammar School Timetabling.
short presentation
In: Proceedings of Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'99), Ferrara, Italy (25th - 26th February 1999)

Complete Text [ .ps.gz, 60KB / .pdf, 118KB ]
1998
15 Hendrik Decker
On Knowledge Assimilation in Deductive Databases.
short version in PMS-FB-1998-10
In: Transactions and Change in Logic Databases, Freitag, B., Decker, H., Kifer, M. and Voronkov, A. (editor/s), Proceedings of International Seminar on Logic Databases and the Meaning of Change (ILPS'97), Schloss Dagstuhl, Germany (23rd - 27th September 1996), LNCS 1472, 1998, ISBN 3-540-65305-8
© Springer-Verlag

14 François Bry, Peter Clote, Heinz-Gerd Hegering, Hans-Peter Kriegel, Fred Kröger, Thomas Ludwig, and Martin Wirsing
Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters.

Complete Text [ .ps.gz, 44KB / .html / .pdf, 217KB ]
13b Iris Pigeot, Angelika Blauth, and François Bry
Interactive Analysis of High-Dimensional Association Structures with Graphical Models.
Sonderforschungsbereich 386, Universität München

Complete Text [ .ps.gz, 138KB / .pdf, 216KB ]
13a Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach
A Confluent Connection Calculus.
Universität Koblenz-Landau, Fachberichte Informatik Nr.23/98
short version in PMS-FB-1999-4
In: Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel, Steffen Hölldobler (editor/s)
Kluwer

Complete Text [ .ps.gz, 65KB / .pdf, 403KB ]
13 Alexander von Drach, Tim Geisler, Sven Panne, and David Sacher
SatAM -- Satchmo Abstract Machine (System Description).
In: Proceedings of System description, demonstration at 13. Workshop Logische Programmierung (WLP '98), Vienna, Austria (6th - 8th October 1998)

Complete Text [ .ps.gz, 80KB ]
12 Slim Abdennadher, Tim Geisler, and Sven Panne
The Functional Rent Advisor.
In: Proceedings of 8th International Workshop on Functional and Logic Programming, Grenoble, France (1999)

Complete Text [ .ps.gz, 124KB ]
11 François Bry, Norbert Eisinger, Heribert Schütz, and Sunna Torge
SIC: Ein interaktives Deduktionssystem zur Überprüfung der Erfüllbarkeit von Integritätsbedingungen in Datenbanken.
In: Proceedings of Inference-Mechanisms in Knowledge-Based Systems: Theory and Applications, Workshop im Rahmen der 22. Jahrestagung Künstliche Intelligenz (KI-98), Bremen, Germany (15th - 17th September 1998)
Springer-Verlag

Complete Text [ .ps.gz, 132KB ]
10 Hendrik Decker
On Knowledge Assimilation in Deductive Databases.
extended abstract
short version of PMS-FB-1998-15

Complete Text [ .ps.gz, 38KB ]
9 Alexander von Drach, Tim Geisler, Sven Panne, and David Sacher
An Abstract Machine for Model Generation with PUHR Tableaux.
In: Proceedings of 13. Workshop Logische Programmierung (WLP '98), Vienna, Austria (6th - 8th October 1998)

Complete Text [ .ps.gz, 94KB / .pdf, 213KB ]
8 Norbert Eisinger and Tim Geisler
Problem Solving with Model-Generation Approaches based on PUHR Tableaux.
In: Proceedings of Problem-solving Methodologies with Automated Deduction (CADE '98), Lindau, Germany (5th July 1998)

Complete Text [ .ps.gz, 116KB / .pdf, 269KB ]
7 Thomas Brüggemann
Zwei Modellgenerierungsverfahren für die Modallogik.

Complete Text [ .ps.gz, 218KB / .pdf, 147KB ]
6 François Bry and Sunna Torge
A Deduction Method Complete for Refutation and Finite Satisfiability.
In: Proceedings of 6th European Workshop on Logics in AI (JELIA), Schloss Dagstuhl, Germany (12th - 15th October 1998), LNAI 1489, 1998
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 70KB / .pdf, 256KB ]
5 Slim Abdennadher and Thom Frühwirth
On Completion of Constraint Handling Rules.
In: Proceedings of Fourth International Conference on Principles and Practice of Constraint Programming (CP'98), Pisa, Italy (26th - 30th October 1998)

Complete Text [ .ps.gz, 156KB / .pdf, 284KB ]
4 Slim Abdennadher and Heribert Schütz
CHR^v: A Flexible Query Language.
In: Proceedings of Third International Conference on Flexible Query Answering Systems (FQAS'98), Roskilde, Denmark (13th - 15th May 1998), LNAI 1495
Springer-Verlag
© Springer-Verlag

Complete Text [ .pdf, 154KB ]
3 François Bry, Norbert Eisinger, Heribert Schütz, and Sunna Torge
SIC: Satisfiability Checking for Integrity Constraints.
In: Proceedings of Deductive Databases and Logic Programming, workshop at JICSLP (DDLP'98) (15th - 19th June 1998)

Complete Text [ .ps.gz, 122KB / .pdf, 147KB ]
2 Slim Abdennadher and Michael Marte
Constraintbasierte Stundenplanung für Universitäten.
In: Proceedings of 12. Workshop "Planen und Konfigurieren" (PuK-98), Paderborn, Germany (20th - 21st April 1998)

Complete Text [ .ps.gz, 37KB / .pdf, 167KB ]
1 Slim Abdennadher and Michael Marte
University Timetabling using Constraint Handling Rules.
In: Proceedings of VII-èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'98), Nantes, France (27th - 29th May 1998)

Complete Text [ .ps.gz, 56KB / .pdf, 139KB ]
1997
23 Heribert Schütz and Tim Geisler
Efficient Model Generation through Compilation.
short version of PMS-FB-1997-21
In: Proceedings of 13th Int. Conf. on Automated Deduction (CADE)
Springer-Verlag
© Springer-Verlag

22 François Bry, Raghu Ramakrishnan, and Kotagiri Ramamohanarao
Proceedings of Deductive and Object-Oriented Databases (DOOD '97), Montreux, Switzerland (8th - 12th December 1997).
LNCS 1341, ISBN 3-540-63792-3
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 23KB / .pdf, 96KB ]
table of contents [ .ps.gz, 15KB / .pdf, 64KB ]
21 Heribert Schütz and Tim Geisler
Efficient Model Generation through Compilation.
short version in PMS-FB-2002-24
In: Information and Computation 162 (1)

Complete Text [ .ps.gz, 143KB ]
20 Slim Abdennadher, Thom Frühwirth, and Holger Meuss
Confluence and Semantics of Constraint Simplification Rules.
In: Constraints Journal 4 (2), May 1999

Complete Text [ .ps.gz, 111KB ]
19 Heribert Schütz
Indefinite Information with a Data Model Based on Algebraic Datatypes.

Complete Text [ .ps.gz, 62KB / .pdf, 220KB ]
18 François Bry, Norbert Eisinger, Heribert Schütz, and Sunna Torge
SIC: An Interactive Tool for the Design of Integrity Constraints (System Description).
In: Proceedings of Extending Database Technology (EDBT'98), Valencia, Spain (23rd - 27th March 1998) 1377, ISBN 3-540-64264-1

Complete Text [ .ps.gz, 67KB / .pdf, 147KB ]
17 Hendrik Decker
Some Aspects of Paraconsistency in Deductive Databases.

Complete Text [ .ps.gz, 60KB / .pdf, 186KB ]
16 Hendrik Decker
One Abductive Procedure for Two Kinds of Updates.
In: Proceedings of Workshop "DYNAMICS'97" at Int. Logic Programming Symposium, Port Jefferson (Long Island N.Y.), United States (17th October 1997)

Complete Text [ .ps.gz, 70KB / .pdf, 288KB ]
15 François Bry and Sunna Torge
Model Generation for Applications -- A Tableaux Method Complete for Finite Satisfiability.

Complete Text [ .ps.gz, 70KB / .pdf, 259KB ]
14 Hendrik Decker
Toward a Paraconsistent Semantics of Database Integrity.
In: Proceedings of First World Congress on Paraconsistency, Ghent, Belgium (30th July - 2nd August 1997)

Complete Text [ .ps.gz, 63KB / .pdf, 265KB ]
13 Hendrik Decker
Abduction for Knowledge Assimilation in Deductive Databases.
In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), Valpariso, Chile (12th - 14th November 1997)

Complete Text [ .ps.gz, 65KB / .pdf, 237KB ]
12 Hendrik Decker
A Model-Theoretic Semantics of Integrity Constraints in Deductive Databases.
In: Proceedings of Workshop LP and Knowledge Representation at Int. Logic Programming Symposium, Port Jefferson (Long Island N.Y.), United States (12th - 17th October 1997)

Complete Text [ .ps.gz, 60KB / .pdf, 297KB ]
11 Hendrik Decker
On Paraconsistency in Deductive Databases.
In: Proceedings of First World Congress on Paraconsistency, Ghent, Belgium (30th July - 2nd August 1997)

Complete Text [ .ps.gz, 40KB / .pdf, 275KB ]
10 François Bry, Burkhard Freitag, and Dietmar Seipel
Proceedings of Twelfth Workshop on Logic Programming (WLP'97), Munich, Germany (17th - 19th September 1997).

9 François Bry
Query Answering in Information Systems with Integrity Constraints.
In: Integrity and Internal Controls in Information Systems I -- Increasing the Confidence in Information Systems, Proceedings of Working Conference on Integrity and Control in Information Systems, Chapman and Hall (IFIP WG 11.5) (4th - 5th December 1997)

8 François Bry and Adnan Yahya
Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation.
revision in PMS-FB-2000-8
Kluwer

Complete Text [ .ps.gz, 97KB / .pdf, 331KB ]
7 Thom Frühwirth and Slim Abdennadher
Constraint-Programmierung - Grundlagen und Anwendungen.
In: Constraint-Programmierung, 1997, ISBN 3-540-60670-X
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 55KB / .pdf, 128KB ]
6 Slim Abdennadher
Operational Semantics and Confluence of Constraint Propagation Rules.
In: Proceedings of Third International Conference on Principles and Practice of Constraint Programming (CP97), Schloss Hagenberg, Austria (29th October - 1st November 1997), LNCS 1330
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 69KB / .pdf, 270KB ]
5 Slim Abdennadher and Hans Schlenker
INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen.
In: Proceedings of 12. Workshop logische Programmierung, Munich, Germany (17th - 19th September 1997)

Complete Text [ .ps.gz, 97KB / .pdf, 481KB ]
4 Slim Abdennadher and Heribert Schütz
Model Generation with Existentially Quantified Variables and Constraints.
In: Proceedings of Sixth International Conference on Algebraic and Logic Programming (ALP), Southampton (3rd - 5th September 1997), LNCS 1298, ISBN 3-540-63459-2
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 78KB / .pdf, 275KB ]
3 Thom Frühwirth and Slim Abdennadher
Anwendungen Constraintbasierter Programmierung.
In: Proceedings of GI-Jahrestagung, Aachen, Germany (1997)
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 58KB / .pdf, 224KB ]
2 Norbert Eisinger, Tim Geisler, and Sven Panne
Logic Implemented Functionally.
In: Proceedings of Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP), Southampton, United Kingdom (1997), LNCS 1292, ISBN 3-540-63398-7
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 152KB / .pdf, 257KB ]
1 Mathias Kettner and Norbert Eisinger
The Tableau Browser SNARKS (System Description).
In: Proceedings of 14th Int. Conf. on Automated Deduction (CADE), Townsville, Australia (16th July 1997), LNAI 1249
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 152KB / .pdf, 238KB ]
1996
21 François Bry and Dietmar Seipel
Aktuelles Schlagwort: Deduktive Datenbanken.
In: Informatik Spektrum 19 (4), August 1996
Also in: Informatik Lexikon der GI
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 72KB ]
20
synonym of PMS-FB-1996-3

19 Tim Geisler, Sven Panne, and Heribert Schütz
Satchmo. The Compiling and Functional Variants.
In: Journal of Automated Reasoning 18 (2), 227-236

Complete Text [ .ps.gz, 99KB / .pdf, 222KB ]
18 Heribert Schütz
Comparison of Two Complementary Herbrand Model Generators.

Complete Text [ .ps.gz, 70KB / .pdf, 228KB ]
17 Heribert Schütz and Dietmar Zaefferer
Eine linguistische Wissensbank.

Complete Text [ .ps.gz, 65KB / .pdf, 185KB ]
16 Thom Frühwirth and Slim Abdennadher
Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung.
In: Künstliche Intelligenz - Themenheft Constraints der GI 1, March 1997

Complete Text [ .ps.gz, 166KB / .pdf, 355KB ]
15 François Bry and Slim Abdennadher
Programm für den Tag der Informatik an der LMU, TdI'96.

Complete Text [ .ps, 45KB ]
14 Slim Abdennadher, Thom Frühwirth, and Holger Meuss
Implementing Constraint Solvers: Theory and Practice.
In: Proceedings of Forum de la Recherche en Informatique (FRI 96), Tunis, Tunisia (1996)

Complete Text [ .ps.gz, 42KB / .pdf, 150KB ]
13 Adnan Yahya
Generalized Query Answering in Disjunctive Databases Using Minimal Model Generation.

Complete Text [ .ps.gz, 112KB / .pdf, 369KB ]
12 Adnan Yahya
A Goal-Driven Approach to Efficient Query Processing in Disjunctive Databases.
Earlier version in: Dagstuhl Seminar Report Nr. 150, July 1996

Complete Text [ .ps.gz, 122KB / .pdf, 369KB ]
11 Thom Frühwirth and Slim Abdennadher
The Munich Rent Advisor.
In: Proceedings of 1st Workshop on Logic Programming for Internet Applications, in conjunction with Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn, Germany (2nd - 6th September 1996)

Complete Text [ .ps.gz, 119KB / .pdf, 375KB ]
10 Adnan Yahya
Model Generation in Disjunctive Normal Databases.

Complete Text [ .ps.gz, 97KB / .pdf, 311KB ]
9 Slim Abdennadher, Thom Frühwirth, and Peter Blenninger
Rent Estimates with Constraints over the Internet (System Description).
In: Proceedings of V-èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'96), Clermont-Ferrand, France (1996)

Complete Text [ .ps.gz, 97KB / .pdf, 297KB ]
8 Slim Abdennadher, Thom Frühwirth, and Holger Meuss
On Confluence of Constraint Handling Rules.
In: Proceedings of Second International Conference on Principles and Practice of Constraint Programming (CP'96), Cambridge (Massachusetts), USA (19th - 22nd August 1996), LNCS 1118
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 69KB / .pdf, 267KB ]
7 Slim Abdennadher, Thom Frühwirth, and Holger Meuss
Confluent Simplification Rules.

Complete Text [ .ps.gz, 80KB / .pdf, 266KB ]
5 Thomas Brüggemann, François Bry, Norbert Eisinger, Tim Geisler, Sven Panne, Heribert Schütz, Sunna Torge, and Adnan Yahya
Satchmo: Minimal Model Generation and Compilation (System Description).
In: Proceedings of V-èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'96), Clermont-Ferrand, France (1996)

Complete Text [ .ps.gz, 45KB / .pdf, 117KB ]
4 François Bry
A Compositional Semantics for Logic Programs and Deductive Databases.
short version in PMS-FB-1996-3
MIT Press

Complete Text [ .ps.gz, 91KB / .pdf, 292KB ]
3 François Bry
A Compositional Semantics for Logic Programs and Deductive Databases.
short version of PMS-FB-1996-4
In: Proceedings of Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn, Germany (2nd - 6th September 1996)
MIT Press

Complete Text [ .ps.gz, 64KB / .pdf, 213KB ]
2 Heribert Schütz and Tim Geisler
Efficient Model Generation through Compilation.
In: Proceedings of 13th Int. Conf. on Automated Deduction (CADE) (1996)
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 85KB / .pdf, 94KB ]
1 François Bry and Adnan Yahya
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.
In: Proceedings of 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (1996)
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 85KB / .pdf, 304KB ]
1995
5 François Bry and Adnan Yahya
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.
In: Proceedings of 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (1996)
Springer-Verlag
© Springer-Verlag

Complete Text [ .ps.gz, 72KB / .pdf, 298KB ]
4 Slim Abdennadher, Thom Frühwirth, Michael Marte, and Holger Meuss
A Confluence Test for Concurrent Constraint Programs.

Complete Text [ .ps.gz, 55KB ]
3 Slim Abdennadher, François Bry, Norbert Eisinger, and Tim Geisler
The Theorem Prover Satchmo: Strategies, Heuristics, and Applications (System Description).
In: Proceedings of IV-èmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPL'95), Dijon, France (1995)

Complete Text [ .ps.gz, 49KB / .pdf, 186KB ]
2 François Bry and Rainer Manthey
Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.
In: Proceedings of 11. Workshop Logische Programmierung (27th - 29th September 1995), Organization: GMD

Complete Text [ .ps.gz, 57KB / .pdf, 215KB ]
1 François Bry, Rainer Manthey, and Heribert Schütz
Deduktive Datenbanken.
In: KI - Künstliche Intelligenz - Themenheft Logische Programmierung, Gesellschaft für Informatik 3/96, September 1996

Complete Text [ .ps.gz, 58KB / .pdf, 170KB ]
1994
2 François Bry
Disjunctive Logic Programming: What Applications Developers Need.
In: Proceedings of IFIP Workshop on Disjunctive Logic Programming and Disjunctive Databases (28th August - 2nd September 1995)

1 François Bry
Ingénierie des Systèmes d'Informations.
In: Special issue of Ingénierie des Systèmes d'Informations on Bases de Données Avancées 2 (1), January 1994

1993
1 Norbert Eisinger and Hans Jürgen Ohlbach
Deduction Systems Based on Resolution.
In: Handbook of Logic in Artificial Intelligence and Logic Programming, Gabbay, Hogger and Robinson (editor/s) 1, 1993
Oxford University Press

Complete Text [ .ps.gz, 257KB / .pdf, 692 ]

Columns (2022, 2021)

2022
1 Felix Weitkämper
What's hot in statistical relational AI: Report from the first International Joint Conference on Learning and Reasoning
In: The Reasoner 16(1):5-6
Manuscript [ .pdf ]
2021
2 Felix Weitkämper
What’s hot in Statistical Relational AI: Report from the 31st International Conference on Logic Programming 2021
In: The Reasoner 15(5):38-9
Manuscript [ .pdf ]
1 Felix Weitkämper
Probabilistic Logic Programming
In: The Reasoner 15(5):40-2
Manuscript [ .pdf ]

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

2020
Sebastian Mader
Promoting Interactivity and Engagement in Tertiary STEM Education using Technology.
PhD Thesis, Institute for Informatics, University of Munich, 2020

Complete Text [ .pdf ]
Niels Heller
Pervasive Learning Analytics for Fostering Learners' Self-regulation
PhD Thesis, Institute for Informatics, Ludwig-Maximilians-Universität in Munich, 2020

Complete Text [ .pdf (5 MB) ]
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 (2019, 2017, 2009, 2005, 2004, 2003, 2002, 2001, 1999, 1998)

2019
François Bry
Ethik der künstlichen Intelligenz und künstliche Intelligenz der Ethik
Beitrag zur Vorlesung Ethik und Verantwortung in Wissenschaft und Gesellschaft von PD Dr. Alexander Bagattini und Dr. Jonas Vandieken, October 2019 (in German)

Slides [ Slides ]
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 (2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015, 2013, 2012, 2011, 2010, 2009, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995)

2022
Florian Eich
Concurrent Stream Reasoning for Complex Event Recognition

Libuše Hannah Vepřek
Towards more Colaborative and Adpative Ethical Review Platforms – With the example of the ethical review of human computation-based citizen science projects.

Complete Text [ .pdf ]
Raphael Hagl
Concurrent Programming: Concepts and Languages.

Complete Text [ .pdf ]
Bagrat Ter-Akopyan
Identification of Political Leaning in German News Articles.

Complete Text [ .pdf ]
Timo Peter Emanuel Erdelt
Intelligent Task Management and Visualisation

Complete Text [ .pdf ]
Stefan Körner
On the Origin of Altruism – An Agent-Based Social Evolutionary Simulation.

Complete Text [ .pdf ]
2021
Wolfgang Witt
Types in Logic Programming.

Complete Text [ .pdf ]
Kevin Hartwig
Impact of Visual Feedback and Recommendations on Stress Awareness and Coping – Design, Implementation and Evaluation of the Stila Web App.

Complete Text [ .pdf ]
Lydia Kondylidou
Implementation and Comparison of Substitution Trees and Instance Tries

Complete Text [ .pdf ]
Stefan Seil
The Structural Evolution of Morality Revisited.

Complete Text [ .pdf ]
Dataset [ .zip ]
Software [ .zip ]
2020
Konrad Fischer
A Collaborative Annotation Editor for Backstage 2.

Complete Text [ .pdf ]
2019
Frederic Pascal Sautter
A Framework for Observing the Parallel Execution of Rust Programs

Complete Text [ .pdf ]
Nicola Greth
Automatic Semantic Categorization of Image Annotations Generated by Games with a Purpose

Complete Text [ .pdf ]
Robert Pospisil
Lerngruppenbildung Anhand von Kompetenzschätzung mittels Bayescher Netze

Complete Text [ .pdf ]
Maximilian Meyer
A Browser-based Development Environmne for JavaScript Learning and Teaching

Complete Text [ .pdf ]
2018
Manuel Hartmann
Gamification and Reification for Backstage 2

Complete Text [ .pdf ]
Nikolai Fischer
Increasing User Engagement to Foster Stress Awareness using Smart Watches.

Complete Text [ .pdf ]
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
Steven Dostert
Predicting the Learning Behaviour of Students from their Weekly Work Assignments

Complete Text [ .pdf ]
Matthias Schlenker
Recognizing and Classifying Errors in Student Assignments using Human Computation

Complete Text [ .pdf ]
Andreas Born
Predicting Students' Assignment Performance to Personalize Blended Learning

Complete Text [ .pdf ]
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 (2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 1999, 1998, 1997, 1996, 1995, 1994)

2022
Jonas Gottal
Learning Causal Relations From Observations: A Method and its Application to the Spread of the ‘Fear Factor’ in financial markets.

Complete Text [ .pdf ]
Ramona Fabry
Evaluating Parameter Scaling in Single-Target Learning of Markov Logic Networks with Respect to Varying Domains.

Complete Text [ .pdf ]
Jakob Pippig
An Introduction to Answer Set Programming and its Applications

Ozan Tanriverdi
Ein Überblick über die Constraint-Programmierung

Claudio Zeeb
Memory Management in Rust

Daniel Maier
Conception and Implementation of an Object-Oriented Mini-Language.

Joshua Klinger
Overview of Argumentation Logic.

Complete Text [ .pdf ]
Marian Lingsch Rosenfeld
Asymptotic Quantifier Elimination.

Complete Text [ .pdf ]
Vivian de Motte
Software für kollaboratives Lernen.

Complete Text [ .pdf ]
Ioanna Papazoglou
Diri – A Mobile Speech Recording Game With A Purpose.

Complete Text [ .pdf ]
Ardit Mazreku
Overview of Computational Ethics.

Complete Text [ .pdf ]
René Thome
Evaluation of the Instantiation Degree Metric for Instance Tries.

Complete Text [ .pdf ]
Raphael Hirte
John Horton Conway's Game of Life - An Overview and Examples.

Complete Text [ .pdf ]
Carina Cocora
A Generic Framework for Implementing Games With a Purpose.

Complete Text [ .pdf ]
Johannah Sprinz
Leveraging Human Computation for Quality Assurance in Open Source Communities.

Complete Text [ .pdf ]
2021
Sarah Berbuir
Towards an Intuitive Visualization of Activity, Movement, and Sleep Data.

Complete Text [ .pdf ]
Martin Yankov
SPREAD - A Game for Learning how Epidemics Spread.

Complete Text [ .pdf ]
Sena Oezdogan
Die Konzepte mobiler Datenerfassung für klinische Studien in Deutschland und den USA.

Complete Text [ .pdf ]
Cedric Kummer
How well does a crowd recognizes differences between photographs of the same artworks?

Complete Text [ .pdf ]
Laurenz Hill
Valeo: Eine mobile Anwendung zum Erfassen und Analysieren der Ernährung

Complete Text [ .pdf ]
Viktor Franz Paul Weber
Smart City – Ein Überblick.

Complete Text [ .pdf ]
David Li
Anreize zum Programmieren Lernen – Ideen und Ansätze für den motivierten Einstieg

Complete Text [ .pdf ]
Maximilian Kristen
Como: A Lexicograhpical Data Structuring Game With A Purpose

Complete Text [ .pdf ]
2020
Yiming Wang
Asymptotische Eigenschaften wohlgeformter Fragmente von Domain-size Aware Markov Logic Networks in Statistical Relational AI.

Complete Text [ .pdf ]
Martin Matthias
Newsroom: A GWAP to Study Public Opinion

Complete Text [ .pdf ]
Alexander Maslew
Improving an Annotation-Based Artwork Search Engine through Word Embeddings

Complete Text [ .pdf ]
Stefanie Kloß
Karido Mobile - Designing an Asynchronous Image Labeling Game for Mobile Devices

Complete Text [ .pdf ]
Galina Keil
Generierung didaktischer Fehlermeldungen für Minisprachen

Complete Text [ .pdf ]
Kilian Bosse
A GWAP with a Motivating Narrative for Collecting Deep Semantics Tags

Complete Text [ .pdf ]
2019
Kilian Parigger
State of the Church-Turing Thesis

Complete Text [ .pdf ]
Felix Sommer
A smartphone application for locating viewpoints of artwork scnes.

Complete Text [ .pdf ]
Stephanie Schwaben
Algorithmische Farbanalyse zur Untersuchung von Auswirkungen der Einführung neuer Farbpigmente auf die Kunst des 19. Jahrhunderts

Complete Text (compressed images, 5mb)[ .pdf ] Complete Text (uncompressed images, 50mb)[ .pdf ]
Jaderson R. Webler
Art2vec: a semantic search engine for tagged artworks based on word embeddings

Complete Text [ .pdf ]
2018
Korbinian Staudacher
Conception, Implementation and Evaluation of Proof Editors for Learning

Complete Text [ .pdf ]
Konrad Fischer
A Collaborative Text Editor for the Learning Management System Backstage

Complete Text [ .pdf ]
Elisabeth Lempa
Coconut 2: Concurrently Virtualising User Code Compilation

Complete Text [ .pdf ]
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 ]