François Bry-Haußer
List of publications from the DBLP Bibliography Server - FAQ
2010 | ||
---|---|---|
150 | François Bry, Jakub Kotowski: A Social Vision of Knowledge Representation and Reasoning. SOFSEM 2010: 235-246 | |
149 | François Bry, Klara A. Weiand: Flavors of KWQL, a Keyword Query Language for a Semantic Wiki. SOFSEM 2010: 247-258 | |
2009 | ||
148 | François Bry, Jan Maluszynski: Semantic Techniques for the Web, The REWERSE Perspective Springer 2009 | |
147 | François Bry, Tim Furche, Benedikt Linse: The Perfect Match: RPL and RDF Rule Languages. RR 2009: 227-241 | |
146 | Simon Brodt, François Bry, Norbert Eisinger: Search for More Declarativity. RR 2009: 71-86 | |
145 | François Bry, Michael Eckert, Jakub Kotowski, Klara A. Weiand: What the User Interacts With: Reflections on Conceptual Models for Semantic Wikis. SemWiki 2009 | |
144 | François Bry, Tim Furche, Klara A. Weiand: Web Queries: From a Web of Data to a Semantic Web. WISE 2009: 9-10 | |
143 | James Bailey, François Bry, Tim Furche, Sebastian Schaffert: Semantic Web Query Languages. Encyclopedia of Database Systems 2009: 2583-2586 | |
142 | 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 | |
141 | Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantische Wikis. Social Semantic Web 2009: 245-258 | |
140 | Michael Eckert, François Bry: Complex Event Processing (CEP). Informatik Spektrum 32(2): 163-167 (2009) | |
2008 | ||
139 | François Bry, Michael Eckert: On static determination of temporal relevance for incremental evaluation of complex event queries. DEBS 2008: 289-300 | |
138 | François Bry, Jakub Kotowski: Towards Reasoning and Explanations for Social Tagging. ExaCt 2008: 118-128 | |
137 | François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger: The Facility Control Markup Language FCML. ICDS 2008: 117-122 | |
136 | François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette: Taming Existence in RDF Querying. RR 2008: 236-237 | |
135 | François Bry, Tim Furche, Benedikt Linse: Simulation Subsumption or Déjà vu on the Web. RR 2008: 28-42 | |
134 | Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantic Wikis. IEEE Software 25(4): 8-11 (2008) | |
2007 | ||
133 | François Bry, Michael Eckert: Temporal order optimizations of incremental joins for composite event detection. DEBS 2007: 85-90 | |
132 | François Bry, Michael Eckert: Twelve Theses on Reactive Rules for the Web. Event Processing 2007 | |
131 | 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 | |
130 | 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 | |
129 | François Bry, Michael Eckert: Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics. RR 2007: 16-30 | |
128 | 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 | |
127 | 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 | |
126 | Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan: Reactive Rules on the Web. Reasoning Web 2007: 183-239 | |
125 | 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 | |
124 | Sacha Berger, François Bry, Tim Furche, Christoph Wieser: Visual Languages: A Matter of Style. VLL 2007: 85-96 | |
123 | Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantic Wiki. Informatik Spektrum 30(6): 434-439 (2007) | |
2006 | ||
122 | François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach: Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 | |
121 | Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures Springer 2006 | |
120 | François Bry, Michael Eckert, Paula-Lavinia Patranjan: Querying Composite Events for Reactivity on the Web. APWeb Workshops 2006: 38-47 | |
119 | François Bry, Michael Eckert: Twelve Theses on Reactive Rules for the Web. EDBT Workshops 2006: 842-854 | |
118 | François Bry: Thesen über Regelsprachen für das Semantische Web. Grundlagen von Datenbanken 2006: 11 | |
117 | 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 | |
116 | Sacha Berger, François Bry, Tim Furche: Xcerpt and visXcerpt: IntegratingWeb Querying. PLAN-X 2006: 84 | |
115 | François Bry, Tim Furche, Benedikt Linse: AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles. PPSWR 2006: 105-119 | |
114 | 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 | |
113 | François Bry, Christoph Wieser: Web Queries with Style: Rendering Xcerpt Programs with CSSNG. PPSWR 2006: 225-236 | |
112 | François Bry, Michael Eckert, Paula-Lavinia Patranjan, Inna Romanenko: Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits. PPSWR 2006: 48-62 | |
111 | 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 | |
110 | Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob: RDF Querying: Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: 1-52 | |
109 | François Bry, Michael Eckert: A High-Level Query Language for Events. SCW 2006: 31-38 | |
108 | François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Efficient evaluation of n-ary conjunctive queries over trees and graphs. WIDM 2006: 11-18 | |
107 | 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 | |
106 | 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) | |
2005 | ||
105 | Erich Schubert, Sebastian Schaffert, François Bry: Structure-Preserving Difference Search for XML Documents. Extreme Markup Languages® 2005 | |
104 | Sacha Berger, François Bry: Towards static type checking of Web query language. Grundlagen von Datenbanken 2005: 28-32 | |
103 | 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 | |
102 | 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 | |
101 | François Bry, Michael Eckert: Processing link structures and linkbases in the web's open world linking. Hypertext 2005: 135-144 | |
100 | François Bry, Fatih Coskun, Serap Durmaz, Tim Furche, Dan Olteanu, Markus Spannagel: The XML Stream Query Processor SPEX. ICDE 2005: 1120-1121 | |
99 | 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 | |
98 | François Bry, Bernhard Lorenz, Stephanie Spranger: Calendars and Topologies as Types. KES (4) 2005: 352-358 | |
97 | François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner: A Geospatial World Model for the Semantic Web. PPSWR 2005: 145-159 | |
96 | François Bry, Massimo Marchiori: Ten Theses on Logic Languages for the Semantic Web. PPSWR 2005: 42-49 | |
95 | Tim Furche, François Bry, Oliver Bolzer: Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying. PPSWR 2005: 72-84 | |
94 | 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 | |
93 | James Bailey, François Bry, Tim Furche, Sebastian Schaffert: Web and Semantic Web Query Languages: A Survey. Reasoning Web 2005: 35-133 | |
92 | François Bry, Massimo Marchiori: Ten Theses on Logic Languages for the Semantic Web. Rule Languages for Interoperability 2005 | |
91 | 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 | |
90 | François Bry, Paula-Lavinia Patranjan: Reactivity on the web: paradigms and applications of the language XChange. SAC 2005: 1645-1649 | |
89 | François Bry, Frank-André Rieß, Stephanie Spranger: CaTTS: calendar types and constraints for Web applications. WWW 2005: 702-711 | |
88 | François Bry, Michael Eckert: Processing link structures and linkbases on the web. WWW (Special interest tracks and posters) 2005: 1030-1031 | |
87 | 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 | |
86 | François Bry, Nicola Henze: Personalisierung. Informatik Spektrum 28(3): 230-233 (2005) | |
85 | 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) | |
84 | Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi, François Bry: Visual exploration and retrieval of XML document collections with the generic system X2. Int. J. on Digital Libraries 5(1): 3-17 (2005) | |
2004 | ||
83 | Dan Olteanu, Tim Furche, François Bry: Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity. BNCOD 2004: 31-44 | |
82 | 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 | |
81 | Sacha Berger, François Bry, Christoph Wieser: Visual Querying for the Semantic Web. ER 2004: 852-853 | |
80 | 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 | |
79 | Sebastian Schaffert, François Bry: Querying the Web Reconsidered: A Practical Introduction to Xcerpt. Extreme Markup Languages® 2004 | |
78 | 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 | |
77 | Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web. Grundlagen von Datenbanken 2004: 18-22 | |
76 | 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 | |
75 | 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 | |
74 | Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. JFPLC 2004 | |
73 | François Bry, Wlodzimierz Drabent, Jan Maluszynski: On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18 | |
72 | François Bry, Stephanie Spranger: Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages. PPSWR 2004: 102-117 | |
71 | Wolfgang May, José Júlio Alferes, François Bry: Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR 2004: 19-33 | |
70 | 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 | |
69 | Dan Olteanu, Tim Furche, François Bry: An efficient single-pass query evaluator for XML data streams. SAC 2004: 627-631 | |
68 | Felix Weigel, Holger Meuss, Klaus U. Schulz, François Bry: Content and Structure in Indexing and Ranking XML. WebDB 2004: 67-72 | |
67 | François Bry, Tim Furche, Dan Olteanu: Datenströme. Informatik Spektrum 27(2): 168-171 (2004) | |
66 | François Bry, Wolfgang E. Nagel, Michael Schroeder: Grid-Computing. Informatik Spektrum 27(6): 542-545 (2004) | |
2003 | ||
65 | François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop: Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 CEUR-WS.org 2003 | |
64 | François Bry, Nicola Henze, Jan Maluszynski: Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings Springer 2003 | |
63 | François Bry, Peer Kröger: Bioinformatics Databases: State of the Art and Research Perspectives. ADBIS 2003: 3 | |
62 | Dan Olteanu, Tobias Kiesling, François Bry: An Evaluation of Regular Path Expressions with Qualifiers against XML Streams. ICDE 2003: 702-704 | |
61 | Holger Meuss, Klaus U. Schulz, François Bry: Visual Querying and Exploration of Large Answers in XML Databases with X2. ICDE 2003: 777-779 | |
60 | François Bry, Norbert Eisinger, Georg Schneemayer: Web Services for Teaching: A Case Study. ICWS 2003: 402-408 | |
59 | 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 | |
58 | François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger: On Reasoning on Time and Location on the Web. PPSWR 2003: 69-83 | |
57 | Sacha Berger, François Bry, Sebastian Schaffert: A Visual Language for Web Querying and Reasoning. PPSWR 2003: 99-112 | |
56 | François Bry, Sebastian Schaffert: An Entailment Relation for Reasoning on the Web. RuleML 2003: 17-34 | |
55 | 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 | |
54 | 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) | |
2002 | ||
53 | François Bry, Michael Kraus: Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors. AH 2002: 472-475 | |
52 | Dan Olteanu, Holger Meuss, Tim Furche, François Bry: XPath: Looking Forward. EDBT Workshops 2002: 109-127 | |
51 | François Bry, Sebastian Schaffert: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002: 255-270 | |
50 | François Bry: An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. Paraconsistent Computational Logic 2002: 119-134 | |
49 | Sebastian Schaffert, François Bry: A gentle introduction to Xcerpt, a rule-based query and transformation language for XML. RuleML 2002 | |
48 | François Bry, Michael Kraus: Advanced modeling and browsing of technical documents. SAC 2002: 520-524 | |
47 | François Bry, Sebastian Schaffert: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. Web, Web-Services, and Database Systems 2002: 295-310 | |
46 | François Bry, Peer Kröger: Datenbanken in der Bioinformatik. Informatik Spektrum 25(5): 359-362 (2002) | |
45 | François Bry, Michael Kraus: Perspectives for electronic books in the World Wide Web age. The Electronic Library 20(4): 275-287 (2002) | |
2001 | ||
44 | François Bry, Dan Olteanu, Sebastian Schaffert: Towards Grouping Constructs for Semistructured Data. DEXA Workshop 2001: 66-70 | |
43 | Holger Meuss, Klaus U. Schulz, François Bry: Towards Aggregated Answers for Semistructured Data. ICDT 2001: 346-360 | |
42 | François Bry, Michael Kraus, Dan Olteanu, Sebastian Schaffert: Semistrukturierte Daten - Aktuelles Schlagwort. Informatik Spektrum 24(4): 230-233 (2001) | |
2000 | ||
41 | François Bry: Data Modeling with Markup Languages. 15. WLP 2000: 33-60 | |
40 | François Bry, Ulrich Geske, Dietmar Seipel: Preface. WLP 2000: 7 | |
39 | 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) | |
1999 | ||
38 | François Bry, Sunna Torge: Solving Database Satisfiability Problems. Grundlagen von Datenbanken 1999: 122-126 | |
37 | 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) | |
1998 | ||
36 | François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36 | |
35 | François Bry, Sunna Torge: A Deduction Method Complete for Refutation and Finite Satisfiability. JELIA 1998: 122-138 | |
1997 | ||
34 | François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao: Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings Springer 1997 | |
33 | François Bry: Query Answering in Information Systems with Integrity Constraints. IICIS 1997: 113-130 | |
1996 | ||
32 | François Bry: A Compositional Semantics for Logic Programs and Deductive Databases. JICSLP 1996: 453-467 | |
31 | François Bry, Adnan H. Yahya: Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. TABLEAUX 1996: 143-159 | |
30 | François Bry, Dietmar Seipel: Deduktive Datenbanken - das aktuelle Schlagwort. Informatik Spektrum 19(4): 214-215 (1996) | |
29 | François Bry, Rainer Manthey, Heribert Schütz: Deduktive Datenbanken. KI 10(3): 17-23 (1996) | |
1995 | ||
28 | Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349- | |
27 | François Bry: Bases de données déductives. JFPLC 1995: 429 | |
26 | François Bry, Rainer Manthey: Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. WLP 1995: 205-216 | |
1994 | ||
25 | François Bry: Disjunctive Logic Programming: What Applications Developers Need. GI Jahrestagung 1994: 74 | |
24 | François Bry: Logikprogrammierung ohne Modelltheorie? WLP 1994: 56 | |
1993 | ||
23 | François Bry: Neuvièmes Journées Bases de Données Avancées, 27-30 Septembre 1993, Toulouse (Informal Proceedings). INRIA 1993 | |
22 | François Bry: Towards Intelligent Databases. ISMIS 1993: 116-131 | |
21 | Harold Boley, François Bry, Ulrich Geske: Neuere Entwicklungen der deklarativen KI-Programmierung. KI 1993: 226-236 | |
1991 | ||
20 | François Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139 | |
1990 | ||
19 | François Bry: Upside-down deduction. BDA 1990: 91- | |
18 | François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 | |
17 | François Bry: Negation in Logic Programming: A Formalization in Constructive Logic. IS/KI 1990: 30-46 | |
16 | François Bry: Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. Data Knowl. Eng. 5: 289-312 (1990) | |
1989 | ||
15 | François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. DOOD 1989: 25-44 | |
14 | François Bry: Logical Rewritings for Improving the Evaluation of Quantified Queries. MFDBS 1989: 100-116 | |
13 | François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50 | |
12 | François Bry: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. SIGMOD Conference 1989: 193-204 | |
1988 | ||
11 | 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 | |
10 | Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434 | |
9 | François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 | |
1987 | ||
8 | François Bry, Rainer Manthey: Proving Finite Satisfiability of Deductive Databases. CSL 1987: 44-55 | |
7 | Rainer Manthey, François Bry: A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. GWAI 1987: 221-230 | |
1986 | ||
6 | François Bry, Rainer Manthey: Sur la validité des schémas de bases de données. BDA 1986: 89-108 | |
5 | François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20 | |
1983 | ||
4 | François Bry: On the factorization of graphs with exactly one vertex of infinite degree. Discrete Mathematics 43(2-3): 317-320 (1983) | |
3 | François Bry: On the number of 1-factors of locally finite graphs. J. Comb. Theory, Ser. B 34(1): 48-57 (1983) | |
1982 | ||
2 | François Bry, Michel Las Vergnas: The Edmonds - Gallai decomposition for matchings in locally finite graphs. Combinatorica 2(3): 229-235 (1982) | |
1981 | ||
1 | 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) |