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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
2020 | |
7 |
François Bry
Coinduction Plain and Simple arXiv:2007.09909 [cs.PL] ![]() |
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 ![]() |
5 |
Thomas Prokosch
A Low-Level Index for Distributed Logic Programming In: Proceedings 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy. ![]() |
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. ![]() |
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. ![]() |
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. ![]() |
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. ![]() |
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. ![]() |
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). ![]() |
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). ![]() |
4 |
Sebastian Mader,
François Bry
Fun and Engagement in Lecture Halls through Social Gamification In: International Journal of Engineering Pedagogy 9 (2). ![]() |
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). ![]() |
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). ![]() |
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). ![]() |
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). ![]() |
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 ![]() |
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). ![]() |
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). ![]() |
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). ![]() |
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). ![]() |
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). ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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. ![]() |
5 |
Clemens Schefels
Eine offene Universität für eine offene Gesellschaft ![]() ![]() |
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. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
2015 | |
2 |
Alexander Pohl and
François Bry
Das Audience Response System Backstage In: Forum Neue Medien Austria 4/2014, pp. 14-19 ![]() |
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. ![]() |
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). ![]() |
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 ![]() |
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 ![]() |
15 |
Steffen Hausmann,
Simon Brodt, and
François Bry
Modularization Mechanisms for ECA rules. EMILI Deliverable 4.6 ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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 ![]() |
7 |
Simon Brodt and
François Bry
Temporal Stream Algebra. ![]() |
6 |
Steffen Hausmann, Maximilian Scherr,
and
François Bry
Complex Actions for Event Processing ![]() |
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) ![]() |
4 |
Fabian Kneissl and
François Bry
Borsa Parole - A Market for Linguistic Speculation. ![]() |
3 |
François Bry
Human Computation and Economics. ![]() |
2 |
Hans Jürgen Ohlbach
Java2OWL: A System for Synchronising Java and OWL. Version 1.0 ![]() |
1 |
Alexander Pohl, Vera Gehlen-Baum, and
François Bry
Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study ![]() |
2011 | |
17 |
François Bry
Anfragesprachen neu erdacht. In: Journal KI - Künstliche Intelligenz, Volume 26, Issue 1, February 2012 © Springer-Verlag ![]() |
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 ![]() |
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) ![]() |
14 |
Simon Brodt,
Steffen Hausmann, and
François Bry
Implementation. EMILI Deliverable 4.5 ![]() |
13 |
Olga Poppe
A Method for Semantic Optimization of Complex Event Processing. ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
9 |
Jakub Kotowski,
François Bry, and
Norbert Eisinger
A Pot Pourri of Reason Maintenance Methods - Incremental View Maintenance Reconsidered. ![]() |
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) ![]() |
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. ![]() |
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. ![]() |
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) ![]() |
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 ![]() |
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) ![]() |
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) ![]() |
1 |
Steffen Hausmann,
Simon Brodt, and
François Bry
Dura - Concepts and Examples. EMILI Deliverable 4.3 ![]() |
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 ![]() |
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) ![]() |
14 |
Simon Brodt,
Steffen Hausmann, and
François Bry
Reactive Rules for Emergency Management. EMILI Deliverable 4.2 ![]() |
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 ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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) ![]() ![]() |
2009 | |
17 |
François Bry,
Jakub Kotowski
Reason Maintenance - Conceptual Framework KiWi Deliverable ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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/ ) ![]() ![]() |
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 ![]() ![]() |
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) ![]() |
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 ![]() |
9 |
François Bry,
Tim Furche, and
Benedikt Linse
The Perfect Match: RPL and RDF Rule Languages. ![]() |
8 |
François Bry,
Tim Furche, and
Benedikt Linse
Model Theory and Entailment Rules for RDF Containers, Collections and Reification. ![]() |
7 |
Simon Brodt
Tree-search, Partial Orderings, and a New Family of Uninformed Algorithms. English version of PA_Simon.Brodt ![]() |
6 |
Michael Eckert and
François Bry
Complex Event Processing (CEP). English version of PMS-FB-2009-5 ![]() |
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 ![]() |
4 |
Jakub Kotowski, Stephanie Stroka,
François Bry, and Sebastian Schaffert
Dependency Updates and Reasoning for KiWi. (Poster) ![]() |
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) ![]() |
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) ![]() |
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 ![]() |
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) ![]() |
17 |
François Bry and
Jakub Kotowski
Reason Maintenance- State of the Art. KIWI Deliverable ![]() |
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 ![]() |
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 ![]() ![]() |
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 ![]() |
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 ![]() |
11 |
Klara Weiand,
François Bry, and
Tim Furche
Reasoning and Querying -- State of the Art. KIWI Deliverable ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
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 ![]() ![]() |
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) ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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. ![]() |
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) ![]() |
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. ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
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 ![]() |
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 ![]() ![]() ![]() |
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) ![]() |
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) ![]() |
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 ![]() |
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 ![]() ![]() |
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. ![]() |
31 |
Loïc Royer, Benedict Linse, Thomas Wächter,
François Bry, and Michael Schroeder
Querying the semantic web: A case study. © Springer ![]() |
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. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
26 |
Hans Jürgen Ohlbach
Relations Between Fuzzy Time Intervals. ![]() |
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) ![]() |
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) ![]() |
23 |
François Bry
Footprints in Cyberspace -- Research and Researchers' Visibility in the Google Age. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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. ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
11 |
Hans Jürgen Ohlbach
Periodic Temporal Notions as 'Tree Partitionings'. ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
7 |
Stephanie Spranger and
François Bry
Temporal Data Modeling and Reasoning for Information Systems. ![]() |
6 |
François Bry and Massimo Marchiori
Towards a Rule Interchange Language for the Web. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
2005 | |
45 |
François Bry and Rainer Manthey
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
36 |
Sebastian Schaffert,
François Bry, and
Tim Furche
Initial draft of a possible declarative semantics for the language. REWERSE Deliverable ![]() |
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 ![]() |
34 |
James Bailey,
François Bry,
Michael Eckert, and Paula-Lavinia
Pătrânjan
Reactivity on the Web: Event Queries in XChange. ![]() |
33 |
Jan Maluszynski, Jörg Diederich,
Norbert Eisinger, and Artur Wilk
REWERSE graduate courses: a preliminary list. REWERSE Deliverable ![]() |
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 ![]() |
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 ![]() |
30 |
François Bry, Francois-Marie Colonna,
and
Bernhard Lorenz
Multi-Paradigm Reasoning for Access to Heterogeneous GIS. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
26 |
Hans Jürgen Ohlbach
Fuzzy Time Intervals - The FuTI-Library. ![]() |
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 ![]() |
23 |
Oliver Bolzer,
François Bry,
Tim Furche, Sebastian Kraus, and
Sebastian Schaffert
Development of Use Cases, Part I. REWERSE Deliverable ![]() |
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 ![]() |
21 |
François Bry, Frank-André Rieß, and
Stephanie Spranger
A Type Language for Calendars. short version of PMS-FB-2005-20 ![]() |
20 |
François Bry, Frank-André Rieß, and
Stephanie Spranger
A Type Language for Calendars. short version in PMS-FB-2005-21 ![]() |
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 ![]() |
18 |
François Bry, Frank-André Rieß, and
Stephanie Spranger
A Reasoner for Calendric and Temporal Data. short version of PMS-FB-2005-17 ![]() |
17 |
François Bry, Frank-André Rieß, and
Stephanie Spranger
A Reasoner for Calendric and Temporal Data. short version in PMS-FB-2005-18 ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
28 |
François Bry,
Tim Furche, Liviu Badea, Christoph
Koch, Sebastian Schaffert, and Sacha Berger
Identification of Design Principles. REWERSE Deliverable ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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) ![]() ![]() |
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) ![]() |
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 ![]() |
4 |
Hans Jürgen Ohlbach
Fuzzy Time Intervals and Relations - The FuTIRe Library. ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
14 |
Felix Weigel, Holger Meuss,
François Bry, and Klaus U. Schulz
Content-Aware DataGuides for Indexing Large Collections of XML Documents. ![]() |
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 ![]() |
12 |
François Bry and Holger Wagner
Collaborative Categorization on the Web: Approach, Prototype, and Experience Report. ![]() |
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 ![]() |
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 ![]() ![]() |
9 |
François Bry, Carsten Lutz, Ulrike
Sattler, and Mareike Schoop
Proceedings of 10th International Workshop on `Knowledge Representation meets Databases' (KRDB2003). ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() ![]() |
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 ![]() ![]() |
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 ![]() ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
6 |
François Bry and Michael Kraus
Perspectives for Electronic Books in the World Wide Web Age. In: The Electronic Library 20 (4), 2002 ![]() |
5 |
François Bry and Sebastian Schaffert
Pattern Queries for XML and Semistructured Data. revised version in PMS-FB-2003-1 ![]() ![]() |
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 ![]() |
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 ![]() |
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 ![]() ![]() |
1 |
François Bry and Michael Kraus
Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors. short version in PMS-FB-2002-18 ![]() |
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) ![]() |
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. ![]() |
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 ![]() |
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 ![]() |
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) ![]() ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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. ![]() ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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. ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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) ![]() |
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 ![]() |
10 |
Hendrik Decker
On Knowledge Assimilation in Deductive Databases. extended abstract short version of PMS-FB-1998-15 ![]() |
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) ![]() |
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) ![]() |
7 |
Thomas Brüggemann
Zwei Modellgenerierungsverfahren für die Modallogik. ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
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 ![]() ![]() |
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) ![]() |
20 |
Slim Abdennadher, Thom Frühwirth, and Holger Meuss
Confluence and Semantics of Constraint Simplification Rules. In: Constraints Journal 4 (2), May 1999 ![]() |
19 |
Heribert Schütz
Indefinite Information with a Data Model Based on Algebraic Datatypes. ![]() |
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 ![]() |
17 |
Hendrik Decker
Some Aspects of Paraconsistency in Deductive Databases. ![]() |
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) ![]() |
15 |
François Bry and Sunna Torge
Model Generation for Applications -- A Tableaux Method Complete for Finite Satisfiability. ![]() |
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) ![]() |
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) ![]() |
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) ![]() |
11 |
Hendrik Decker
On Paraconsistency in Deductive Databases. In: Proceedings of First World Congress on Paraconsistency, Ghent, Belgium (30th July - 2nd August 1997) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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) ![]() |
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 ![]() |
3 |
Thom Frühwirth and Slim Abdennadher
Anwendungen Constraintbasierter Programmierung. In: Proceedings of GI-Jahrestagung, Aachen, Germany (1997) Springer-Verlag © Springer-Verlag ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
4 |
Slim Abdennadher, Thom Frühwirth, Michael Marte, and Holger Meuss
A Confluence Test for Concurrent Constraint Programs. ![]() |
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) ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
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 ![]() |
1 |
Felix Weitkämper
Probabilistic Logic Programming In: The Reasoner 15(5):40-2 ![]() |
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 ![]() |
Niels Heller
Pervasive Learning Analytics for Fostering Learners' Self-regulation PhD Thesis, Institute for Informatics, Ludwig-Maximilians-Universität in Munich, 2020 ![]() |
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 ![]() |
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 ![]() |
Christoph Wieser
Building a Semantic Search Engine with Games and Crowdsourcing. PhD Thesis, Institute for Informatics, University of Munich, 2014 ![]() |
Fabian Kneißl
Crowdsourcing for Linguistic Field Research and E-Learning. PhD Thesis, Institute for Informatics, University of Munich, 2014 ![]() |
2011 |
Jakub Kotowski
Constructive Reasoning for Semantic Wikis PhD Thesis, Institute for Informatics, University of Munich, 2011 ![]() |
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 ![]() |
2010 |
Benedikt Linse
Data Integration on the (Semantic) Web with Rules and Rich Unification. PhD Thesis, Institute for Informatics, University of Munich, 2010 ![]() |
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 ![]() |
Alex Kohn
Professional Search in Pharmaceutical Research. PhD Thesis, Institute for Informatics, University of Munich, 2009 ![]() |
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 ![]() |
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 ![]() |
2006 |
Bernhard Lorenz
Multi-Paradigm Spatial Information Processing. PhD Thesis, Institute for Informatics, University of Munich, 2006 ![]() |
Felix Weigel
Structural Summaries as a Core Technology for Efficient XML Retrieval. ![]() |
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 ![]() |
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 ![]() ![]() |
Dan Olteanu
Evaluation of XPath Queries against XML Streams. PhD Thesis, Institute for Informatics, University of Munich, 2005 ![]() ![]() |
2004 |
Sebastian Schaffert
Xcerpt: A Rule-Based Query and Transformation Language for the Web. PhD Thesis, Institute for Informatics, University of Munich, 2004 ![]() ![]() |
2003 |
Michael Marte
Models and Algorithms for School Timetabling - A Constraint-Programming Approach. ![]() |
2000 |
Holger Meuss
Logical Tree Matching with Complete Answer Aggregates for Retrieving Structured Documents. Joint work with CIS, http://www.cis.uni-muenchen.de/ ![]() |
1998 |
Sunna Torge
Überprüfung der Erfüllbarkeit im Endlichen: Ein Verfahren und seine Anwendung. ![]() |
Slim Abdennadher
Analyse von regelbasierten Constraintlösern. ![]() ![]() |
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) ![]() |
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. ![]() |
2009 |
François Bry
Wie Google Webseiten bewertet. Vorlesungsfolien im "Probestudium Informatik", Oktober 2009 ![]() |
François Bry
Implementierung einer (einfachen) Programmiersprache. Vorlesungsfolien im "Probestudium Informatik", April 2009 ![]() ![]() |
2005 |
François Bry
Techniken der Logikprogrammierung in PROLOG. revised version of LN_technikenlp-1998 ![]() |
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 ![]() |
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 ![]() ![]() |
2004 |
François Bry and
Sebastian Schaffert
XML and Databases. ![]() |
François Bry and
Norbert Eisinger
Übersetzerbau -- Abstrakte Maschinen. revised version of LN_uebersetzerbau-2001 ![]() |
2003 |
François Bry and
Norbert Eisinger
Einführung in die Logik für Informatiker. revised version in LN_logik-2005 ![]() |
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 ![]() ![]() |
2001 |
François Bry and
Hans Jürgen Ohlbach
Selbsttest zur Prüfung der Eignung zum Studium der Informatik. ![]() |
François Bry
Übersetzerbau -- Abstrakte Maschinen. revised version in LN_uebersetzerbau-2004 ![]() |
1999 |
François Bry and
Norbert Eisinger
Einführung in die Logik für Informatiker. revised version in LN_logik-2005 ![]() |
1998 |
François Bry
Techniken der Logikprogrammierung in PROLOG. revised version in LN_technikenlp-2005 ![]() |
Master/Diploma Theses (2024, 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)
2020 |
Konrad Fischer
A Collaborative Annotation Editor for Backstage 2. ![]() |
2019 |
Frederic Pascal Sautter
A Framework for Observing the Parallel Execution of Rust Programs ![]() |
Nicola Greth
Automatic Semantic Categorization of Image Annotations Generated by Games with a Purpose ![]() |
Robert Pospisil
Lerngruppenbildung Anhand von Kompetenzschätzung mittels Bayescher Netze ![]() |
Maximilian Meyer
A Browser-based Development Environmne for JavaScript Learning and Teaching ![]() |
2018 |
Manuel Hartmann
Gamification and Reification for Backstage 2 ![]() |
Nikolai Fischer
Increasing User Engagement to Foster Stress Awareness using Smart Watches. ![]() |
Felix Wanie
Enhancing Motivation in Text Entity Evaluation. ![]() |
Eugenia Schneider
Interaction System for a MOOC Search Engine -- Design, implementation and summative empirical evaluation of the User Interface. ![]() ![]() ![]() |
2017 |
Steven Dostert
Predicting the Learning Behaviour of Students from their Weekly Work Assignments ![]() |
Matthias Schlenker
Recognizing and Classifying Errors in Student Assignments using Human Computation ![]() |
Andreas Born
Predicting Students' Assignment Performance to Personalize Blended Learning ![]() |
Christof Ferdinand Schramm
RECOGNITION OF CODE PATTERNS FROM STACKOVERFLOW ANSWERS IN COMPUTER PROGRAMS. ![]() |
Tobias Tänzel
Measuring Similarity of Artworks Using Multidimensional Data ![]() |
Maximilian Schwarzfischer
Ein graphischer Editor zur Strukturierung multimedialer Dokumente ![]() |
Patrik Hagen
Eustress and Distress Detection from Physiological Data using Supervised Machine Learning. ![]() |
2016 |
Sebastian Mader
An Annotation Framework for a Collaborative Learning Platform. ![]() |
Marco Hoffmann
Simulation-Based Evaluation of Reputation Algorithms for Technology Enhanced Learning Platforms. ![]() |
Martin Bogner
Conception and Implementation of a Collaborative Data Science Platform. ![]() |
Anke Regner
ARTime -- spielend Kunstwerke datieren. |
2015 |
Michael Weisbein
Implementierung einer Auswertungsplattform für Reputationsalgorithmen ![]() |
2013 |
Niels Becker
Ranking on Multipartite Graphs. ![]() |
2012 |
Julia Hadersberger
Backstage Mobile -- Merging Usability Guidelines with Educational Requirements ![]() |
Sebastian Steuer
Methods for Polygonalization of a Constructive Solid Geometry Description in Web-based Rendering Environments. ![]() |
Christian Mueller
Monitoring energietechnischer Referenzanlagen. ![]() |
2011 |
Nicolai Roth
A Testbed and Experimental Evaluation for Accessing Interval-Compressed Graph Data. ![]() |
Maximilian Scherr
Desugaring Dura - Compiling a High-Level Event Processing Language. ![]() |
Daniel Baumgart
Backstage 2.0 -- Integration von Präsentationsfolien zur Verbesserung der Benutzerführung in Backstage ![]() |
Julien Oster
A Social Platform for Bipartite Student-Lecturer Ranking ![]() |
Andreas Lodde
Toolgestützte Templategenerierung zur dynamischen Meldungserzeugung. ![]() |
Bartholomäus Steinmayr
Designing Image Labeling Games For More Informative Tags. ![]() ![]() |
2010 |
Fabian Kneißl
Term-Propagation over Structured Data using Eigenvector Computation. ![]() ![]() |
Georg Klein
Ranking for Social Semantic Media. ![]() |
Philipp Shah
Towards Efficient Algorithms for Higher-Order Singular Value Decomposition. ![]() |
Harald Zauner
RPL ready to use: An embeddable and expressive, yet efficient RDF Path Language. ![]() |
2009 |
Simon Brodt
Efficient and Practical Access to Any Graph Data: Data Structures for Continuous Image Graphs and Beyond. ![]() |
Andreas Hartl
A Visual Rendering of a Semantic Wiki Query Language. ![]() |
Antonius Weinzierl
Interval-Based Graph Representations for Efficient Web Querying. ![]() |
Andreas Attenberger
Collecting and Enriching Medical Information Through Human Computation. ![]() |
Thorsten Witt
Conception and Implemention of a Visual Editor for Topic Maps. ![]() |
Olga Poppe
Subsumption-Based Resolution for Rule Languages with Rich Unification. ![]() |
Hai-Lam Bui
Survey and Comparison of Event Query Languages Using Practical Examples. ![]() |
2007 |
Fatih Coşkun
Pattern-Based Updates for the Web. ![]() ![]() ![]() |
Michael Buschmann
Analyse und Entwurf von Business Rules auf Basis einer Implementierung für die eBusiness-Platform hybris. ![]() |
Roman Flammer
Testbed Development and Prototypical Implementation of the Multi-Paradigm Location Language MPLL. ![]() |
Vanessa Klaas
Who's Who in the World Wide Web: Approaches to Name Disambiguation. ![]() |
Stephan Leutenmayr
Selected Languages for Web Services Composition: Survey, Challenges, Outlook. ![]() |
2006 |
Christian Bode
An Ontology-based Repository for Web Services. ![]() |
Clemens Schefels
Serving Xcerpt to the Web. ![]() |
Andreas Heindel
Nutzung von Indoor-Positionierungsdaten zur mobilen Wegeplanung. ![]() |
Hinnerk Feldwisch
Entwurf und Implementierung einer Software-Umgebung zur Analyse der Vorhersage epileptischer Anfälle aus Langzeit-EEG-Daten. ![]() |
Christoph Wieser
CSS-NG: An Extension of the Cascading Styles Sheets Language (CSS) with Dynamic Document Rendering Features. ![]() |
Julius Benkert
Integration of the CTTN system in Java. ![]() |
Benedikt Linse
Automatic Translation Between XQuery and Xcerpt. ![]() |
Inna Romanenko
Use Cases for Reactivity on the Web: Using ECA Rules for Business Process Modeling. ![]() |
2005 |
Andreas Schröder
An Algebra and Optimization Techniques for Simulation Unification. ![]() |
Thomas Robert Hey
Entwicklung einer XML-basierten Authentifizierungsmethode für mobile Netze der vierten Generation. ![]() |
Bernhard Epple
Development and Implementation of a Pointing, Acquisition and Tracking System for Optical Free-Space Communication Systems on High Altitude Platforms. ![]() |
Michael Eckert
Reactivity on the Web: Event Queries and Composite Event Detection in XChange. ![]() |
Oliver Bolzer
Towards Data-Integration on the Semantic Web: Querying RDF with Xcerpt. ![]() |
Edgar-Philipp Stoffel
A Research Framework for Graph Theory in Routing Applications. ![]() |
2004 |
Frank Ipfelkofer
Basisontologie und Anwendungs-Framework für Visualisierung und Geospatial Reasoning. ![]() |
Pinar Oezden
An Ontology of Socio-Cultural Time Expressions. ![]() |
Sebastian Kraus
Use Cases für Xcerpt: Eine positionelle Anfrage- und Transformationssprache für das Web. ![]() |
2003 |
Tim Furche
Optimizing Multiple Queries against XML Streams. ![]() ![]() |
Galina Stancheva
Interaktive Visualisierung von Algorithmen für Polygonzerlegungen. ![]() |
Jan Duennweber
Aktive Temporale Datenbanken. ![]() |
Felix Weigel
Content-Aware DataGuides for Indexing Semi-Structured Data. ![]() |
Sacha Berger
Conception of a Graphical Interface for Querying XML. ![]() ![]() |
Holger Wagner
Towards an Integrated Approach to Collaborative Web Usage. ![]() ![]() ![]() |
2002 |
Marcus Schilling
A Graphical Query Language for XML based on Complete Answer Aggregates. ![]() ![]() ![]() |
Stephanie Spranger
Representation of Temporal Knowledge for Web-Based Applications. ![]() ![]() |
Georg Schneemayer
Contextual Web Services for Teaching. ![]() |
Tobias Kiesling
Towards a Streamed XPath Evaluation. ![]() |
Bernhard Lorenz
Bewegungsplanung für nicht-holonome Vehikel. ![]() |
Ulf Müller-Heinemann
Präsentation von XML-Daten - ein generischer Ansatz zur Layout-Spezifikation. ![]() |
Ulrich Rückert
Machine Learning in the Phase Transition Framework. ![]() |
2001 |
Sebastian Schaffert
Grouping Constructs for Semistructured Data: Enhancing Data Modelling and Data Retrieval. ![]() |
Peer Kröger
Molecular Biology Data: Database Overview, Modelling Issues, and Perspectives. ![]() |
2000 |
Michael Kraus
A Toolkit for Advanced XML Browsing Functionalities. ![]() |
1999 |
Matthias Schmauß
A Constraint Library for Java. ![]() |
David Sacher
Systematische Herleitung einer abstrakten Maschine für Curry. ![]() ![]() |
1998 |
Michael Marte
Constraint-Based Grammar School Timetabling - A Case Study. ![]() |
Matthias Nickles
Verarbeitung und Darstellung indefiniter Daten in einer applikativen Sprache. ![]() ![]() |
Angelika Blauth
Graphische Kettenmodelle. ![]() ![]() |
1997 |
Hans Schlenker
Ein Constraint-basierter Dienstplaner für Krankenstationen. ![]() ![]() |
Mathias Kettner
Ein System zur Konstruktion, Modifikation und Untersuchung von PUHR-Tableaux. ![]() ![]() |
1996 |
Gerhard Hingerl
Eine deduktive Datenbank für die Linguistik. ![]() |
Holger Meuss
Konfluenz von Constraint Handling Rules-Programmen. ![]() |
1995 |
Samsamoddin Rajaei
Modellelimination mit Techniken der Logikprogrammierung. ![]() |
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)
2021 |
Sarah Berbuir
Towards an Intuitive Visualization of Activity, Movement, and Sleep Data. ![]() |
Martin Yankov
SPREAD - A Game for Learning how Epidemics Spread. ![]() |
Sena Oezdogan
Die Konzepte mobiler Datenerfassung für klinische Studien in Deutschland und den USA. ![]() |
Cedric Kummer
How well does a crowd recognizes differences between photographs of the same artworks? ![]() |
Laurenz Hill
Valeo: Eine mobile Anwendung zum Erfassen und Analysieren der Ernährung ![]() |
Viktor Franz Paul Weber
Smart City – Ein Überblick. ![]() |
David Li
Anreize zum Programmieren Lernen – Ideen und Ansätze für den motivierten Einstieg ![]() |
Maximilian Kristen
Como: A Lexicograhpical Data Structuring Game With A Purpose ![]() |
2020 |
Yiming Wang
Asymptotische Eigenschaften wohlgeformter Fragmente von Domain-size Aware Markov Logic Networks in Statistical Relational AI. ![]() |
Martin Matthias
Newsroom: A GWAP to Study Public Opinion ![]() |
Alexander Maslew
Improving an Annotation-Based Artwork Search Engine through Word Embeddings ![]() |
Stefanie Kloß
Karido Mobile - Designing an Asynchronous Image Labeling Game for Mobile Devices ![]() |
Galina Keil
Generierung didaktischer Fehlermeldungen für Minisprachen ![]() |
Kilian Bosse
A GWAP with a Motivating Narrative for Collecting Deep Semantics Tags ![]() |
2019 |
Kilian Parigger
State of the Church-Turing Thesis ![]() |
Felix Sommer
A smartphone application for locating viewpoints of artwork scnes. ![]() |
Stephanie Schwaben
Algorithmische Farbanalyse zur Untersuchung von Auswirkungen der Einführung neuer Farbpigmente auf die Kunst des 19. Jahrhunderts ![]() ![]() |
Jaderson R. Webler
Art2vec: a semantic search engine for tagged artworks based on word embeddings ![]() |
2018 |
Korbinian Staudacher
Conception, Implementation and Evaluation of Proof Editors for Learning ![]() |
Konrad Fischer
A Collaborative Text Editor for the Learning Management System Backstage ![]() |
Elisabeth Lempa
Coconut 2: Concurrently Virtualising User Code Compilation ![]() |
Anna Hubert
A User-Centered Responsive User Interface for Fostering Stress Awareness -- Implementation and Evaluation of the Web Portal Stila. ![]() ![]() ![]() |
Louis Mbuyu
Comparison of categorical properties offered by multiple MOOC platforms -- Using a Web Scraper in Python with Scrapy. ![]() ![]() ![]() |
2017 |
Joseph Birkner
Unsupervised Learning of Joint Neural Embedding Spaces for Queries and Documents. ![]() ![]() |
Martin Gross
Collective Peer Evaluation of Quiz Answers in Large Classes through Pairwise Matching ![]() |
Christian Mergenthaler
Konzeption, Implementierung und Evaluation eines Dashboards für Backstage ![]() |
Daniel Bauersachs
Interactive Association Rule Exploration. ![]() |
Luis Wankmueller
Style Recognition in Paintings using Deep Learning. ![]() |
Matthias Moosburger
Colour Labelling of Art Images Using Colour Palette Recognition. ![]() ![]() |
Iris Teske
Crossover- eine (spielende) Einführung in die ARTigo Spiele. ![]() |
Giuliana Dehn
Designing an Interface for Citizen Science Platforms Ensuring a Good User Experience. ![]() |
2016 |
Kai-Henning Wilker
Multidimensional Clustering of MOOC Offers -- Applying unsupervised learning algorithms FCM and SOM to text descriptions. ![]() ![]() ![]() |
Sebastian Rühl
Event Detection in ARTigo Data. ![]() |
Tien Duc Nguyen
Explorative Cluster analysis of artworks for the ARTigo Analytics Center. ![]() |
Frederic Sautter
Association Rule Generation and Evaluation of Interestingness Measures for Artwork Tags. ![]() |
Alexander Fischer-Brandies
Explaining Outliers in ARTigo ![]() |
Marcel Heil
Conception and Implementation of a Mobile Application with Fitness Trackers as Supportive Tools for Computed Stress Detection ![]() ![]() |
Njomza Avdijaj
Translingua - ein Spiel zum Vokabellernen. ![]() |
2015 |
Franz Siglmüller
Advanced User Interface for Artwork Search Result Presentation. ![]() |
Stefan Fassrainer
Marking Semantically Relevant Regions on Slides in Backstage ![]() ![]() |
2014 |
Corina Schemainda
Qualitative Analysis of the ARTigo Gaming Ecosystem. ![]() ![]() ![]() ![]() |
Florian Hoidn
The Analytics Center: Devising a Citizen Science Data Mining Tool for the ARTigo Image Tagging Project. ![]() |
Werner Hoffmann
Entwicklung eines stochastischen Verfahrens zur Nachverfolgung studentischer Quizleistungen in Backstage ![]() ![]() |
Marco Hoffmann
Team Formation in E-Learning ![]() |
2013 |
Daniel Unverricht
Taming Complexity in Javascript-based RIAs: Case Study Backstage ![]() |
Sebastian Mader
BibPad - Digital Annotation of Physical Media. ![]() |
Evgeny Novoseltsev
Garbage Collection for Temporal Stream Algebra (TSA) and Event-Mill. ![]() ![]() |
Matthias Benkard
Implementation of a PROLOG-like Logic Programming Language Based on B&D Search. ![]() |
Mislav Boras
Integration des e-learning GWAPs Termina in das digitale Backchannel Backstage. ![]() |
2011 |
Maija Heckel
Visual Editor for CEP. ![]() |
Juliane Keller
Untersuchung von HTML5 im Unternehmenseinsatz anhand einer Aufgaben-Management-Applikation. ![]() |
Stephan Link
Eigenvalue-based Bipartite Ranking. ![]() |
ThanhSon Dang
Propagation of ESCL Cardinality Constraints with Respect to CEP Queries. ![]() |
Katharina Krug
Entwicklung und Evaluierung eines E-Learning Game With A Purpose. ![]() |
Michal Bednar
Scripting Students' Interactions on Backstage -- Visualizing Scripts on the User Interface ![]() |
Sandro Giessl
Instantiating Hierarchical Timed Automata. ![]() |
2010 |
Barry Norman
Entwurf und Implementierung eines Microblog-basierten Backchannels für den Einsatz in der universitären Lehre ![]() |
Oliver Schnuck
Tag Analysis with Higher-Order SVD. ![]() |
2009 |
Maximilian Kwapil
KWRL - an RDF based rule language for annotations. ![]() |
Simon Brodt
Baumsuche, Partielle Ordnungen und eine neue Familie uninformierter Algorithmen. English version in PMS-FB-2009-7 ![]() ![]() |
2008 |
Olga Estekhina
Well-Founded Semantics and Local-Stratification for XCerpt. ![]() |
2007 |
Bo Quan
Erweiterung des OTN2SVG Systems um kartografische und TMC-Daten. ![]() |
2006 |
Christian Hänsel
Projektarbeit TMC-GoogleEarth. ![]() |
Hendrik Grallert
Propagation of updates in distributed Web data. A use case for the language XChange. ![]() |
Markus Krieser, Michael Buschmann
Protokollierung und statistische Auswertung von RDS/TMC Datenströmen. ![]() |
Alexander Pohl
Modelling Examination Regulations in OWL. ![]() ![]() ![]() |
Hatice Serap Durmaz
Implementation of an XPath-Rewriter and Visualizer. ![]() |
Fatih Coşkun
Design and Implementation of a New SPEX Version. ![]() |
2005 |
Jörg Schmidl
Erstellung und strukturelle Aufbereitung des Informatik II Repositorys. ![]() |
Amelia Schultheis
Logical representation of XML based on relations. ![]() |
Michael Brade
Towards an Abstract Machine for Xcerpt's Simulation Unification. ![]() |
Clemens Ley
A Robust Parser for the Web Query Language Xcerpt. ![]() |
Christoph Wieser
Toward Extending Stylesheet Languages with Dynamic Document Rendering Features. ![]() |
Thomas Schaaf
Strukturelle Überarbeitung und Erweiterung des Aufgabenfundus der Vorlesung Informatik III. ![]() |
Erich Schubert
Stucture-Preserving Difference Search in Semistructured Data. ![]() |
2004 |
Vanessa Klaas
An Incremental Approach to Knowledge Assimilation. ![]() |
Frank Ipfelkofer
Visualisierung einer Straßenkarte mit Hilfe von SVG. ![]() |
Michael Eckert
Processing Hypertext Links after XLink. ![]() |
Andreas Schröder
An Approach to Backward Chaining in Xcerpt. ![]() |
2003 |
Dominik Schwald
Approximate Streamed Evaluation of XPath under Memory Constraints. ![]() |
Markus Spannagel
SPEX Viewer: A Graphical User Interface for SPEX. ![]() |
2001 |
Ulf Müller-Heinemann
XML-Modellierung für Online-Dienste -- Lehrangebot. ![]() ![]() ![]() ![]() ![]() |
Tobias Kiesling
Building an XML Information System. ![]() ![]() |
Stephanie Spranger
Modularization with XML Schema: Means, Limits, and Suggestion for Information Hiding. ![]() |
Georg Schneemayer
Einsatz elektronischer Medien für den Übungsbetrieb. ![]() |
Jens Abraham
LayLa -- Eine Layout-Beschreibungssprache für robuste Layouts zur Unterstützung von mentalen Modellen. ![]() |
1999 |
Matthias Saft
Entwurf und Implementierung einer graphischen Benutzeroberfläche für die Hörsaalvergabe. ![]() |
Axel Rauschmayer
The Curry Interpreter Harry. ![]() ![]() ![]() |
Christian Braun
Anforderungsanalyse für ein generisches Visualisierungssystem für verschiedene Deduktionsverfahren. ![]() ![]() |
1998 |
Alexander von Drach and
David Sacher
SatAM -- An Abstract Machine for Model Generation with PUHR Tableaux. ![]() ![]() ![]() ![]() |
Bertram Steppich
Termindexstrukturen in Haskell. |
Martin Okrslar
Implementation eines Theorembeweisers in Java. ![]() ![]() ![]() |
Rupert Rockinger and
Matthias Schmauß
Rechnerunterstützte Regelinduktionsexperimente. ![]() ![]() |
1997 |
Matthias Nickles
Ein Werkzeug zur interaktiven Bearbeitung von Und-Oder-Bäumen. ![]() |
Angelika Blauth
Visualisierung von Benchmark-Ergebnissen über eine WWW-Schnittstelle. ![]() ![]() |
Robert Reiner and
Thomas Traber
Strukturerkennung in formatierten Texten. ![]() ![]() |
1996 |
Michael Marte
Implemetation eines Konfluenz-Tests für Constraint Handling Rules-Programme. ![]() ![]() |
Peter Blenninger
Der Münchener Mietspiegel im World Wide Web. ![]() ![]() |
Mathias Kettner
Ein Regelinterpretierer zur Vorbereitung eines Programmierpraktikums. ![]() ![]() |