| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. François Bry 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, Sebastian Schaffert : Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. JFPLC 2004 Dan Olteanu , Tim Furche , François Bry: An efficient single-pass query evaluator for XML data streams. SAC 2004 : 627-631 François Bry, Tim Furche , Dan Olteanu : Datenströme. Informatik Spektrum 27 (2): 168-171 (2004) 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 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 Technical University of Aachen (RWTH) 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 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, 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 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, 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, 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: 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, Sebastian Schaffert : The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. Web, Web-Services, and Database Systems 2002 : 295-310 François Bry, Peer Kröger : Datenbanken in der Bioinformatik. Informatik Spektrum 25 (5): 359-362 (2002) 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, Michael Kraus , Dan Olteanu , Sebastian Schaffert : Semistrukturierte Daten - Aktuelles Schlagwort. Informatik Spektrum 24 (4): 230-233 (2001) François Bry: Data Modeling with Markup Languages. 15. WLP 2000 : 33-60 François Bry, Ulrich Geske , Dietmar Seipel : Preface. WLP 2000 : 7 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, Sunna Torge : Solving Database Satisfiability Problems. Grundlagen von Datenbanken 1999 : 122-126 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, 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, Raghu Ramakrishnan , Kotagiri Ramamohanarao : Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings Springer 1997 François Bry: Query Answering in Information Systems with Integrity Constraints. IICIS 1997 : 113-130 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 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, 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: Neuvièmes Journées Bases de Données Avancées, 27-30 Septembre 1993, Toulouse INRIA 1993 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, Rainer Manthey , Bern Martens : Integrity Verification in Knowledge Bases. RCLP 1991 : 114-139 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. Data Knowl. Eng. 5 : 289-312 (1990) 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 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, Michel Las Vergnas : The Edmonds - Gallai decomposition for matchings in locally finite graphs. Combinatorica 2 (3): 229-235 (1982) 1 [ 31 ] 2 [ 48 ] [ 50 ] [ 61 ] 3 [ 17 ] 4 [ 31 ] 5 [ 6 ] 6 [ 30 ] [ 53 ] 7 [ 45 ] [ 59 ] [ 60 ] 8 [ 17 ] [ 34 ] 9 [ 58 ] 10 [ 55 ] 11 [ 52 ] 12 [ 36 ] [ 41 ] [ 46 ] [ 52 ] 13 [ 31 ] 14 [ 39 ] [ 47 ] [ 56 ] 15 [ 51 ] 16 [ 57 ] 17 [ 58 ] 18 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 16 ] [ 22 ] [ 23 ] 19 [ 16 ] 20 [ 37 ] [ 45 ] [ 54 ] [ 62 ] 21 [ 51 ] 22 [ 36 ] [ 38 ] [ 45 ] [ 55 ] [ 59 ] [ 60 ] 23 [ 28 ] 24 [ 28 ] 25 [ 57 ] 26 [ 36 ] [ 38 ] [ 40 ] [ 42 ] [ 44 ] [ 48 ] [ 49 ] [ 50 ] [ 61 ] 27 [ 53 ] 28 [ 57 ] 29 [ 31 ] [ 37 ] [ 54 ] [ 62 ] 30 [ 23 ] [ 30 ] 31 [ 31 ] 32 [ 24 ] [ 34 ] 33 [ 51 ] 34 [ 29 ] [ 30 ] [ 32 ] 35 [ 1 ] 36 [ 62 ] 37 [ 48 ] 38 [ 25 ] [ 33 ]  ©2004 Association for Computing Machinery |
