François Bry

Alexander Pohl, Vera Gehlen-Baum, François Bry: Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study. iJET 7(1): 33-41 (2012)

François Bry, Fabian Kneißl, Klara A. Weiand, Tim Furche: Term-specific eigenvector-centrality in multi-relation networks. IJSNM 1(2): 141-159 (2012)

Klara A. Weiand, Fabian Kneißl, Wojciech lobacz, Tim Furche, François Bry: pest: Fast approximate keyword search in semantic data using eigenvector-based term propagation. Inf. Syst. 37(4): 372-390 (2012)

François Bry: Anfragesprachen neu erdacht. KI 26(1): 15-25 (2012)

Julia Hadersberger, Alexander Pohl, François Bry: Discerning Actuality in Backstage - Comprehensible Contextual Aging. EC-TEL 2012: 126-139

Vera Gehlen-Baum, Alexander Pohl, Armin Weinberger, François Bry: Backstage - Designing a Backchannel for Large Lectures. EC-TEL 2012: 459-464

Fabian Kneißl, François Bry: Speculation and Bluff for Linguistic Field Research - Social Software and Media for Data Gathering. GI-Jahrestagung 2012: 96-110

François Bry, Sebastian Schaffert: Simulation Unification: Beyond Querying Semistructured Data (Invited Talk). ICLP (Technical Communications) 2012: 1-13

François Bry, Sebastian Schaffert, Denny Vrandecic, Klara A. Weiand: Semantic Wikis: Approaches, Applications, and Perspectives. Reasoning Web 2012: 329-369

François Bry, Christoph Wieser: Squaring and Scripting the ESP Game: Trimming a GWAP to Deep Semantics. SGDA 2012: 183-192

François Bry, Adrian Paschke, Patrick Th. Eugster, Christof Fetzer, Andreas Behrend (Eds.): Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, DEBS 2012, Berlin, Germany, July 16-20, 2012. ACM 2012, isbn 978-1-4503-1315-5

Alexander Pohl, Vera Gehlen-Baum, François Bry: Introducing Backstage - a digital backchannel for large class lectures. Interact. Techn. Smart Edu. 8(3): 186-200 (2011)

Bartholomäus Steinmayr, Christoph Wieser, Fabian Kneißl, François Bry: Karido: A GWAP for telling artworks apart. CGAMES 2011: 193-200

Stephan Leutenmayr, François Bry: Liquid decision making: an exploratory study. iiWAS 2011: 391-394

Jakub Kotowski, François Bry, Simon Brodt: Reasoning as Axioms Change - Incremental View Maintenance Reconsidered. RR 2011: 139-154

Alex Kohn, François Bry, Alexander Manta: Semantic Search on Unstructured Data: Explicit Knowledge through Data Recycling. Int. J. Semantic Web Inf. Syst. 6(2): 17-35 (2010)

Michael Eckert, François Bry: Rule-based composite event queries: the language XChange^EQ and its semantics. Knowl. Inf. Syst. 25(3): 551-573 (2010)

François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert: Datalog Relaunched: Simulation Unification and Value Invention. Datalog 2010: 321-350

Klara A. Weiand, Steffen Hausmann, Tim Furche, François Bry: KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge. RR 2010: 213-222

Harald Zauner, Benedikt Linse, Tim Furche, François Bry: A RPL through RDF: Expressive Navigation in RDF Graphs. RR 2010: 251-257

François Bry, Jakub Kotowski: A Social Vision of Knowledge Representation and Reasoning. SOFSEM 2010: 235-246

François Bry, Klara A. Weiand: Flavors of KWQL, a Keyword Query Language for a Semantic Wiki. SOFSEM 2010: 247-258

Andreas Hartl, Klara A. Weiand, François Bry: visKQWL, a visual renderer for a semantic web query language. WWW 2010: 1253-1256

Franziska von dem Bussche, Klara A. Weiand, Benedikt Linse, Tim Furche, François Bry: Not so creepy crawler: easy crawler generation with standard xml queries. WWW 2010: 1305-1308

François Bry, Jan Maluszynski (Eds.): Semantic Techniques for the Web, The REWERSE Perspective. Lecture Notes in Computer Science 5500, Springer 2009, isbn 978-3-642-04580-6

Michael Eckert, François Bry: Complex Event Processing (CEP). Informatik Spektrum 32(2): 163-167 (2009)

Tim Furche, Antonius Weinzierl, François Bry: Labeling RDF Graphs for Linear Time and Space Querying. Semantic Web Information Management 2009: 309-339

François Bry, Tim Furche, Bruno Marnette, Clemens Ley, Benedikt Linse, Olga Poppe: SPARQLog: SPARQL with Rules and Quantification. Semantic Web Information Management 2009: 341-370

Simon Brodt, François Bry, Norbert Eisinger: Search for More Declarativity. RR 2009: 71-86

François Bry, Tim Furche, Benedikt Linse: The Perfect Match: RPL and RDF Rule Languages. RR 2009: 227-241

François Bry, Michael Eckert, Jakub Kotowski, Klara A. Weiand: What the User Interacts With: Reflections on Conceptual Models for Semantic Wikis. SemWiki 2009

François Bry, Tim Furche, Klara A. Weiand: Web Queries: From a Web of Data to a Semantic Web. WISE 2009: 9-10

François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, Olga Yestekhina: Four Lessons in Versatility or How Query Languages Adapt to the Web. REWERSE 2009: 50-160

Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantische Wikis. Social Semantic Web 2009: 245-258

James Bailey, François Bry, Tim Furche, Sebastian Schaffert: Semantic Web Query Languages. Encyclopedia of Database Systems 2009: 2583-2586

Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantic Wikis. IEEE Software 25(4): 8-11 (2008)

François Bry, Michael Eckert: Rules for Making Sense of Events: Design Issues for High-Level Event Query and Reasoning Languages (Position Paper). AAAI Spring Symposium: AI Meets Business Rules and Process Management 2008: 12-16

François Bry, Michael Eckert: On static determination of temporal relevance for incremental evaluation of complex event queries. DEBS 2008: 289-300

François Bry, Jakub Kotowski: Towards Reasoning and Explanations for Social Tagging. ExaCt 2008: 118-128

François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger: The Facility Control Markup Language FCML. ICDS 2008: 117-122

François Bry, Tim Furche, Benedikt Linse: Simulation Subsumption or Déjà vu on the Web. RR 2008: 28-42

François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette: Taming Existence in RDF Querying. RR 2008: 236-237

Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantic Wiki. Informatik Spektrum 30(6): 434-439 (2007)

François Bry, Michael Eckert: Twelve Theses on Reactive Rules for the Web. Event Processing 2007

François Bry, Michael Eckert: Temporal order optimizations of incremental joins for composite event detection. DEBS 2007: 85-90

François Bry, Michael Eckert, Hendrik Grallert, Paula-Lavinia Patranjan: Evolution of Distributed Web Data: An Application of the Reactive Language XChange. ICDE 2007: 1517-1518

Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Jendrik Johannes: Modular Web Queries - From Rules to Stores. OTM Workshops (2) 2007: 1165-1175

François Bry, Michael Eckert: Rule-Based Composite Event Queries: The Language XChange^EQ and Its Semantics. RR 2007: 16-30

Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler: Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints. RR 2007: 319-328

Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Paula-Lavinia Patranjan: A Generic Module System for Web Rule Languages: Divide and Rule. RuleML 2007: 63-77

François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei: Foundations of Rule-Based Query Answering. Reasoning Web 2007: 1-153

Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan: Reactive Rules on the Web. Reasoning Web 2007: 183-239

Sacha Berger, François Bry, Tim Furche, Christoph Wieser: Visual Languages: A Matter of Style. VLL 2007: 85-96

François Bry, Michael Eckert, Paula-Lavinia Patranjan: Reactivity on the Web: Paradigms and Applications of the Language XChange. J. Web Eng. 5(1): 3-24 (2006)

François Bry, Michael Eckert, Paula-Lavinia Patranjan: Querying Composite Events for Reactivity on the Web. APWeb Workshops 2006: 38-47

François Bry, Michael Eckert: Twelve Theses on Reactive Rules for the Web. EDBT Workshops 2006: 842-854

François Bry: Thesen über Regelsprachen für das Semantische Web. Grundlagen von Datenbanken 2006: 11

Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web. Grundlagen von Datenbanken 2006: 12

Sacha Berger, François Bry, Tim Furche: Xcerpt and visXcerpt: IntegratingWeb Querying. PLAN-X 2006: 84

François Bry, Michael Eckert, Paula-Lavinia Patranjan, Inna Romanenko: Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits. PPSWR 2006: 48-62

François Bry, Tim Furche, Benedikt Linse: Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt. PPSWR 2006: 90-104

François Bry, Tim Furche, Benedikt Linse: AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles. PPSWR 2006: 105-119

Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. PPSWR 2006: 219-224

François Bry, Christoph Wieser: Web Queries with Style: Rendering Xcerpt Programs with CSS^NG. PPSWR 2006: 225-236

Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob: RDF Querying: Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: 1-52

François Bry, Michael Eckert: A High-Level Query Language for Events. SCW 2006: 31-38

François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Efficient evaluation of n-ary conjunctive queries over trees and graphs. WIDM 2006: 11-18

Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Beyond XML and RDF: The Versatile Web Query Language Xcerpt. WWW 2006: 1053-1054

François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach (Eds.): Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005. Dagstuhl Seminar Proceedings 05371, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (Eds.): Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Lecture Notes in Computer Science 4126, Springer 2006, isbn 3-540-38409-X

François Bry, Christoph Koch, Tim Furche, Sebastian Schaffert, Liviu Badea, Sacha Berger: Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages. Int. J. Semantic Web Inf. Syst. 1(2): 1-21 (2005)

François Bry, Nicola Henze: Personalisierung. Informatik Spektrum 28(3): 230-233 (2005)

Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi, François Bry: Visual exploration and retrieval of XML document collections with the generic system X². Int. J. on Digital Libraries 5(1): 3-17 (2005)

François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach: 05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning 2005

Erich Schubert, Sebastian Schaffert, François Bry: Structure-Preserving Difference Search for XML Documents. Extreme Markup Languages® 2005

Sacha Berger, François Bry: Towards static type checking of Web query language. Grundlagen von Datenbanken 2005: 28-32

François Bry, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome, Christoph Wieser, Tatsumi Yamada: Context Modeling in OWL for Smart Building Services. Grundlagen von Datenbanken 2005: 38-42

Tim Furche, François Bry, Oliver Bolzer: XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web. Grundlagen von Datenbanken 2005: 43-47

François Bry, Michael Eckert: Processing link structures and linkbases in the web's open world linking. Hypertext 2005: 135-144

François Bry, Fatih Coskun, Serap Durmaz, Tim Furche, Dan Olteanu, Markus Spannagel: The XML Stream Query Processor SPEX. ICDE 2005: 1120-1121

François Bry, Bernhard Lorenz, Stephanie Spranger: Calendars and Topologies as Types. KES (4) 2005: 352-358

François Bry, Massimo Marchiori: Ten Theses on Logic Languages for the Semantic Web. PPSWR 2005: 42-49

Tim Furche, François Bry, Oliver Bolzer: Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying. PPSWR 2005: 72-84

François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner: A Geospatial World Model for the Semantic Web. PPSWR 2005: 145-159

James Bailey, François Bry, Michael Eckert, Paula-Lavinia Patranjan: Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web. RuleML 2005: 187-192

James Bailey, François Bry, Tim Furche, Sebastian Schaffert: Web and Semantic Web Query Languages: A Survey. Reasoning Web 2005: 35-133

François Bry, Paula-Lavinia Patranjan: Reactivity on the web: paradigms and applications of the language XChange. SAC 2005: 1645-1649

Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig: Paraconsistent Reasoning for the Semantic Web. ISWC-URSW 2005: 104-105

François Bry, Massimo Marchiori: Ten Theses on Logic Languages for the Semantic Web. Rule Languages for Interoperability 2005

François Bry, Frank-André Rieß, Stephanie Spranger: CaTTS: calendar types and constraints for Web applications. WWW 2005: 702-711

François Bry, Michael Eckert: Processing link structures and linkbases on the web. WWW (Special interest tracks and posters) 2005: 1030-1031

James Bailey, François Bry, Paula-Lavinia Patranjan: Composite event queries for reactivity on the web. WWW (Special interest tracks and posters) 2005: 1082-1083

François Bry, Tim Furche, Dan Olteanu: Datenströme. Informatik Spektrum 27(2): 168-171 (2004)

François Bry, Wolfgang E. Nagel, Michael Schroeder: Grid-Computing. Informatik Spektrum 27(6): 542-545 (2004)

Dan Olteanu, Tim Furche, François Bry: Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity. BNCOD 2004: 31-44

Felix Weigel, Holger Meuss, François Bry, Klaus U. Schulz: Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data. ECIR 2004: 378-393

Sacha Berger, François Bry, Christoph Wieser: Visual Querying for the Semantic Web. ER 2004: 852-853

Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger: Reasoning on the Web: Language Prototypes and Perspectives. EWIMT 2004

Sebastian Schaffert, François Bry: Querying the Web Reconsidered: A Practical Introduction to Xcerpt. Extreme Markup Languages® 2004

François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert: Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web. GI Jahrestagung (2) 2004: 562-568

Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web. Grundlagen von Datenbanken 2004: 18-22

François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert: Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. ICLP 2004: 450-451

Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. JFPLC 2004

François Bry, Wlodzimierz Drabent, Jan Maluszynski: On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18

Wolfgang May, José Júlio Alferes, François Bry: Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR 2004: 19-33

François Bry, Tim Furche, Paula-Lavinia Patranjan, Sebastian Schaffert: Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach. PPSWR 2004: 34-49

François Bry, Stephanie Spranger: Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages. PPSWR 2004: 102-117

Dan Olteanu, Tim Furche, François Bry: An efficient single-pass query evaluator for XML data streams. SAC 2004: 627-631

Felix Weigel, Holger Meuss, Klaus U. Schulz, François Bry: Content and Structure in Indexing and Ranking XML. WebDB 2004: 67-72

François Bry, Sebastian Schaffert, Andreas Schroeder: A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. INAP/WLP 2004: 258-268

François Bry, Peer Kröger: A Computational Biology Database Digest: Data, Data Analysis, and Data Management. Distributed and Parallel Databases 13(1): 7-42 (2003)

François Bry, Peer Kröger: Bioinformatics Databases: State of the Art and Research Perspectives. ADBIS 2003: 3

Dan Olteanu, Tobias Kiesling, François Bry: An Evaluation of Regular Path Expressions with Qualifiers against XML Streams. ICDE 2003: 702-704

Holger Meuss, Klaus U. Schulz, François Bry: Visual Querying and Exploration of Large Answers in XML Databases with X2. ICDE 2003: 777-779

François Bry, Norbert Eisinger, Georg Schneemayer: Web Services for Teaching: A Case Study. ICWS 2003: 402-408

François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger: On Reasoning on Time and Location on the Web. PPSWR 2003: 69-83

Sacha Berger, François Bry, Sebastian Schaffert: A Visual Language for Web Querying and Reasoning. PPSWR 2003: 99-112

Michael Kraus, François Bry, Kazuhiro Kitagawa: XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages. PPSWR 2003: 113-127

François Bry, Sebastian Schaffert: An Entailment Relation for Reasoning on the Web. RuleML 2003: 17-34

Sacha Berger, François Bry, Sebastian Schaffert, Christoph Wieser: Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data. VLDB 2003: 1053-1056

François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop (Eds.): Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003. CEUR Workshop Proceedings 79, CEUR-WS.org 2003

François Bry, Nicola Henze, Jan Maluszynski (Eds.): Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings. Lecture Notes in Computer Science 2901, Springer 2003, isbn 3-540-20582-9

François Bry, Michael Kraus: Perspectives for electronic books in the World Wide Web age. The Electronic Library 20(4): 275-287 (2002)

François Bry, Peer Kröger: Datenbanken in der Bioinformatik. Informatik Spektrum 25(5): 359-362 (2002)

François Bry, Michael Kraus: Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors. AH 2002: 472-475

Dan Olteanu, Holger Meuss, Tim Furche, François Bry: XPath: Looking Forward. EDBT Workshops 2002: 109-127

François Bry, Sebastian Schaffert: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002: 255-270

François Bry, Sebastian Schaffert: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. Web, Web-Services, and Database Systems 2002: 295-310

François Bry: An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. Paraconsistent Computational Logic 2002: 119-134

Sebastian Schaffert, François Bry: A gentle introduction to Xcerpt, a rule-based query and transformation language for XML. RuleML 2002

François Bry, Michael Kraus: Advanced modeling and browsing of technical documents. SAC 2002: 520-524

François Bry, Michael Kraus, Dan Olteanu, Sebastian Schaffert: Semistrukturierte Daten - Aktuelles Schlagwort. Informatik Spektrum 24(4): 230-233 (2001)

François Bry, Dan Olteanu, Sebastian Schaffert: Towards Grouping Constructs for Semistructured Data. DEXA Workshop 2001: 66-70

Holger Meuss, Klaus U. Schulz, François Bry: Towards Aggregated Answers for Semistructured Data. ICDT 2001: 346-360

François Bry, Adnan H. Yahya: Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. J. Autom. Reasoning 25(1): 35-82 (2000)

François Bry, Ulrich Geske, Dietmar Seipel: Preface. WLP 2000: 7

François Bry: Data Modeling with Markup Languages. 15. WLP 2000: 33-60

Rolf Backofen, François Bry, Peter Clote, Hans-Peter Kriegel, Thomas Seidl, Klaus U. Schulz: Bioinformatik - Aktuelles Schlagwort. Informatik Spektrum 22(5): 376-378 (1999)

François Bry, Sunna Torge: Solving Database Satisfiability Problems. Grundlagen von Datenbanken 1999: 122-126

François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36

François Bry, Sunna Torge: A Deduction Method Complete for Refutation and Finite Satisfiability. JELIA 1998: 122-138

François Bry: Query Answering in Information Systems with Integrity Constraints. IICIS 1997: 113-130

François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao (Eds.): Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings. Lecture Notes in Computer Science 1341, Springer 1997, isbn 3-540-63792-3

François Bry, Dietmar Seipel: Deduktive Datenbanken - das aktuelle Schlagwort. Informatik Spektrum 19(4): 214-215 (1996)

François Bry, Rainer Manthey, Heribert Schütz: Deduktive Datenbanken. KI 10(3): 17-23 (1996)

François Bry: A Compositional Semantics for Logic Programs and Deductive Databases. JICSLP 1996: 453-467

François Bry, Adnan H. Yahya: Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. TABLEAUX 1996: 143-159

Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349-

François Bry: Bases de données déductives. JFPLC 1995: 429

François Bry, Rainer Manthey: Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. WLP 1995: 205-216

François Bry: Disjunctive Logic Programming: What Applications Developers Need. GI Jahrestagung 1994: 74

François Bry: Logikprogrammierung ohne Modelltheorie? WLP 1994: 56

François Bry: Towards Intelligent Databases. ISMIS 1993: 116-131

Harold Boley, François Bry, Ulrich Geske: Neuere Entwicklungen der deklarativen KI-Programmierung. KI 1993: 226-236

François Bry (Ed.): Neuvièmes Journées Bases de Données Avancées, 27-30 Septembre 1993, Toulouse (Informal Proceedings). INRIA 1993

François Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139

François Bry: Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. Data Knowl. Eng. 5: 289-312 (1990)

François Bry: Upside-down deduction. BDA 1990: 91-

François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575

François Bry: Negation in Logic Programming: A Formalization in Constructive Logic. IS/KI 1990: 30-46

François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. DOOD 1989: 25-44

François Bry: Logical Rewritings for Improving the Evaluation of Quantified Queries. MFDBS 1989: 100-116

François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50

François Bry: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. SIGMOD Conference 1989: 193-204

François Bry, Hendrik Decker: Préserver l'intégrité d'une base de données déductive: une méthode et son implementation. BDA 1988: 9-20

Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505

François Bry, Rainer Manthey: Proving Finite Satisfiability of Deductive Databases. CSL 1987: 44-55

Rainer Manthey, François Bry: A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. GWAI 1987: 221-230

François Bry, Rainer Manthey: Sur la validité des schémas de bases de données. BDA 1986: 89-108

François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20

François Bry: On the factorization of graphs with exactly one vertex of infinite degree. Discrete Mathematics 43(2-3): 317-320 (1983)

François Bry: On the number of 1-factors of locally finite graphs. J. Comb. Theory, Ser. B 34(1): 48-57 (1983)

François Bry, Michel Las Vergnas: The Edmonds - Gallai decomposition for matchings in locally finite graphs. Combinatorica 2(3): 229-235 (1982)

François Bry: Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members. J. Comb. Theory, Ser. B 30(1): 100-102 (1981)