François Bry

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2012
152pest: Fast approximate keyword search in semantic data using eigenvector-based term propagation. Klara A. Weiand, Fabian Kneißl, Wojciech lobacz, Tim Furche, François Bry. Inf. Syst. (37): 372-390 (2012). Web SearchBibTeXDownload
151Anfragesprachen neu erdacht. François Bry. KI (26): 15-25 (2012). Web SearchBibTeXDownload
2011
150Liquid decision making: an exploratory study. Stephan Leutenmayr, François Bry. iiWAS 2011, 391-394. Web SearchBibTeXDownload
149Introducing Backstage - a digital backchannel for large class lectures. Alexander Pohl, Vera Gehlen-Baum, François Bry. Interact. Techn. Smart Edu. (8): 186-200 (2011). Web SearchBibTeXDownload
148Reasoning as Axioms Change - Incremental View Maintenance Reconsidered. Jakub Kotowski, François Bry, Simon Brodt. RR 2011, 139-154. Web SearchBibTeXDownload
2010
147Datalog Relaunched: Simulation Unification and Value Invention. François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert. Datalog 2010, 321-350. Web SearchBibTeXDownload
146Semantic Search on Unstructured Data: Explicit Knowledge through Data Recycling. Alex Kohn, François Bry, Alexander Manta. Int. J. Semantic Web Inf. Syst. (6): 17-35 (2010). Web SearchBibTeXDownload
145Rule-based composite event queries: the language XChangeEQ and its semantics. Michael Eckert, François Bry. Knowl. Inf. Syst. (25): 551-573 (2010). Web SearchBibTeXDownload
144A RPL through RDF: Expressive Navigation in RDF Graphs. Harald Zauner, Benedikt Linse, Tim Furche, François Bry. RR 2010, 251-257. Web SearchBibTeXDownload
143KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge. Klara A. Weiand, Steffen Hausmann, Tim Furche, François Bry. RR 2010, 213-222. Web SearchBibTeXDownload
142Flavors of KWQL, a Keyword Query Language for a Semantic Wiki. François Bry, Klara A. Weiand. SOFSEM 2010, 247-258. Web SearchBibTeXDownload
141A Social Vision of Knowledge Representation and Reasoning. François Bry, Jakub Kotowski. SOFSEM 2010, 235-246. Web SearchBibTeXDownload
140visKQWL, a visual renderer for a semantic web query language. Andreas Hartl, Klara A. Weiand, François Bry. WWW 2010, 1253-1256. Web SearchBibTeXDownload
139Not so creepy crawler: easy crawler generation with standard xml queries. Franziska von dem Bussche, Klara Weiand, Benedikt Linse, Tim Furche, François Bry. WWW 2010, 1305-1308. Web SearchBibTeXDownload
2009
138Semantic Web Query Languages. James Bailey, François Bry, Tim Furche, Sebastian Schaffert. Encyclopedia of Database Systems 2009, 2583-2586. Web SearchBibTeXDownload
137Complex Event Processing (CEP). Michael Eckert, François Bry. Informatik Spektrum (32): 163-167 (2009). Web SearchBibTeXDownload
136Four Lessons in Versatility or How Query Languages Adapt to the Web. François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, Olga Yestekhina. REWERSE 2009, 50-160. Web SearchBibTeXDownload
135The Perfect Match: RPL and RDF Rule Languages. François Bry, Tim Furche, Benedikt Linse. RR 2009, 227-241. Web SearchBibTeXDownload
134Search for More Declarativity. Simon Brodt, François Bry, Norbert Eisinger. RR 2009, 71-86. Web SearchBibTeXDownload
133SPARQLog: SPARQL with Rules and Quantification. François Bry, Tim Furche, Bruno Marnette, Clemens Ley, Benedikt Linse, Olga Poppe. Semantic Web Information Management 2009, 341-370. Web SearchBibTeXDownload
132Labeling RDF Graphs for Linear Time and Space Querying. Tim Furche, Antonius Weinzierl, François Bry. Semantic Web Information Management 2009, 309-339. Web SearchBibTeXDownload
131What the User Interacts With: Reflections on Conceptual Models for Semantic Wikis. François Bry, Michael Eckert, Jakub Kotowski, Klara A. Weiand. SemWiki 2009. Web SearchBibTeXDownload
130Semantische Wikis. Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel. Social Semantic Web 2009, 245-258. Web SearchBibTeXDownload
129Web Queries: From a Web of Data to a Semantic Web. François Bry, Tim Furche, Klara A. Weiand. WISE 2009, 9-10. Web SearchBibTeXDownload
2008
128On static determination of temporal relevance for incremental evaluation of complex event queries. François Bry, Michael Eckert. DEBS 2008, 289-300. Web SearchBibTeXDownload
127Towards Reasoning and Explanations for Social Tagging. François Bry, Jakub Kotowski. ExaCt 2008, 118-128. Web SearchBibTeX
126The Facility Control Markup Language FCML. François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger. ICDS 2008, 117-122. Web SearchBibTeXDownload
125Semantic Wikis. Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel. IEEE Software (25): 8-11 (2008). Web SearchBibTeXDownload
124Simulation Subsumption or Déjà vu on the Web. François Bry, Tim Furche, Benedikt Linse. RR 2008, 28-42. Web SearchBibTeXDownload
123Taming Existence in RDF Querying. François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette. RR 2008, 236-237. Web SearchBibTeXDownload
2007
122Temporal order optimizations of incremental joins for composite event detection. François Bry, Michael Eckert. DEBS 2007, 85-90. Web SearchBibTeXDownload
121Twelve Theses on Reactive Rules for the Web. François Bry, Michael Eckert. Event Processing 2007. Web SearchBibTeXDownload
120Evolution of Distributed Web Data: An Application of the Reactive Language XChange. François Bry, Michael Eckert, Hendrik Grallert, Paula-Lavinia Patranjan. ICDE 2007, 1517-1518. Web SearchBibTeXDownload
119Semantic Wiki. Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel. Informatik Spektrum (30): 434-439 (2007). Web SearchBibTeXDownload
118Modular Web Queries - From Rules to Stores. Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Jendrik Johannes. OTM Workshops (2) 2007, 1165-1175. Web SearchBibTeXDownload
117Foundations of Rule-Based Query Answering. François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei. Reasoning Web 2007, 1-153. Web SearchBibTeXDownload
116Reactive Rules on the Web. Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan. Reasoning Web 2007, 183-239. Web SearchBibTeXDownload
115Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints. Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler. RR 2007, 319-328. Web SearchBibTeXDownload
114Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics. François Bry, Michael Eckert. RR 2007, 16-30. Web SearchBibTeXDownload
113A Generic Module System for Web Rule Languages: Divide and Rule. Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Paula-Lavinia Patranjan. RuleML 2007, 63-77. Web SearchBibTeXDownload
112Visual Languages: A Matter of Style. Sacha Berger, François Bry, Tim Furche, Christoph Wieser. VLL 2007, 85-96. Web SearchBibTeXDownload
2006
111Querying Composite Events for Reactivity on the Web. François Bry, Michael Eckert, Paula-Lavinia Patranjan. APWeb Workshops 2006, 38-47. Web SearchBibTeXDownload
110Twelve Theses on Reactive Rules for the Web. François Bry, Michael Eckert. EDBT Workshops 2006, 842-854. Web SearchBibTeXDownload
109Thesen über Regelsprachen für das Semantische Web. François Bry. Grundlagen von Datenbanken 2006, 11. Web SearchBibTeXDownload
108Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web. Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder. Grundlagen von Datenbanken 2006, 12. Web SearchBibTeXDownload
107Reactivity on the Web: Paradigms and Applications of the Language XChange. François Bry, Michael Eckert, Paula-Lavinia Patranjan. J. Web Eng. (5): 3-24 (2006). Web SearchBibTeX
106Xcerpt and visXcerpt: IntegratingWeb Querying. Sacha Berger, François Bry, Tim Furche. PLAN-X 2006, 84. Web SearchBibTeX
105AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles. François Bry, Tim Furche, Benedikt Linse. PPSWR 2006, 105-119. Web SearchBibTeXDownload
104Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits. François Bry, Michael Eckert, Paula-Lavinia Patranjan, Inna Romanenko. PPSWR 2006, 48-62. Web SearchBibTeXDownload
103Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt. François Bry, Tim Furche, Benedikt Linse. PPSWR 2006, 90-104. Web SearchBibTeXDownload
102Web Queries with Style: Rendering Xcerpt Programs with CSSNG. François Bry, Christoph Wieser. PPSWR 2006, 225-236. Web SearchBibTeXDownload
101Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder. PPSWR 2006, 219-224. Web SearchBibTeXDownload
100RDF Querying: Language Constructs and Evaluation Methods Compared. Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob. Reasoning Web 2006, 1-52. Web SearchBibTeXDownload
99A High-Level Query Language for Events. François Bry, Michael Eckert. SCW 2006, 31-38. Web SearchBibTeXDownload
98Efficient evaluation of n-ary conjunctive queries over trees and graphs. François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder. WIDM 2006, 11-18. Web SearchBibTeXDownload
97Beyond XML and RDF: The Versatile Web Query Language Xcerpt. Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder. WWW 2006, 1053-1054. Web SearchBibTeXDownload
2005
96Structure-Preserving Difference Search for XML Documents. Erich Schubert, Sebastian Schaffert, François Bry. Extreme Markup Languages® 2005. Web SearchBibTeXDownload
95Towards static type checking of Web query language. Sacha Berger, François Bry. Grundlagen von Datenbanken 2005, 28-32. Web SearchBibTeXDownload
94XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web. Tim Furche, François Bry, Oliver Bolzer. Grundlagen von Datenbanken 2005, 43-47. Web SearchBibTeXDownload
93Context Modeling in OWL for Smart Building Services. François Bry, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome, Christoph Wieser, Tatsumi Yamada. Grundlagen von Datenbanken 2005, 38-42. Web SearchBibTeXDownload
92Processing link structures and linkbases in the web's open world linking. François Bry, Michael Eckert. Hypertext 2005, 135-144. Web SearchBibTeXDownload
91The XML Stream Query Processor SPEX. François Bry, Fatih Coskun, Serap Durmaz, Tim Furche, Dan Olteanu, Markus Spannagel. ICDE 2005, 1120-1121. Web SearchBibTeXDownload
90Visual exploration and retrieval of XML document collections with the generic system X2. Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi, François Bry. Int. J. on Digital Libraries (5): 3-17 (2005). Web SearchBibTeXDownload
89Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages. François Bry, Christoph Koch, Tim Furche, Sebastian Schaffert, Liviu Badea, Sacha Berger. Int. J. Semantic Web Inf. Syst. (1): 1-21 (2005). Cited by 40Web SearchBibTeX
88Paraconsistent Reasoning for the Semantic Web. Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig. ISWC-URSW 2005, 104-105. Web SearchBibTeX
87Calendars and Topologies as Types. François Bry, Bernhard Lorenz, Stephanie Spranger. KES (4) 2005, 352-358. Web SearchBibTeXDownload
86A Geospatial World Model for the Semantic Web. François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner. PPSWR 2005, 145-159. Web SearchBibTeXDownload
85Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying. Tim Furche, François Bry, Oliver Bolzer. PPSWR 2005, 72-84. Web SearchBibTeXDownload
8405371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach. Principles and Practices of Semantic Web Reasoning 2005. Web SearchBibTeXDownload
83Web and Semantic Web Query Languages: A Survey. James Bailey, François Bry, Tim Furche, Sebastian Schaffert. Reasoning Web 2005, 35-133. Cited by 54Web SearchBibTeXDownload
82Ten Theses on Logic Languages for the Semantic Web. François Bry, Massimo Marchiori. Rule Languages for Interoperability 2005. Web SearchBibTeXDownload
81Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web. James Bailey, François Bry, Michael Eckert, Paula-Lavinia Patranjan. RuleML 2005, 187-192. Cited by 20Web SearchBibTeXDownload
80Reactivity on the web: paradigms and applications of the language XChange. François Bry, Paula-Lavinia Patranjan. SAC 2005, 1645-1649. Web SearchBibTeXDownload
79CaTTS: calendar types and constraints for Web applications. François Bry, Frank-André Rieß, Stephanie Spranger. WWW 2005, 702-711. Web SearchBibTeXDownload
78Processing link structures and linkbases on the web. François Bry, Michael Eckert. WWW (Special interest tracks and posters) 2005, 1030-1031. Web SearchBibTeXDownload
77Composite event queries for reactivity on the web. James Bailey, François Bry, Paula-Lavinia Patranjan. WWW (Special interest tracks and posters) 2005, 1082-1083. Cited by 17Web SearchBibTeXDownload
2004
76Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity. Dan Olteanu, Tim Furche, François Bry. BNCOD 2004, 31-44. Web SearchBibTeXDownload
75Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data. Felix Weigel, Holger Meuss, François Bry, Klaus U. Schulz. ECIR 2004, 378-393. Web SearchBibTeXDownload
74Visual Querying for the Semantic Web. Sacha Berger, François Bry, Christoph Wieser. ER 2004, 852-853. Web SearchBibTeXDownload
73Reasoning on the Web: Language Prototypes and Perspectives. Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger. EWIMT 2004. Web SearchBibTeX
72Querying the Web Reconsidered: A Practical Introduction to Xcerpt. Sebastian Schaffert, François Bry. Extreme Markup Languages® 2004. Web SearchBibTeXDownload
71Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web. François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert. GI Jahrestagung (2) 2004, 562-568. Web SearchBibTeXDownload
70Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web. Sacha Berger, François Bry, Sebastian Schaffert. Grundlagen von Datenbanken 2004, 18-22. Web SearchBibTeX
69Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert. ICLP 2004, 450-451. Web SearchBibTeXDownload
68A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. François Bry, Sebastian Schaffert, Andreas Schroeder. INAP/WLP 2004, 258-268. Web SearchBibTeXDownload
67Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. Sacha Berger, François Bry, Sebastian Schaffert. JFPLC 2004. Web SearchBibTeX
66Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages. François Bry, Stephanie Spranger. PPSWR 2004, 102-117. Web SearchBibTeXDownload
65On Subtyping of Tree-Structured Data: A Polynomial Approach. François Bry, Wlodzimierz Drabent, Jan Maluszynski. PPSWR 2004, 1-18. Web SearchBibTeXDownload
64Towards Generic Query, Update, and Event Languages for the Semantic Web. Wolfgang May, José Júlio Alferes, François Bry. PPSWR 2004, 19-33. Web SearchBibTeXDownload
63Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach. François Bry, Tim Furche, Paula-Lavinia Patranjan, Sebastian Schaffert. PPSWR 2004, 34-49. Web SearchBibTeXDownload
62An efficient single-pass query evaluator for XML data streams. Dan Olteanu, Tim Furche, François Bry. SAC 2004, 627-631. Web SearchBibTeXDownload
61Content and Structure in Indexing and Ranking XML. Felix Weigel, Holger Meuss, Klaus U. Schulz, François Bry. WebDB 2004, 67-72. Web SearchBibTeXDownload
2003
60Bioinformatics Databases: State of the Art and Research Perspectives. François Bry, Peer Kröger. ADBIS 2003, 3. Web SearchBibTeXDownload
59A Computational Biology Database Digest: Data, Data Analysis, and Data Management. François Bry, Peer Kröger. Distributed and Parallel Databases (13): 7-42 (2003). Web SearchBibTeXDownload
58Visual Querying and Exploration of Large Answers in XML Databases with X2. Holger Meuss, Klaus U. Schulz, François Bry. ICDE 2003, 777-779. Web SearchBibTeXDownload
57An Evaluation of Regular Path Expressions with Qualifiers against XML Streams. Dan Olteanu, Tobias Kiesling, François Bry. ICDE 2003, 702-704. Web SearchBibTeXDownload
56Web Services for Teaching: A Case Study. François Bry, Norbert Eisinger, Georg Schneemayer. ICWS 2003, 402-408. Web SearchBibTeX
55On Reasoning on Time and Location on the Web. François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger. PPSWR 2003, 69-83. Web SearchBibTeXDownload
54XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages. Michael Kraus, François Bry, Kazuhiro Kitagawa. PPSWR 2003, 113-127. Web SearchBibTeXDownload
53A Visual Language for Web Querying and Reasoning. Sacha Berger, François Bry, Sebastian Schaffert. PPSWR 2003, 99-112. Web SearchBibTeXDownload
52An Entailment Relation for Reasoning on the Web. François Bry, Sebastian Schaffert. RuleML 2003, 17-34. Web SearchBibTeXDownload
51Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data. Sacha Berger, François Bry, Sebastian Schaffert, Christoph Wieser. VLDB 2003, 1053-1056. Web SearchBibTeXDownload
2002
50Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors. François Bry, Michael Kraus. AH 2002, 472-475. Web SearchBibTeXDownload
49XPath: Looking Forward. Dan Olteanu, Holger Meuss, Tim Furche, François Bry. EDBT Workshops 2002, 109-127. Web SearchBibTeXDownload
48Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. François Bry, Sebastian Schaffert. ICLP 2002, 255-270. Web SearchBibTeXDownload
47Datenbanken in der Bioinformatik. François Bry, Peer Kröger. Informatik Spektrum (25): 359-362 (2002). Web SearchBibTeXDownload
46An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. François Bry. Paraconsistent Computational Logic 2002, 119-134. Web SearchBibTeXDownload
45A gentle introduction to Xcerpt, a rule-based query and transformation language for XML. Sebastian Schaffert, François Bry. RuleML 2002. Web SearchBibTeXDownload
44Advanced modeling and browsing of technical documents. François Bry, Michael Kraus. SAC 2002, 520-524. Web SearchBibTeXDownload
43Perspectives for electronic books in the World Wide Web age. François Bry, Michael Kraus. The Electronic Library (20): 275-287 (2002). Web SearchBibTeXDownload
42The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. François Bry, Sebastian Schaffert. Web, Web-Services, and Database Systems 2002, 295-310. Web SearchBibTeXDownload
2001
41Towards Grouping Constructs for Semistructured Data. François Bry, Dan Olteanu, Sebastian Schaffert. DEXA Workshop 2001, 66-70. Web SearchBibTeX
40Towards Aggregated Answers for Semistructured Data. Holger Meuss, Klaus U. Schulz, François Bry. ICDT 2001, 346-360. Web SearchBibTeXDownload
39Semistrukturierte Daten - Aktuelles Schlagwort. François Bry, Michael Kraus, Dan Olteanu, Sebastian Schaffert. Informatik Spektrum (24): 230-233 (2001). Web SearchBibTeXDownload
2000
38Data Modeling with Markup Languages. François Bry. 15. WLP 2000, 33-60. Web SearchBibTeX
37Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. François Bry, Adnan H. Yahya. J. Autom. Reasoning (25): 35-82 (2000). Web SearchBibTeXDownload
1999
36Solving Database Satisfiability Problems. François Bry, Sunna Torge. Grundlagen von Datenbanken 1999, 122-126. Web SearchBibTeX
35Bioinformatik - Aktuelles Schlagwort. Rolf Backofen, François Bry, Peter Clote, Hans-Peter Kriegel, Thomas Seidl, Klaus U. Schulz. Informatik Spektrum (22): 376-378 (1999). Web SearchBibTeXDownload
1998
34SIC: Satisfiability Checking for Integrity Constraints. François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge. DDLP 1998, 25-36. Web SearchBibTeX
33A Deduction Method Complete for Refutation and Finite Satisfiability. François Bry, Sunna Torge. JELIA 1998, 122-138. Web SearchBibTeXDownload
1997
32Query Answering in Information Systems with Integrity Constraints. François Bry. IICIS 1997, 113-130. Web SearchBibTeX
1996
31Deduktive Datenbanken - das aktuelle Schlagwort. François Bry, Dietmar Seipel. Informatik Spektrum (19): 214-215 (1996). Web SearchBibTeXDownload
30A Compositional Semantics for Logic Programs and Deductive Databases. François Bry. JICSLP 1996, 453-467. Web SearchBibTeX
29Deduktive Datenbanken. François Bry, Rainer Manthey, Heribert Schütz. KI (10): 17-23 (1996). Web SearchBibTeX
28Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. François Bry, Adnan H. Yahya. TABLEAUX 1996, 143-159. Web SearchBibTeXDownload
1995
27The theorem prover SATCHMO : strategies, heuristics and applications. Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler. JFPLC 1995, 349. Web SearchBibTeX
26Bases de données déductives. François Bry. JFPLC 1995, 429. Web SearchBibTeX
25Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. François Bry, Rainer Manthey. WLP 1995, 205-216. Web SearchBibTeX
1994
24Disjunctive Logic Programming: What Applications Developers Need. François Bry. GI Jahrestagung 1994, 74. Web SearchBibTeX
23Logikprogrammierung ohne Modelltheorie?. François Bry. WLP 1994, 56. Web SearchBibTeX
1993
22Towards Intelligent Databases. François Bry. ISMIS 1993, 116-131. Web SearchBibTeXDownload
21Neuere Entwicklungen der deklarativen KI-Programmierung. Harold Boley, François Bry, Ulrich Geske. KI 1993, 226-236. Web SearchBibTeX
1991
20Integrity Verification in Knowledge Bases. François Bry, Rainer Manthey, Bern Martens. RCLP 1991, 114-139. Web SearchBibTeXDownload
1990
19Upside-down deduction. François Bry. BDA 1990, 91. Web SearchBibTeX
18Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. François Bry. Data Knowl. Eng. (5): 289-312 (1990). Web SearchBibTeXDownload
17Intensional Updates: Abduction via Deduction. François Bry. ICLP 1990, 561-575. Web SearchBibTeX
16Negation in Logic Programming: A Formalization in Constructive Logic. François Bry. IS/KI 1990, 30-46. Web SearchBibTeXDownload
1989
15Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. François Bry. DOOD 1989, 25-44. Web SearchBibTeX
14Logical Rewritings for Improving the Evaluation of Quantified Queries. François Bry. MFDBS 1989, 100-116. Web SearchBibTeXDownload
13Logic Programming as Constructivism: A Formalization and its Application to Databases. François Bry. PODS 1989, 34-50. Web SearchBibTeX
12Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. François Bry. SIGMOD Conference 1989, 193-204. Web SearchBibTeX
1988
11Préserver l'intégrité d'une base de données déductive: une méthode et son implementation. François Bry, Hendrik Decker. BDA 1988, 9-20. Web SearchBibTeX
10SATCHMO: A Theorem Prover Implemented in Prolog. Rainer Manthey, François Bry. CADE 1988, 415-434. Web SearchBibTeXDownload
9A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. François Bry, Hendrik Decker, Rainer Manthey. EDBT 1988, 488-505. Web SearchBibTeXDownload
1987
8Proving Finite Satisfiability of Deductive Databases. François Bry, Rainer Manthey. CSL 1987, 44-55. Web SearchBibTeXDownload
7A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. Rainer Manthey, François Bry. GWAI 1987, 221-230. Web SearchBibTeX
1986
6Sur la validité des schémas de bases de données. François Bry, Rainer Manthey. BDA 1986, 89-108. Web SearchBibTeX
5Checking Consistency of Database Constraints: a Logical Basis. François Bry, Rainer Manthey. VLDB 1986, 13-20. Web SearchBibTeX
1983
4On the factorization of graphs with exactly one vertex of infinite degree. François Bry. Discrete Mathematics (43): 317-320 (1983). Web SearchBibTeXDownload
3On the number of 1-factors of locally finite graphs. François Bry. J. Comb. Theory, Ser. B (34): 48-57 (1983). Web SearchBibTeXDownload
1982
2The Edmonds - Gallai decomposition for matchings in locally finite graphs. François Bry, Michel Las Vergnas. Combinatorica (2): 229-235 (1982). Web SearchBibTeXDownload
1981
1Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members. François Bry. J. Comb. Theory, Ser. B (30): 100-102 (1981). Web SearchBibTeXDownload
from DBLP and Google Scholar
References
1. ^ CIKM 2005 - Retrieved 2010-07-17 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research