| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. François Bry 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 François Bry, Michael Eckert , Paula-Lavinia Patranjan : Querying Composite Events for Reactivity on the Web. APWeb Workshops 2006 : 38-47 Sacha Berger , François Bry, Tim Furche : Xcerpt and visXcerpt: IntegratingWeb Querying. PLAN-X 2006 : 84 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 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, Bernhard Lorenz , Stephanie Spranger : Calendars and Topologies as Types. KES (4) 2005 : 352-358 François Bry, Bernhard Lorenz , Hans Jürgen Ohlbach , Mike Rosner : A Geospatial World Model for the Semantic Web. PPSWR 2005 : 145-159 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, 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 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, Massimo Marchiori : Ten Theses on Logic Languages for the Semantic Web. Rule Languages for Interoperability 2005 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 François Bry, Paula-Lavinia Patranjan : Reactivity on the web: paradigms and applications of the language XChange. SAC 2005 : 1645-1649 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, Nicola Henze : Personalisierung. Informatik Spektrum 28 (3): 230-233 (2005) 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) 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 2 . Int. J. on Digital Libraries 5 (1): 3-17 (2005) 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 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 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 François Bry, Stephanie Spranger : Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages. PPSWR 2004 : 102-117 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 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, 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) 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 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, 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) 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: 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 Deductive 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 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 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) 1 [ 26 ] 2 [ 68 ] 3 [ 35 ] 4 [ 82 ] 5 [ 84 ] [ 88 ] [ 90 ] 6 [ 52 ] [ 54 ] [ 71 ] [ 74 ] [ 77 ] [ 78 ] [ 82 ] [ 101 ] [ 103 ] 7 [ 96 ] 8 [ 19 ] 9 [ 92 ] [ 99 ] 10 [ 35 ] 11 [ 97 ] 12 [ 7 ] [ 9 ] [ 96 ] 13 [ 96 ] 14 [ 70 ] 15 [ 97 ] 16 [ 85 ] [ 88 ] [ 98 ] [ 104 ] 17 [ 26 ] [ 34 ] [ 57 ] 18 [ 96 ] 19 [ 91 ] [ 105 ] 20 [ 49 ] [ 64 ] [ 66 ] [ 67 ] [ 80 ] [ 82 ] [ 90 ] [ 92 ] [ 97 ] [ 99 ] [ 103 ] 21 [ 26 ] 22 [ 19 ] [ 38 ] 23 [ 100 ] 24 [ 61 ] [ 83 ] 25 [ 96 ] 26 [ 100 ] 27 [ 59 ] 28 [ 56 ] 29 [ 82 ] 30 [ 40 ] [ 45 ] [ 50 ] [ 56 ] 31 [ 35 ] 32 [ 43 ] [ 51 ] [ 60 ] 33 [ 81 ] 34 [ 55 ] [ 77 ] [ 94 ] [ 95 ] 35 [ 62 ] 36 [ 61 ] [ 70 ] 37 [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 18 ] [ 24 ] [ 27 ] 38 [ 89 ] [ 91 ] [ 93 ] [ 105 ] 39 [ 18 ] 40 [ 68 ] 41 [ 41 ] [ 49 ] [ 58 ] [ 65 ] [ 79 ] [ 81 ] 42 [ 63 ] 43 [ 55 ] [ 77 ] [ 91 ] [ 94 ] [ 105 ] 44 [ 100 ] 45 [ 40 ] [ 42 ] [ 49 ] [ 59 ] [ 64 ] [ 66 ] [ 80 ] [ 97 ] 46 [ 67 ] [ 73 ] [ 75 ] [ 77 ] [ 84 ] [ 87 ] [ 88 ] [ 104 ] 47 [ 32 ] 48 [ 32 ] 49 [ 86 ] 50 [ 94 ] 51 [ 62 ] 52 [ 40 ] [ 42 ] [ 44 ] [ 46 ] [ 48 ] [ 52 ] [ 53 ] [ 54 ] [ 67 ] [ 71 ] [ 72 ] [ 73 ] [ 74 ] [ 75 ] [ 76 ] [ 77 ] [ 82 ] [ 90 ] [ 96 ] [ 102 ] 53 [ 57 ] 54 [ 62 ] 55 [ 72 ] 56 [ 63 ] 57 [ 102 ] 58 [ 35 ] [ 41 ] [ 58 ] [ 65 ] [ 79 ] [ 81 ] 59 [ 27 ] [ 34 ] 60 [ 77 ] 61 [ 35 ] 62 [ 28 ] [ 38 ] 63 [ 97 ] 64 [ 55 ] [ 69 ] [ 77 ] [ 86 ] [ 95 ] 65 [ 33 ] [ 34 ] [ 36 ] 66 [ 1 ] 67 [ 65 ] [ 79 ] [ 81 ] 68 [ 52 ] [ 78 ] [ 100 ] 69 [ 29 ] [ 37 ] 70 [ 100 ]  ©2006 Association for Computing Machinery |
